Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies that Brouwer has invited us to introduce into mathematics.
...MoreSimilar Citations
Chapter
von Plato, Jan;
(2009)
Proof Theory of Classical and Intuitionistic Logic
(/isis/citation/CBB001210351/)
Article
Mumford, David;
(2011)
Intuition and Rigor and Enriques's Quest
(/isis/citation/CBB001211748/)
Book
Atten, Mark Sebastiaan Paul Rogier van;
(2004)
On Brouwer
(/isis/citation/CBB000301970/)
Article
Niekusa, Joop;
(2010)
Brouwer's Incomplete Objects
(/isis/citation/CBB001210970/)
Chapter
Aberdein, Andrew;
Read, Stephen;
(2009)
The Philosophy of Alternative Logics
(/isis/citation/CBB001210355/)
Book
John P. Burgess;
(2015)
Rigor and Structure
(/isis/citation/CBB621282384/)
Book
Gabriele Lolli;
(2022)
The Meaning of Proofs: Mathematics as Storytelling
(/isis/citation/CBB293361801/)
Book
Dalen, Dirk van;
(2013)
L. E. J. Brouwer: Topologist, Intuitionist, Philosopher---How Mathematics is Rooted in Life
(/isis/citation/CBB001500395/)
Chapter
Harari, Orna;
(2012)
John Philoponus and the Conformity of Mathematical Proofs to Aristotelian Demonstrations
(/isis/citation/CBB001320142/)
Article
Miriam Franchella;
(2019)
Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting
(/isis/citation/CBB604456688/)
Article
Ageron, Pierre;
(2002)
L'autre axiome du choix
(/isis/citation/CBB000500323/)
Article
Alessandro Antonello;
(2022)
Antarctic Krill and the Temporalities of Oceanic Abundance, 1930s–1960s
(/isis/citation/CBB132455694/)
Book
Franchella, Miriam;
(1994)
L.E.J. Brouwer pensatore eterodosso: L'intuizionismo tra matematica e filosofia
(/isis/citation/CBB000033779/)
Book
Dalen, Dirk van;
(2005)
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer 1881--1966
(/isis/citation/CBB000640795/)
Article
Posy, Carl J.;
(1980)
On Brouwer's definition of inextendable order
(/isis/citation/CBB000002678/)
Chapter
Johnson, Dale M.;
(1987)
L.E.J. Brouwer's coming of age as a topologist
(/isis/citation/CBB000042993/)
Thesis
Eggenberger, Peter B.;
(1976)
The philosophical background of L.E.J. Brouwer's intuitionistic mathematics
(/isis/citation/CBB001564114/)
Book
Dalen, Dirk van;
(2001)
L.E.J. Brouwer, 1881--1966: Een biografie: Het heldere licht van de wiskunde
(/isis/citation/CBB000740446/)
Article
Tousignant, Noemi;
(October 2013)
Broken tempos: Of means and memory in a Senegalese university laboratory
(/isis/citation/CBB036851501/)
Book
Brouwer, Luitzen E.J.;
(1992)
Intuitionismus. Hrsg., engeleitet, und kommentiert von Dalen, Dirk van
(/isis/citation/CBB000034331/)
Be the first to comment!