Dictionnaire > Définitions Personnalités > Kurt Gödel
Dictionnaire en ligne
Définitions Sigles Participez !
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

Rejoignez-nous sur la page Facebook Dicodunet

Kurt Gödel

 Définition

Definition 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.

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

Auteur Nikos Lygeros : Opus of N. Lygeros

 Commentaires

Pour 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

Si vous avez des commentaires à faire ou des questions à poser, remplissez le formulaire ci-dessous :

Votre pseudo * :
Ne mettez pas votre nom réel mais plutôt un prénom ou un pseudo
Votre adresse email * :
Indiquez une adresse qui fonctionne !
URL de votre site :
Si vous le voulez, mettez l'URL de votre site, nous y ferons un lien
Titre de votre commentaire * :
En quelques mots, l'objet de votre commentaire
Votre commentaire * :
Indiquez ici vos remarques, vos questions, vos compléments d'information... Aucune balise HTML n'est autorisée. Votre commentaire doit faire au moins 150 caractères de longueur.
 

Les champs marqués du signe * sont obligatoires.

Votre pseudo et celui de votre site apparaîtront sur la page publique de la définition, avec un lien vers votre site. Votre adresse email nous servira à vous prévenir des suites que nous donnerons à votre commentaire (qu'il soit accepté ou refusé) ; en aucun cas elle ne sera communiquée à un tiers sans votre consentement. Votre adresse IP sera enregistrée conformément aux obligations légales.

 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".
  • Descartes : René Descartes (1596-1650) est l'un des fondateurs de la science et de la pensée modernes.
  • François DUINE : François DUINE (1870-1924), fut un brillant esprit qui nous laisse des travaux encore pertinents près d'un siècle après, tant en hagiographie et histoire du Haut-Moyen-âge breton, qu'en matière de Traditions Populaires de "toutes les Bretagne", de même que par ses travaux concernant LAMENNAIS
  • 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).
  • Pythagore : Pythagore a vécu de 582 à 500 avant J.C. environ.
  • 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'.

Si vous avez aimé cette définition, partagez-la sur vos réseaux sociaux !

Partager

N'oubliez pas de suivre notre compte Twitter et de rejoindre les autres fans de Dicodunet sur Facebook