Goedels Way - 9781138442061

Kurt Godel (1906-1978) oli Austria-Ameerika matemaatik, kes on tuntud oma mittetäielikkuse teoreemide poolest. Ta oli 20. sajandi suurim matemaatiline loogik, kelle panus ulatus Einsteini üldrelatiivsusteooriasse, kuna ta tõestas, et Einsteini teooria võimaldab ajamasinaid. Godeli ebatäielikkuse teoreem – tavalised formaalsed matemaatilised süsteemid ei suuda tõestada ega ümber lükata kõiki tõeseid matemaatilisi lauseid – esitatakse õpikutes sageli kui midagi, mis juhtub matemaatilise loogika haruldastes valdkondades ja millel pole reaalse maailmaga mingit pistmist. Praktika näitab aga vastupidist, nähtuse paikapidavust saab demonstreerida erinevates valdkondades, alates kaoseteooriast ja füüsikast kuni majanduse ja isegi ökoloogiani. Selles elavas traktaadis, mis põhineb Chaitini murrangulisel tööl ja da Costa-Doria tulemustel füüsikas, ökoloogias, majanduses ja arvutiteaduses, näitavad autorid, et Godeli ebatäielikkuse fenomen võib otseselt mõjutada teaduse praktikat ja võib-olla ka meie igapäevaelu. See juurdepääsetav raamat annab uue, üksikasjaliku ja elementaarse seletuse Godeli ebatäielikkuse teoreemide kohta ning esitab Chaitini tulemused ja nende seosed da Costa-Doria tulemustega, mis on esitatud täielikult, kuid ilma tehniliste üksikasjadeta. Lisaks teooriale muudavad selle raamatu ajalooline aruanne ja isiklikud lood peategelasest ja selle kirjutamisprotsessist ahvatlevaks vaba aja lugemiseks neile, kes on huvitatud matemaatikast, loogikast, füüsikast, filosoofiast ja arvutiteadustest. Vaata ka: http://www.youtube.com/watch?v=REy9noY5Sg8