Loading AI tools
philosophe français De Wikipédia, l'encyclopédie libre
Jean Largeault (né le au Mans et mort le à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste. Il était l'époux d'Anne Fagot-Largeault.
Naissance | |
---|---|
Décès | |
Nationalité | |
Activités |
Distinction |
---|
Il a défendu la logique intuitionniste (mot qu'il écrivait résolument avec un seul n), à une époque où elle était presque unanimement négligée, et avant que l'informatique lui permette un retour en force. Mais à l'inverse d'une tradition remontant à Arend Heyting, il refusait de réduire l'intuitionnisme à son formalisme, et préconisait un retour, non seulement à la technique intuitionniste, mais plus fondamentalement à sa philosophie. Les considérations « métaphysiques » de Luitzen Egbertus Jan Brouwer, généralement considérées avec amusement ou condescendance (par exemple, à l'époque actuelle, par le logicien Jean-Yves Girard), lui paraissaient essentielles à l'intuitionnisme.
Parallèlement à son œuvre propre, Jean Largeault a traduit de nombreux ouvrages et articles fondateurs de la logique contemporaine : Stephen Cole Kleene, Willard Van Orman Quine, David Hilbert, Gerhard Gentzen, Luitzen Egbertus Jan Brouwer, Emil Post, Kurt Gödel… Il a publié de nombreuses recensions d'ouvrages d'épistémologie dans la revue Pour la science : Jean Largeault disait apprécier les mauvais livres, parce que ces derniers lui révélaient mieux, a contrario, ce qu'il appréciait vraiment.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.