Are All True Mathematical Statements Provable? - Famous Math Problems

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.

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