Na logički pogon
Martin Davis

Podrijetlo ideje računala

Znače li vam što Leibniz, Boole, Frage, Hilbert, Kronecker, Goedel, Turing ili Neumann? Ne! A, znate li kako je uopće nastala ova kutija koja danas pokreće vaš svijet poslovanja, zabave i komuniciranja? Ne, ni to?! Onda je krajnje vrijeme da potrčite u vama najbližu knjižaru Jesenski i Turk i nabavite knjigu pod naslovom Na logički pogon autora Martina Davisa.

Osim što ćete sebi dati odgovore na prvo i drugo pitanje s početka ovoga teksta, uočit ćete kako je riječ o izuzetnoj kombinaciji povijesti ideja, biografije i izlaganja temeljnih pojmova računarstva. Pojmove koji su danas utjelovljeni u elektroničkim računalima autor objašnjava na zabavan i informativan način, oživljavajući pred vama glavne likove povijesti računalstva.

Pravo je zadovoljstvo autoru ovih redaka bilo čitati nešto čime je mislio da vlada, a ispostavilo se posve suprotno. Tehnička i matematička pitanja u ovoj se knjizi raspravljaju jasno i pristupačno pa uistinu nije potrebno biti genije teorije izračunljivosti i odlučivosti u matematici ili logici da biste knjigu čitali s potpunim razumijevanjem. Davis vrlo lijepo i domišljato u knjizi spaja matematičke detalje s biografskim anegdotama.

Ako ste mislili da iz povijesti nastanka računala znate sve ili gotovo sve, ova će vas knjiga iznenaditi ne u želji da vam utvrdi stupanj neznanja, već u nastojanju da znanje popunite novim emocijama i novim anegdotama. Potonje su uvijek dobro oružje uspješnih prezentacija ili razgovora uz kavicu. Što čekate? Još niste pohitali po vlastiti primjerak?