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.
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of
Sent: Wednesday, September 20, 2006 2:07 PM
To: Foundations of Mathematics
Subject: [FOM] "Recursive"
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 T. Schoenbaum
ltsbaum at gmail.com
FOM mailing list
FOM at cs.nyu.edu
More information about the FOM