Title: Problèmes de décidabilité et d'effectivité en théories de complexité
Subjects: Gödel's theorem, Recursive functions, Algorithms