x

AI ALIGNMENT FORUM
AF

Vladimir Mikulik — AI Alignment Forum

Vladimir Mikulik

Ω2000

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by

No wikitag contributions to display.

No posts to display.

Diagonalization Fixed Point Exercises

Vladimir Mikulik7y20

I’m confused about Q9.

Given the way $S y n (A, B)$ is defined, it’s unclear to me how we ensure type correctness of $S y n (S_{1} \times S_{1}, S_{0})$ . In what sense is $S_{1} \times S_{1}$ a set of sentences (rather than a set of pairs of sentences)? What does an element of that set look like?