Notre problème de recherche commence par le théorème d'incomplétude de Gödel qui stipule :

Dans tout système mathématique raisonnable, il y aura toujours des déclarations vraies qui ne peuvent pas être prouvées

Le problème d'arrêt est le problème de déterminer, à partir d'une description d'un programme informatique arbitraire et d'une entrée, si le programme finira de s'exécuter ou continuera de s'exécuter indéfiniment. Alan Turing a prouvé en 1936 qu'un algorithme général pour résoudre le problème d'arrêt pour toutes les paires programme-entrée possibles ne peut pas exister.

Le problème d'arrêt est le premier exemple prouvé d'un problème indécidable.

Construire un chiffrement résistant quantique

La question ci-dessus est l'énoncé du problème au cœur de nos recherches récentes.

En recherchant la progression du problème, les théorèmes développés précédemment et le concept d'indécidabilité, nous avons développé notre propre cryptage breveté comme méthode proposée pour résoudre le problème.

Dernières nouvelles