Tous les articles avec le tag: "godel"
Fondements des mathématiques intuitionistes
L’intuitionisme est une école de mathématiques créée par le Néerlandais Luitzen Egbertus Jan BROUWER (1881-1966) au début du XXe siècle pour consolider les fondations des mathématiques à l’instar des digues de Hollande dues à Simon STEVIN. Trois idées s’y entremêlent (1) :
“Les mathématiques représentent la partie exacte de la pensée humaine” ;
“L’activité mathématique de [...]
Pub
