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 67:"The Fabric of Reality" episode 2.
Ep 66: “The Science of Can and Can’t” episode 2
Ep 65: Quasars
Ep 64 Ch 18 "The Beginning" Part 3
Ep 63: "The Fabric of Reality" episode 1
Ep 62: "The Science of Can and Can't" episode 1.
Ep 61 Ch 18 "The Beginning" Part 2
Ep 60: The Nexus (No music version).
Ep 59: The Nexus
Ep 58 Ch 18 "The Beginning" Part 1
Ep 57 "Existential Risk".
Ep 56: Ch 17 "Unsustainable" Part 4
Ep 55:Existence
Ep 54 Ch 17 "Unsustainable" Part 3
Ep 53: Understanding Universality
Ep 52 Ch 17 "Unsustainable" Part 2
Ep 51 Ch 17 "Unsustainable" Part 1
Ep 50 Ch 16 "The Evolution of Creativity" Part 2
Ep 49: An introduction to epistemology
Ep 48: Cosmological Economics
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