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

[mate szabo]

My guess is that T stands for "terminates" as a synonym for halting, but I
have no evidence for it.

Mate

2016-05-21 19:04 GMT-04:00 WILLIAM TAIT <williamtait at mac.com>:

> 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
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>



-- 
PhD Student

Carnegie Mellon University
Department of Philosophy
161 Baker Hall
Pittsburgh, PA, 15213-3890

https://cmu.academia.edu/MateSzabo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160521/7e8a7f73/attachment.html>