scientific article; zbMATH DE number 1254488

MaRDI QIDQ4227556zbMATH OpenFDO

Authors Karl-Georg Niebergall, Matthias Schirn

Publication date 17 August 1999

zbMATH Keywords

finitismHilbert's program

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) 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)

Recommendations

• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• scientific article; zbMATH DE number 799317
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Hilbert and the Problem of Clarifying the Infinite

Cited in

(12)

• Finitization procedures and finite model property
• Hilbert and the Problem of Clarifying the Infinite
• On a hitherto unexploited extension of the finitary standpoint. Translation from the German by M. S. Lourenço.
• Different senses of finitude: an inquiry into Hilbert's finitism
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• scientific article; zbMATH DE number 2137160 (Why is no real title available?)
• Extensions of the Finitist Point of View
• scientific article; zbMATH DE number 799317 (Why is no real title available?)
• On the concept of finitism
• What Hilbert and Bernays meant by ``finitism
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Consistency, models, and soundness

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