Polygon Updated +Created
Turing machine Updated +Created
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: 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.
Punishment Updated +Created
Quantum mechanics bibliography Updated +Created
No-go theorem Updated +Created
Paleolithic Updated +Created
This period is similar to the Quaternary, but it also includes tool usage by close relatives of humans which were not humans yet.
It ends together with the pleistocene.
Unicode Updated +Created
Intermetallic Updated +Created
Formal language theory Updated +Created
Search engine Updated +Created
B6 Updated +Created
Organic compound Updated +Created
Poison Updated +Created
Simply connected space Updated +Created
Pauli gate Updated +Created
Union (set theory) Updated +Created
Continuity equation Updated +Created
FreeFem examples Updated +Created
Synapsid subclade Updated +Created
Point-to-point construction Updated +Created

Unlisted articles are being shown, click here to show only listed articles.