Dictionnaire > Définitions Personnalités > Kurt Gödel
Dictionnaire en ligne
Définitions Sigles Participer Equipe éditoriale Annuaire
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 
Rechercher
 
Définitions

Kurt Gödel

Thème : PersonnalitésUne définition du thème 'Personnalités'

 Définition

Définition de Kurt Gödel  Kurt Gödel (1906-1978) logicien, mathématicien autrichien.

 Description

Description de Kurt Gödel  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.

 Auteur

Auteur Nikos Lygeros
Prévisualisation fournie par ThumbshotsOpus of N. Lygeros  Langue du site de destination : Français

 Définitions à consulter

Définitions à consulter Nous vous proposons de consulter également la définition des termes suivants :

  • Alan Turing : Mathématicien et logicien anglais (1912-1954).
  • Commission Nationale de l'Informatique et des Libertés (CNIL) : Organisme français chargé de réguler la collecte, l'utilisation et la conservation des données dites "personnelles" ou "nominatives".
  • Gregory John Chaitin : Gregory John Chaitin (1947) logicien, mathématicien américain, créateur de la théorie de l'informatique algorithmique.
  • Loi informatique et libertés : Loi n° 78-17 du 6 janvier 1978 relative à l'informatique, aux fichiers et aux libertés.
  • Loi Scrivener : Loi du 10 Juillet 1978 qui réglemente le crédit à la consommation.
  • Mangaka : Mot japonais qui signifie auteur, dessinateur de Manga (nom donné pour désigner la bande dessinée japonaise).
  • Test de Turing : Test conçu par Turing, Alan Mathison, 1954 (mathématicien, logicien, ingénieur anglais) ayant pour but, via une analyse sémantique, visuel ou auditif, de contrôler la présence d'un individu ‘pensant'.

 Actualité

 Utilisez cette définition !

Consignes pour recopier cette définition sur son site 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/definitions/personnalites/kurt-godel.htm">
Kurt Gödel</a></p>

 Commentaires

Commentaires 

Aucun commentaire.

Apportez votre commentaire N'hésitez pas à participer au Dico du Net !
Vous pouvez commenter la définition "Kurt Gödel" en remplissant un formulaire.

 Envoyer à un ami

Envoyez cette définition à un ami Vous pouvez envoyer la définition de Kurt Gödel à un ami.


Offre d'hébergement web professionnel
Hébergement web
Le Dico du Net
fait confiance à Sivit
pour son hébergement
Testez Sivit à partir de :
1,90 EUR HT/mois
(garantie 30 jours satisfait ou remboursé)
Publicité

Agent Web Ranking

Agent Web Ranking
Licence   Thumbshots.org