Timeline for Is computation independent of hardware?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 27, 2022 at 22:39 | vote | accept | MOON | ||
| Sep 5, 2016 at 11:44 | comment | added | Gilles 'SO- stop being evil' | @MOON Yes, there are. Any of the Turing-equivalent theories of computation define such axioms. | |
| Sep 5, 2016 at 11:44 | history | edited | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |
Zuse's early 1940s computers weren't stored-program computers but they were Turing-complete (thanks Raphael)
|
| Sep 5, 2016 at 10:45 | comment | added | MOON | Could you also please answer if there are axioms based on which we make a theory of computation? | |
| Sep 5, 2016 at 8:14 | history | answered | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |