Kurt Gödel , (28 Aprile, 1906 – 14 Januar, 1978) wis a logeician, mathemateician, an philosopher o mathematics.
He wis born in Brünn 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, Gödel automatically becam a German ceetizen at 32 year auld. Aifter World War II, at 42 year auld, he got US ceitizenship.
Gödel'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, Gödel wrocht oot a technique nou kent as Gödel 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. Gödel 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 Gödel 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.
Wiki Commons haes media relatit tae Kurt Gödel. |
This article uses material from the Wikipedia Scots article Kurt Gödel, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Content is available unner CC BY-SA 4.0 unless itherwise notit. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Scots (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.