Yeah. I'd say half of the work is Gödel numbering and the other half is the diag... | Hacker News

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

cousin_it 5 months ago | parent | context | favorite | on: What Gödel Discovered (2020)

Yeah. I'd say half of the work is Gödel numbering and the other half is the diagonal lemma.

mjh2539 5 months ago [–]

This is the most apt answer I've read thus far.

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