FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS

DOI10.1017/S1755020312000159zbMath1271.18001MaRDI QIDQ4918379

Colin McLarty

Publication date: 24 April 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Set-theoretic foundations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strict finitism and the logic of mathematical applications
• Set theory. An introduction to independence proofs. 2nd print
• Anti-foundation and self-reference
• Tool and object. A history and philosophy of category theory
• Reports of the Midwest category seminar. III
• The Applicability of Mathematics as a Scientific and a Logical Problem
• The Uses and Abuses of the History of Topos Theory
• The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
• Failure of Cartesian closedness in NF
• Adjointness in Foundations
• Category Theory in Real Time
• Algebra
• Numbers Can Be Just What They Have To
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS

This page was built for publication: FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS