Remarks on the Foundations of Mathematics

This analyzes in depth such topics logical compulsion and mathematical conviction; calculation as experiment; mathematical surprise, discovery, and invention; Russell's logic, Godel's theorem, cantor's diagonal procedure, Dedekind's cuts; the nature of proof and contradiction; and the role of mathematical propositions in the forming of concepts.