![7: QED? Prove it. (Proofs) image](https://media.zencastr.com/cdn-cgi/image/width=640,quality=85/image-files/614e1812aa193a007ec6f40f/8d21d88f-2f0d-455f-a6e6-7f94db390cd8.jpg)
![](https://media.zencastr.com/cdn-cgi/image/width=640,quality=85/image-files/614e1812aa193a007ec6f40f/8d21d88f-2f0d-455f-a6e6-7f94db390cd8.jpg)
Proofs are sometimes seen as an exercise in tedium, other times as a pure form of beauty, and often as both. But from time immemorial, people have been using mathematics to demonstrate new theorems, and advance the state of the art of mathematics. However, it is only relatively recently, within the last 3,000 years, that the art of mathematical proof has been considered essential to the study of mathematics. Mathematicians constantly fight over what constitutes a proof, and even what makes a proof valid, partially because proof requires delicate insight. So what is the art of mathematical proof? How has it changed? And who can do it?
---
Support this podcast: https://anchor.fm/breakingmathpodcast/support
![](https://media.zencastr.com/cdn-cgi/image/width=640,quality=85/image-files/614e1812aa193a007ec6f40f/8d21d88f-2f0d-455f-a6e6-7f94db390cd8.jpg)
Proofs are sometimes seen as an exercise in tedium, other times as a pure form of beauty, and often as both. But from time immemorial, people have been using mathematics to demonstrate new theorems, and advance the state of the art of mathematics. However, it is only relatively recently, within the last 3,000 years, that the art of mathematical proof has been considered essential to the study of mathematics. Mathematicians constantly fight over what constitutes a proof, and even what makes a proof valid, partially because proof requires delicate insight. So what is the art of mathematical proof? How has it changed? And who can do it?
---
Support this podcast: https://anchor.fm/breakingmathpodcast/support
![99 (Part II) Math in Drag: Interview with OnlineKyne image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/1eeed6ae-694d-4e44-9de5-72b63bb909ce.png)
![98. Math in Drag: An Episode with Math Educator Kyne Santos image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/53d320d5-0cab-440c-b6d6-a0f258516b4f.png)
![97: (Part 2) Can We Survive on Mars? Hot Tips with Zach Weinersmith image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/ace1a47b-4810-48dd-971e-d4f3befec33e.png)
![96: Can We Survive on Mars? Hot Tips with Zach Weinersmith image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/f559484e-e835-4605-98a9-806b762da5dd.png)
![95: Bayes’ Theorem Explains It All: An Interview with Tom Chivers image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/5ba859f3-328b-4a15-8aa8-dd5b9ce9b5c2.png)
![94. Interview with Steve Nadis, Co-author of 'Gravity of Math' image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/78615d13-b725-4cad-9fff-d055e887ade4.png)
![93. The 10,000 Year Problem (feat. David Gibson of Ray Kitty Creation Workship) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/d271ed10-9398-4cd1-89b4-26708cf1e74a.png)
![91. Brain Organelles, AI, and Other Scary Science - An Interview with GT (Part 2) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/a74d6c7d-c78a-4ab8-b675-1fddda559253.png)
![90. LEAN Theorem Provers used to model Physics and Chemistry image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/0cb1a32c-14d6-4d72-99d4-c9f6d72d197c.jpg)
![89. Brain Organelles, AI, and the Other Scary Science - An Interview with GT (Part I) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/cf3786a1-7f1a-44df-aa03-33d48edd0ce4.jpg)
![88. Can OpenAi's SORA learn and model real-world physics? (Part 1 of n) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/382d6943-542d-4a7c-a71e-5cc277c9c02d.jpg)
![87. OpenAi SORA, Physics-Informed ML, and a.i. Fraud- Oh My! image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/382d6943-542d-4a7c-a71e-5cc277c9c02d.jpg)
![86. Math, Music, and Artificial Intelligence - Levi McClain Interview (Final Part) image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/382d6943-542d-4a7c-a71e-5cc277c9c02d.jpg)
![85. Math, Music, Neuroscience, and Fear - an Interview with Musician Levi McClain image](https://media.zencastr.com/cdn-cgi/image/width=90,quality=85/image-files/614e1812aa193a007ec6f40f/382d6943-542d-4a7c-a71e-5cc277c9c02d.jpg)