Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Are All True Mathematical Statements Provable? - Famous Math Problems

Insights into Mathematics via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intriguing question of whether all true mathematical statements are provable in this thought-provoking video lecture. Delve into the consequences for 20th-century mathematics and the intersection of mathematics and philosophy. Examine a meta-mathematical approach to the problem, challenging traditional notions of mathematical truth and provability. Learn about a direct, naive method for finding square roots and computing partial digits. Discover fascinating examples of mathematical facts that are likely true but may not have formal proofs. Investigate the normality of digit sequences produced by certain algorithms and consider Norm's decimal conjecture. Gain valuable insights into the nature of mathematical truth, proof, and the limits of formal systems in this engaging exploration of a famous mathematical problem.

Syllabus

Are all true mathematical facts provable?
Consequences for 20th Century mathematics
Mathematics and philosophy
The meta-mathematical answer
How to find a square root? A direct, naive method
Computing only some of the digits
Some true, or almost surely true facts
Sequence of digits produced by this Algorithm is normal. No digit is biased
Norm's decimal conjecture

Taught by

Insights into Mathematics

Reviews

Start your review of Are All True Mathematical Statements Provable? - Famous Math Problems

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.