The story of mathematical proof – with John Stillwell

Published 2023-03-16
Discover the surprising history of proof, a mathematically vital concept.

In this talk John covers the areas of number theory, non-Euclidean geometry, topology, and logic, and peer into the deep chasm between natural number arithmetic and the real numbers.

Buy John's book here: geni.us/mathsproof
Watch the Q&A here:    • Q&A: The story of mathematical proof ...  

This video was filmed by the Ri on 24 January 2023.

John Stillwell was born in Melbourne, Australia, and taught at Monash University from 1970 until 2001, before moving to USF in 2002.

He was an invited speaker at the International Congress of Mathematicians in 1994, and his mathematical writing has been honoured with the Chauvenet Prize of the Mathematical Association of America in 2005 and the book award of the Association of Jesuit Colleges and Universities in 2009.

Among his best-known books are 'Mathematics and Its History' and 'Yearning for the Impossible'. His interests are history of mathematics in the 19th and 20th centuries, number theory, geometry, algebra, topology, foundations of mathematics.

--
A very special thank you to our Patreon supporters who help make these videos happen, especially:

modsiw, Anton Ragin, Edward Unthank, Robert L Winer, Andy Carpenter, William Hudson
Don McLaughlin, efkinel lo, Martin Paull, Ben Wynne-Simmons, Ivo Danihelka, Kevin Winoto, Jonathan Killin, Stephan Giersche, William Billy Robillard, Jeffrey Schweitzer, Frances Dunne, jonas.app, Tim Karr, Alan Latteri, David Crowner, Matt Townsend, THOMAS N TAMADA, Andrew McGhee, Paul Brown, David Schick, Dave Ostler, Osian Gwyn Williams, David Lindo, Roger Baker, Rebecca Pan
--

The Ri is on Patreon: www.patreon.com/TheRoyalInstitution
and Twitter: twitter.com/ri_science
and Facebook: www.facebook.com/royalinstitution
and TikTok: www.tiktok.com/@ri_science
Listen to the Ri podcast: anchor.fm/ri-science-podcast
Our editorial policy: www.rigb.org/editing-ri-talks-and-moderating-comme…
Subscribe for the latest science videos: bit.ly/RiNewsletter

Product links on this page may be affiliate links which means it won't cost you any extra but we may earn a small commission if you decide to purchase through the link.

All Comments (21)
  • If you liked this video, check out our mathematics playlist here: youtube.com/playlist?list=PLbnrZHfNEDZyDfeVsNBMNDU… Edited to say - we hear you (no pun intended) and acknowledge your complaints about the problems we've been having with our sound. We do now have a full AV team in place, but we're still working through the backlog of videos from when this was an issue. Despite our fancy name, we're an independent charity and don't receive any government funding, so we're often working with a tiny team and a shoestring budget to bring you these incredible lecturers. We promise that we are working very hard to fix the sound issues and you'll hear the difference soon.
  • @Streetsy
    For someone who never got access to this level of math education, I am really enjoying this kind of video presentation. Thank you to everyone involved.
  • @SEAWORRIER
    Please give your guest speakers a guide on how to record better audio or provide them with the resources to do so. The content of this talk is good but the audio quality is like nails on a blackboard.
  • @phitsf5475
    After having studied calculus for the sake of applying it to problems i.e. with very little attention paid to much pure maths involving proofs; This video has answered lots of questions I didn't know I had.
  • @dwdei8815
    Thank you! For years I've never rid myself of never having been able to understand why dx was sometimes 1 and sometimes 0. I thought it was me inventing a confusion out of nothing and accepting that I simply didn't have a maths brain. My sticking plaster solution was that sometimes the dx is a "grammar" thing, reminding me that the equation is in reference to a changing x, and sometimes it is a measurement inside the equation which tends to zero and might as well count as zero. A fascinating talk, and what a terrific subject!
  • @Maplecook
    I would have been able to understand high school math, if my teacher had used visuals like this. For a kid, the pictures are very helpful, even if they seem superfluous to seasoned math people.
  • @andycordy5190
    Algebra was a nonsense to me at school. I liked geometry because I was a visually oriented person although I didn't know it then. Nobody showed me that x squared was actually a square I could draw and understand.😕 I shut down and the idea that mathematics had a connectedness was never apparent to me, I made do without it.
  • Yes, these are really great, first time and for review. I'd seen the first proof of Pythagorean's Theorem but not the second. It is great to have a tie in between geometry and algebra. The video is packed with extensions to the handful of examples I've picked up. Thank you
  • @YunocTV
    What a great video! I really enjoyed it. Very well presented by John Stillwell.
  • @tmann986
    I have recently been looking for someone to explain the history or story of proofs! What a coincidence!
  • @JianYZhong
    Thanks for this illuminating presentation. It helps me understand Godel’s incompleteness theorem, I think. Must check out the Q&A!
  • @JavierBonillaC
    This is the most exciting video I have come across in a few. Yes. I will try to buy the book.
  • @PlayNowWorkLater
    Very interesting and well presented. The significance of the square root of two in Pythagorean theorem really popped for me. Thank you for allowing my mind to expand just a little bit more today. Good stuff!!
  • @HebaruSan
    Errors occur in proofs in practice, likely in rough proportion to how often bugs occur in software. But usually nobody checks closely enough.
  • @nHans
    I know that this lecture was about mathematical proofs and not practical applications of mathematics. Still, I gotta defend Boole—his eponymous logic (or algebra) is the foundation for digital electronics, digital control systems, computer science and all modern digital computers.