The following pages link to Colin McLarty (Q215695):
Displayed 49 items.
- Book review of Jeremy Gray, Henri Poincaré: a scientific biography (Q483565) (← links)
- Emmy Noether's first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism (Q633855) (← links)
- Left exact logic (Q1092902) (← links)
- Defining sets as sets of points of spaces (Q1106844) (← links)
- Anti-foundation and self-reference (Q1208147) (← links)
- Book review of: F. Verhulst, Henri Poincaré. Impatient genius (Q1702535) (← links)
- How Grothendieck Simplified Algebraic Geometry (Q2813168) (← links)
- Elementary axioms for canonical points of toposes (Q3027006) (← links)
- Grothendieck’s Unifying Vision of Geometry (Q3120447) (← links)
- What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory (Q3163662) (← links)
- (Q3312396) (← links)
- (Q3369141) (← links)
- Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works (Q3369210) (← links)
- (Q3470451) (← links)
- The Uses and Abuses of the History of Topos Theory (Q3491788) (← links)
- The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics (Q3592240) (← links)
- Axiomatizing a category of categories (Q3984403) (← links)
- (Q4003736) (← links)
- Failure of Cartesian closedness in NF (Q4032641) (← links)
- Category Theory in Real Time (Q4282803) (← links)
- Poincaré: Mathematics & Logic & Intuition† (Q4354012) (← links)
- (Q4428887) (← links)
- Exploring Categorical Structuralism (Q4470295) (← links)
- (Q4840146) (← links)
- FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS (Q4918379) (← links)
- Introduction: Hypotheses and Progress (Q4919643) (← links)
- Categorical Foundations and Mathematical Practice (Q4919655) (← links)
- (Q4950501) (← links)
- (Q5040164) (← links)
- Abstract Generality, Simplicity, Forgetting, and Discovery (Q5055283) (← links)
- The Two Mathematical Careers of Emmy Noether (Q5085280) (← links)
- THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC (Q5107535) (← links)
- PENELOPE MADDY. Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford: Oxford University Press, 2011. ISBN 978-0-19-959618-8 (hbk); 978-0-19-967148-9 (pbk). Pp. x + 150 (Q5245973) (← links)
- Recent Debate over Categorical Foundations (Q5260988) (← links)
- Numbers Can Be Just What They Have To (Q5275645) (← links)
- (Q5421789) (← links)
- (Q5427237) (← links)
- Poor Taste as a Bright Character Trait: Emmy Noether and the Independent Social Democratic Party (Q5450675) (← links)
- (Q5488661) (← links)
- Learning from Questions on Categorical Foundations (Q5692820) (← links)
- ‘Mathematical Platonism’ Versus Gathering the Dead: What Socrates teaches Glaucon† (Q5692822) (← links)
- Saunders Mac Lane: From <i>Principia Mathematica</i> through Göttingen to the Working Theory of Structures (Q5856195) (← links)
- Richard Courant in the German Revolution. (Q5949294) (← links)
- (Q6109662) (← links)
- Will machines change mathematics? (Q6130521) (← links)
- Zariski cohomology in second order arithmetic (Q6234087) (← links)
- Interpreting set theory in higher order arithmetic (Q6234670) (← links)
- A univalent universe in finite order arithmetic (Q6257489) (← links)
- The finiteness theorem for invariants of a finite group (translation of Emmy Noether's "Der Endlichkeitsatz der Invarianten endlicher Gruppen") (Q6260334) (← links)