Parcourir Faculté des arts et des sciences – Département de philosophie - Thèses et mémoires par sujet "Calculability"
Voici les éléments 1-1 de 1
-
La logique ordinale de Turing
(2012-12-03)Le sujet visé par cette dissertation est la logique ordinale de Turing. Nous nous référons au texte original de Turing «Systems of logic based on ordinals» (Turing [1939]), la thèse que Turing rédigea à Princeton sous la direction du professeur Alonzo ...