scientific article; zbMATH DE number 1199707

MaRDI QIDQ4211222zbMATH OpenFDO

Authors

Publication date 16 September 1998

zbMATH Keywords

BernaysBrouwerGentzenGödelHilbertintuitionismKreiselproof theoryWeyl

Mathematics Subject Classification ID

Collections of reprinted articles (00B60) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03Fxx)

Recommendations

• One hundred years of intuitionism (1907--2007). The Cerisy conference, Cerisy, France, June 5--12, 2007
• scientific article; zbMATH DE number 1015088
• scientific article; zbMATH DE number 1150714
• The Grundlagenstreit and Brouwer's intuitionism

Cited in

(19)

• Intuitionistic truth
• Proof-theoretic harmony: towards an intensional account
• Introduction
• scientific article; zbMATH DE number 444624 (Why is no real title available?)
• Intuitionism As Generalization
• Scientific philosophy and philosophical science
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• Introduction: The Three Foundational Programmes
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4089494 (Why is no real title available?)
• scientific article; zbMATH DE number 1241249 (Why is no real title available?)
• scientific article; zbMATH DE number 1344488 (Why is no real title available?)
• scientific article; zbMATH DE number 495969 (Why is no real title available?)
• scientific article; zbMATH DE number 1015088 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 1500605 (Why is no real title available?)
• scientific article; zbMATH DE number 1439702 (Why is no real title available?)
• A missed opportunity. The intuition of the dialectic in Brouwer's intuitionism
• Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting

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 Q4211222)