Déterminer si une langue est Turing Complete est très important lors de la conception d'une langue. C'est également une tâche assez difficile pour beaucoup de langages de programmation ésotériques, mais passons à la vitesse supérieure. Faisons quelques langages de programmation qui sont si difficiles à prouver Turing Complete que même les meilleurs mathématiciens du monde ne parviendront pas à les prouver de toute façon. Votre tâche consiste à concevoir et à mettre en œuvre un langage dont la complétude Turing repose sur un problème majeur non résolu en mathématiques .
Règles
Le problème que vous choisissez doit avoir été posé il y a au moins 10 ans et ne doit pas être résolu, à compter de l'affichage de cette question. Cela peut être toute conjecture prouvable en mathématiques, pas seulement une de celles énumérées sur la page Wikipedia .
Vous devez fournir une spécification du langage et une implémentation dans un langage existant.
Le langage de programmation doit être complet si et seulement si la conjecture est vérifiée. (ou si et seulement si la conjecture ne tient pas)
Vous devez inclure une preuve expliquant pourquoi Turing est complet ou incomplet en fonction de la conjecture choisie. Vous pouvez supposer que vous avez accès à de la mémoire illimitée lors de l'exécution de l'interpréteur ou du programme compilé.
Puisque nous sommes concernés par la complétude de Turing, les E / S ne sont pas obligatoires. Cependant, l'objectif est de créer le langage le plus intéressant pour qu'il puisse vous aider.
Ceci est un concours de popularité et la réponse avec le plus de votes l'emportera.
Critères cibles
Que devrait faire une bonne réponse? Voici quelques éléments à surveiller lorsque vous votez, mais qui ne sont pas techniquement nécessaires.
Ce ne devrait pas être un simple patch d'une langue existante. Modifier une langue existante pour l'adapter aux spécifications convient, mais il est déconseillé d'appliquer des correctifs à une condition, car elle est ennuyeuse. Comme dit par ais523 dans le dix-neuvième octet:
Je préfère que les gimmicks de mes esolangs soient mieux cuits dans la langue
Cela devrait être intéressant en tant que langage ésotérique autonome.