Lazi

Différentes notions d'existence ?

Contexte

Pour la présentation de la sub-physique sur le site web spécifique, je part de structure mathématiques. Par le principe que toute structure provient d'une structure plus simple jusqu'à un minimum, j'arrive à un traitement d'information. La notion d'existence dans un traitement d'information est simple puisque on fait évoluer une formule : ce qui existe est la formule.

Question

Est-ce que l'on peut dériver, à partir de la notion de base d'existence, d'autres notions ?

Étude

Cas d'étude 1 : l'infini

Imaginons que l'on déduise un devenir en testant des valeurs metant éventuellement un temps infini (par exemple on cherche une démonstration d'une affirmation éventuellement improuvable). Pourrait-on imaginer que si la démonstration est improuvable, la chose existe quand même après ?

Recherche d'un support minimal

Par la loi de structuration, on aboutit à un support minimal. Si ce support n'était pas un traitement d'information alors cela impliquerait que le support ne peut se décomposer en un traitement d'information, cela est absurde car nous avons vu que le traitement d'information est la structure minimale.

Donc un support minimal est un traitement d'information.

Pourquoi le support minimal génère tout ce qui existe

Pas forcément, mais il existe un support minimal qui génère tout ce qui existe (on a juste à l'expliciter).

Est-ce que tout support est équivalent à un traitement d'information ?

Les choses sont des groupes d'information. Est-ce que l'on a forcément une notion de coup de traitement de l'information ?
Peut-être en raisonnant par récurrence depuis le support minimal : il y a un trantement d'information et un cout.

On peut définir une notion d'existence en utilisant un traitement d'information pour reconnaître les choses dans un calcul, avec la contrainte que le coût du calcul de reconnaissance doit être négligeable par rapport au coût du calcul.
Comment justifier ce critère ?
Car il permet de garder les proportions.
Prendre l'exemple où le suport est un décompte, on pourrait dire que l'on y reconnaît le calcul de notre univers.

Pas de notion absolue d'existence ?

L'idée est que l'existence dépend de la reconnaissance, on dit que quelque chose existe dans un calcul si on le reconnaît. Mais il n'y a pas de définition cannonique de la reconnaissance. Par exemple on peut reconnaître quand il y a exactement ce que l'on cherche dans le calcul, ou encore quand la fonction de traduction est peut coûteuse par rapport au calcul.

On peut montrer que l'on n'existe pas juste parce qu'il y a un décompte des entiers naturels (qui représenterait le temps). En effet, dans ce cas ce décompte pourrait représenter d'autre calculs d'univers moins cohérents, et donc on devrait constater des incohérences de notre univers.

Réponse

@todo