Is that so? I think you mean that this is an explanation of the theorem, but not... | Hacker News

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

tshaddox on Jan 22, 2012 | parent | context | favorite | on: Explaining Gödel's Incompleteness Theorem to a Twe...

Is that so? I think you mean that this is an explanation of the theorem, but not of a proof of the theorem.

VMG on Jan 22, 2012 [–]

You are correct - I was expecting an explanation of the proof because that's the part that is more difficult for me to understand, not because it was advertised.

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