logo
episode-header-image
Feb 2024
45m 26s

Ep 202: David Deutsch’s ”The Fabric of R...

Brett Hall
About this episode

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

Up next
May 29
Ep 241: AI 2027 Reaction Part 5: Summary and Conclusions
A summary of some arguments made in the previous 4 parts, and a conclusion to my evaluation of https://ai-2027.com I refer to Daniel Kokotajlo's paper which contained an earlier set of predictions made in 2021 about the 5 years leading to 2026 which is found here https://www.less ... Show More
42m 18s
May 22
Ep 240: AI 2027 Reaction Part 4
Note that Part 3 is episode 239 or can be found here: https://youtu.be/7P-UlHiTins Part 2 is here: https://youtu.be/o3Rdj37UJjw Part 1 is here: https://www.youtube.com/watch?v=Uq_txKy-XMQ I react to the contents of this article https://ai-2027.com 
22m 1s
May 21
Ep 239: AI 2027 Reaction Part 3
Episode 238 contains Part 2 of this podcast and Episode 237 is Part 1. Also all parts are available on Youtube as almost always. Eg here for part 2: https://youtu.be/o3Rdj37UJjw Part 1 is here: https://www.youtube.com/watch?v=Uq_txKy-XMQ I am reacting to the contents of this arti ... Show More
46m 19s
Recommended Episodes
Oct 2008
Godel's Incompleteness Theorems
Melvyn Bragg and guests discuss an iconic piece of 20th century maths - Gödel’s Incompleteness Theorems. In 1900, in Paris, the International Congress of Mathematicians gathered in a mood of hope and fear. The edifice of maths was grand and ornate but its foundations, called axio ... Show More
42m 8s
Oct 2023
253 | David Deutsch on Science, Complexity, and Explanation
David Deutsch is one of the most creative scientific thinkers working today, who has as a goal to understand and explain the natural world as best we can. He was a pioneer in quantum computing, and has long been an advocate of the Everett interpretation of quantum theory. He is a ... Show More
1h 42m
Jan 2018
Eugenia Cheng on the mathematics of mathematics
Nothing annoys Eugenia Cheng more than the suggestion that there is no creativity in mathematics. Doing mathematics is not about being a human calculator, she says. She doesn't spend her time multiplying big numbers in her head. She sits in hotel bars drawing (mainly arrows) with ... Show More
27m 36s
Dec 2020
Anna Weltman, "Supermath: The Power of Numbers for Good and Evil" (Johns Hopkins UP, 2020)
Mathematics as a subject is distinctive in its symbolic abstraction and its potential for logical and computational rigor. But mathematicians tend to impute other qualities to our subject that set it apart, such as impartiality, universality, and elegance. Far from incidental, th ... Show More
1h 47m
Mar 2022
Is maths real?
Faced with one cake and eight hungry people, it’s pretty obvious how maths underpins reality. But as mathematics gets further from common sense and into seemingly abstract territory, nature still seems to obey its rules - whether in the orbit of a planet, the number of petals on ... Show More
32m 15s
Mar 2023
Les valeurs de Grothendieck
🎙️   Aujourd’hui, sur Maths en tête, on parle d’un mathématicien dont le travail fait l’unanimité auprès de la communauté, un génie du 20e siècle, dont la vie est tout bonnement incroyable.  On parle de celui qu’on a souvent  surnommé l’Einstein des maths. Rien que ça.  On parle ... Show More
10m 31s
Feb 2010
Mathematics' Unintended Consequences
Melvyn Bragg and guests John Barrow, Colva Roney-Dougal and Marcus du Sautoy explore the unintended consequences of mathematical discoveries, from the computer to online encryption, to alternating current and predicting the path of asteroids.In his book The Mathematician's Apolog ... Show More
41m 54s
Dec 2023
Can Mathematics Be Used to Detect Design in Nature? | with Dr. William Dembski
How do we know that life is designed? Would it surprise you to know that it can be done mathematically? You see, things like biological systems, specified complexity, and probabilistic hurdles leave no reasonable explanation for life as we know it without a creator. But are athei ... Show More
48m 13s
Sep 2010
Georg Cantor
This ten part history of mathematics from Newton to the present day, reveals the personalities behind the calculations: the passions and rivalries of mathematicians struggling to get their ideas heard. Professor Marcus du Sautoy shows how these masters of abstraction find a role ... Show More
14m 18s
Sep 2010
The Mathematicians Who Helped Einstein
This ten part history of mathematics from Newton to the present day, reveals the personalities behind the calculations: the passions and rivalries of mathematicians struggling to get their ideas heard. Professor Marcus du Sautoy shows how these masters of abstraction find a role ... Show More
13m 52s