Timeline for Hilbert's and Gödel's expanded definition of "Recursive Function"
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3 at 16:07 | history | became hot network question | |||
| Apr 3 at 9:34 | answer | added | Andrej Bauer | timeline score: 8 | |
| Apr 3 at 8:27 | comment | added | C7X | Stanford Encyclopedia of Philosophy seems to suggest that Gödel's usage of "recursive function" only refers to what are now known as primitive recursive functions (near the bottom of section 1.2 in "Recursive Functions".) There it also reproduces Gödel's definition of recursive function from his 1931 paper. | |
| Apr 3 at 8:05 | history | asked | Mike Battaglia | CC BY-SA 4.0 |