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

Shane Steinert-Threlkeld shanest at stanford.edu
Thu May 19 21:00:24 EDT 2016

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

All the best,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160520/20e3bde5/attachment-0001.html>

More information about the FOM mailing list