[FOM] Why did Kleene name it "T"?

Richard Weyhrauch rweyhrauch at yahoo.com
Mon May 23 13:56:14 EDT 2016

The answer seems pretty clear to me. If you look at IM p. 279 Kleene used R as the name of a 'general recursive' relation. On p. 291 he introduces S(sub n) which is defined in terms of R and T(sub n) in terms of S(sub n).  I don't see anything profound in this - R S T.


On Thu, 5/19/16, Shane Steinert-Threlkeld <shanest at stanford.edu> wrote:

 Subject: [FOM] Why did Kleene name it "T"?
 To: "Foundations of Mathematics" <fom at cs.nyu.edu>
 Date: Thursday, May 19, 2016, 6:00 PM
 Dear all,
 Does anyone know why Kleene chose "T"
 as the name for his predicate?  A cursory glance at his
 texts yields no insight (and perhaps there is none to be
 had), but I am curious if there are other sources regarding
 this naming choice.
 All the best,Shane
 -----Inline Attachment Follows-----
 FOM mailing list
 FOM at cs.nyu.edu

More information about the FOM mailing list