[FOM] "Recursive"

Lucius Schoenbaum ltsbaum at gmail.com
Wed Sep 20 18:07:06 EDT 2006

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.


Lucius Schoenbaum

Lucius T. Schoenbaum
ltsbaum at gmail.com

More information about the FOM mailing list