Enigme : A quoi correspond ce charabia ?

[Zweig]

Est-ce que quelqu'un reconnaît (pour l'avoir déjà vu ...) dans ce charabia la définition d'un "objet" qui nous est familier ?



Quelques précisions :

• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• H_M(t) = ($_{M}(t),\, square_M(t,\,i),\,P_M(t))

[Doraki]

Dans la grosse formule logique, je reconnais rien.
Dans les types des trucs composant M et qui n'apparaissent absolument nulle part dans la formule, on reconnaît une machine de Turing déterministe (sans état final ni initial explicites).
A part l'alphabet et l'ensemble des états, qui interviennent dans le typage de H, tout le reste n'a apparemment aucune importance.
Dans les types des trucs composant H et qui ont bien sûr aucun lien logique avec les trucs composant M, on reconnaît une éxécution de M sur une bande.

En supposant que tu aies dramatiquement oublié de préciser que H est une éxécution de M,
la formule logique veut dire "une machine M et un langage V sont en relation <=>
si durant une éxécution de M la machine se trouve dans son état initial devant un mot v de V alors au bout d'un moment il y aura un mot v' de V écrit ailleurs sur la bande, et M aura écrit au moins une lettre de v' pendant ce temps.", ce qui ne correspond à aucune relation dont je serais familier.

[vincentroumezy]

Salut.
Le V un peu courbé de la première ligne est parfois utilisé pour désigner l'ensemble des voisinages d'un points, mais sinon....:doh:

[Archytas]

ça ressemble à la preuve ontologique de l'existence de dieu de Gödel :

Preuve de l'existence de dieu