Vue d'ensemble
Math茅matiques et Statistiques (Sci) : Introduction to recursion theory; recursively enumerable sets, relative recursiveness. Incompleteness, undecidability and undefinability theorems of G枚del, Church, Rosser and Tarski. Some of the following topics: Turing degrees, Friedberg-Muchnik theorem, decidable and undecidable theories.
Trimestres : Ce cours n鈥檈st pas au programme de l鈥檃nn茅e universitaire 2015-2016.
Charg茅s de cours : Aucun professeur n鈥檈st associ茅 脿 ce cours pour l鈥檃nn茅e universitaire 2015-2016.
Winter
Prerequisites: MATH 488 or equivalent or consent of instructor