Timeline for Prove a function is primitive recursive
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 31, 2010 at 19:07 | answer | added | Andreas Weiermann | timeline score: 3 | |
| Mar 3, 2010 at 16:37 | vote | accept | Peter Marsh | ||
| Mar 2, 2010 at 23:52 | answer | added | Dan Piponi | timeline score: 6 | |
| Mar 2, 2010 at 22:41 | answer | added | Grigory Yaroslavtsev | timeline score: 5 | |
| Mar 2, 2010 at 22:07 | answer | added | Andrej Bauer | timeline score: 12 | |
| Mar 2, 2010 at 21:36 | comment | added | Qiaochu Yuan | Arbitrary functions aren't primitive recursive! | |
| Mar 2, 2010 at 20:34 | answer | added | Mariano Suárez-Álvarez | timeline score: 5 | |
| Mar 2, 2010 at 20:26 | history | asked | Peter Marsh | CC BY-SA 2.5 |