Comments by "Lawrence D’Oliveiro" (@lawrencedoliveiro9104) on "Gödel's Incompleteness Theorem - Numberphile" video.

  1. 3:10 You did say “number”, not “integer”, though.
    2
  2. 11:43 But do all of these other instances form infinite regressions of gaps that cannot be completely plugged, as in Gödel’s original construction?
    2
  3. 6:46 Not ASCII, but Unicode! ASCII has no code for “ö”, while Unicode has a code for everything.
    1
  4. Nice animations.
    1
  5. 10:37 But can you in fact formally prove that you can “keep on playing the same game”?
    1