Kurt Gödel
Kurt Gödel (wym. niem. [ˈkʊʁt ˈɡøːdəl], ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teorią względności i filozofią matematyki. Laureat Nagrody Einsteina (1951) i amerykańskiego National Medal of Science (1974).Osiągnięcia Gödla w podstawach matematyki zalicza się do największych w dziejach tej dziedziny. Należą do nich twierdzenia o niezupełności i niesprzeczności każdej aksjomatycznej teorii dedukcyjnej, która obejmuje arytmetykę liczb naturalnych. Gödel zajmował się również ogólną teorią względności – między innymi wyprowadził rozwiązania równań Einsteina dopuszczające cofanie się w czasie. W tamtym okresie uważano to za poważną wadę teorii. Einstein twierdził później, że wiedział o istnieniu takich rozwiązań od samego początku, ale ukrywał to, gdyż słusznie uważał, że inni fizycy nie zaakceptują teorii pozwalającej na podróże wstecz w czasie.
W latach 90. powstała międzynarodowa Nagroda Gödla przyznawana informatykom teoretycznym. Źródło: Wikipedia
1
Wydane: 1987
Superior document: History of logic 4