[FOM] "Recursive"

[Lucius Schoenbaum]

Hi All,

I was wondering if anyone knows whether Gödel was the one (in Gödel  
1931) to coin the definition of (what became) primitive recursive  
which I find in Boolos, Burgess, Jeffrey (2002) and in Cori & Lascar  
(2001), which I assume must still be widely accepted by way of  
Kleene?  I am curious about the history of this notion.

Thanks,

Lucius Schoenbaum

-
Lucius T. Schoenbaum
706-206-9121
ltsbaum at gmail.com