scientific article; zbMATH DE number 4087620

MaRDI QIDQ3816045zbMATH OpenFDO

Authors Craig Smoryński

Publication date 1988

zbMATH Keywords

BrouwerfoundationsGrundlagenstreitHilbert's programmemetamathematics of arithmeticWeyl

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 1101521
• scientific article; zbMATH DE number 713586
• Hilbert's Programs: 1917–1922
• Hilbert and the internal logic of mathematics
• Hilbert's programs and beyond

Cited in

(10)

• Hilbert's logic. From axiomatics to proof theory
• Fontaine's programm
• Hilbert's iterativistic tendencies
• scientific article; zbMATH DE number 5575850 (Why is no real title available?)
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• Hilbert's Programs: 1917–1922
• scientific article; zbMATH DE number 1101521 (Why is no real title available?)
• Hilbert’s Programme and Ordinal Analysis
• , , AND REINHARDT’S PROGRAM
• Hilbert's program revisited

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