Colin McLarty

Available identifiers

zbMath Open mclarty.colinWikidataQ5145379 ScholiaQ5145379MaRDI QIDQ215695

List of research outcomes

Publication	Date of Publication	Type
Will machines change mathematics?	2024-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q6109662	2023-07-28	Paper
Abstract Generality, Simplicity, Forgetting, and Discovery	2022-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5040164	2022-10-11	Paper
The Two Mathematical Careers of Emmy Noether	2022-06-27	Paper
Saunders Mac Lane: From Principia Mathematica through Göttingen to the Working Theory of Structures	2021-03-25	Paper
THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC	2020-04-27	Paper
Grothendieck’s Unifying Vision of Geometry	2019-03-04	Paper
Book review of: F. Verhulst, Henri Poincaré. Impatient genius	2018-02-28	Paper
Numbers Can Be Just What They Have To	2017-07-14	Paper
How Grothendieck Simplified Algebraic Geometry	2016-06-15	Paper
Recent Debate over Categorical Foundations	2015-07-01	Paper
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	2015-04-17	Paper
The finiteness theorem for invariants of a finite group (translation of Emmy Noether's "Der Endlichkeitsatz der Invarianten endlicher Gruppen")	2015-03-22	Paper
A univalent universe in finite order arithmetic	2014-12-20	Paper
Book review of Jeremy Gray, Henri Poincaré: a scientific biography	2014-12-17	Paper
Introduction: Hypotheses and Progress	2013-05-15	Paper
Categorical Foundations and Mathematical Practice	2013-05-15	Paper
FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS	2013-04-24	Paper
Interpreting set theory in higher order arithmetic	2012-07-26	Paper
Zariski cohomology in second order arithmetic	2012-07-02	Paper
Emmy Noether's first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism	2011-03-30	Paper
What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory	2010-10-26	Paper
Poor Taste as a Bright Character Trait: Emmy Noether and the Independent Social Democratic Party	2008-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q5427237	2007-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5421789	2007-10-24	Paper
The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics	2007-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5488661	2006-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3369141	2006-02-13	Paper
Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works	2006-02-13	Paper
Learning from Questions on Categorical Foundations	2005-09-28	Paper
‘Mathematical Platonism’ Versus Gathering the Dead: What Socrates teaches Glaucon†	2005-09-28	Paper
Exploring Categorical Structuralism	2004-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4428887	2003-09-22	Paper
Richard Courant in the German Revolution.	2001-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4950501	2000-04-04	Paper
Poincaré: Mathematics & Logic & Intuition†	1998-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4840146	1995-07-18	Paper
Category Theory in Real Time	1994-10-31	Paper
Anti-foundation and self-reference	1993-05-16	Paper
Failure of Cartesian closedness in NF	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4003736	1992-09-18	Paper
Axiomatizing a category of categories	1992-06-27	Paper
The Uses and Abuses of the History of Topos Theory	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3470451	1989-01-01	Paper
Defining sets as sets of points of spaces	1988-01-01	Paper
Elementary axioms for canonical points of toposes	1987-01-01	Paper
Left exact logic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3312396	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Colin McLarty