[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