Irréductibilité computationnelle

En fait, ce qui m'intéresse là-dedans, ce sont les conséquences métaphysiques éventuelles, notamment par rapport à la notion de libre arbitre, et sur la nature de la réalité. Mais c'est sans doute un autre secteur de pensée que le vôtre !...

Non, c'est le fait de rechercher (par analogie) la possibilité de libre arbitre dans l'évolution d'un objet mathématique: les automates cellulaires sont soumis à un déterminisme absolu.

Des domaines tels que la médecine, les sciences humaines, la philosophie seraient plus à même de vous fournir des sujets de réflexion. Et par ailleurs le libre arbitre ne peut être rigoureusement prouvé, mais réellement vécu dans les décisions et les choix qui se présentent dans la vie, même la plus ordinaire. Par exemple dans le choix réfléchi de s'engager dans un service, de refuser la pression de la publicité ou de la propagande.

Vous voyez que cela dépasse largement le cadre des sciences. La discussion, intéressante en soi, serait plus à sa place dans la catégorie "Philosophie"

Je dois m'arrêter là.