Les news
Bienvenue sur notre espace "infos"
L'intuitionnisme ou si les mathématiques étaient une construction de l'esprit humain ?
L'intuitionnisme est une doctrine philosophique qui soutient que les mathématiques sont une construction de l'esprit humain. Cette doctrine sera défendue par de nombreux philosophes et mathématiciens, dont L.E.J. Brouwer, Hermann Weyl et Arend Heyting.Lire la suite 
Le logicisme, une doctrine philosophique ?
Le logicisme est une doctrine philosophique qui soutient que les mathématiques peuvent être réduites à la logique. Cette doctrine sera défendue par de nombreux philosophes et mathématiciens, dont Gottlob Frege, Bertrand Russell et David Hilbert.Lire la suite
Le formalisme : un langage pour représenter des concepts mathématiques
En mathématiques, le formalisme est une approche qui consiste à utiliser un langage formel pour représenter des concepts mathématiques. Ce langage est constitué d'un ensemble de symboles, de règles de formation et de règles de déduction.Lire la suite
