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 187: Red Pens and Fallibilism
Ep 186: Brett, Naval and more on AI & AGI
Ep 185: Possibility and Actuality. Facts and Counterfactuals.
Ep 184: ToKCast Digest - An Overview of Optimism
Ep 183: St George in retirement syndrome on St Patrick’s day.
Ep 182: Livestream Science News and AMA
Ep 181: The Big Bang Livestream ToKCast
Ep 180: Livestream: ”The Open Hand of Reason”
Ep 179: Livestream March 14, 2023
Ep 178: Its, Bits, Qubits *Part 2*
Ep 177: Its, Bits, Qubits. Part 1
Ep 176: David Deutsch’s ”The Fabric of Reality” Chapter 9 ”Quantum Computers” Part 2
Ep 175: Science News 1: Population III - The First Generation of Stars in the Universe Observed?
Ep 174: A message for next millennium.
Ep 173: Brett Talks Twitter 2
Ep 172: Talents and Testing
Ep 171: Knowledge and Ignorance 6
Ep 170: Are creativity and consciousness the same thing?
Ep 169: Livestream & Happy New Year
Ep 168: David Deutsch’s ”The Fabric of Reality” Chapter 9 ”Quantum Computers” Part 1
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