MARTIN DAVIS NA LOGIČKI POGON - podrijetlo ideje računala Prevod - Ljerka Vukić i Ognjen Strpić Izdavač - Naklada Jesenski i Turk, Zagreb Godina - 2003 294 strana 21 cm Edicija - Biblioteka 42 ISBN - 953-222-138-7 Povez - Broširan Stanje - Kao na slici, tekst bez podvlačenja SADRŽAJ: Predgovor Uvod 1 LEIBNIZOV SAN Leibnizova divna ideja Pariz Hannover Univerzalna karakteristika 2 BOOLE PRETVARA LOGIKU U ALGEBRU Težak život Georgea Boolea Boolea Algebra logike Georgea Boolea Boole i Leibnizov san 3 FREGE: OD VELIKOG OTKRIĆA DO BEZNAĐA Fregeov Begriffsschrift Frege smišlja formalnu sintaksu Zašto je pismo Bertranda Russella bilo tako razorno? Frege i filozofija jezika Frege i Leibnizov san 4 CANTOR: ZAOBILAZNICOM KROZ BESKONAČNOST Inženjer ili matematičar Beskonačnih skupova ima raznih veličina Cantorova potraga za beskonačnim brojevima Dijagonalna metoda Depresija i tragedija Presudna bitka? 5 Hilbert stiže u pomoć Rane Hilbertove pobjede Ususret novom stoljeću Kroneckerov duh Metamatematika Konačni slom 6 GÖDEL REMETI PLANOVE Povratak Kroneckerovog duha Neodlučivi iskazi Kurt Gödel, programer Konferencija u Königsbergu Ljubav i mržnja Hilbertova presuda Tužan kraj jednog čudaka 7 TURING STVARA SVENAMJENSKO RAČUNALO Dijete Imperija Hilbertov Entscheidungsproblem Turingova analiza postupka izračunavanja Turingovi strojevi u pogonu Turing primjenjuje Cantorovu dijagonalnu metodu Nerješivi problemi Turingov univerzalni stroj Alan Turing na Princetonu Rat Alana Turinga 8 STVARANJE PRVIH UNIVERZALNIH RAČUNALA Tko je izumio računalo? John von Neumann i fakultet Moore ACE Alana Turinga Eckert, von Neumann i Turing Zahvalna nacija nagrađuje svog junaka 9 NAKON LEIBNIZOVOG SNA Računala, mozak i um Epilog Bilješke Bibliografija Kazalo ``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` Ako Vas nešto zanima, slobodno pošaljite poruku. Martin Dejvis Engines Of Logic