Gregory Chaitin: Complexity, Randomness, and the Omega Number

Theories of Everything with Curt Jaimungal

Curt Jaimungal

Physics, Philosophy, Society & Culture, Science

4.6 • 606 Ratings

🗓️ 28 August 2023

⏱️ 192 minutes

🔗️ Recording | iTunes | RSS

🧾️ Download transcript

Summary

I personally subscribe to The Economist. TOE listeners get 35% off the annual subscription. No other podcast has this! https://economist.com/TOE Gregory Chaitin explores algorithmic information theory, Gödel's incompleteness, and the Omega number, probing what randomness truly means. He also tackles cold fusion and the foundations of life, linking math, physics, and metaphysics.0:00 Introduction2:27 Chaitin's Self-Taught Journey6:56 Chaitin's Incompleteness Theorem and Algorithmic Randomness12:00 The Infinite Calculation Paradox and Omega Number27:38 God is a Mathematician37:06 Information as a Fundamental Substance53:10 Evolution and the Modern Synthesis1:08:43 Turing's Less Known Masterpiece1:16:58 Extended Evolutionary Synthesis and Epigenetics1:21:20 Renormalization and Tractability1:28:15 The Infinite Fitness Function1:42:03 Progress in Math despite Incompleteness1:48:38 Unconventional Academic Approach1:50:35 Godel's Incompleteness and the Platonic World2:06:01 The Enigma of Creativity in Math2:15:37 Dark Matter: Stable Hydrogen? (Hydrinos)2:23:33 Stigma and the "Reputation Trap" in Science2:28:43 Cold Fusion2:29:28 The Stagnation of Physics2:41:33 Defining Randomness2:52:01 Advice for Young Mathematicians and PhysicistsSPONSORS:- Patreon: https://patreon.com/curtjaimungal- Crypto: https://tinyurl.com/cryptoTOE- PayPal: https://tinyurl.com/paypalTOE- Twitter: https://twitter.com/TOEwithCurt- Discord: https://discord.com/invite/kBcnfNVwqs- iTunes: https://podcasts.apple.com/ca/podcast/better-left-unsaid-with-curt-jaimungal/id1521758802- Pandora: https://pdora.co/33b9lfP- Spotify: https://open.spotify.com/show/4gL14b92xAErofYQA7bU4e- Subreddit r/TheoriesOfEverything: https://reddit.com/r/theoriesofeverything- TOE Merch: https://tinyurl.com/TOEmerchRESOURCES:- Meta Math (Chaitin): https://amzn.to/3stCFxH- Visual math on Chaitin's constant: https://youtu.be/WLASHxChXKM- David Wolpert on TOE: https://youtu.be/qj_YUxg-qtY- A Mathematician's Apology (Hardy): https://amzn.to/3qOEbtL- Physicalization of Metamathematics (Wolfram): https://amzn.to/3YUcGLL- Neil deGrasse Tyson on TOE: https://youtu.be/HhWWlJFwTqs- Proving Darwin (Chaitin): https://amzn.to/3L0hSbs- What is Life? (Schrödinger): https://amzn.to/3YVk8Xm- "On Computable Numbers" (Turing): https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf- "The Major Transitions in Evolution" (Smith/Szathmáry): https://amzn.to/3PdzYci- "The Origins of Life" (Smith/Szathmáry): https://amzn.to/3PeKFeM- Stephen Wolfram on TOE: https://youtu.be/1sXrRc3Bhrs- Incompleteness (Goldstein): https://amzn.to/3Pf8Yt4- Rebecca Goldstein on TOE re Godel: https://youtu.be/VkL3BcKEB6Y- Gödel's Proof (Nagel/Newman): https://amzn.to/3QX89q1- Giant Brains (Berkeley): https://amzn.to/3QXniYj- Intro to Probability Theory (Feller): https://amzn.to/44tWjXI- https://youtu.be/zMPnrNL3zsE Theories of Everything with Curt Jaimungal features long-form, technically detailed interviews with leading researchers in physics, mathematics, consciousness, and philosophy, exploring topics at the level of active research. For academics, graduate students, and anyone seeking depth beyond popular science. FOLLOW: Substack | Spotify | YouTube | Twitter Learn more about your ad choices. Visit megaphone.fm/adchoices Learn more about your ad choices. Visit megaphone.fm/adchoices

Transcript

Click on a timestamp to play from that location

0:00.0	There are two things that are absolutely true. Grandma loves you, and she would never say no to McDonald's. So treat yourself to a Grandma McFlurry with your order today. It's what Grandma would want.
0:11.4	At participating McDonald's for a limited time. I think that biology is open-ended and endlessly creative. When you create a new level of reality,
0:22.0	what goes on at the bottom level may not be visible at the top level, and you can start with
0:26.9	many bottom levels and get to the same top level. Gregory Chaiton is a towering figure in the
0:33.0	field of mathematical logic and complexity theory. Chaiton left formal education during high school, beginning his work in mathematical theory
0:40.8	as a teenager.
0:42.0	His contributions to algorithmic information theory include the development of Chaiton's
0:46.5	incompleteness theorem, which builds on Gertl's incompleteness theorem.
0:50.0	However, it uses less assumptions.
0:52.5	Gertl's theorem requires the strength of arithmetic to prove that an infinite amount of mathematical facts can't be deduced from a finite set of axioms,
1:00.2	or technically a recursively axiomitizable set.
1:03.0	Whereas Chaiton's approach reaches a similar conclusion, though it relies on less assumptions,
1:08.0	and thus in some ways can be seen as more powerful. Chaiton's also famous for his constant called Chaiton's Constant.
1:14.6	There's a visual math episode on Chaiton's Constant, and I'll link that in the description as well.
1:19.6	And if you'd like a definition, it's written on screen.
1:21.6	Again, links to everything will be in the description.
1:23.6	It's defined to be the halting probability, represented by the symbol omega, capital omega. So how can this be understood? It's defined to be the halting probability represented by the symbol
1:27.7	omega, capital omega. So how can this be understood? It's defined as the probability that a
1:32.5	randomly selected program will stop running or halt. Chaiton's career positions include being
1:37.7	a researcher at IBM Watson, a professor at the federal university of Rio de Janeiro, and a member
1:43.5	of the Institute for Advanced Studies.
1:45.5	This episode delves into Chaiton's exploration of meta-biology as well, which is a study
	...

Please login to see the full transcript.

Previous episode | Next episode

Disclaimer: The podcast and artwork embedded on this page are from Curt Jaimungal, and are the property of its owner and not affiliated with or endorsed by Tapesearch.

Generated transcripts are the property of Curt Jaimungal and are distributed freely under the Fair Use doctrine. Transcripts generated by Tapesearch are not guaranteed to be accurate.