[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.
 Good luck!

-----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.


Lucius Schoenbaum

Lucius T. Schoenbaum
ltsbaum at gmail.com

FOM mailing list
FOM at cs.nyu.edu

More information about the FOM mailing list