Professional Documents
Culture Documents
Davis Martin Na Logicki Pogon Podrijetlo Ideje Racunala
Davis Martin Na Logicki Pogon Podrijetlo Ideje Racunala
UDK
510.6:004 164:024
DAVIS, Martin
N<l logiki pogon: podrijetlo ideje munala/
Marim Davis; <prijevod Ljerka Vuki i Ognjen Strpi>
- Z<lgreb: Nakl<ld<l Jesenski i Turk, 2003. - Biblioteka 42
Prijevod djeli!: Engines of Logic. - Bibliografija. - Kazalo
953-222-138-7
www.jesenski-turk.hr
Na logiki pogon
podrijetlo ideje raunala
Martin Davis
Izvornik:
MartinDavis, Engines of Logic,
W. W.
Copyright2000byMartinDavis
Copyright za hrvatsko izdanje Naklada Jesenski i Turk
Sadraj
Predgovor
13
Uvod
Leibnizov san
Leibnizova divna ideja
Pariz
Hannover .
Univerzalna karakteristika
15
17
19
26
28
35
57
35
47
54
64
69
71
73
74
77
79
82
88
93
97
99
103
.
.
.
.
.
. . . 105
. . . 110
. . . 112
. . . 119
. . . 124
129
. .
.
. .
.
. .
. .
.
.
.
.
.
.
133
137
143
145
148
154
160
163
.
.
.
.
.
.
.
.
.
.
164
170
172
176
182
Nerjeivi problemi . . . . . . .
Turingov univerzalni stroj
Alan Turing na Princetonu .
Rat Alana Turinga .
. . . . . .
. . . . . . . 186
189
. . 192
. . . . . . . . . . . . . . 6
.
203
.
.
.
.
.
.
.
.
.
.
.
.
.
.
203
206
215
218
221
237
Biljeke
239
Bibliografija
271
Kazalo
283
Predgovor
Uvod
univerzalnim strojem.
-Alan Turing, 1947.2
U jesen 1945, na Elektrotehnikom fakultetu Moore u Philadelp
l Leibnizov san
N a logiki pogon
Poglavlje L
leibnizov san
Na logiki pogon
Poglavlje l.
Leibnizov san
N a logiki pogon
Poglavlje l.
leibnizov san
N a logiki pogon
Poglavlje l.
broj lanova
10
1 00
1,000
10,000
100,000
1,000,000
10,000,000
Leibnizov san
Na logiki pogon
Poglavlje l.
Leibnizov san
Na logiki pogon
Hannover
Poglavlje L
Leibnizov san
N a logiki pogon
Poglavlje l.
Leibnizov san
N a logiki pogon
Poglavlje L
Leibnizov san
N a logiki pogon
Poglavlje l.
Leibnizov san
N a log1k1 pogon
Poglavlje 2.
Na logiki pogon
,.,
George Boole
Poglavlje 2.
N a logiki pogon
Poglavlje 2.
Na logiki pogon
Poglavlje 2.
Na logiki pogon
Poglavlje 2.
Na logiki pogon
Poglavlje 2.
lx :::: x.
Na logiki pogon
O.
Poglavlje 2.
primjer
Svi X su Y.
Nijedan X nije Y.
Neki X su Y.
Neki X su Y.
a to je traeni zakljuak.24
Na logiki pogon
JoE: Ne, zvao sam i nisu ih nali. Da sam ekove ostavio tamo oni
bi ih sigurno nali.
SusAN: Samo malo! Ti si sino u restoranu ispisao ek i vidjela sam
da si stavljao ekove u dep od jakne. Ako ih otad nisi koristio,
sigurno su jo tamo.
Poglavlje 2.
Ako J onda N.
Ne N.
& S.
Ne i.
J.
Kao i Aristotelovi silogizmi, i ovaj model omoguuje valjano za
kljuivanje. Jednako kao i kod bilo kog drugog valjanog zakljui
vanja, istinitost reenica zvanih konkluzije izvedena je iz istinitosti
drugih reenica zvanih premise.
Baale je shvatio da ista algebra koja vrijedi za klase, vrijedi i
za zakljuke ovakve vrste.25 Jednakosti kao to su X = l upotreb
ljavao je u znaenju "iskaz X je istinit", a nejednakost X = O u
znaenju "X je neistinit" Tako bi za "Ne X" napisao jednakost
Na logiki pogon
jednakosti
X(1 - Y) = O.
Poglavlje 2.
2. Ako neto jest, ili je to oduvijek bilo ili je ono to sada jest
nastalo ni iz ega.
Neto jest,
N a logiki pogon
1-x=O
x{yz + (l - y)(l - z)} = O
x{pq + (! - p)(! - q)) = O
p(! - y) = o
qz = O
Pitanje je to bi Clarke mislio o ovom svoenju njegovog zamre
nog metafizikog razmiljanja na obine jednakosti. Kao Newto
nowu ueniku vjerojatno bi mu bilo drago. S druge strane, svad
ljivi metafiziar sir William Hamilton koji je toliko mrzio matema
tiku, mora da bi se bio zgrozio.
Poglavlje 2.
Na logiki pogon
temelji tek to dovri svoj rad. Ja sam se naao u toj situaciji nakon
pisma koje sam primio od gospodina Bertranda Russella."
Mnogo godina kasnije, vie od etiri desetljea nakon Fregeove
smrti, Bertrand Russell je jednom prilikom napisao:
Razmiljajui o estitim i kreposnim djelima, dolazim do za
kljuka da ne znam ni za ta to bi se moglo usporeivati s
Fregeovom predanou istini. Bio je korak do zavretka svog
ivotnog djela, a velik dio njegova rada bio je zanemarivan, a
istodobno su se uvaavali neizmjerno manje sposobni ljudi. lako
mu je drugi svezak bio pred tiskanjem, shvativi da mu je jedna
temeljna pretpostavka kriva, reagirao je intelektualnim zadovolj
stvom koje je potisnulo bilo kakve osjeaje osobnog razoaranja.
To je bilo gotovo nadljudski i vrlo jasan pokazatelj toga za to je
sposoban ovjek odan kreativnom radu i znanju, umjesto pukom
tenjom za prevlau i slavom.1
Velik dio rada suvremenog filozofa Michaela Dummetta nadahnut
je Fregeovim idejama. No, on o Fregeovoj estitosti pie drugaije:
Ima poneto ironije u injenici da je ovjek, ijim sam filozofskim
idejama klanjao gotovo cijelo vrijeme, potkraj ivota bio es
toki rasist i antisemit. . . [Njegovi dnevnik pokazuje da je Frege
bio ekstremni desniar i da se estoko protivio parlamentarnom
sustavu, demokraciji, liberalima, katolicima, Francuzima i naj
vie idovima, za koje je mislio da ih treba istjerati iz Njemake
i oduzeti im politika prava. Bio sam jako okiran jer sam Fregea
doivljavao kao sasvim racionalnog ovjeka.2
Fregeove zasluge su goleme. Stvorio je prvi potpuno razvijen
sustav logike koji obuhvaa sve deduktivno zakljuivanje uobi
ajene matematike, a u njegovi radovi prvi put se upotrebljava
logika analiza u prouavanju jezika, to je osiguralo temelje za
velika dostignua na podruju filozofije. Danas emo u prosjenoj
fakultetskoj knjinici pod natuknicom "Frege, Gottlob" nai pe
desetak naslova. Usprkos tome, Frege je 1925. godine umro kao
Poglavlje 3.
Na logiki pogon
Gottlob Frege
Poglavlje 3.
Na logiki pogon
Poglavlje 3.
Na logiki pogon
Poglavlje 3.
je konj i x je istokrvan.
Na logiki pogon
Poglavlje 3.
Ako ! onda N.
Ne N.
& S.
Ako & S & K, onda J.
K.
Konkluzije:
Ne l.
J.
Ako koristimo simbol za "ne", uza sve ostale simbole koje smo
uveli, sada dobivamo
J :o N
,N
AS
A S A K :> J
K
,J
N a logiki pogon
. ili
...i .
. . . ili . .
ako . . onda .
svaki
neki
za x je propali student
za x je glup
za x je lijen
(Vx)(3y) x voli y
(3y)(Vy) x voli y
(Vy)(3x) x voli y
(3y)(Vx) x voli y
(Vx)(3y)V(x, y)
(3x)(Vy)V(x, y)
(Vy)(3x)V(x, y)
(3y)(Vx)V(x, y)
Poglavlje 3.
Na logiki pogon
Poglavlje 3.
Na logiki pogon
Poglavlje 3.
N a logiki pogon
Venera je Venera.
to jest sluaj, iako je zapravo ovdje jedna reenica izvedena iz
druge zamjenom jednog izraza drugim izrazom, koji oznauje isti
predmet.
Te su ideje poetak jedne velike grane filozofije dvadesetog sto
ljea, filozofije jezika.16 Moe se rei da neki kljuni pojmovi su
vremenog raunarstva potjeu upravo iz tog eseja.17
Frege i Leibnizov san
Poglavlje 3.
.. ' l
9 9 + l = 100, .
Na logiki pogon
Na logiki pogon
Georg Cantor
Pog!av!je 4.
N a logiki pogon
Poglavlje 4.
Na logiki pogon
I!IHIHfiHHIHHtl
Grupirani su prema zbroju brojnika i nazivnika svakog razlomka:
prvo razlomci sa sumom 2 (postoji samo jedan takav), onda oni
sa sumom 3 (postoje dva), zatim oni sa sumom 4 (postoje tri),
Poglavlje 4.
10 l l
12 13 14 15
0.3333333333333333333333
0.2500000000000000000000
1.6666666666666666666666
1.1818181818181818181818
1.2857142857142857142857 . . . .
Na logiki pogon
..fi = 1.414213562373095050
'fi = 1.259921049894873160
n = 3.141592653589793240
2V'i = 2.665144142690225190 . .
Poglavlje 4.
N a logiki pogon
onda
7 8
to ako dva skupa nemaju isti rdialni broj? Simboliki, rije
je o skupovima M i N takvim da M * N. U takvom sluaju, jedan
od dva kardinalna broja je vei, a drugi manji. Ako se posluimo
standarim bolima < ("je manE:_ od'li > ("je vei od") i na
N logiki pogon
Poglavlje 4.
Svi ti naini imaju istu strukturu: prvi element, drugi element, trei
element. To vrijedi za svaki konani skup. Svi naini na koji se
lanovi konanih skupova mogu poredati imaju istu strukturu.
Ako se skup sastoji od n elemenata, bilo koji raspored tih ele
menata imat e prvi element, drugi element,. . i konano n-ti
element. Cantor je primijetio da je kod beskonanih skupova situ
acija potpuno drugaija. Beskonani skupovi mogu biti poredani
na razliite naine i njihovi elementi mogu biti razliito raspore
eni. Pretpostavimo, na primjer, da su prirodni brojevi l, 2, 3, . .
rasporeeni tako da svi parni brojevi prethode neparnima:
2, 4, 6,
. .
1, 3, 5 . .
Na logiki pogon
l. 2. 3.
? ? ?
t t
l 3
Cantor je za rjeavanje ove potekoe upotrijebio transftnitne
redne brojeve. Tako je nakon svih konanih rednih brojeva postavio
prvi transfinitni redni broj koji je oznaio grkim slovom w. Zatim
slijede w + l, w + 2, itd. Sada je lako mogao osigurati pozicije za
neparne brojeve iz gornjeg primjera:
l. 2. 3.
t t t
Poglavlje 4.
N a logiki pogon
{oo}
{oJ
{oo}
10/
"" e + + -
- $ - +
9 - + $ +
+ + - e
u naoj e novoj tablici dobiti znak +. I dalje, <> dobiva znak -, 'V'
dobiva - i konano dobiva +. Ovako
. <> o .
+
+
Na logiki pogon
- ako je l u M1
- ako je 2 u M2
- ako je 3 u M3
- ako je 4 u M4
inae +
inae +
inae +
inae +
Poglavlje 4.
Depresija i tragedija
N a logiki pogon
gg-
N a logiki pogon
Hilbert stie
po mo
Na logiki pogon
pomo
iOS-
Na logiki pogon
David Hilbert
pomo
Na logiki pogon
pomo
Na logiki pogon
pomo
Na logiki pogon
Kroneckerov duh
Poglavlje 5.
Hi Ibert stie
pomo
Na logiki pogon
Teko je vidjeti da rije ako, kad je piemo kao :), dobiva neku
vrijednost koju nije imala dok smo je pisali kao ako.12
Poincare nije propustio spomenuti ni to, da ako Russellova nas
tojanja uzmemo ozbiljno otvaramo mogunost da se matematika
svede na puko izraunavanje (Leibnizov san!), da bi samu tu za
misao potom ismijao:
Stoga moemo lako zakljuiti da, kako bismo dokazali teorem,
nije nuno ili ak korisno znati to on znai. . . moemo zamisliti
stroj u koji bismo na jedan kraj stavili aksiome, a s drugog kraja
izvlaili teoreme, poput onog legendarnog stroja u Chicagu u
koji s jedne strane stavljamo ive svinje, da bi iz njega izale kao
unke i kobasice. Kao to tom stroju nije vano da zna to radi,
tako nije ni matematiaruP
Nastojanje Bertranda Russella da oivi Fregeov program pretvo
rilo se u monumentalno djelo u tri sveska Principia Mathematica
(objavljeno 1910-1913), autora Bertranda Russella i Alfreda Nor
tha Whiteheada. To je djelo zapoelo istom logikom Fregeovog
Begriffsschrifta, a zavrilo je u potpuno matematikom podruju,
uz jednostavne direktne meukorake, u duhu Poincareovog ika
kog stroja. Paradoksi su izbjegnuti pomou razraene glomazne
strukture slojeva u kojoj svaki skup moe imati lanove iz samo
jednog sloja. To raslojavanje je toliko sputalo obinu matematiku,
da je nainjen poseban, prilino sumnjiv aksiom svodivosti, kako bi
se sruile ograde koje su nastale u meuslojevima.14 Principia je
bila optereena i unutarnjom zbrkom. Dok je Frege jasno shvaao
kako ima posla s dvije razine jezika, novim formalnim jezikom koji
je stvarao, i obinim jezikom u kojem moemo govoriti o ovom
jeziku, Whitehead-Russellovo djelo je u tom pogledu nejasno, i
te dvije razine u njemu se mijeaju.15 To je znailo da se problem
konzistentnosti itave strukture, Hilbertu kljuan, u Russellovu
kontekstu ne bi ni pojavio. Usprkos tome, Principia je bila znaajno
pomo
Na logiki pogon
pomo
N a logiki pogon
pomo
Metamatematika
Na logiki pogon
pomo
Na logiki pogon
Poglavlje 5.
Hi Ibert stie
pomo
Na logiki pogon
Konani slom
Poglavlje 5.
H i l bert stie
pomo
(Moramo znati)
(Znat emo)
N a logiki pogon
pomo
Na logiki pogon
Kurt Godel
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na log1k1 pogon
S(x))
()
V(J, M)
---sm
U ovom zakljuku koristimo logike simbole :>, V, i 3, ijih zna
enja emo se prisjetiti u sljedeoj tablici:
:>
V
3
ako . . . , onda . .
svaki
neki
Poglavlje 6.
V = relacija voljenja
S = svojstvo bivanja sretnim
J = john
M = Mary
Dakle, taj zakljuak moemo itati na sljedei nain:
Za svako x, ako postoji neko y takvo da ako x voli y,
onda je x sretan.
John voli Mary.
John je sretan
Kad kaemo ovaj zakljuak je valjan, to znai sljedee: bez obzira na
to koje predmete izaberemo, bez obzira na veze meu tim pred
metima koje predstavljamo slovom V, bez obzira na obiljeja tih
predmeta koja predstavljamo slovom S i bez obzira koje predmete
izaberemo oznaiti slovima ] i M, dok god su te dvije premise
istinite, istinita e biti i njihova konkluzija. Da bismo pojasnili to
znai da je zakljuak valjan, pomoi e nam jedna druga interpre
tacija simboliki istog zakljuka, ali razliitoga sadraja:
Grabeljivci su brzi.
Jastrebovi su grabeljivci mieva.
Jastrebovi su brzi.
Da bismo jasnije vidjeli da i ovaj primjer spada pod simboliki
zakljuak (*), moemo uzeti da varijable x, y oznauju proizvoljne
vrste sisavaca, a ostala slova interpretirati na sljedei nain:
V = relacija grabeljivca i plijena
S = svojstvo brzine
J = jastrebovi
M = mievi
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
(t)
::>
N a logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Hilbertova presuda
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 6.
Na logiki pogon
Poglavlje 7.
Na logiki pogon
Alan Turing
Poglavlje 7.
m-
Na logiki pogon
Poglavlje 7.
Na logiki pogon
Na logiki pogon
napisala na ono to sada pie. Turing je taj opis htio liiti neva
nih detalja. Je li pila kavu dok je radila? To je sigurno nebitno.
Je li pisala obinom ili kemijskom olovkom? I to je nevano. to
je s veliinom listova papira? Ako je papir malen, ona e ee
morati gledati u proli papir. No, Turing se ubrzo uvjerio da je to
stvar praktinosti, a ne nunosti. Nita se bitno ne bi promijenilo
ako bi bila ograniena na tako kratak papir na kojem ne bi mo
gla pisati simbole jedan ispod drugoga, odnosno ako bi koristila
neto poput svitka papira podijeljenog na vodoravne kvadrate.
Pojednostavimo i pretpostavimo da je izvodila sljedei primjer
mnoenja:
4231
X 77
29617
+ 296170
325787
Slobodno moemo zamisliti da svoj posao obavlja niz traku papira
podijeljenu u kvadrate, jer time neemo nita znaajno promijeniti:
N a logiki pogon
Poglavlje 7.
N a logiki pogon
Poglavlje 7.
Na logiki pogon
Q
li
:
:
:
:
:
:
:
o
O
O
O
o
o
O
--t E Q 2
--t 0 Q 3
--t E E 2
--t O E 3
--+ E 0 2
--t O O 3
* FOo
o
0
o
o
0
o
--+ E
--t 0
--t E
--+ 0
--+ E
--t o
4
o
E
u
o
u
E
u
o
u
F
u
Na logiki pogon
DD
o:::TIJ
Q
o:::TIJ
Q
o:::TIJ
Q
o:::TIJ
Q
o:::TIJ
Q
o:::TIJ
Ponaanje stroja u potpunosti ovisi o ulaznom broju. Ako je on na
primjer 13, postupak izraunavanja istog stroja bit e ovakav:
Na logiki pogon
Poglavlje 7.
simbol
prikaz
simbol
8008
8018
8028
8038
8048
8058
8518
8528
8538
8548
prikaz
8558
616
626
636
646
77
Na logiki pogon
Poglavlje 7.
govog stroja pripada stajnom skupu za taj stroj, onda taj kodni broj
ne pripada skupu D. Ako pak taj kodni broj ne pripada stajnom
skupu za taj stroj, onda pripada skupu D. Ni u kojem sluaju D
ne moe biti isti skup brojeva kao i stajni skup dotinog stroja.
Budui da to vrijedi za svaki Turingov stoj, moemo zakljuiti da
skup D nije stajni skup nijednog Turingovog stroja.
Samo malo! Jedna tvrdoglava osoba jo je uvijek sumnjiava.
Ukljuujemo se u razgovor izmeu tvrdoglave osobe (To) i svez
najueg autora (sA) :
TO: Nisam ba shvatio to razmiljanje, ali znam da mogu na
initi Turingov stroj iji stajni skup je skup D. Zapravo, evo
tog stroja.
Ah, vidim. Biste li, molim vas, izraunali kodni broj svoga
stroja?
sA:
sA:
Na logiki pogon
TO:
Nerjeivi problemi
Poglavlje 7.
Fo:oF
Na logiki pogon
kraju e se zaustaviti.
Pomou jezika logike prvog reda, obje reenice mogu se prevesti
u logiku notaciju. Zatim je mogue dokazati da se pomou Fre
geovih pravila moe dobiti konkluzija iz premisa, ako i samo ako
e se dotini Turingov stroj naposljetku zaista i zaustaviti kad za
pone raditi s vlastitim kodnim brojem na traci. To je istina ako
i samo ako n ne pripada skupu D. Dakle, kad bismo posjedovali
algoritam za Entscheidungsproblem, mogli bismo ga koristiti za
utvrivanje pripadnosti skupu D. Naime, ako imamo prirodni
broj n, moemo koristiti na pretpostavljeni algoritam za Entsche
idungsproblem da provjerimo slijedi li konkluzija iz premisa. Ako
slijedi, znat emo da n ne pripada skupu D, a ako ne slijedi znat
emo da n pripada skupu D. Iz toga slijedi da je Entscheidungs
problem alg_oritamski nerjeiv.12
Poglavlje 7.
l ulaz u M l
Na logiki pogon
Poglavlje 7.
rn-
Na logiki pogon
Poglavlje 7.
N a logiki pogon
Poglavlje 7.
Na logiki pogon
Turing se vratio u Cambridge u ljetu 1938. godine. Iako rat nije bio
poeo jo cijelu godinu, Turing je bio regrutiran kako bi pridonio
pokuajima probijanja kodova koritenih u vojnoj komunikaciji
Njemake. Kodovi i dekodiranje imali su svoje mjesto i u Turin
govim i GOdelovim radovima, ali ti su se kodovi birali tako da
budu jasni, za razliku od onih koje su upotrebljavali Nijemci koji
su namjerno bili neprobojni.
U skladu s paktom izmeu nacistike Njemake i komunistike
Rusije koji je iznenadio svijet, njemake su trupe l. rujna 1939.
napale Poljsku. Potujui svoju obavezu, Engleska i Francuska su
objavile rat Njemakoj nekoliko dana kasnije, a etvrtog rujna Tu
ring se prijavio u Bletchley Park. To je bilo viktorijansko imanje
sjeverno od Londona gdje se okupila mala ekipa, veinom sve
uilinih nastavnika, koja je odluila proitati poruke koje je im
je neprijatelj mislio zatajiti. Toj grupici nije bilo sueno da ostane
malena i do kraja rata imanje je udomila otprilike dvanaest tisua
ljudi koji su radili na razliitim aspektima deifriranja i analize
poruka. Uz starije osoblje i naravno vojsku, tamo je bio i znaajan
broj "wrena", ena koje su se prijavile u vojsku za pomo morna
rici, a umjesto toga su radile na strojevima koje su izmislili Turing
i njegove kolege.
Njemake vojne veze koristile su modificiran komercijalni stroj
za ifriranje zvan Enigma. Taj je stroj imao abecednu tipkovnicu, a
po pritisku tipke za odreeno slovo ono bi se pojavilo u prozoriu
"Radionica je bila prikladno smjetena u Palmerovu laboratoriju za fiziku,
smjetena vrata do vrata s matematikom zgradom Fine Halla - postoji ak i
prolaz koji povezuje te dvije zgrade.
Poglavlje 7.
Na logiki pogon
Poglavlje 7.
Na logiki pogon
Poglavlje 7.
Na logiki pogon
Poglavlje 8.
Na logiki pogon
Na logiki pogon
Na logiki pogon
Na logiki pogon
Poglavlje 8.
Na logiki pogon
Poglavlje 8.
Na logiki pogon
Poglavlje 8.
m-
Na logiki pogon
Poglavlje 8.
N a logiki pogon
Poglavlje 8.
Na logiki pogon
Poglavlje 8.
Na logiki pogon
Poglavlje 8.
Na log1k1 pogon
Na logiki pogon
Poglavlje 9.
Raunala, mozak i um
Na logiki pogon
Na logiki pogon
Poglavlje 9.
Na logiki pogon
Poglavlje 9.
Searle kae "od svega to ljudi ine, jako malo toga je isto rauna
nje. Jako malo svog vremena troimo na rjeavanje algoritama"
Je li on siguran da je tome ba tako? Kad nas netko pita: "Jeste
li ikada proitali neko djelo Charlesa Dickensa?", odgovor da ili
ne dolazi izvirui iz dubina. Nemamo pojma kako to inimo. Na
prvi pogled, sasvim nam se privlanom ini hipoteza o tome da to
radimo pomou nekog algoritamskog procesa koji pristupa trae
nim informacijama iz odredenih baza podataka u naem mozgu.
Istraivanje raunalne obrade vizualnih podataka, koji u raunalo
dolaze s jedne ili vie televizijskih kamera, jako podsjea na pos
tupak potreban da se od neobraenih podataka, koji od mrenice
oka idu ka mozgu, proizvede otra slika koju nam prikazuje na
mozak. Ne znamo da takve stvari radimo pomou algoritama koje
na mozak rjeava, ali isto tako ne znamo ni da ih tako ne radimo.
Roger Penrose, izvanredan matematiar i matematiki fiziar,
autor je zanimljivih radova iz podruja geometrije svemira, a raz
matrao je i pitanje o tome djeluje li ljudski mozak na algoritamskoj
osnovi. Pozivajui se na GOdelov teorem o nepotpunosti, Penrose
je odgovorio izriito negativno. GOdelov teorem moe se izraziti
na sljedei nain:
Ako postoji algoritam koji uzastopno proizvodi istinite iskaze o pri
rodllim brojevima, uvz)"ek moemo doi do drugog istinitog iskaza o
prirodnim brojevima koji nije nastao pomou tog algoritma. Nazovimo
taj iskaz Godelovom reenicom.6
Penrose tvrdi da nijedan predloeni algoritam nije i ne moe biti
ekvivalentan djelovanju uma, jer mi inom svogu "uvida" uoa
vamo da je GOdelova reenica tog algoritma istinita. Ta je tvrdnja
pogrena iz razloga koje je ve etiri desetljea prije nego li je o
tome pisao Penrose (vidi str. 217-217), objasnio Turing u svom pre
davanju Londonskom matematikom drutvu 1947. godine. Tu
ring je tada upozorio na to da je GOdelov teorem primjenjiv samo
N a logiki pogon
Epilog
Biljeke
Na logiki pogon
Biljeke
Drugo poglavlje
1 Podatke o Leibnizovu prijateljstvu s princezom Karolinom i o nje
govom dopisivanju sa Samuelom Clarkeom, crpio sam iz [Ai ton], str.
232, str. 341-46, te iz lanka "Caroline (1683-1737)" i "Clarke, Samuel
(1675--1729)" u [Britannica].
2 Podaci o biografiji Georgea Boolea veinom su iz [MacHale].
3 [MacHale], str. 17-19.
4 "Gross appetites and passions": [MacHale], str. 19.
5 [MacHaleL str. 30--31.
6 [MacHale], str. 24-25.
7 [MacHale], str. 41.
8 Meu najznaajnije zakone algebre spadaju zakoni komutativnosti za
zbrajanje i mnoenje:
x+y= y+x
xy = yx
i zakon distributivnosti
x{y + z) = xy + xz.
Koristimo uobiajeno algebarsko pisanje, na primjer xy umjesto x x y.
N a logiki pogon
Biljeke
Y) = O. Pa ipak, on
Tree poglavlje
1 Russelovo pismo, Fregeov odgovor i Russellov knsniji komentar,
vidi u [van Heijenoort], str. 124-28.
2Fregeov zloglasni dnevnik i komentar Michaeln Dummettn, vidi u
[Fcege 2[.
Na logiki pogon
Biljeke
etvrto poglavlje
1 [Rucker], str. 3.
zcitat iz [Dauben 1], str. 124. To je prijevod Leibnizova teksta izvorno
napisanog na francuskom jeziku, [Cantor 1], str. 179.
3 [Dauben 1], str. 120.
[Frege 4], str. 272. Ovo je navod iz Fregeove recenzije nekih Canto
Na logiki pogon
n2
1 1
1
l
"
6 = 1 + 4 + 9 + 16 + 25
u tuj rezultat povezuje
nizova niza za
TI
1 Kao to smo svi uili u osnovnoj koli, razliiti razlomci mogu pred
stavljati isti broj, n<: primjer
BilJeke
"'
3
2
=: l, 2 == 4, 3 ==
64 i tako dalje. Dokaz da je n transcendentalan broj uslijedio
27, 44
==
3 =: w + Wo + 1000 +
3
10000
+.
N a logiki pogon
.0100000000
.0101010!01
.!_ = .0101000101
n
.101 1010100 . .
= .0101010101. . . , to znai
.10101010 . . . =
= .!OOOOOO
=
. .
.0111111 .
Biljeke
koji sadri sve prirodne brojeve osim broja l. No, injenica da dotini
skup racionalnih brojeva ima kardinalni broj N0 , omoguuje nam da
tu potekou prevladamo.
16 Kao to je i Cantor istaknuo, kardinalni broj skupa svih skupova re
alnih brojeva je ujedno i kardinalni broj skupa svihfunkcija od realnih
brojeva ka realnim brojevima.
17Vidi [Grattan-Guinness] i [Dauben 1]. Dr. Barbara Rosen mi je lju
bazno dala svoje profesionalne savjete vezane uz ovu problematiku.
18Zahvaljujem Michaelu Friedmannu na pomoi oko Kanta i ostalih
podruja vezanih uz njega. To ne znai da je on odgovoran i za moje
napade na Hegela.
Peto poglavlje
1 1nformacije o Hilbertu sam crpio iz biografije [Reid], biografskog
eseja Otta Blumenthala [Hilbert], str. 388--429 i nekrologa Hermanna
Weyla [Weyl].
2Mnogim itateljima poznata je injenica da je
racionalan.
U izvoenju tog dokaza, kao broj
..fi.V'i
mora biti ili racionalan ili iracionalan. Ako je broj q racionalan, ono
to smo eljeli dokazati dobit emo ako uzmemo da je a = b =
Ako je q iracionalan, uzet emo da je a = q i b =
..fi. Zatim,
-.fi.
N a logiki pogon
Biljeke
2, 3, . . .
6 = 2 3 = (2 + v'I0)(-2 + v'IO).
kod kojeg se moe pokazati da su 2,3, 2 + v'W i 2 +
Na logiki pogon
!B i Jl ka
Biljeke
Na logiki pogon
esto poglavlje
1 O Einsteinovom stavu o tome da je GOde! glasao za Eisenhowera vidi
u [Dawson], str. 209. Imao sam sreu da mi je bila na raspolaganju ta
sjajna GOdelova biografija. Sluio sam se i kratkim zbornikom radova
[GOdeiSymp] sa pozivnog simpozija o GOdelu u Salzburgu 1983.
godine (na kojem sam imao ast prisustvovati). Georg Kreisel bio
je GOdelov bliski prijatelj. Upravo je on napisao nekrolog [Kreisel]
koji je pun zanimljivih detalja, ali naalost, nije sasvim pouzdan.
Logiar Solomon Feferman je napisao kratku ali dojmljivu biografiju
u [Gode!], sv. l, str. 1-36.
2 [GOdel], sv. III, str. 202-59.
3 [Dawson], str. 58, 61, 66.
4 [GodelSymp], str. 27.
017
0017 i tako
Biljeke
V A V 3 ! EB x y z { ) ' :::
Na logiki pogon
'
druga slova. Tako su, dakle, y i z"' varijable. Kako imamo vie od
deset simbola, koristiti emo shemu kodiranja u kojoj svaki simbol
zamjenjujemo parom decimalnih zn<lmenki:
E 0
j
10
11
12
13
14
15 21
22 23 31
32 33 41
42 43 44
kod
predstavljeni broj
(! .. !)
((! .. !) .. !)
(((! < !H !) < !)
4121222142
414121222142222142
41414121 222142222142222142
-m
Biljeke
iji kOd je
414121222142234121222142444141412122214222214222214242
izraava iskaz da 2 pomnoeno s 2 daje 4, a
(3y)(y)(x = (y E !)))
iji kOd je
4114314241114131442142104115324241314441322221424242
izraava iskaz da svaki prirodni broj osim l ima neposrednog pret
hodnika.
Da bismo zavrili opis sustava PA, moramo odreene reenice iz
dvojiti kao aksiome i dati pravila zakljuivanja koja emo koristiti da
bismo od aksioma doli do dokazivih reenica. Taj postupak poinje
od aksioma, a zavrava reenicom dokazivom u PA i naziva se do
kazom te reenice. Detaljno razmatranje bi nas odvelo predaleko, ali
pogledajmo jedan jednostavan primjer:
Na logiki pogon
(Vx)(! = (x E l ))
(! (! E !))
y ili x". Osim toga, unami nizovi imaju vano svojstvo da ako svaki
x zamijenimo nekim brojem, dobiveni niz e biti reenica. Evo jednog
primjera unarnog niza:
(3 y(x = (! E !) y))
iji kOd je
41153242413144414112122214223324242.
Ako x zamijenimo numeralom (! E !), dobit emo istinitu reenicu
Biljeke
iji k6d je
41143242411433424141314441322333424210414132441421241324431424242
definira skup koji sadri broj l i sve proste brojeve. Za dani unami niz
(3y((! E !)
((! E !J 0 y)) .
u.
Ako pri
u,
m-
Na logiki pogon
Aq, zato to su
11,
Biljeke
:J
izmeu r i s,
Na logiki pogon
21 Ibid.
Biljeke
Na logiki pogon
Sedmo poglavlje
l [Huskey], str. 300.
2 [Ceruzzi], str. 43.
3 Imao sam sreu to je dostupna precizna i prelijepa napisana Turin
gova biografija Andrewa Hodgesa, vidi [Hodges].
4 [Hodges], str. 29.
5Turing je osjeaje o svom mrtvom prijatelju izrazio vrlo ivopisno:
Alan je "oboavao tlo po kojem je Marcom gazio" i "kraj njega, svi
drugi ine se tako obini".
6 [Hodges], str. 57.
7 [Hodges], str. 94.
8 Zapravo, Entscheidungsproblem Hilbert nije formulirao ba tako:
on je htio pronai postupak kojim bi se utvrdilo je li dani iskaz lo
gike prvog reda valjan za svaku moguu interpretaciju. No, nakon
to je GOde! dokazao teorem o potpunosti, postalo je jasno da je ta
formulacija ekvivalentna Hilbertovoj.
9 Problernatika vezana uz Entscheidungsproblem esto je ukljuivala
izraze koje nazivamo preneksne formule. One sadre logike simbole
..,
Biljeke
>(x, y))
(Vx)(3y)(q(x) A q(y)).
Na logiki pogon
VVV3 . . . 3.
Tako je procijep izmeu onoga to je postignuto i onoga to se trai
sveden na jedan jedini univerzalni kvantifikator, na jedno V.
Gi:idelovi radovi koji se odnose na tu problematiku mogu se nai u
[Gi:idel], sv. L str. 220-35,306-27. Tekstovi su na njemakom jeziku, a
ista knjiga sadri i engleski prijevod. U istom svesku, na stranicama
11 Turingje taj problem objasnio temeljitije (vidi [Turing 2], str. 250-51).
11 .
11.
n,
11
na traci,
Biljeke
du sv<:ki putu k<:du stroj strme bude u st<:nju F u kojem nemu novih
petorki. Odabrali smo novi simbol X, koji se ne pojavljuje ni u jednoj
petorci stroj<. Zatim dodajemo petorke
pri emu a moe biti bilo koji simbol koji se javlj< u poetnim petor
kam<:. Novi stroj e u situacijama u kojima bi obini stroj stao, ispisati
w,
sustav broj
+ l i tako dalje.
N a logiki pogon
Osmo poglavlje
1 0vaj citat vidi u [Goldstine], str. 22. Sjajna biografija Ade Lovelace
[Stein] daje nam naslutiti da je veina onoga to je o njoj napisano
zapravo mit.
2 [Goldstine], str. 120.
3 Atanasoffljev stroj rjeavao je paralelne sustave linearnih jednadbi.
Evo jednog primjera takvog problema
2x + 3y - 4z = 5
3x - 4y + 2z = 2
x - 3y - 5z = 4
Stroj je mogao rijeiti do trideset jednadbi s trideset nepoznanica.
4 [Lee], str. 44. Biografski podaci u ovom odjeljku veinom dolaze iz
tog izvora.
5 [Burks-Burks].
6 Diferencijalni analizatori sadravali su nekoliko sklopova. Oni su
mogli dati odgovarajue vrijednosti koje su blizu veliina konanog
cijelog broja. ENIAC je sadravao sklopove koji su pomou uobiaje
nih algoritama to izvodili puno preciznije.
7 [Goldstine], str. 186, 188.
8Von Neumannov Nacrt izvjetaja o EDVAC-u (TheFirst Draft ofa Re
port on the ED VAC) imao je velik u*caj i proitao ga je velik broj ljudi.
Usprkos tome objavljen je tek 1981. godine i to u dodatku jedne knjige
koja je izraavala prilinu skepsu prema znaaju von Neumannovih
otkria. Vidi [Stem], str. 177-246.
9 [McCull-Pitts], [von Neumann 2], str. 319.
lO [Goldstine], str. 191.
11 [Randell], str. 384.
12 [Goldstine], str. 209; [Knuth].
13 [von Neumann 2], str. 1-32.
Biljeke
N a logiki pogon
Deveto poglavlje
l [Turing 1], str. 122.
2 Petorica inenjera raunarstva koji su govorili na skupu Amerikog
udruenja za napredak znanosti izloila su sljedee radove: Joseph
724.
Bibliogra fija
[Aiton]
[Baker-Hacker]
[Barret-Ducrocq]
[Boole 2]
--
Macmillan, 1847.
m-
Na logiki pogon
[Boole 3]
--
[Bourbaki]
[Britannica]
[Brouwer 2 }
--
[Cantor l]
Bibliograija
[Cantor 2]
[Carp-Doran]
269-79.
[Ceruzzi]
[Constable]
[Couturat]
[Craig]
[Daly]
Na logiki pogon
[Davis l]
[Davis 2]
--
3-24.
[Davis 3]
--
--
Bibliografija
[Dummett]
1981.
[Edwards]
[Euklid]
[Frege ll
--
[Frege 4]
Na logiki pogon
[Geiss]
[Gerhardt]
[Goldstine]
[Hilbert]
[Hinsley]
Bibliografija
[Hodges]
[Hofmann]
[Huber]
denbourg, 1951.
[Huskey]
[Kinealy]
[Kluge]
247--60.
[Kreisel]
[Lavington]
[Lee]
Na logiki pogon
[Leibniz l]
[Leibniz 2]
--
--
[MacHale]
[Mancosu]
[Mates]
Bibliograf1ja
[Meschkowski]
[Parkinson]
[Penrose 1 ]
[Penrose 2 ]
[Poincar]
[Purkert-Ilgauds]
Na logiki pogon
[Searle]
[Stem]
[Tuchman]
[Turing l]
Bibliografija
[Turing 2]
--
[van Stigt]
[von Neumann 1 ]
--
[Weyl]
[White-Russ]
[Zach]
Kazalo
:.;0, 90-93, 96
1T, 22-23, 81-82, 86,189frr
Na
logiki pogon
69, 70,105,158,204,237
J.lgebra logike, 47
brak, 45
djem, 46
i principprotul)e<")a,48
i silogizmi,49-53
Kazalo
klase,92-93
pnrodni, 71-72, 77, 82, 88, 9t
93, 95-96, 248,254
racionalni, 85
realni, v. realni brojevi
redni,88, 91-92
transfimtru, 90,91-92,96,
112-113, 121
Brouwer, L. E. J-, 115-118, 125, 134,
138,139, 145,263
Burali-Forti, Cesare, 97
Byron, George Gordon, Lord, 204
tOO
ehoslovaka, 131
Darboux, Gaston,119
De Morgan, Augustus, 41
Dedekind, Richard, 86, 87, 104, 105,
113,117, 118, 251,252
Deep Blue, 231, 233-234
Deep Though!, 232
denotacijska semantika, 245
Descartes, Rene, 22
diferendjalni analizator, 208,219
diferencJjalru operatori, 40
diferenc1jalm raun, 16, 24-25, 28, 40,
71
Na logiki pogon
Leibmzov niz i izum -, 22-25,
104
hmcs l -, 22-24, 78, 81-82, 104,
105,117, 168-169
dijogonJ.inJ. metodo, 95-96, 97,98
Turingovo primjeno, 182-186
Dirichlet,Lejeune,103
Fourier, jean,246
Drutvo za znanosti, 27
drugak!J.sa brojevJ.,92-93
Drugi svjetski rat, 10, 120fn, 152, 205
deifrirJ.nje Enigme, 196-198
Dummett, Michael, 58, 59
119, 153,196,203
Frege, Alfred,59
Frege, Gottlob, 32, 54, 57-75, 116, 118,
120,122,131,132, 133,
136,144, 145,156,158,
170,172,188,237
J.ntisemitizam -, 58,62-64
brak,59
dnevnik, 58, 59, 62-63
i filozofiJJ. jez!ka, 73-74
i Le1bnizov san, 74-75
i modemJ. loglkJ.,64-69
izum formalne sintokse, 69-71
k..o desni<"arski ekstremist,
62-64
logiki sustav -, 64-69
o ulozi beskonJ.<"nog, 101
roenje, 59
Russelovo p1smo -, 57-58,
71-73, 78-79, 97-98,101,
112
smrt, 59,64
Frcge,M;:rgarete Lieseberg, 59
Everest, George, 45
Everest, M..,.ry, v. Boo\e, Mary Everest
Boole), 46
Kazalo
Gauss, Car[ Friedrich, 78, 82, 88, 103,
113,251
geometnja,17,22, 71fn
H1lbertov aksiomatski sustav
i -, 109-110
i topologija, 117, 171
u kantovskoj filozofiji, 99-101
George l, kralJ Engleske, 26-28, 35,
136--137, 145-148,159,
172,182, 217,235-236, 264
upotreba kmeskog teorema
ostatka,261-262
Godel,Rudolf, l31, 132, 148
G6ttingenski matematiki institut,
124
Graves, Char!es, 243
103
Georgeli, kralj Engleske,35, 103
glavni brojevi, v. kardinalni brojevi
Goldstme, Herman, 206, 207-209,
214,219,223
gotovo-periodike funkciJe, 170
G6del,Adele, 148, 151, 152, 153, 161
Godel, Kurt, 90, 125, 129-161,
191-194, 196, 206-207,
221.fn, 237,255
brak, 148-149
disertaciju, 133--134, 136--137,
170
duevna bolest, 150, 158,
160--161
emigracija u SAD, 153
i hipotezu o kontinuumu,
154-157
i kodirunjesimbola, 139-141
i nacistiki reJm,152-153
i problem uma i tijela, 235-236
na lnstitutuza napredna
istruivunja, 150--152
neodlu1vi iskazi, 140--145
pogled na teonju relahvnosh,
129-131
roenje,131
starost i smrt, l 60--161
stvaranje umjetnog jezika,
143--144
kolovanje, 131-132
teorem o nepotpunosti,
EntscheJduugsprob/em, 123,
170--1 72,176, 186--188,
191,192,264-267
govor "moramo znati",125,155
J Gordanovapostavka,107-108
i hipoteza o kontinuumu,
110--112
incident s poderanim hlaama,
103--104
metamatematika, 119-123, 136,
137, 138-139, 144,154,254
Na logiki pogon
nain izlaganJa, 109
Irska, 43-44
opis -, 109
privatni tvot, 124
rad na algebarsktm
konstantama, 105-108
roenje, 104
smrt,127
filozoftja -, 73-74
118,120-122
69-71
Hilbert,Franz, 124
i pravila izvoenja,69-70
260-261
simbohki, 120
JournalofSymboiJclogic, 192fn
Kane, Robert, 44
Kant, Immanuel, 99-101, 104, 121,
129-131, 158
kardinalni brojevt, 88, 92-93, 96, 155,
247-249
kartezijanski dualizam, 236
Kasparov, Gari,231, 232-233
IBM,205
raunalo 701,215
raunalo Deep Blue, 231, 232
impredikativni skupovi, v. neobini
skupovi
Institut za napredna tstraivanja,
120ftt, 126,129,156, 160,
191, 193, 214,215ftt
GOde! na -, 150-152
mtegralni raun,
diferem:ijalni raun
intuicionizam, 117, 121
tracionalni brojevt, 85, 118,249-250
Kontinu11m, Das
(Weyl), 117
Kazalo
sukob s Cnntorom, 87, 93, 98,
104--105
Kummer, Ernst, 81
kvantnuteoriju,168
logicizJ.m, 71,73
logiku
L'Hospita\, G. F. A. , 2 8
lambdu-definabilnost, 191, 192
Lurson, EarlR.,206
u Parizu, 19-25
upotreba infinitezim<lnih
brojev<,240
"Leibnizov kota/'", 20
N a logiki pogon
mutemutiku, 17,110,132
Brouwerovo vienje -, 115-116
i Kuntovu filozofrju,99-101
istinu u -, 140-143
protul")etje i dokaz u -, 72-73
sukob oko prirode -, 97-98
znaenJe egzistencije u -,
111-112, 116,156
M<tes,Benson,27, 33fn
M<tijuevi, Jurij,262
M<uch!y, John, 205,206, 210-211, 214
Mele<ger, 36
Menger, K<rl, l49, 152
Metajizrka (Anstotel), 48
Pascu!, Bluise, 20
Peuno, Giuseppe, 113, 123, 244
Peunov< aritmetika (PA), 123,
Nupoleon
Napoleon
l, eur Francuske, 20
Ill, eur Fr<ncuske, 59, 104
Nush, John,l17frr
neobim skupovi, 72-73
Newmun, M . H . A. (Max), 171-172,
182,191,200,201
o Turmgovom umverzulnom
stroju, 195
138-139, 140,223frr
i neodluivi iskazi, 255-260
Penrose, Roger, 235-236
PilotACE,218,223
Platon, plutonizum, 157,253
poduci, 190, 212, 235
Poincure, Henri,93
kritrku Russcllu, 113--114, 120
Poljsku, 46, 152, 153, 196
Post, E. L., 192ftr
Pravda, 46
Kazalo
pravila izvoenja, 69
Prmceton,sveui'Ilite, 192-196
PrincipiaMathematica
(Russell
svijest i -, 233
ah i -, 199, 204,216, 217,
231-234
140,145,252
prirodni brojevi, 71-72, 77, 82--86,88,
132,149
manifest"civiliziranom
svijetu",118
Putnam, Hilary, 262
raunalna memorip,209
katodnacJjev kao -, 213,
raunala, raun;rstvo;
B;bb;geova koncepcija -,
163--164
Begriffuschrift ko.O Jezik-pretea,
69
Colossus,elektroniki
kalkulator i -, 201,235
i fiiozofija jczika, 73--74
i sposobnost za greke, 217
izumitelji -, 203--206
logika i -, 211,227-228
ljudski mozak, analogija s
inteligencijom i -, 199,
210,217,224, 227-236
mikroproccsor, 216
podaci kao kategorija u -, 190
pojam pohranjenog programa,
213--214, 218
potprogram u -, 222,269
raunalni programi, 189-190
RISCarhitektura,217,223
simboli i procesi u -, 172-176,
217
214-215, 218,223
radna - (RAM), 212-213
Wilhamsovo koritenje
katodnih cijevJ za -, 215
ivin(! Jinij(l k;lnJenJa k(lo -,
213, 214,220
racionalni brojevJ, 85
Ramanujan,Srinivas(l, 168
"ramificirana teorija tipova , 252
razlomci, 84--85
kaosimboh,246-247
uredeni u slijed,84
RCA,214
reolnibrojevi,93, 96, 111, 117, 122, 248
defmicip, 155-157
dokaz konzistentnosti,137-139
velima skupo -, 86-87, 154
redmbroJeVi,88, 91-92
rebtlvnost, opa teorijo, 158, 168
relativnost, specijalna teonja, 129-131
Riemann, Bernh ... rd, 103
Rilcy, 5Idney, 46
Na logiki pogon
Robinson, Abraham, 160--161, 240
Robinson, Juli;,262
konuni,91
neobini, 72-73
pr;zni, 47
prirodni brojevi i -, 71-72
transfinitni, 90--91
Socijaldemokr<tska stranka,
NJemaka, 61, 62, 63, 117
120
Ry<ll,John,45
vidi i hipotezo. o
kontmuumu
Rusij;,carska,61
kodiranje, 139-140
neodreem (Boole), 243
teoriJU dokazu,
v. metamatematika
Tomu Akvinski, 77
Tractatus Logico-Philosophicus
155-157
(Wittgenstein), l33
brojev;, 83--8 8
Cuntor i -, 82--88
Kazalo
Turing, Alan, 9, 10, 70, 75, 101, 104,
163--201, 218-219,227,
228,230,237,269
kolovanje, 165-167, 168-169
analizopostupko
izrounovonjo, 172-176
anegdoto iz Home Guordo,
198-199
primJeri, 176-182
stajm skup,184--186
Turingov univerzalni stroj, 189-192,
195, 209-213
I ENIAC, 21S-219
iskustvo u Bletchley Parku i -,
199-200
Tutte, W.T., 267
Bombe,197-198
Colossus,elektroni<"ki
kalkulotor, 201
deifriranje Enigme, 196-201
homoseksualnost, 167-168, 199,
220, 224-225
Izvjetaj o ACE-u, 215-218, 220,
222-223, 224,236
no Cambridgeu, 169
no Princetonu, 192-196
Ulam, Stanislaw,194ftl
umjeln<l inteligencija, 159-160, 217,
230-231
umjetnineuroni,teonja,234
univerzalni kvantifikator, 66
"An Unsolvable Problem of
Element;ry Number
Theory" (Church), 191
Time o -, 221
TVfilm o -, 220,225
univerzalni stroj,189-192,
195-196, 209-213
zanimonje z<l biologiju, 224
Turing, Ethel Sarah Stoney, 164-165
Turing,John, 165, 167
Turing,Juhus, 164
turingismus,200
TuringovslroJ, 176, 216, 266-267
neeivi problemi, 186-188
petorke, 177
primjena dijagonalne metode
na -, 184
Na logiki pogon
Wagner-Jauregg,Julius, 150
Weicrstrass, Karl, 81,87,94, 104,105,
108,117
Weizenbaum, Joseph, 229
Welchman, Gordon, 197frl
Weyl, Hermann, 105,112, 117,118,
119,121,122,125, 134,
137,139,193,249
Whitehead, Alfred North, 114, 120,
132,133,139,140, 144,
145, 154,252
Wilhelm I, car Njemake, 61
Wilhelm II, car Njemake, 61, 62
W!lkes, Mauria>, 222
Wllliams, Frederic, 215, 218
Wittgenstein, Ludwig, 63, 133, 244
Womersley, J. R, 215
Woodin, W. Hugh, 264