Intuitionnisme mathématique et logique de L.E.J Brouwer
L’intuitionnisme mathématique et logique de L.E.J. Brouwer (1881-1966) qui a dérivé une conception de la mathématique et de la logique à partir de sa philosophie de l’esprit, et rejeté la mathématique classique et la logique classique, en les estimant irrationnelles, pseudo-scientifiques (poétiques).
Ressources
Livres
-
BROUWER, Luitzen Egbertus Jan, VAN DALEN, Dirk. (1981). Brouwer’s Cambridge Lectures on Intuitionism. Cambridge University Press.
-
VAN STIGT, Walter. (1990). Brouwer’s Intuitionism (Studies in the History & Philosophy of Mathematics, Vol. 2). North-Holland.
-
MARTINO, Enrico. (2018). Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics (Logic, Epistemology, and the Unity of Science, Vol. 42). Springer.
Articles
-
VAN ATTEN, Mark. (2020, Spring). “Luitzen Egbertus Jan Brouwer”. The Stanford Encyclopedia of Philosophy.
-
VAN ATTEN, Mark. (2017, Winter). “The Development of Intuitionistic Logic”. The Stanford Encyclopedia of Philosophy.
-
IEMHOFF, Rosalie (2020, Fall). “Intuitionism in the Philosophy of Mathematics”. The Stanford Encyclopedia of Philosophy.
https://plato.stanford.edu/entries/intuitionism/
—
Par ailleurs, le grand physicien Nicolas Gisin qui avait déjà rédigé un article dans lequel il suggérait d’abandonner l’usage de l’ensemble mathématique des nombres réels, s’oriente désormais vers la mathématique intuitionniste :
:video_camera: GISIN, Nicolas. (2021, May 26). “Time in Physics and Intuitionistic Mathematics”. Society for Multisciplinary and Fundamental Research, Numerous Numerosity. https://youtu.be/KH6vRAbTf60