Ok, à chaque fois que le suspens sera insoutenable, je posterai ici
Re: Does Phasm work ? :-?
Posted: 23 Oct 2015, 22:31
by noelnadal
C'est un problème décidable. En effet, on peut facilement construire une machine de Turing qui renvoie toujours 1 si Phasm fonctionne, et 0 sinon.
En revanche, le problème consistant à déterminer s'il y aura un jour une version de Phasm qui fonctionne semble indécidable. Je laisse la preuve en exercice.
Re: Does Phasm work ?
Posted: 23 Oct 2015, 22:33
by Epharius
C'est ça, pour le moment je suis toujours en train de chercher comment écrire en Archive sans faire de RAM CLEARED, apparemment un simple LDIR ne suffit pas
Ta machine va souvent retourner zero par contre...
Re: Does Phasm work ?
Posted: 23 Oct 2015, 22:33
by Commando12345
Oui je confirme, le fait que Phasm marche est assez surprenant
Re: Does Phasm work ?
Posted: 23 Oct 2015, 22:38
by noelnadal
Commando12345 wrote:Oui je confirme, le fait que Phasm marche est assez surprenant
* serait * surprenant
Ne pas vendre la peau de l'ours avant... vous avez compris.
Re: Does Phasm work ?
Posted: 23 Oct 2015, 22:39
by Commando12345
oups faute de frappe
Re: Does Phasm work ?
Posted: 25 Oct 2015, 00:49
by Epharius
Attention, les paris sont lancés : Does PHASM work? Perso je pense que non mais autant essayer
REPONSE : boucle infinie, je m'attendais à pire
Re: Does Phasm work ?
Posted: 26 Oct 2015, 15:12
by Epharius
Vous l'avez tous dans le popotin, parce que PHASM marche enfin, donc tout ce que vous avez parié me revient ^ en plus ça rime trop... Donc, ouais... PHASM est maintenant secure in ARC.