top | item 12160123

Recursive Functions of Symbolic Expressions and Their Computation (1960)

61 points| DennisCooper | 9 years ago |www-formal.stanford.edu | reply

6 comments

order
[+] Turing_Machine|9 years ago|reply
Since McCarthy passed, I've often wondered if a draft of Part II (which AFAIK was never published) might exist somewhere among his papers. If so, I hope his academic heirs find it and release it, if only for the historic value.
[+] ackalker|9 years ago|reply
It's so amazing, it was probably made with secret alien technology!
[+] typpytyper|9 years ago|reply
Impressive work by this fellow John McCarthy. I can't seem to find his github page though.
[+] qubex|9 years ago|reply
There's this other bloke who goes by the handle ’Turing’ who keeps yabbering on and on about what programmers can't make a computer do but he doesn't even have a CS degree, so avoid him and don't feed the troll. ;)