5
Existe-t-il une relation concrète entre le théorème d'inachèvement de Gödel, le problème stoppant et les machines de Turing universelles?
J'ai toujours pensé vaguement que la réponse à la question ci-dessus était affirmative dans les termes suivants. Le théorème d'inachèvement de Gödel et le caractère indécidable du problème qui pose problème, qui sont tous deux des résultats négatifs sur la décidabilité et établis par des arguments diagonaux (et dans les …