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

[WILLIAM TAIT]

Good guess. But maybe consult Joan or Yiannis Moschovakis, who were students of Kleene. 

Bill

> On May 21, 2016, at 9:25 AM, Daniel Schwartz <schwartz at cs.fsu.edu> wrote:
> 
> I've always suspected that it stood for "Turing", but really don't know.
> 
> --Dan Schwartz
> 
> ************************************************************************
> Dr. Daniel G. Schwartz                            Office    850-644-5875
> Dept. of Computer Science, MC 4530                CS Dept   850-644-4029
> Florida State University                          Fax       850-644-0058
> Tallahassee, FL 32306-4530                        schwartz at cs.fsu.edu
> U.S.A.                                   http://www.cs.fsu.edu/~schwartz
> ************************************************************************
> 
> 
> Shane Steinert-Threlkeld <shanest at stanford.edu> wrote:
> 
>> 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
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom