À ma connaissance, l'arrêt du problème demande s'il existe un programme qui décide si un programme en cours de test, compte tenu de certaines données d'entrée (quel que soit le programme ou quelles données d'entrée nous donnons) se terminera ou non. La réponse à ce problème est «non». En d'autres …
Selon la thèse de Church-Turing, il est impossible de concevoir un algorithme pour décider du problème d'arrêt. Le mot algorithme dans ce contexte inclut-il ou non l'intelligence artificielle, c'est-à-dire que la thèse de Church-Turing s'applique-t-elle également à l'intelligence artificielle? Est-il possible de concevoir un système de renseignement à l'avenir pour …
Quand j'ai entendu parler de ces choses pour la première fois, j'étais très fasciné car je pensais que cela fixait vraiment une limite aux mathématiques et aux sciences en général. Mais dans quelle mesure ces choses sont-elles pertinentes dans la pratique? Pour le problème de l'arrêt: y a-t-il plus que …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.