Goedels Way - 9781138442061

Kurtas Godelis (1906-1978) buvo austrų kilmės amerikiečių matematikas, geriausiai žinomas dėl savo neužbaigtumo teoremų. Jis buvo didžiausias XX amžiaus matematinis logikas, prisidėjęs prie Einšteino bendrosios reliatyvumo teorijos, nes įrodė, kad Einšteino teorija leidžia naudoti laiko mašinas. Godelio neužbaigtumo teorema – įprastos formalios matematinės sistemos negali nei įrodyti, nei paneigti visų tikrų matematinių sakinių – vadovėliuose dažnai pateikiama kaip kažkas, kas vyksta retose matematinės logikos srityse ir neturi nieko bendra su realiu pasauliu. Tačiau praktika rodo priešingai, galima pademonstruoti reiškinio pagrįstumą įvairiose srityse – nuo chaoso teorijos ir fizikos iki ekonomikos ir net ekologijos. Šiame gyvame traktate, paremtame novatorišku Chaitino darbu ir da Costa-Doria rezultatais fizikos, ekologijos, ekonomikos ir kompiuterių mokslo srityse, autoriai parodo, kad Godelio neužbaigtumo reiškinys gali tiesiogiai paveikti mokslo praktiką ir galbūt mūsų kasdienį gyvenimą. Šioje prieinamoje knygoje pateikiamas naujas, išsamus ir elementarus Godelio neužbaigtumo teoremų paaiškinimas ir pateikiami Chaitino rezultatai bei jų ryšys su da Costa-Doria rezultatais, kurie pateikiami visiškai, bet be jokių techninių detalių. Be teorijos, istorinis reportažas ir asmeniniai pasakojimai apie pagrindinį veikėją ir šios knygos rašymo procesą daro ją patraukliu laisvalaikio skaitymu tiems, kurie domisi matematika, logika, fizika, filosofija ir kompiuterių mokslais. Taip pat žiūrėkite: http://www.youtube.com/watch?v=REy9noY5Sg8