hackertube.io

Math's Fundamental Flaw

Veritasium · explainer · Watch on YouTube

Logic & formal methodsComputability & complexity theoryRecreational & visual math

What it is

Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.

Why Hacker News recommends it

HN commenters recommend it as a clear, accessible introduction to incompleteness and the self-referential proof idea.

  • 7 people recommended it
  • 7 different months
  • 1 strong recommendations
  • first 2021, last 2024

What HN commenters said

  1. “I love Veritasium.”

    Educational Veritasium video among the commenter's favorites.

    travisgriggs, 2021-11 · Strong recommendation · in “How imaginary numbers were invented [video]”

  2. “gives a pretty fair account of how we settled on the current fashionable foundations of Math”

    Fair account of how current math foundations were settled

    reggieband, 2021-05 · Recommendation · in “How inevitable is the concept of numbers?”

  3. “Veritasium recently released a very good video”

    Accessible explanation of incompleteness theorem

    littlecranky67, 2021-06 · Recommendation · in “1931: Kurt Gödel shows limits of math, logic, computing, AI”

  4. “which is (IMO) a fairly good explanation of the proof and why you end up with something both true and not provable”

    Fairly good explanation of Godel's proof and why a statement is true yet unprovable.

    simias, 2021-10 · Recommendation · in “Where do type systems come from? (2017)”

  5. “The entire video is a good watch though.”

    Walks through Godel numbering and the unprovable statement, with timestamp.

    shagie, 2022-09 · Recommendation · in “Gödel, Escher, Bach: an in-depth explainer”

  6. “I found Veritaseum's video about it really clear and instructive”

    Entry-level, clear and instructive explanation of incompleteness.

    pandoro, 2024-03 · Recommendation · in “The complete story of Gödel incompleteness”

  7. “Veritasium has a nice video on Godel’s incompleteness theorem.”

    Nice video on Godel's incompleteness theorem.

    equanimitivity, 2024-04 · Recommendation · in “Philosophy is an art”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: godel, incompleteness, mathematical logic, halting problem, veritasium

Also recommended by the same people