Frae Wikipedia, the free beuk o knawledge
Kurt Godel
[
kurt gøːdl
], (
28 Aprile
,
1906
?
14 Januar
,
1978
) wis a logeician, mathemateician, an philosopher o mathematics. He wis born in Brunn in
Moravia
,
Austrick-Hungary
(nou
Brno
in the
Czech Republic
), becam a
Czechoslovak
ceitizen at 12 year auld whan the Austro-Hungarian empire wis broke up, an an
Austrian
ceetizen at 23 year auld. Whan
Hitler
teuk Austria
, Godel automatically becam a
German
ceetizen at 32 year auld. Aifter
World War II
, at 42 year auld, he got
US
ceitizenship.
Godel's best kent warks wis his
incompleteness theorems
, the maist kenspeckle o them seyin that ony sel-conseestent
recursive
axiomatic seistem
wi eneuch pouer ti descreive integer arithmetic maun allou for "true" proposeitions anent integers that canna be proven frae the axioms. For tae pruive this theorem, Godel wrocht oot a technique nou kent as
Godel nummerin
, that codes formal expressions intil arithmetic. Forby he did kenspeckle wirk on the
continuum hypothesis
, shawin that it canna be dispruiven frae the accepit
set theory
axioms, assumin that thae axioms is conseestent.
Godel made important contreibutions ti
pruif theory
; he clarifee'd the connections atween
clessical logic
,
intuitionistic logic
an
modal logic
bi definin translations atween them.
Kurt Godel wis aiblins the greatest logeician o the
1900s
an ane o the three greatest logeicians ivver wi
Aristotle
an
Frege
. He published his maist important result in
1931
at 25 year auld whan he wrocht at
Vienna Varsity
, Austria.
- Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme
,
Monatshefte fur Mathematik und Physik,
vol. 38 (1931). (Available in Inglis at
http://home.ddc.net/ygg/etext/godel/
Archived
2006-07-05 at the
Wayback Machine
)
- The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.
Princeton Varsity Press, Princeton, NJ. (1940)
- Dawson, John W.
Logical dilemmas: The life and work of Kurt Godel.
A K Peters. (
ISBN 1-56881-025-3
)
- Depauli-Schimanovich, Werner, & Casti, John L.
Godel: A life of logic.
Perseus. (
ISBN 0-7382-0518-4
)
- Goldstein, Rebecca (2005).
Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries).
W. W. Norton & Company. (
ISBN 0-393-05169-2
)
- Hintikka, Jaakko (2000).
On Godel.
Wadsworth. (
ISBN 0-534-57595-1
)
- Hofstadter, Douglas.
Godel, Escher, Bach
(
ISBN 0-465-02656-7
)
- Nagel, Ernst, & Newman, James R..
Godel's Proof.
New York Varsity Press. (
ISBN 0-8147-5816-9
)
- Wang, Hao (1996).
A logical journey: From Godel to philosophy.
Cambridge, MA: MIT Press.
- Yourgrau, Palle (2004).
A World Without Time: The Forgotten Legacy of Godel and Einstein.
Basic Beuks. (
ISBN 0-465-09293-4
)
- Yourgrau, Palle (1999).
Godel Meets Einstein: Time Travel in the Godel Universe.
Open Court. (
ISBN 0-8126-9408-2
)
|
Wikimedia Commons haes media relatit tae
Kurt Godel
.
|