Can I read Mathematical Practice and Cognition II on EtoBox?

Mathematical Practice and Cognition II by ftw is a document available to read on EtoBox.

What is Mathematical Practice and Cognition II about?

This document summarizes a paper that proposes an account of mathematical reasoning as having two parallel structures: an argumentational structure and an inferential structure. The argumentational structure consists of the informal arguments that mathematicians use to persuade each other of mathematical results. The inferential structure consists of the formal derivations that provide a rigorous proof. Some disagreements about the foundations of mathematics stem from different views on what steps should

Author

ftw

Language

EN