Un chercheur genevois propose un nouveau langage #mathématique - SWI swissinfo.ch
▻https://www.swissinfo.ch/fre/toute-l-actu-en-bref/un-chercheur-genevois-propose-un-nouveau-langage-math%C3%A9matique/45476810
« En mathématique classique, une proposition est toujours soit vraie, soit fausse, selon le principe du tiers-exclu. Mais dans les mathématiques intuitionnistes, une proposition est soit vraie, soit fausse, soit indéterminée. Il y a donc une part acceptée d’aléatoire », continue Nicolas Gisin.
Cet aléatoire se rapproche beaucoup plus de notre expérience quotidienne que le déterminisme prôné par la physique classique. De plus, on retrouve également l’aléatoire en physique quantique.
« Certains tentent de l’éviter par tous les moyens en impliquant d’autres variables fondées sur les nombres réels. Mais selon moi, il ne faut pas chercher à rapprocher la physique quantique de la physique classique en tentant de supprimer l’aléatoire. Au contraire, il faut rapprocher la physique classique de la physique quantique en y intégrant enfin de l’indéterminisme », soutient le physicien genevois.
