Posts Tagged ‘incomplétude’

Rien de nouveau depuis 1931

dimanche, janvier 20th, 2019


Peut-être cette découverte sera-t-elle en mesure de rassurer les opposants à l’IA augmentée. En effet ceux qui actuellement s’y intéressent de près, viennent de se heurter de nouveau à une aporie formulée il y a déjà près de quatre vingt dix ans. En 1930, Gödel, mathématicien autrichien âgé de 25 ans à l’époque, énonce deux théorèmes dits « théorèmes d’incomplétude », dont seul le premier sera détaillé (!!) : « il existe des énoncés mathématiques vrais, mais indémontrables » ! (Le théorème d’incomplétude de Gödel, https://sciencetonnante.wordpress.com/2013/01/14/le-theoreme-de-godel/). La question est d’importance : tout ce qui est vrai est-il forcément démontrable mais aussi, ce qui n’est pas démontrable est-il faux ? Dans l’article, Mathematicians Discovered a Computer Problem that No One Can Ever Solve (https://www.livescience.com/64469-unsolvable-math-problem.html?utm_source=ls-newsletter&utm_medium=email&utm_campaign=20190113-ls) il s’agit de traiter du problème de l’apprenabilité. Or comme celle ci repose sur la quantité de données fournies, elle se situe donc dans le cadre de l’hypothèse du continu (voir la théorie des ensembles). Attention, si l’hypothèse du continu ( Hypothèse du continu, https://www.techno-science.net/definition/6080.html) n’est pas reconnue par tous les mathématiciens et si elle est particulièrement difficile a comprendre pour un béotien en la matière, il n’en reste pas moins vrai qu’il est intéressant de savoir qu’il existe encore des barrières à la progression de l’IA. Pour autant quelle(s) est (sont) la(les) différence(s) entre les barrières humaines et celle(s) des machines à l’apprenabilité ?