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.""Elegantna povijest potrage za granicama logike i strojevima koji u tim granicama žive"—Wired"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"—Domagoj Juričić, MeritorMedia"Svatko tko danas radi s računalima, i svatko tko teži proniknuti u ovu elektroničku budućnost, čitanjem [ove knjige] bit će na velikom dobitku."—John McCarthy, Sveučilište Stanford