← Computer Science
Computability Theory
Coming soon
This topic is being written. Join our Discord to get notified when it goes live.
Join Discord for updatesWhat this topic covers
- Turing machines — definition and acceptance
- Variants of Turing machines and equivalence
- Church-Turing Thesis
- Decidability and recognisability
- The Halting Problem — undecidability via diagonalisation