Browsing Faculté des arts et des sciences – Département de philosophie - Thèses et mémoires by Subject "Undecidability"
Now showing items 1-1 of 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 ...