Determinare se una lingua è Turing completa è molto importante quando si progetta una lingua. È anche un compito piuttosto difficile per molti linguaggi di programmazione esoterici per cominciare, ma consente di alzare il livello. Consente di creare alcuni linguaggi di programmazione che sono così difficili da dimostrare Turing Complete che persino i migliori matematici del mondo non riusciranno a dimostrarli in entrambi i modi. Il tuo compito è ideare e implementare un linguaggio la cui Turing Completezza si basa su un grave problema irrisolto in Matematica .
Regole
Il problema che scegli deve essere stato posto almeno 10 anni fa e deve essere risolto al momento della pubblicazione di questa domanda. Può essere qualsiasi congettura dimostrabile in matematica, non solo una di quelle elencate nella pagina di Wikipedia .
È necessario fornire una specifica della lingua e un'implementazione in una lingua esistente.
Il linguaggio di programmazione deve essere Turing completo se e solo se la congettura è valida. (o se e solo se la congettura non regge)
È necessario includere una prova del perché sarebbe Turing completo o incompleto in base alla congettura scelta. È possibile assumere l'accesso alla memoria illimitata durante l'esecuzione dell'interprete o del programma compilato.
Dato che ci occupiamo della Turing Completeeness I / O non è richiesto, tuttavia l'obiettivo è quello di rendere la lingua più interessante in modo che possa essere d'aiuto.
Questo è un concorso di popolarità, quindi vincerà la risposta con il maggior numero di voti.
Criteri target
Cosa dovrebbe fare una buona risposta? Ecco alcune cose da cercare quando si vota ma non sono tecnicamente necessarie
Non dovrebbe essere una semplice patch di una lingua esistente. Modificare una lingua esistente per adattarla alle specifiche va bene, ma l'applicazione di patch a una condizione è sconsigliata perché è noiosa. Come detto da ais523 nel diciannovesimo byte:
Preferisco rendere gli espedienti dei miei esolang più saldamente integrati nella lingua
Dovrebbe essere interessante come linguaggio esoterico autonomo.