Why Impressive-Mud5074 Doesn’t Believe in Pi

Wrath of Math

Wrath of Math

531,742 views

Please don't go out of your way to pester Impressive-Mud5074 about his ultrafinitism! Despite the jokes, I hope you will come to understand where he is coming from throughout today's discussion!

"Pi is uncomputable", so said Impressive-Mud5074 on r/learnmath. From there, he was thoroughly discoursed and today we look at the whole saga - digging into computability, the halting problem, and ultrafinitism. #maths #mathmemes

More Math Chats: Math Chats
Business Inquiries: wrathofmathlessons@gmail.com

SOURCES
https://human.libretexts.org/Bookshel...
Real Analysis is a Degenerate Case of Discrete Analysis by Doron Zielberger
https://plato.stanford.edu/entries/ph...
Hilbert, David (1926), "Über das Unendliche", Mathematische Annalen, 95 (1): 161–190
Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak
What is Mathematics and What Should it Be? By Doron Zeilberger
https://mathworld.wolfram.com/Axiomof...
Meta Math!: The Quest for Omega by Gregory Chaitin
Aristotelian Infinity by John Bowin
Understanding the Infinite by Shaughan Lavine
Computation Finite and Infinite Machines by Marvin L Minsky
Ultrafinitism by Joel David Hamkins
Alan Turing, On computable numbers by Joel David Hamkins
https://math.stackexchange.com/questi...
https://mathoverflow.net/questions/44...
Constructivism in Mathematics an Introduction Volume 1 by A.S. Troelstra and D. Vandalen
On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. Turing

0:00 Intro
2:02 Computable Numbers
3:49 Impressive Mud's Definition
7:05 Opposing Pi
12:53 Zielberger
15:33 Uncomputable Conception
21:57 Conclusion