Ciro Santilli
🔗

Halting problem | 🗖 nosplit | ↑ parent "Decision problem" | 9

🔗
The canonical undecidable problem.
🔗
🔗