This animated guide explains how to prove languages are undecidable using self-reference.
⚠️ Psst! This page is not current. It's an archive from Winter 2025.
The new site will be available at this link on March 31, 2025.
The new site will be available at this link on March 31, 2025.