Perhaps he does, but I don't think he does so in the proofs of his incompletenes... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

rcthompson on March 25, 2012 | parent | context | favorite | on: Gödel's Incompleteness Theorem explained

Perhaps he does, but I don't think he does so in the proofs of his incompleteness theorems.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact