[FOM] Is current computability theory intuitionistic?

[Panu Raatikainen]

Troelstra and van Dalen, Constructivism in Mathematics. An  
Introduction, Vol. 1, Chapter 3, "Arithmetic", show how to develop  
elementary computability theory in the intuitionistic Heyting  
arithmetic.

Best

Panu


-- 
Panu Raatikainen

Ph.D., University Lecturer
Docent in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/