scientific article; zbMATH DE number 58389

MaRDI QIDQ4005281zbMATH OpenFDO

Authors Francisco Tomas

Publication date 27 September 1992

zbMATH Keywords

consistencyconstructive analysisconstructive mathematicsHilbert's programPeano Arithmeticprimitive recursive arithmeticrecursive formalismrestricted formally recursive arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60)

Recommendations

• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Hilbert's program and the omega-rule
• Hilbert's programs and beyond

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