Extensions of the Finitist Point of View

DOI10.1080/01445340210154295MaRDI QIDQ4706119zbMATH OpenOpenAlexWikidataFDO

Authors Matthias Schirn, Karl-Georg Niebergall

Publication date 28 October 2003

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340210154295

zbMATH Keywords

Bernaysfinitist metamathematicsfinitist point of viewHilbertrestricted \(\omega\)-rule

Mathematics Subject Classification ID

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

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

Cites work

• Die Grundlegung der elementaren Zahlenlehre
• Fragments of arithmetic
• Hilbert's program and the omega-rule
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3523506 (Why is no real title available?)
• scientific article; zbMATH DE number 1254487 (Why is no real title available?)
• scientific article; zbMATH DE number 1254488 (Why is no real title available?)
• scientific article; zbMATH DE number 1254489 (Why is no real title available?)
• scientific article; zbMATH DE number 1150556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• On interpreting Gödel's second theorem
• The consistency of arithmetics
• Zur Widerspruchsfreiheit der Zahlentheorie
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(5)

• 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
• scientific article; zbMATH DE number 1870429 (Why is no real title available?)
• What Hilbert and Bernays meant by ``finitism
• Consistency, models, and soundness

This page was built for publication: Extensions of the Finitist Point of View

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