[FOM] Is current computability theory intuitionistic?

Steve Stevenson steve at clemson.edu
Tue Jun 18 11:59:49 EDT 2013


I didn't know to ask this question when I was learning and now I'm too
old to read all the standard books. My recollection though is that
computability texts use classical logic. Is that true? Does it matter?

--
D. E. (Steve) Stevenson, PhD, Emeritus Associate Professor, Clemson University
"Those that know, do. Those that understand, teach," Aristotle.


More information about the FOM mailing list