scientific article; zbMATH DE number 5905243

MaRDI QIDQ3005437zbMATH OpenFDO

Authors Luitzen Egbertus Jan Brouwer

Publication date 8 June 2011

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)

Cited in

(6)

• Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
• Formalism and Hilbert's understanding of consistency problems
• Requiem for logical nihilism, or: logical nihilism annihilated
• Higher order functions and Brouwer's thesis
• Realizability and recursive set theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3005437)