On Kurt Gödel's essays, “Some Basic Theorems on the Foundations of Mathematics and their Implications” (1951) and “The Modern Development of the Foundations of Mathematics in Light of Philosophy” (1961). Gödel is famous for some "incompleteness theorems" of direct interest only to those trying to axiomatize mathematics. What are the implications for the rest of philosophy? Continue Reading …
Episode 95: Gödel on Math
On Kurt Gödel's essays, “Some Basic Theorems on the Foundations of Mathematics and their Implications” (1951) and “The Modern Development of the Foundations of Mathematics in Light of Philosophy” (1961). Gödel is famous for some "incompleteness theorems" of direct interest only to those trying to axiomatize mathematics. What are the implications for the rest of philosophy? Continue Reading …
Topic for #95: Godel on Math
Listen to guest Adi Habbu lay out Gödel's incompleteness theorems and introduce the readings. Kurt Gödel is of course best known as a mathematician, and some of the mechanics involved with the proof of his first incompleteness theorem had a direct influence on Alan Turing's development of modern computing. But what does this have to do with philosophy? Well, most Continue Reading …