Timeline for Procedure-based (as opposed to definition-based) concepts
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2013 at 8:52 | comment | added | user22882 | I do not believe this is an answer to the question. There is a well-accepted concept of computation, namely as "that what a Turing machine does". The other examples you name have been shown to be equivalent to a Turing machine by ordinary, definition-based proofs. If you had an example where people computed with Turing machines etc. instead of reasoning about them, then this would be more in spirit of the question. | |
| Jul 2, 2013 at 23:19 | history | made wiki | Post Made Community Wiki by Kim Morrison | ||
| Jul 2, 2013 at 17:44 | review | First posts | |||
| Jul 2, 2013 at 18:16 | |||||
| Jul 2, 2013 at 17:27 | history | answered | Brent Meeker | CC BY-SA 3.0 |