EPISODE · Feb 11, 2024 · 45 MIN
Ep 202: David Deutsch’s ”The Fabric of Reality” Chapter 10 ”The Nature of Mathematics” Part 3
from ToKCast · host Brett Hall
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
What this episode covers
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
NOW PLAYING
Ep 202: David Deutsch’s ”The Fabric of Reality” Chapter 10 ”The Nature of Mathematics” Part 3
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.