|
|
 |
|
Annuaire >
Sciences et technologies >
Mathématiques > Définitions
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é
- Mais qui a osé voler les cendres de Kurt Cobain ? ...
Après que son mari Kurt Cobain se soit suicidé le 5 avril 1994, Courtney Love avait répandu ses cendres dans un temple boudhiste à New York et dans une rivière de l&[...]
- Telenet se lancera bientôt dans la haute définition ...
Telenet va lancer dans les douze mois à venir de la télévision haute définition (HDTV), a déclaré son patron, Duco Sickinghe, lors d'une conférence dif[...]
- Fujitsu Siemens Amilo Pa 2548 : la belle affaire ...
Petit prix ne signifie plus finition bâclée et fonctionnalités réduites,...[...]
- Un film sur la vie de Kurt Cobain en préparation ...
Le chanteur américain Kurt Cobain du groupe de rock Nirvana des années 1990, va faire l’objet d’un film à Hollywood par Universal selon Variety.
Le long métrage est en cours d’écritu[...]
- 10 classes PEAR pour les mathématiques ...
Si vous avez des connaissances mathématiques avancées, vous saurez déjà que PHP ne dispose d'aucune fonctionnalité pour gérer des concepts mathématiques tels que les nombres complexes, les fractions, [...]
- 17 hackers canadiens se font arreter par la police...
Ces malfaiteurs de la Toile contrôlaient 100.000 machines zombies…D'après la police du Québec, ce gang de cybercriminels est à l'origine de nombreux dommages sur des ordinateurs. Le montant total des dégâts est estimé à 44,3 millions de dollars.Ces hackers contrôlaient à distance une armée de botnet. Les logiciels malveillants utilisés servaient à des campagnes de phishing et de spamming.Lire la suite...
- Funérailles de Kurt Waldheim en Autriche...
Des appels à la réconciliation et un rappel du nazisme en Autriche ont marqué les funérailles samedi à Vienne de Kurt Waldheim, l'ex-secrétaire général de l'ONU et ex-président ...
- Funérailles nationales pour Kurt Waldheim le 23 juin à Vienne...
Des funérailles nationales vont être organisées le 23 juin prochain pour l'ex-président autrichien Kurt Waldheim, décédé jeudi à l'âge de 88 ans, a annoncé vendredi la ...
- Regrets posthumes de Kurt Waldheim dans son testament...
L'ancien secrétaire général de l'ONU et ex-président autrichien Kurt Waldheim, décédé jeudi, a pour la première fois présenté ses regrets profonds pour ses propos sur son ...
- "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...
- Pour économiser, la RIAA tente les packaging de procès...
La campagne de lutte contre le piratage coûte les yeux de la tête à l'industrie du disque. Face au peu de résultats qu'elle donne, EMI avait même envisagé l'année dernière de quitter l'IFPI. De son côté, la RIAA ne cesse de voir de nouvelles voix s'élever contre elle pour montrer son manque d'efficacité. L'organisme essaie donc de faire des économies. Sur une de ses dernières affaires, il a tenté de regrouper 5 présumés pirates dans un même procès.Lire la suite...
- Mon historique de navigation m'appartient...
L'un des deux inventeurs du World Wide Web s'inquiète que la liberté des internautes soit compromise par les fournisseurs d'accès Internet (FAI) qui colligent des informations sur les sites qu'ils visitent.En entrevue avec la BBC, Sir Tim Berners-Lee se prononçait sur certains FAI britanniques qui viennent de conclure un partenariat avec l'entreprise Phorm. Lire la suite...
- L'Institut SANS résout un mystère...
L'Institut SANS a résolu un mystère concernant une technique employée par des pirates informatiques pour contaminer des milliers de sites Internet légitimes depuis le mois de janvier 2008.La firme de sécurité informatique a découvert un algorithme utilisé par les pirates informatiques dans le moteur de recherche de Google qui les aident à identifier les sites Internet vulnérables où ils pourront installer leurs Malwares.Lire la suite...
- Un polluposteur sous les verrous...
Votre boîte de réception pourra respirer un peu mieux dorénavant. Hier, le FBI a arrêté Robert Soloway, l'un des 10 polluposteurs les plus prolifiques au monde, à l'aéroport de Seatle.Robert Soloway utilisait des réseaux d'ordinateurs zombies, pour répandre des millions de pourriels aux quatre coins de la planète afin de vendre ses services.Lire la suite...
- Virtuity met au point des ordinateurs auto-destructeurs...
Le Wi-Fi et la RFID au service de la destruction de données.La société britannique "Virtuity" a présenté une technologie "d’auto-destruction", basée sur le WiFi et sur des étiquettes RFID, qui entre en action lorsqu’un ordinateur portable est déplacé de son espace désigné.Le logiciel BackStopp surveille le "rythme cardiaque" électronique d’un ordinateur portable afin de déterminer sa position. Si le portable est déplacé hors de la zone autorisée, le logiciel en bloque l’accès avant de détruire les données qu’il contient.Lire la suite...
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
|
|
|
|
