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

zbMATH Open1289.03001MaRDI QIDQ2856944FDOQ2856944

Authors: Ludmila Dostálová 

Publication date: 30 October 2013

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

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

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)

Cited In (2)

• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Title not available (Why is that?)

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)