Gödel's Proof | Consistenceny and Proofs - Part 1
Introduction In 1931 a mathematician with round glasses wrote a quite short paper with title “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme”. He was 25 years old. So young was he that, instead of tearing mathematics apart with the energy of his youth, he could have spent his time doing nothing. He was at the University of Vienna and since 1938 a permanent member of the Institute for Advanced Study at Princeton. ...