scientific article
From MaRDI portal
Publication:3998865
zbMath0707.03001MaRDI QIDQ3998865
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items
L. E. J. Brouwer: Toward intuitionistic logic, Peano's axioms in their historical context, On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary, Intuitionistic completeness of first-order logic, The rejected parts of Brouwer's dissertation on the foundations of mathematics, Proof vs Provability: On Brouwer’s Time Problem, Lewis meets Brouwer: constructive strict implication, To be or not to be constructive, that is not the question, Laplace's demon consults an oracle: the computational complexity of prediction, Preface: L. E. J. Brouwer, fifty years later [Preface to the virtual special issue], A constructive proof of the Heine-Borel covering theorem for formal reals, The relativity and universality of logic, The first axiomatization of relevant logic, Brouwer's intuitionism vis à vis Kant's intuition and imagination, Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting, Computable analysis with applications to dynamic systems, Hilbert and Einstein
