On the limit of the finite. The Hilbert programme in the context of formalism and finitism

DOI10.1007/978-3-642-29654-3zbMath1267.03005OpenAlexW1609207936MaRDI QIDQ441154

Christian Tapp

Publication date: 20 August 2012

Published in: Mathematik im Kontext (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29654-3

zbMATH Keywords

formalismfinitismHilbert's programme

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03) Gödel numberings and issues of incompleteness (03F40)

Related Items (5)

M ⋮ Is there a ``Hilbert thesis? ⋮ From Dedekind to Zermelo versus Peano to Gödel ⋮ In the footsteps of Julius König's paradox ⋮ Historical Face of Number Theory(ists) at the Turn of the 19th Century

This page was built for publication: On the limit of the finite. The Hilbert programme in the context of formalism and finitism