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.