Vladimir Mikulik

Posts

Sorted by New

Comments

Diagonalization Fixed Point Exercises

I’m confused about Q9.

Given the way is defined, it’s unclear to me how we ensure type correctness of . In what sense is a set of sentences (rather than a set of pairs of sentences)? What does an element of that set look like?