Kurt Gödel
Définition
Kurt Gödel (1906-1978) logicien, mathématicien autrichien.
Description
Son premier résultat date de 1929, c'est le théorème de complétude qui lui a permis d'obtenir son doctorat en 1930. Mais le travail qui l'a rendu célèbre a été produit en 1931, maintenant il porte son nom et il concerne l'incomplétude. Cela constitue non pas un travail exceptionnel mais une des plus belles victoires de l'esprit humain, un honneur de l'humanité. Il a vu croître sa réputation en 1938 avec la démonstration de la consistance de l'axiomatique de Zermelo-Fraenkel ZF plus l'hypothèse du continu HC plus l'axiome du choix AC, sous l'hypothèse de la consistance ZF, puis en 1963 avec les travaux de Paul Cohen qui a montré l'indépendance de l'AC par rapport à ZF et celle de HC (généralisées) par rapport à ZF+AC.
Si vous avez des questions ou des commentaires à apporter à cette définition, utilisez ce formulaire, merci d'avance !
Partagez cette définition sur Google+ en cliquant sur ce bouton :
N'oubliez pas de suivre notre compte Twitter et de rejoindre les autres fans de Dicodunet sur Facebook
Auteur
Nikos Lygeros : Opus of N. Lygeros
CommentairesPour l'instant aucun commentaire n'a été ajouté. N'hésitez pas à utiliser le formulaire ci-dessous si vous avez des questions ou des précisions à apporter à cette définition.
Ajoutez votre commentaire
|