Comments by "Jim Luebke" (@jimluebke3869) on "Mathematician explains Gödel's Incompleteness Theorem | Edward Frenkel and Lex Fridman" video.