Constructivisme mathématique et physique quantique
Imprimer ce billet
Ce livre de 300 pages pose la question du constructivisme mathématique en tant que formalisme pour la physique quantique des particules : Constructive physics.
En mathématique constructive, tout objet doit pouvoir être construit : un objet est défini par un algorithme qui permet de le construire effectivement. Un objet non défini par un algorithme n’existe pas.
La logique constructiviste n’impose pas le principe du tiers exclu comme la logique classique.
Sur ce aspect, elle se rapproche donc déjà de la logique de la mécanique quantique et l’auteur n’est pas le premier à s’intéresser aux liens potentiels entre ces deux logiques (voir cet article).
Je n’ai pas lu le livre cité ci-dessus, mais le sujet m’intéressant, j’essaierai de trouver le temps de le faire et éventuellement d’en rapporter ici ce que j’aurai pu comprendre.