1 ressource : GIRARD JEAN-YVES

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
Canal-U
Description : "La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude ...
Mots clés : analyse, théorème de Gödel, récessivité, Popperisme, paradoxe, langage informatique, intuitionnisme, Hilbert, formalisme mathématique, expansivité, diagonale de Cantor, arithmétique de Peano, théorie des ensembles
Date : 17-06-2000
Droits : Droits réservés à l'éditeur et aux auteurs.