A Computability Proof of Gödel’s First Incompleteness Theorem by from Hacker News on 2019-12-01 08:29 (#4VXHT) Comments