Dokazatel′stvo Gyodelya

V 1931 godu Kurt Gyodel opublikoval revolyucionnuyu rabotu, kotoraya postavila pod somnenie nekotorye bazovye predpolozheniya, lezhashhie v osnove mnogich tradicionnych issledovanij v oblasti matematiki i logiki. Segodnya ego issledovanie terra incognita priznano odnim iz glavnych vkladov v sovremennuyu nauchnuyu mysl′. Eto pervaya kniga, v kotoroj v dostupnoj forme kak dlya uchenych, tak i dlya nespecialistov ob′′yasnyayutsya osnovnye idei i shirokie sledstviya dokazatel′stva Gyodelya. Ona predlagaet lyubomu obrazovannomu cheloveku s logicheskim i filosofskim vkusom shans poluchit′ podlinnoe predstavlenie o ranee nedostupnom predmete. V etom novom izdanii laureat Pulitcerovskoj premii Duglas R. CHofshtadter peresmotrel i obnovil tekst etoj klassicheskoj raboty, proyasniv neyasnosti, sdelav argumenty bolee chetkimi i dostupnymi. On takzhe dobavil novoe predislovie, v kotorom raskryvaet svoyu lichnuyu svyaz′ s etoj fundamental′noj rabotoj i vliyanie, kotoroe ona okazala na ego professional′nuyu zhizn′, ob′′yasnyaet sut′ dokazatel′stva Gyodelya i pokazyvaet, kak i pochemu dokazatel′stvo Gyodelya ostaetsya aktual′nym i segodnya.