Turingova vízia: Zrod informatiky

Recenzie čitateľov

Kniha získala široké uznanie za jasné a prístupné vysvetlenie zložitých pojmov z informatiky a matematickej logiky, najmä pokiaľ ide o Alana Turinga a jeho prínos. Mnohí čitatelia oceňujú jej historický kontext a hĺbku informácií, ktoré poskytuje, vďaka čomu je cenná pre nadšencov aj odborníkov v oblasti informatiky. V niektorých recenziách sa však uvádzajú nedostatky, ako napríklad nedostatočná podrobnosť v niektorých oblastiach, typografické chyby a želanie, aby bolo viac informácií o Turingovom živote a širších súvislostiach v oblasti informatiky.

⬤ Jasné a zrozumiteľné vysvetlenie zložitých tém z oblasti informatiky a matematickej logiky.
⬤ Poskytuje cenné historické súvislosti a zoznamuje čitateľov s kľúčovými postavami, ako sú Alan Turing a Charles Sanders Pierce.
⬤ Prístupná širokému publiku, takže je vhodná pre začiatočníkov aj pre tých, ktorí už majú určité skúsenosti v tejto oblasti.
⬤ Pútavý štýl rozprávania, ktorý čitateľa zaujme.
⬤ Dobrá bibliografia na ďalšie čítanie.

⬤ Kapitola o lambda kalkulu je nedostatočne podrobná.
⬤ Niektorý technický obsah môže byť nad rámec bežného chápania.
⬤ Kniha obsahuje niekoľko typografických chýb.
⬤ Niektorí čitatelia si želajú viac podrobností o Turingovom živote a vývoji počítačovej technológie.
⬤ Niektoré časti knihy sa môžu zdať urýchlené alebo nedostatočne hlboké, najmä ku koncu.

(na základe 20 čitateľských recenzií)

Pôvodný názov:

Turing's Vision: The Birth of Computer Science

Obsah knihy:

Prístupné a fascinujúce skúmanie toho, ako matematická teória Alana Turinga viedla k modernej informatike a aplikáciám - od stolných počítačov až po mobilné telefóny

V roku 1936, keď mal Alan Turing len dvadsaťštyri rokov, napísal pozoruhodný článok, v ktorom načrtol teóriu výpočtovej techniky a uviedol myšlienky, ktoré sú základom všetkých moderných počítačov. Táto prelomová a výkonná teória dnes tvorí základ počítačovej vedy. V knihe Turingova vízia Chris Bernhardt vysvetľuje túto teóriu, ktorá je Turingovým najdôležitejším prínosom, pre bežného čitateľa. Bernhardt tvrdí, že silnou stránkou Turingovej teórie je jej jednoduchosť, a že po jednoduchom vysvetlení je dokonale zrozumiteľná aj pre neodborníkov. Ako píše Marvin Minsky: "Samotná jednoduchosť základu teórie a neobyčajne krátka cesta od tohto základu k jej logickým a prekvapujúcim záverom dáva teórii matematickú krásu, ktorá jej sama o sebe zaručuje trvalé miesto v teórii počítačov." Bernhardt začína základom a systematicky sa dopracúva k prekvapujúcim záverom. Turingovu teóriu vníma aj v kontexte dejín matematiky, iných názorov na výpočty (vrátane názorov Alonza Churcha), Turingovej neskoršej práce a zrodu moderného počítača.

V článku "On Computable Numbers, with an Application to the Entscheidungsproblem" (O vypočítateľných číslach s aplikáciou na Entscheidungsproblem) sa Turing dôkladne zamýšľa nad tým, ako ľudia vykonávajú výpočty, rozdeľuje ich na postupnosť krokov a potom konštruuje teoretické stroje schopné vykonávať každý krok. Turing chcel ukázať, že existujú problémy, ktoré nie je schopný vyriešiť žiadny počítač.

Konkrétne chcel nájsť rozhodovací problém, o ktorom by mohol dokázať, že je nerozhodnuteľný. Na vysvetlenie Turingových myšlienok Bernhardt skúma tri známe rozhodovacie problémy s cieľom preskúmať pojem nerozhodnuteľnosti.

Skúma teoretické výpočtové stroje vrátane Turingových strojov.

Vysvetľuje univerzálne stroje.

A dokazuje, že niektoré problémy sú nerozhodnuteľné, vrátane Turingovho problému týkajúceho sa vypočítateľných čísel.