Et vlan dans les dents « principe du tiers exclu »

https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-c...

[ J'accepte le principe du tiers exclus, personnellement, mais seulement dans une forme restreinte, genre

isProp A → ¬¬A → A ]

L'article est intéressant (quoiqu'un peu trop vulgarisé pour savoir vraiment de quoi il en retourne), et j'aime bien l'idée de laisser tomber le monde de la logique classique et donc aussi les réels classiques et se limiter aux "computable reals", mais il faut pas oublier que les "computable reals" ont leur lot de problèmes. Pour un methématicien, c'est comme recommencer à zéro.

Stefan