Anatole Khelif est enseignant-chercheur, maître de conférences, spécialiste de la logique mathématique. C'est un ancien élève de l'École normale supérieure, rue d'Ulm. Il anime depuis plusieurs années un séminaire de logique catégorique. Pour lui, la logique essaie de décrire de façon très schématique comment notre cerveau fonctionne.
Conférence : Peut-on construire un algorithme qui choisirait nos axiomes ?
1er juillet 2022, 9h15 - 10h — Amphi 24
A propos de l’intelligence artificielle Roman Ikonicoff évoquait le « mur de Gödel » auquel se heurterait l’évolution de l’intelligence artificielle. Dans son livre « The Shadows of the Mind » Roger Penrose utilise ce type d’argumentation pour élaborer une théorie non algorithmique de la conscience. Les arguments ne sont en fait pas très éloignés des « preuves ontologiques » de l’existence de Dieu. Le théorème de Gödel nous dit en gros que tout système d’axiomes formels contenant l’arithmétique, génère des propositions indécidables et même ne peut démontrer sa propre consistance. Pour montrer la consistance d’un système on est obligé à chaque fois de passer à un système d’axiomes plus fort. Plutôt qu’un « mur de Gödel » je vois plutôt un mirage de Gödel où à chaque fois qu’on a l’impression que l’I.A s’approche de l’intelligence humaine cettre dernière s’éloigne. Peut-on « tout décider » de manière empirique et/ou algorithmique en rejetant les axiomes dès qu’ils mènent à une contradiction, pour avoir une notion de « vérité » associée à la non contradiction ? Nous verrons que même si on fait cela, on obtiendra en fait un système « presque » contradictoire.