Hilbert programme and applied proof theory

MaRDI QIDQ3018989zbMATH OpenFDO

Authors Yvon Gauthier

Publication date 27 July 2011

zbMATH Keywords

consistency proofconstructivismproof mining

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Other constructive mathematics (03F65)

Recommendations

• Hilbert and the internal logic of mathematics
• scientific article; zbMATH DE number 799317
• Hilbert's programs and beyond
• scientific article; zbMATH DE number 5652610
• scientific article; zbMATH DE number 4051610

Cited in

(5)

• Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
• Proof Analysis
• scientific article; zbMATH DE number 5788436 (Why is no real title available?)
• scientific article; zbMATH DE number 5575850 (Why is no real title available?)
• A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory

This page was built for publication: Hilbert programme and applied proof theory

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