Annuaire >
Sciences et technologies >
Mathématiques > Définitions
Liens sponsorisés
Kurt Gödel
Définition
Kurt Gödel (1906-1978) logicien, mathématicien autrichien.
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.
Définitions connexes
Gregory John Chaitin
Auteur
Nikos Lygeros : Opus of N. Lygeros
Utilisez cette définition !
Vous pouvez recopier cette définition sur votre site à condition d'indiquer que la source est le Dico du Net, en utilisant par exemple ce code :
<p>Source <a href="http://www.dicodunet.com/">Dictionnaire en ligne</a> :
<a href="http://www.dicodunet.com/annuaire/def-1777-kurt-godel.htm">
Kurt Gödel</a></p>
Actualité
- "Kurt Cobain About A Son" le 4 mars
L'indispensable bande originale du tout nouveau documentaire événement « Kurt Cobain About A Son » sortira le 4 mars en France sur Naïve. Réalisé à partir de plus de 25 heures d'entretiens enregistrés avec le...
- En bref : Kurt Cobain : sa vie tourmentée va faire l'objet d'un nouveau film
La vie tourmentée de Kurt Cobain, chanteur du groupe de rock Nirvana, phénomène « grunge » du début des années 90, va faire l'objet d'un nouveau film à Hollywood, a indiqué le quotidien spécialisé «...
- Protazok : définition !
- Enceinte Hifi MS-2626
Description
Enceinte colonne élégante avec socle Haute Fidélité eet Home cinéma. Finition bois laqué noir, conciliant définition sonore de qualité à prix attractif. Enceinte 2 voies équipée d ...
- Une caméra IP HD 1080p pour la vidéosurveillance
La caméra dôme de Dallmeier portant la référence DDF4010HDV est une caméra haut de gamme destiné aux professionnels et capable de capter en Haute Définition jusqu’en 1080p à raison de 50 images par seconde.Le capteur est un CMOS 1/3" à haute définition (Full HD) de technologie Cam_inPIX. Le zoom optique...
- Kurt Westergaard, caricaturiste en cage
En 2005, il avait représenté le prophète Mahomet avec un
turban en forme de bombe. L'affaire des caricatures danoises était
lancée. Depuis, il vit caché.
- Divers - L'avenir de Kurt Cobain compromis dans Guitar Hero 5 ?
Tout le monde ici (ou presque) connait le célèbre blondinet et chanteur du groupe Nirvana – Kurt Cobain. Pour ce qui ne le savent pas encore, Cobain et son groupe font pa…
- Autopsie : Patarkatsichvili est mort naturellement
Selon les premiers examens médico-légaux britanniques, le chef de file de l'opposition géorgienne, également l'une des plus grandes fortunes du pays, est décédé mardi soir d'une crise cardiaque.
- Kurt Cobain : About a Son
Réalisé à partir de plus de 25 heures d'entretiens enregistrés avec le journaliste Michael Azerrad, Kurt Cobain : About a Son est un portrait intime de l'artiste par lui-même, sur fond d'images des villes dans lesquelles il a vécu, accom...Lire la suite
- Melody Zen HD également sur l'offre TV de Neufbox
Melody Zen HD, qui vient de faire son arrivée sur l'offre TV de Free, est également disponible en Haute Définition sur l'offre TV de Neuf, pour les abonnés éligible à la haute définition par ADSL.La chaîne Melody Zen, lancée le 23 janvier...
Recherche interne
Consultez également les résultats de la recherche interne :
- "Kurt Gödel" avec le moteur de recherche interne
- "Kurt Gödel" avec une recherche Google limitée au Dico du Net
|