Hilbert's programme: on the change of mathematical practice before and after Gödel's incompleteness theorems.

MaRDI QIDQ2856944zbMATH OpenFDO

Authors Ludmila Dostálová

Publication date 30 October 2013

Full work available at URL http://hdl.handle.net/10338.dmlcz/401734

zbMATH Keywords

model theoryincompleteness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 713586
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Hilbert's program. An essay on mathematical instrumentalism
• H for Hilbert. \dots and M for mathematics
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem

Cited in

(2)

• scientific article; zbMATH DE number 2113553 (Why is no real title available?)
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems

This page was built for publication: Hilbert's programme: on the change of mathematical practice before and after Gödel's incompleteness theorems.

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