Définissez la thèse de Church-Turing. L'esprit humain est-il une machine de Turing ? Discutez de l'argument de Lucas-Penrose qui suggère que l'intuition humaine permet de déduire des vérités mathématiques qu'aucun système algorithmique ne peut atteindre, réfutant ainsi le 'computationalisme' fort.