3 ms·
Yeah. I'd say half of the work is Gödel numbering and the other half is the diagonal lemma.
by cousin_it 6mo ago
Yeah. I'd say half of the work is Gödel numbering and the other half is the diagonal lemma.
- mjh2539 6mo agoThis is the most apt answer I've read thus far.