Podcast: Play in new window | Download (Duration: 9:06 — 8.8MB)
Adi Habbu lays out Kurt Gödel's incompleteness theorems and describes "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).
Excellent synopsis. I look forward to the discussion.
Speaking as a grad student in math with little experience in the philosophy of math or in formal logic, I am thoroughly excited!
First of all: Thanks for an excellent, amazing and awesome podcast! Secondly: “Girdle” (giggle) XD