undefined | Better HN

0 pointscousin_it2mo ago0 comments

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

0 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse