...Otthont adott Albert Einsteinnek (aki itt töltötte élete utolsó húsz évét), André Weilnek, John von Neumann-nak, Kurt Gödelnek, és még sok más kimagasló tudósnak....
...Kurt Gödel is, akinek a munkássága ? különösen a híres nemteljességi tétel ? forradalmasította a matematikai logikát, ennek a véleménynek volt tántoríthatatlan híve. Azt írta, hogy a matematikai fogalmak ?...
...Kurt Gödel, Collected Works, Volume III, Oxford University Press, 1995, p. 320. 12. Ibid, p. 323. 13. Roger Penrose, Shadows of the Mind, Oxford University Press, 1994, Section 8.4.7. 14. A határkövet jelentő Gottschalk v....
...McHale rekurzióelméletét Hoftstadter híres Gödel, Escher, Bach c. munkájára hivatkozva teszi meg, vagyis kiterjeszti e matematikai axiomatikus fogalmat a narratológiára, hasonlóan ahhoz, ahogy Hofstadter tette ezt Escher képeihez és Bach zenéjéhez közelítve...
...HOFSTADTER Gödel, Escher, Bach. Egybe-font gondolatok birodalma. (Ford. LIPOVSZKI Gábor), Typotex, Bp., 2005. különbsége jelölt, mivel küszöbök választják el őket egymástól....
...Mindig ugyan- arról beszélünk, hol Flaubert, hol Bolyai, hol Pilinszky, hol Gödel hangját halljuk. Ha fülelünk.” A GÖRÖG CSODA Kétezer-háromszáz évvel ezelőtt megszületett egy könyv, Eukleidész Elemek című műve....
...Gödel és A. Turing munkássága nyomán kiderült, hogy ez távolról sem igaz: vannak olyan feladatok, amelyekre nem létezik megoldó módszer....
...Ezt a harmincas években Kurt Gödel, Alonzo Church és Alan Turing munkássága alaposan megcáfolta. Mint láttuk, vannak olyan feladatok, amelyekre nem létezik megoldó algoritmus....
...Kurt Gödel egyik 1950-ben megjelent híres művében, melyet Einsteinnek ajánlott, ugyanezt a felfogást támogatta. Az idő ontologikus alapja a tiszta szubjektivitás, az önmagunkról való tudás....
...Raymond Smullyan: Alice Rejtvényországban Raymond Smullyan: A tao hallgat Raymond Smullyan: Emlékek, történetek, paradoxonok Raymond Smullyan: Gödel nemteljességi tételei Raymond Smullyan: Mi a címe ennek a könyvnek?...
...A 20. század egyik leghíresebb matematikusa, Kurt Gödel Anzelm istenérvének logikai struktúráját is elemezte. Magát a bizonyítást nem nehéz megérteni, bár rengeteg kommentár rakódott rá....
...selection) 2001 Corvin Chain Award 2007 Bolyai Prize of the HAS 2008 Széchenyi Grand Prize 2020 ‘Homeland’ (Hazám) Life Achievement Award Awards -- Abroad (selection) 1979 Pólya (Georg Pólya) Prize 1999 Wolf Prize, Knuth Prize 2001 Gödel...
Tájékoztatjuk, hogy a honlapon felhasználói élményének fokozása érdekében sütiket (cookie) alkalmazunk,
személyes adatait pedig az
Adatkezelési tájékoztató
szerint kezeljük. A honlap további böngészésével Ön hozzájárul a sütik használatához és személyes adatainak az
Adatkezelési Tájékoztató alapján történő kezeléséhez.