scientific article; zbMATH DE number 1027996

MaRDI QIDQ4342007zbMATH OpenFDO

Authors Werner DePauli-Schimanovich, P. Weibel

Publication date 30 June 1997

zbMATH Keywords

artificial intelligencecosmologylogicTuring computabilityundecidabilityincompletenessphilosophyTuring machinescomputer sciencephysicscognitive sciencehalting problemHilbert's programfoundations, proof theorytime journeysundecidability problem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Recommendations

• scientific article; zbMATH DE number 1532738
• scientific article; zbMATH DE number 1788465
• Kurt Gödel. The genius of metamathematics

Cited in

(7)

• scientific article; zbMATH DE number 4085596 (Why is no real title available?)
• scientific article; zbMATH DE number 1532738 (Why is no real title available?)
• scientific article; zbMATH DE number 5037237 (Why is no real title available?)
• Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach
• scientific article; zbMATH DE number 2161110 (Why is no real title available?)
• Richard, Gödel and a mathematical paradox
• scientific article; zbMATH DE number 1788465 (Why is no real title available?)

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