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 47: Are we alone?
Ep 46 "The Evolution of Creativity" Part 1
Ep 45 Free Will Exists
Ep 44 Ch 16 "The Evolution of Creativity" Part 0
Ep 43 Ch 15 "The Evolution of Culture" Part 3
Ep: 42 An autobiography of wealth
Ep 41: Deutsch Discoveries: Part 2 of an introduction to the philosophy of David Deutsch
Ep 40: Popper Pieces - Part 2 of an Introduction to Popper
Ep 39 Ch 15 "The Evolution of Culture" Part 2
Ep 38 Ch 15 "The Evolution of Culture" Part 1
Ep 37: An intermittent introduction to Popper and Deutsch
Ep 36: The Borders of Ideas
Ep 35 Ch 14 "Why are Flowers Beautiful?"
Ep 34 Ch 13 “Choices” Part 2. Some readings and remarks.
Ep 33 Ch 13 "Choices" Part 1. Some readings and remarks.
Ep 32 Ch 12 "A Physicist's History of Bad Philosophy" Part 3. Some readings and remarks
Ep: 31 Ch 12 "A Physicist's History of Bad Philosophy" Part 2: Some readings and remarks.
Ep: 30 Ch 12 "A Physicist's History of Bad Philosophy" Part 1: The Introduction
Ep: 29 Ch 11 "The Multiverse" Part 5
Ep 28: Ch 11 "The Multiverse" Part 4
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