Godina izdanja: 2003
ISBN: 953-222-138-7
Jezik: Srpski
Autor: Strani

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