The dominating model of a computer.

The model is extremely simple, but has been proven to be able to solve all the problems that any reasonable computer model can solve, thus its adoption as the "default model".

The smallest known Turing machine that cannot be proven to halt or not as of 2019 is 7,918-states: https://www.scottaaronson.com/blog/?p=2725. Shtetl-Optimized by Scott Aaronson is just the best website.

A bunch of non-reasonable-looking computers have also been proven to be Turing complete for fun, e.g. Magic: The Gathering.

- Computer science | 240, 2k, 70
- Computer | 136, 22k, 571
- Technology | 0, 36k, 847
- Ciro Santilli's Homepage | 238, 163k, 3k

- Busy beaver | 255
- R | 37
- Recursively enumerable language | 32, 32, 1
- Turing complete | 23
- Undecidable problem | 144, 212, 3