En fait ça ne se discute même pas. Tu n'as juste pas compris la question. Si la question est « énonce loi un théorème, j'en chercherais la preuve », alors oui il n'y a pas d'algorithme pour y répondre, c'est bien le résultat des travaux de Gödel et Turing. Mais, pour arriver à leur conclucsion, ils ont bien comenncé par prouver que la question de la classification des preuves mathématiques était décidables. Le faire en 80 lignes de codes n'est rien d'autre qu'une sytnhèse de leur argumentaire. ;-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Pourquoi dire IA si on ne parle que des réseaux de neurones ?
Posté par kantien . En réponse à la dépêche Une intelligence artificielle libre est-elle possible ?. Évalué à 0. Dernière modification le 03 mars 2025 à 15:19.
En fait ça ne se discute même pas. Tu n'as juste pas compris la question. Si la question est « énonce loi un théorème, j'en chercherais la preuve », alors oui il n'y a pas d'algorithme pour y répondre, c'est bien le résultat des travaux de Gödel et Turing. Mais, pour arriver à leur conclucsion, ils ont bien comenncé par prouver que la question de la classification des preuves mathématiques était décidables. Le faire en 80 lignes de codes n'est rien d'autre qu'une sytnhèse de leur argumentaire. ;-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.