Kurt Goedel   (translated from German)
Kurt Goedel Kurt Goedel Kurt Goedel (* 28. April 1906 in Bruenn, Austria Hungary, today Brno, Tschechien; † 14. January 1978 in Princeton, New jersey) was Mathematician and Logician. Goedel becomes of many as the most important logician of the 20 Century regarded. It has relevant contributions within the range that Predicate ...
http://de.wikipedia.org/wiki/Kurt_Gödel - 23k - Cached (German) - Wikipedia (German) - Similar pages

Gödel price   (translated from French)
Gödel price The price Gödel was created in 1992 by the European ...
http://fr.wikipedia.org/wiki/Prix_Gödel - 1k - Cached (French) - Wikipedia (French) - Similar pages

Universe of Gödel   (translated from French)
Universe of Gödel universe of Gödel is a solution with the equations of relativity published by mathematician Kurt Gödel in 1949 . This solution has several remarkable ... of Einstein . Metric of the universe of Gödel This solution describes a Lorentzian four-dimensional ... are worth 1. Properties The universe of Gödel represents one homogeneous space, i.e. ...
http://fr.wikipedia.org/wiki/Univers_de_Gödel - 6k - Cached (French) - Wikipedia (French) - Similar pages

Ontological proof of Gödel   (translated from French)
Ontological proof of Gödel For the homonymous articles, to see proof. Here the Proof ontologic of Gödel, i.e. mathematical proof existence of God ...
http://fr.wikipedia.org/wiki/Preuve_ontologique_de_Gödel - 2k - Cached (French) - Wikipedia (French) - Similar pages

Theorem of complétude of Gödel   (translated from French)
Theorem of complétude of Gödel theorem of complétude calculation of the first order predicates was proven by Kurt Gödel ( 1929 , thesis of doctorate, On the complétude ... This theorem is equivalent to that of Gödel . But the proof of Gödel is based on another formulation of the ... us reason on the arithmetic formal one. Gödel proved ( théorème of incomplétude of Gödel ) ...
http://fr.wikipedia.org/wiki/Théorème_de_complétude_de_Gödel - 33k - Cached (French) - Wikipedia (French) - Similar pages

Theorem of incomplétude of Gödel   (translated from French)
Theorem of incomplétude of Gödel The first theorem of incomplétude of Gödel (sometimes called simply theorem of Gödel) was proven by Kurt Gödel in 1930 , and published in 1931 in ... meet the conditions of the theorems of Gödel, provided that its axioms are in ...
http://fr.wikipedia.org/wiki/Théorème_d'incomplétude_de_Gödel - 39k - Cached (French) - Wikipedia (French) - Similar pages

Kurt Gödel   (translated from French)
Kurt Gödel K. Gödel Kurt Gödel ( 28 April 1906 - 14 January 1978 ) : mathematician ... born Austrian) the annexation of Austria ordered, Gödel became consequently Allemand (it was then 32 ... it obtained the Austro-American dual nationality. Gödel was a logician whose work more ...
http://fr.wikipedia.org/wiki/Kurt_Gödel - 19k - Cached (French) - Wikipedia (French) - Similar pages

User:Kurt Gödel
User:Kurt Gödel User:Kurt Gödel
http://en.wikipedia.org/wiki/User:Kurt_Gödel - 0k - Cached - Similar pages

Kurt Gödel Society
Kurt Gödel Society The Kurt Gödel Society was founded in Vienna, Austria in ... with special attention to connections with Kurt Gödel, in whose honour it was named. The ... and Wilfrid Hodges. In April 2006, the Gödel society will organize Horizons of Truth, an ... symposium celebrating the 100th Birthday of Kurt Gödel. Links and references Source: Kurt Gödel Society
http://en.wikipedia.org/wiki/Kurt_Gödel_Society - 1k - Cached - Similar pages

Gödel metric
Gödel metric The Gödel solution is an exact solution of the ... in 1949 by the famous logician Kurt Gödel. Definition Like any other Lorentzian spacetime, the Gödel solution is defined by giving the metric ... Properties To study the properties of the Gödel solution, we can adopt the frame ...
http://en.wikipedia.org/wiki/Gödel_metric - 38k - Cached - Similar pages