scientific article; zbMATH DE number 799317

MaRDI QIDQ4847764zbMATH OpenFDO

Authors Ulrich Majer

Publication date 22 April 1996

zbMATH Keywords

finitismHilbert's programme

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)

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
• scientific article; zbMATH DE number 1254488
• Hilbert's program. An essay on mathematical instrumentalism
• Different senses of finitude: an inquiry into Hilbert's finitism

Cited in

(10)

• Gödel on intuition and on Hilbert's finitism
• Extensions of the Finitist Point of View
• On the outside looking in: a caution about conservativeness
• Finitization procedures and finite model property
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• Hilbert programme and applied proof theory
• Are we finite?
• Quasi-Fuchsian co-Minkowski manifolds
• Hilbert's `Foundations of physics': gravitation and electromagnetism within the axiomatic method
• Different senses of finitude: an inquiry into Hilbert's finitism

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