1. Citations
  2. Auteurs
  3. Kurt Gödel

Kurt Gödel citations

Kurt Gödel, né le 28 avril 1906 à Brno et mort le 14 janvier 1978 à Princeton , est un logicien et mathématicien autrichien naturalisé américain,.

Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Ces propositions sont qualifiées d'indécidables.

Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives.

Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne . Wikipedia  

✵ 28. avril 1906 – 14. janvier 1978
Kurt Gödel photo
Kurt Gödel: 14 citations0 J'aime

Kurt Gödel Citations

“On peut démontrer rigoureusement que dans tout système formel consistant contenant une théorie des nombres finitaire relativement développée, il existe des propositions arithmétiques indécidables et que, de plus, la consistance d'un tel système ne saurait être démontrée à l'intérieur de ce système.”

Kurt Gödel

Note ajoutée le 28 août 1963
Sur les propositions formellement indécidables des "Principia Mathematica" et des systèmes apparentés

“Gödel est le plus grand logicien depuis Aristote.”

Kurt Gödel

Citation de John von Neumann

Kurt Gödel: Citations en anglais

“Our total reality and total existence are beautiful and meaningful…. We should judge reality by the little which we truly know of it. Since that part which conceptually we know fully turns out to be so beautiful, the real world of which we know so little should also be beautiful. Life may be miserable for seventy years and happy for a million years: the short period of misery may even be necessary for the whole.”

Help us translate this quote

Kurt Gödel

“The meaning of the world is the separation of wish and fact. Wish is a force as applied to thinking beings, to realize something. A fulfilled wish is a union of wish and fact. The meaning of the whole world is the separation and the union of fact and wish.”

Help us translate this quote

Kurt Gödel

As quoted in The Outer Limits of Reason: What Science, Mathematics, and Logic Cannot Tell Us (MIT Press) 2013 by Yanofsky, Noson S

“Either mathematics is too big for the human mind, or the human mind is more than a machine.”

Help us translate this quote

Kurt Gödel

As quoted in Topoi : The Categorial Analysis of Logic (1979) by Robert Goldblatt, p. 13

“Only someone who (like the Intuitionist) denies that the concepts and axioms of classical set theory have any meaning could be satisfied with such a solution, not someone who believes them to describe some well-determined reality. For in reality Cantor's conjecture must be either true or false, and its undecidability from the axioms as known today can only mean that these axioms do not contain a complete description of reality.”

Help us translate this quote

Kurt Gödel

“Ninety percent of [contemporary philosophers] see their principal task as that of beating religion out of men's heads. … We are far from being able to provide scientific basis for the theological world view.”

Help us translate this quote

Kurt Gödel

As quoted in Logical Dilemmas : The Life and Work of Kurt Gödel (1997) by John W. Dawson Jr.

“The formation in geological time of the human body by the laws of physics (or any other laws of similar nature), starting from a random distribution of elementary particles and the field is as unlikely as the separation of the atmosphere into its components. The complexity of the living things has to be present within the material [from which they are derived] or in the laws”

Help us translate this quote

Kurt Gödel

governing their formation
As quoted in "On 'computabilism’ and physicalism: Some Problems" by Hao Wang, in Nature’s Imagination (1995), edited by J. Cornwall, p.161-189

“To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r).”

Help us translate this quote

Kurt Gödel

Proposition VI, On Formally Undecidable Propositions in Principia Mathematica and Related Systems I (1931); Informally, recursive systems of axioms cannot be complete.

“I like Islam, it is a consistent idea of religion and open-minded.”

Help us translate this quote

Kurt Gödel

As quoted in A Logical Journey: From Gödel to Philosophy (1996) by Hao Wang

“But every error is due to extraneous factors (such as emotion and education); reason itself does not err.”

Help us translate this quote

Kurt Gödel

Attributed as a remark of 29th November 1972, in Incompleteness (2005) by Rebecca Goldstein

Auteurs similaires

Bertrand Russell photo
Bertrand Russell20
mathématicien, logicien, philosophe, épistémologue, homme p… None
Simone Weil photo
Simone Weil77
philosophe française None
Richard Bach photo
Richard Bach8
écrivain américain None
Kurt Vonnegut photo
Kurt Vonnegut29
écrivain américain None
Jack London photo
Jack London12
écrivain américain None
John Steinbeck photo
John Steinbeck18
écrivain américain None
Maya Angelou photo
Maya Angelou4
poétesse, actrice et militante américaine None
Richard Feynman photo
Richard Feynman5
physicien américain None
Jack Kerouac photo
Jack Kerouac11
écrivain et poète américain None
Ray Bradbury photo
Ray Bradbury20
écrivain américain None