Dokazatel′stvo Gëdelja

V 1931 godu Kurt Gëdel opublikoval revoljucionnuju rabotu, kotoraja postavila pod somnenie nekotorye bazovye predpoloženija, ležačšie v osnove mnogich tradicionnych issledovanij v oblasti matematiki i logiki. Segodnja ego issledovanie terra incognita priznano odnim iz glavnych vkladov v sovremennuju naučnuju mysl′. Ėto pervaja kniga, v kotoroj v dostupnoj forme kak dlja učenych, tak i dlja nespecialistov ob′′jasnjajutsja osnovnye idei i širokie sledstvija dokazatel′stva Gëdelja. Ona predlagaet ljubomu obrazovannomu čeloveku s logičeskim i filosofskim vkusom šans polučit′ podlinnoe predstavlenie o ranee nedostupnom predmete. V ėtom novom izdanii laureat Pulitcerovskoj premii Duglas R. CHofštadter peresmotrel i obnovil tekst ėtoj klassičeskoj raboty, projasniv nejasnosti, sdelav argumenty bolee četkimi i dostupnymi. On takže dobavil novoe predislovie, v kotorom raskryvaet svoju ličnuju svjaz′ s ėtoj fundamental′noj rabotoj i vlijanie, kotoroe ona okazala na ego professional′nuju žizn′, ob′′jasnjaet sut′ dokazatel′stva Gëdelja i pokazyvaet, kak i počemu dokazatel′stvo Gëdelja ostaetsja aktual′nym i segodnja.