Accueil > Dictionnaire > Définitions du mot « gödelien »
Gödelien
[ʒodœljɛ̃]
Définitions de « gödelien »
Gödelien - Adjectif
-
Qui se rapporte à Kurt Gödel, mathématicien autrichien (1906-1978), ou à son œuvre, notamment en ce qui concerne ses contributions à la logique mathématique et ses théorèmes d'incomplétude.
Y avait-il un moyen d’identifier ce qui faisait la différence entre les énoncés vrais dotés de preuves et ces énoncés gödeliens qui, tout en étant vrais, n’ont pas de preuve ?
— Marcus du Sautoy, La Symphonie des nombres premiers
Étymologie de « gödelien »
Du patronyme de Kurt Gödel avec le suffixe -ien.Usage du mot « gödelien »
Évolution historique de l’usage du mot « gödelien » depuis 1800
Citations contenant le mot « gödelien »
-
La découverte de ces incongruités logiques par Gödel fut un choc - David Hilbert, héraut de la puissance des mathématiques, en fut profondément déprimé et John von Neumann, futur inventeur de l'ordinateur, décida d'arrêter les mathématiques pures. Or c'est aujourd'hui au-dessus de l'IA que vient planer ce spectre gödelien : les chercheurs ont démontré que la question de savoir si la machine apprend correctement est liée à l'hypothèse du continu, et qu'elle est donc indécidable.
Science-et-vie.com — L'I.A. se prend le mur de Gödel - Science & Vie
Traductions du mot « gödelien »
| Langue | Traduction |
|---|---|
| Anglais | gödelien |
| Espagnol | gödelien |
| Italien | gödelien |
| Allemand | gödelien |
| Chinois | 哥德连 |
| Arabe | gödelien |
| Portugais | gödelien |
| Russe | gödelien |
| Japonais | gödelien |
| Basque | gödelien |
| Corse | gödelien |