[FOM] Is current computability theory intuitionistic?

[Steve Stevenson]

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.