The nature of proof and mathematics as a creative enterprise. Not all that is true can be proved as such, the high hopes of David Hilbert for placing the entirety of mathematics on a "firm foundation", the mathematical world-shattering results of Kurt Gödel which frustrated that project, a history of proof and finally Roger Penrose and whether human brains are computers in the Turing sense. And some very long remarks by me, especially in the introduction. Become a subscriber at https://patreon.com/tokcast?utm_medium=unknown&utm_source=join_link&utm_campaign=creatorshare_creator&utm_content=copyLink
Ep 26: Problems, Knowledge and Wealth
Ep 25: Ch 11 "The Multiverse" Part 3
Ep 24: The Multiverse, Part 2
Ep 23: The Multiverse, Part 1
Ep 22: The Logic of Experimental Tests
Ep 21: Ch 10, Part 2 "A Dream of Socrates"
Ep 20: Ch 10, Part 1 "A Dream of Socrates"
Ep 19: Mr. Popper's Problems
Ep 18: Ch 9, Part 3: “Optimism”
Ep 17: Ch 9, Part 2: "Optimism"
Ep 16: Ch 9, Part 1: "Optimism"
Ep 15: A diversion on Free Will and Artificial Intelligence
Ep 14: Ch 8, Part 2: "A Window on Infinity"
Ep 13: Ch 8 "A Window on Infinity" Part 1
Ep 12 "Artificial Creativity" Ch 7 Pt 2
Ep 11 "Artificial Creativity" Ch 7 Part 1
Ep 10 "The Jump to Universality" Ch.6
Ep 9 "The Reality of Abstractions" Ch.5 Part 2
Ep 8 "The Reality of Abstractions" Ch.5, Part 1
Ep 7 "Creation" Ch.4, Part 2
Create your
podcast in
minutes
It is Free
The Modern West
강유원의 책담화冊談話
The Art of Manliness
Dear Hank & John
Conversations With Coleman
Alan Watts Being in the Way