scientific article; zbMATH DE number 495969

MaRDI QIDQ4277628zbMATH OpenFDO

Authors Gerhard Gentzen

Publication date 12 July 1994

Full work available at URL https://eudml.org/doc/36559

zbMATH Keywords

antinomiesaxiomaticsfoundations

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 1927123
• scientific article; zbMATH DE number 495970
• scientific article; zbMATH DE number 1550343
• scientific article; zbMATH DE number 1199707
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics

Cited in

(9)

• Current status of the foundations of mathematics. Translated from the English by J. M. Almira.
• scientific article; zbMATH DE number 3930962 (Why is no real title available?)
• scientific article; zbMATH DE number 495970 (Why is no real title available?)
• Heyting’s contribution to the change in research into the foundations of mathematics
• scientific article; zbMATH DE number 1078589 (Why is no real title available?)
• Are mathematical theories reducible to non-analytic foundations?
• scientific article; zbMATH DE number 969493 (Why is no real title available?)
• Gentzen's anti-formalist views
• scientific article; zbMATH DE number 3094247 (Why is no real title available?)

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