Na logički pogon

Temu ove knjige čine ideje koje su omogućile stvaranje modernih računala i ljudi koji su te ideje razvijali. Netom nakon što sam završio doktorat iz matematičke logike na Sveučilištu Princeton, u proljeće 1951. godine, predavao sam na Sveučilištu Illinois. Predavanja su se temeljila na Turingovim zamislima. Na istom sveučilištu radio je i sam Turing jedno desetljeće prije mene. Moja predavanja je pohađao jedan mladi matematičar koji me upozorio da se u ulici nasuprot učionice upravo konstruiraju dva stroja za koja je bio uvjeren da su nastala na osnovu Turingovih zamisli. Ubrzo sam počeo pisati programe za ta prva računala. Pola stoljeća sam se profesionalno bavio vezom između apstraktnih logičkih ideja koje stoje u pozadini modernih računala i njihove realizacije. Računala su pedesetih godina bila ogromna i jedva su mogla stati u sobu. Danas su to moćni strojevi koji mogu izvesti začuđujući broj različitih zadataka, no logika koja stoji u njihovoj pozadini nije se promijenila. Ona se razvila iz radova nekolicine mislilaca kroz nekoliko stoljeća. U ovoj ću knjizi ispričati njihove životne priče i objasniti dio njihovih razmišljanja.