M medium.com A Computability Proof of Gödel’s First Incompleteness Theorem 102 points jorgenveisdal 7 years ago 40 comments
