[FOM] "Recursive"

John Kadvany jkadvany at sbcglobal.net
Mon Sep 25 10:04:11 EDT 2006


Check out Skolem, "The foundations of elementary arithmetic established by
means of the recursive mode of thought...." in van Heijenoort, pp. 302-333.
1923.
 Good luck!
 JK 

-----Original Message-----
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of
Lucius Schoenbaum
Sent: Wednesday, September 20, 2006 2:07 PM
To: Foundations of Mathematics
Subject: [FOM] "Recursive"

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



_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom





More information about the FOM mailing list