Les limites de la prédiction et preuve logique

[invite64661282]

Bonjour,

Je souhaitais vous faire partager un exemple amusant de preuve logique qu'il existe des événements "futurs" qui ne peuvent être prédit par un quelconque système ( ordinateurs, voyants, astrologues etc ... ).

prediction_logique.pdf

Je suis conscient que cette preuve est plus ou moins formelle ( les termes restent à être précisés). Il faut donc la considérer comme une démonstration plus pédagogique qu'autre chose

Merci pour vos critiques.

Grafitos
-----

[invite6754323456711]

Bonjour,

Je souhaitais vous faire partager un exemple amusant de preuve logique qu'il existe des événements "futurs" qui ne peuvent être prédit par un quelconque système ( ordinateurs, voyants, astrologues etc ... ).

La pièce jointe n'est pas encore accessible.

Le paradoxe de l’âne de Buridan ?

Patrick

[invite64661282]

Bonjour Patrick,

Je dirais plutôt à base de logique et d'introspection.

Fabrice

[invite655213c3]

Pas bête, il en existe d'autres ("je ment" en est une à formaliser) mais il est exact que on ne peux pas prédire certains états.

Cependant j'emmétrais un bémol: On demande à M(p) d'anticiper non pas le futur, mais la réaction de M(c) par rapport à sa propre prédiction, en gros, c'est un peu non plus une incapacité de prévoir, mais une incapacité d'agir sur un système extérieur qui dépendrait du système premier et donc un peu sur lui même. (celui qui prédit)

[A voir en vidéo sur Futura]

[invite6754323456711]

Pièce jointe 112760

Je viens de lire ta prose. Une théorie basée sur les axiomes A et non A que peut elle donner ? ta prose non ?

Patrick
PS
Tu devrais écouter les conseils d'E. Klein

Comme dit dans l'exposé, il est avant tout indispensable de savoir de quoi on parle avant d'en parler

[Médiat]

Vous devriez lire "Minority Report" de Philip K. Dick (j'ai bien écrit "lire", pas "visionner" ).