Turingova vize: Zrození informatiky

Recenze čtenářů

Kniha se těší velkému uznání za jasné a přístupné vysvětlení složitých pojmů z oblasti informatiky a matematické logiky, zejména pokud jde o Alana Turinga a jeho přínos. Mnoho čtenářů oceňuje její historický kontext a hloubku informací, které poskytuje, takže je cenná jak pro nadšence, tak pro odborníky v oblasti informatiky. Některé recenze však zmiňují nedostatky, jako jsou nedostatečné podrobnosti v některých oblastech, typografické chyby a přání získat více informací o Turingově životě a širších souvislostech v oblasti výpočetní techniky.

⬤ Jasné a srozumitelné vysvětlení složitých témat z oblasti informatiky a matematické logiky.
⬤ Poskytuje cenné historické souvislosti a seznamuje čtenáře s klíčovými osobnostmi, jako jsou Alan Turing a Charles Sanders Pierce.
⬤ Přístupná širokému publiku, takže je vhodná jak pro začátečníky, tak pro ty, kteří mají v oboru určité zkušenosti.
⬤ Poutavý styl vyprávění, který čtenáře zaujme.
⬤ Dobrá bibliografie pro další čtení.

⬤ Kapitola o lambda kalkulu není dostatečně podrobná.
⬤ Některý technický obsah může být nad rámec běžného chápání.
⬤ Kniha obsahuje několik typografických chyb.
⬤ Někteří čtenáři si přejí více podrobností o Turingově životě a vývoji výpočetní techniky.
⬤ Některé části knihy se mohou zdát uspěchané nebo nedostatečně hluboké, zejména ke konci.

(na základě 20 hodnocení čtenářů)

Původní název:

Turing's Vision: The Birth of Computer Science

Obsah knihy:

Přístupný a fascinující výklad o tom, jak matematická teorie Alana Turinga dala vzniknout moderní počítačové vědě a aplikacím - od stolních počítačů až po mobilní telefony

V roce 1936, když mu bylo pouhých čtyřiadvacet let, napsal Alan Turing pozoruhodný článek, v němž nastínil teorii výpočtů a uvedl myšlenky, které jsou základem všech moderních počítačů. Tato převratná a mocná teorie dnes tvoří základ počítačové vědy. V knize Turingova vize vysvětluje Chris Bernhardt tuto teorii, která je Turingovým nejvýznamnějším přínosem, široké veřejnosti. Bernhardt tvrdí, že silnou stránkou Turingovy teorie je její jednoduchost a že díky přímočarému vysvětlení je naprosto srozumitelná i pro neodborníky. Jak píše Marvin Minsky: "Naprostá jednoduchost základu teorie a neobyčejně krátká cesta od tohoto základu k logickým a překvapivým závěrům dávají teorii matematickou krásu, která jí sama o sobě zaručuje trvalé místo v teorii počítačů." Bernhardt začíná u základů a systematicky se propracovává k překvapivým závěrům. Na Turingovu teorii nahlíží také v kontextu dějin matematiky, jiných názorů na výpočetní techniku (včetně názorů Alonza Churche), Turingovy pozdější práce a zrodu moderního počítače.

V článku "On Computable Numbers, with an Application to the Entscheidungsproblem" Turing pečlivě promýšlí, jak lidé provádějí výpočty, rozděluje je do posloupnosti kroků a poté konstruuje teoretické stroje schopné provádět jednotlivé kroky. Turing chtěl ukázat, že existují problémy, které žádný počítač není schopen vyřešit.

Konkrétně chtěl najít rozhodovací problém, u kterého by dokázal, že je nerozhodnutelný. Aby vysvětlil Turingovy myšlenky, zkoumá Bernhardt tři známé rozhodovací problémy a zkoumá pojem nerozhodnutelnosti.

Zkoumá teoretické výpočetní stroje, včetně Turingových strojů.

Vysvětluje univerzální stroje.

A dokazuje, že některé problémy jsou nerozhodnutelné, včetně Turingova problému týkajícího se spočitatelných čísel.