Finitist consistency proofs and the impact of Gödel's incompleteness theorems on Hilbert's metamathematics

MaRDI QIDQ5869554FDOQ5869554

Authors: Matthias Schirn 

Publication date: 28 September 2022

Recommendations

• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• In the Shadow of Incompleteness: Hilbert and Gentzen
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• scientific article; zbMATH DE number 2078129

zbMATH Keywords

proof theoryformalismfinitismHilbert's programmeincompleteness theoremconsistency proof

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (5)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program

This page was built for publication: Finitist consistency proofs and the impact of Gödel's incompleteness theorems on Hilbert's metamathematics

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