Second thoughts around some of Gödel's writings: A non-academic option

DOI10.1023/A:1005006610269zbMATH Open0935.01009OpenAlexW106037804MaRDI QIDQ1299778

Georg Kreisel

Publication date: 25 April 2000

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005006610269

zbMATH Keywords

completenessartificial intelligencefoundationsproof theoryincompletenessHilbert's 10th problemrecursivenessintuitionfinitismHilbert's programme\(\epsilon\)-axiomGödel's Gibb's lecturesWesensschau

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On Gödel's philosophical assumptions 👍 👎
• Reflections on Gödel's theorem 👍 👎
• Gödel's thesis: an appreciation 👍 👎
• On Godel's Second Incompleteness Theorem 👍 👎
• The Second Incompleteness Theorem: Reflections and Ruminations 👍 👎

This page was built for publication: Second thoughts around some of Gödel's writings: A non-academic option

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