Professional Documents
Culture Documents
Bilgisayar Ve Zeka Kralın Yeni Usu 1. Cilt - Roger Penrose PDF
Bilgisayar Ve Zeka Kralın Yeni Usu 1. Cilt - Roger Penrose PDF
Bilgisayar Ve Zeka Kralın Yeni Usu 1. Cilt - Roger Penrose PDF
BLGSAYAR ve
Roger Penrose
-1-
ZEK
i
i
BAgABAN
Oida ukeidos
Krahn Yeni Usu/Bilgisayar
The Empemr's
ve 2ek
New Mind/Concerning
ISBN 975-403-080-4
ISBN 975-403-083-9
lk basimi
Bilgisayar
Bilgisayar
ve
Zek
Penrose
Roger
EVIRE
Tekin Dereli
KRALIN
YENI USU
I
TBITAK
POPLER
BLIM
KlTAPLARI
Yazar Hakkmda
1957 yihnda Cambridge niversitesi'ndedoktorasim tamamlayan Roger Penrose, bir sre ngiltere ve ABD'deki niversitelerde egitli grevler aldi. 1964-1973 y1llari arasmda Londra'daki Birkbeck College'de Uygulamah Matematik Profesr olarak
ahgt1. 1969'da Stephen Hawking ile beraber kamtladiklari bir
ktlenin kendi
teoremle, yeterince agir bir yildizi olusturan
merkezine
dogru kmesi sonucu ortaya 1kan karadeligin, sifir
hacimli sonsuz madde yogunluklu bir noktasal uzay-zaman
tekilligine ulagmasuun
klasik fizikte ka1mlmaz oldugunu gsterdi. 1973'te Oxford Universitesi'nde Rouse Ball Matematik Krgetirilen
Penrose, 1966'da Adams dss profesrlgne
l'n, 1971'de Dannie Heineman Fizik Odl'n ald1. 1972'de
Royal Society yeligine seildi. 1975'te de Kraliyet Astronomi
Dernegi'nin Eddington Madalyasi'm Hawking ile paylagt1.
Sunug
lari vardir.
olarak
tad1r. Eger, sika dendigi gibi, bilgisayarlar yakmda yapay zeneden yapay akil sahibi de olamasmlar?...
k edinebileceklerse
Takma kol, takma bacak, suni bbrek gibi yapay organlann
kullammmi yadirgam1yoruz. Insan beynini organik bir bilgisaegilimli bilgisayar bilimcileriyar sistemi olarak yorumlamaya
beyin
fikri
de yadirganmayacaktir.
ne gre yapay
Byle geligtirilmig bir bilgisayann akh neresinde olacaktir? Ama bu
tr sorulara dalmadan nee derin felsefe konulari stnde
durup bit
daha dgnmek gerek. Akil nedir? Zek nedir? Bilin nerededir? Dgnce beyinde hangi eylemlerin sonunda olugur? Belki,
zihin dedigimizin bir fiziksel varhgi bile yok. Karmagik
bir matematik hesabi bir anda hatasiz yapabilmek, dgnmekle eg tutulabilir mi? Yoksa insan beyninin iglevleri arasmda hesap yapabilmenin
tesine geen bir geyler mi var?
Roger Penrose, bu yamti pek zor konularda kendi grglerini, daha nce felsefenin derin tartigmalarmdan uzak durmus
bir matematiki
ve temel bilimcinin pratik yaklagumyla
savunyaymladig1 gnden baglayarak byk yankiKitabi,
daha
mug.
lar uyandirdi.
Felsefe ve mantikilann,
bilgisayar bilimcilerinin Penrose'a ynelik eleptirileri
dinecek gibi grnmyor. Anlagilan o ki bu kitap bilim felsefesinin en ok tartigilan, zerinde kitaplar yaz11acak nemli eserlerinden
birisi olmaya adaydir. Her bir blmnde son derece zor matematik,
fizik ve felsefe konalarmm birbiri pegine ele ahadigi bu uzun ve kapsamh
kitabm Trke evirisi, biraz daha kolay izlenebilir yapabilmek
dgncesiyle kitap halinde yay1alanmakta.
Toplam on blmden olugan kitab1, blmlerinde ele alman konular itibariyle kisima ayinrken
zorlanmadik.
lk drt blm ieren birinci kisimda matematik
akil yrtmenin
fiziksel
gereklik,
ve
simrlan,
algoritmalar
hesaplanabilirlik
kavrami,
matemave
kanit,
dogruluk
sezginin
nemi
ele
almmaktadir.
tikte
kinci
ve
kisunda yer alan beginci ve altmei blmlerde siras1yla klasik
fizik teorileriyle kuantum fiziginin, nder konumdaki bir teorik
fiziki tarafmdan degerlendirilmesi, temel kavramlarm sorgulanmasma yer verilmektedir.
Penrose, bagka yazilarmda
da
sika degindigi gibi, bilimsel teorileri kategoride ele ahr: (i)
Maxwell teorisi veya Einstein teorisi gibi yetkin teoriler. (ii)
Kuantum elektrodinamigi,
etkiSalam-Weinberg elektrozay1f
Prof. Dr.,
Tekin Dereli
Blm
22 Temmuz 1997,
Ankara
ODTFizik
indekiler
Matematik
Tegekkr
Denklemleri
lgili Tesekkr
gekillerle
Onsz
Baglang1
I
III
V
VII
XIII
I. Blm
Bir Bilgisayar Us Sahibi Olabilir mi?
Girig
Turing Testi
Yapay Zek
'Haz' ve 'Act'ya AI Yaklaamt
Gl AI ve Searle'in in Odast
Donamm ve Yazdsm
1
1
4
11
14
18
26
II. Blm
Algoritmalar ve Turing Makineleri
Algoritma Kavramt
Turing Makinesi Kavram
Sayasal Verilerin ikilik Gsterimi
Church-Turing Tezi
Dogal Saydardan Bagha Saydar
Eurensel Turing Makinesi
Hilbert Probleminin zmszlg
Bir Algoritmamn stesindenNasd Gelinir?
Church'n Lambda Hesab:
35
35
40
50
55
58
60
68
76
79
HL Blm
Matematik ve Gerek
Tor'Bled-Nam lkesi
Reel Sayelar
Ka Tane Reel Says Var?
Reel Saydarin'Gerekligi'
Kompleks Saydar
Mandelbrot Kmesinin na Edilmesi
Matematiksel Kavramlarm Platonik Gerekligi?
IV. Blm
Dogruluk, Kanit ve Sezgi
Hilbert'in Matematik Programs
Formel Matematik Sistemleri
Gdel Teoremi
Matematiksel Sezgi
Platonizm mi Yoksa Sezgicilik mi?
Turing'in Sonucundan kan
Gdel Tipi Teoremler
Tekrarls Saydabilir Kmeler
Mandelbrot Kmesi Yinelenen Bir Kme midir?
Yinelenmeyen Matematik Problemlerirse
Bazz rnekler
Mandelbrot Kmesi
Yinelenmeyen Matematige Benzer mi?
Karmagthlik Teorisi
Fiziksel Nesnelerde Karmapkhk ve Hesapedilebilirlik
89
89
95
98
102
103
109
112
117
117
121
125
128
134
139
142
149
155
166
169
174
Matematik
Denklemleri
ile
lgili A1klama
I
i
I
kitabm ge-
Tegekkr
Bu kitabm hazirlanmasmda,
gu veya bu gekilde, yardimci
tegekkr borlu oldugum birok kigi bulunuyor. zellikle, AI (Yapay Zek) taraftarlari (nceliklebir zamanlar
izledigimbir BBC TV programma katilanlar bagta olmak zere), ylllar nce, gl AI ile ilgili grgleri, a1klama tarzlariyla beni
bu kitab1 yazma konusunda zendirdiler
(Yine de, girigimimin
sokacagim bilseydim korkarim
ileride beni ne trl zahmetlere
bu ige hi kallogmazdun).
Taslak halindeki ahqmaru lusim k1sim inceleyerek, degigiklik
yapmam iin yararh nerilerde bulunanlar oldu. Onlara da tegekkr ederim: Toby Bailen, David Deutsch (Turing makinemin
kurallarrun dzeltilmesinde byk yardimlari olmugtur), Stuart
Hampshire, Jim Hartle, Lane Hughston, Angus McIntyre, Mary
Jane Mowat, Tristan Needham, Ted Newman, Eric Penrose,
Toby Penrose, Wolfgang Rindler, Engelbert Schcking, ve Dennis
Seiama. Mandelbrot kmesiyle ilgili clarak verdigi ayrmtih bilgiler iin Christopher Penrose'a, satran oynayan bilgisayarlarla ile
ilgili olarak verdigi ayrmtih bilgiler iin aym gekilde Jonathan
Penrose'a tegekkr ederim. Uzmam olmadigim bir konuyu ieren
IX. Blm' okuyarak
kontrol eden Colin Blakemore'a, Erich
Harth'a ve David Hubel'e zel tegekkr borluyum. Tegekkr ethibir gekilde sotigim kigiler, gzden kaabilecek yanhglardan
rumlu degildirler. Bu kitabm bir kismma temel olugturan
bazi
derslerin verildigi Houston Rice niversitesi'ne gitmemi saglakapsammda
yan DMS 84-05644, DMS 86-06488 szlegmeleri
destekleri iin NSF: (National Science Foundationfa
Kuantum
mekanigi ile ilgili degerli fikir ahg-veriginin yapildigi Syracuse
niversitesi'negidebilmemi saglayan PHY 86-12424'e tegekkr
ederim. Bu kitaba nsz hazirlamakla gsterdigi cmertlik ve baifade etmek
zi yorumlari iin Martin Gardner'a minnettarhgimi
isterim. egitliblmler hakkmda dikkatli ve ayrmtih elegtirisi,
kaynak kitaplarla ilgili son derece degerli yardimlari ve en nemlisi en ekilmez oldugum zamanlarda
bana gstermig oldugu anlay14 ve en ihtiya duyulan anda verdigi derin sevgi ve destek iin.
sevgili egim Vanessa'ya tegekkr ederim.
olan ve
ekillerle
lgili Tegekkr
tarafmdanhazirlanmigtir.
VII
nsz
Byk matematikilerin
ve fizikilerin ogu, mesleklerinden
olanaksiz
anlayabilecekleri
bir kitap yazmamn,
olmayanlann
olmasa bile, ok zor oldugunu dgnrler. Bu ylla kadar, dnmatematik
fizikilerinden
Roger
yamn en bilgili ve yaratici
Penrose'un, bu dgncede olanlar arasmda yer aldig1 samlabilirdi. Teknik olmayan makalelerini
ve konferans metinlerini
okumug olan bizler ise bunun byle olmadigim biliyorduk. Yine
aym
de Penrose'un, yogun ahqmalarmdan
zaman ay1rarak,
meslekten
olmayanlar iin harika bir kitap yazdigim grmek
hog bir srpriz oldu. Bu kitap, klasikler arasmda yerini alacagina inandigim bir eser.
Penrose'un kitabimn blmleri, grelilik teorisinden, kuantum mekanigine ve kozmolojiye kadar degigik konulan kapsaproblemi"
maktaysa
da ana dgnceyi, felsefecilerin
"G1 AI" (Yaolarak adlandirdiklan
teori olugturmaktadir.
elektronik
bilgisayarlann
insan akhpay Zek) savunuculan,
yalmz bir veya iki
her geyi yapabilmelerinin
mn yapabilecegi
yzy11hk (bazilan bu sreyi elli yila kadar kisaltiyor!) bir sorun
Genlikleolduguna bizi yillardir ikna etmeye ugragmaktalar.
rinde okuduklan bilimkurga kitaplanndan etkilenen ve beyinyapillerimizin yalmzea (Marvin Minsky'in dedigi gibi)
mig bilgisayarlar' olduguna kendilerini inandiran bu insanlar,
haz ve aci, gzellik ve mizah bekenisi, bilinlilik, hr irade gibi
"us-beden
'etten
algoritmik
robotlarda,
elektronik
yetilerin,
davramplan
rince karmagik duruma geldigi zaman dogal olarak ortaya
cagmdan kugku duymamaktadirlar.
yete-
1ka-
VIII .
nsz
'anlar'
'anlarlar'
"orada
'karmagik
IX
anlamda
bytldgnde
istatistiksel
birbirine benzer yap1
gstermesine kargm, sonsuz helis biimi nceden tahmin edilemeyecek gekilde srekli degigim gstermektedir.
Penrose, bu
egzotik yapmm, tropik bir ormamn kegfi kadar olast,
orada' durup duran Everest Dagi kadar somut oldugunun dgnlmesinin
anlagilmaz
olduga kamsmdadir (Ben de yle).
Penrose,
parmag1mn' kendisine, kuantum mekanik biliminin henz tamamlanmanu; oldugunu syledigi zaman Einstein'm hi de dik kafah veya bulamk zihinli olmadigma inanan
ve sayilari giderek artan bir grup fizikiden birisidir. Grgn
desteklemek amac1yla Penrose sizi, gnmzdeki speklasyonlann odagun olugturan, karmagik sayilar, Turing makineleri,
karmagikhk teorisi, kuantum mekaniginin
gaprtici paradokslaGdel karar verilemezligi,
faz uzaylan, Hiln, formel sistemler,
karadelikler, akdelikler, Hawking igunasi,
entrobert uzaylan,
pi, beynin yapis1 gibi konulan kapsayan gz kamagtinc1 bir yolculuga ikarlyor.
Kpekler ve kediler, kendilerinin
midirler? Televizyonan Uzay Yolu dizisindeki gibi astronotlann
bir madde-aktarim
sistemi yoluyla oraya buraya yollanabilmelemdr?
yaratirken
ri teoride mmkn
Evrim bilialenmeyi
kendi srekliligini saglamak iin onda ne bulmugtur? Kuantum
'igte
'kk
'bilincinde'
mekaniginin
tesinde,
zamamn
ynnn
kesin olarak
ve sag/sol
ayirimmm
-uzay
'tvistorlar',
X.nsz
hakh olarak tagimaktadir nk W.W. Rouse Ball yalmz ok
olmayip, Matematiksel Eglencelikler
tamnmig bir matematiki
eseriyle,
ve nceleme Yazdars adh bir Ingiliz klasigi niteliginde
eglencelik matematik
alamnda
amatr bir sihirbazdir.
Penrose, Ball'un eglence hevesini paylagmaktadir. Genliginubuk' (tribar) denilen
bir nesne' keyfetmigti
(mknsiznesne, iten-eligkili elemanlardan olugtugu iin varolamayan
ok-boyutlu bir geklin izimidir). Penrose ve bir genetik uzmam olan babasi Lionel, bu tribar'i bir Penrose Merdivenine dngtrdler.
Basamakh bu yapiyi, Maurits Escher
Ascending and Descending (ik1eve inig) ve Waterfall (aglayan) adh iki nl gravrnde kullandi. Bir gn Penrose,
yatarken,
lik nbeti' olarak adlandirdigi
bir nedenle yatakta
drt-boyutlu bir uzayda var olan bir imknsiz nesneyi hayalinde canlandirdi. Bu yle bir gey ki, dedi, drt-boyutlu bir yaratik
"Aman Tannm, bu da ne byle?" diye haykirirdt.
ona rastlasa,
1960'larda Penrose, arkadagt Stephen Hawking ile birlikte
konusunda ahgirken, belki de en ok tamaan buevren
dek geerli'
lugunu gereklegtirdi. Grelilik teorisinin
oldugu savma gre, her karadelik, iinde fizik yasalanmn
geerli olmadigt bir tekil blgeye sahip olmahydi. Bu bagar1 bile,
son yillarda Penrose'un, Escher mozayigine benzer fakat dzlemi periyodik olmayan tarzda kaplayan iki gekil inga etmesiyle
glgelendi (Bu gagirtici gekiller hakkmda bilgiyi Penrose Tiles
to Trapdoor Ciphers adh kitabmda bulabilirsiniz). Bu gekilleri,
Penrose hibir yaran olabilecegini
dgnmeden icat etti, daha
dogrusu kegfetti. Penrose'un kaplama ta larmm -boyutlu
genellemelerinin, ahg11dik olmayan yeni bir madde trnn buulagmasi
lunabilecegi sonucuna
herkesi gagirtti. Bugnlerde
maddenin
incelenmesi kristalografi
sz konusu
alanmda
konularmdan
birisini olugturen yogun aragtirma
maktadir.
zamanda,
matematigin
Aym
hi beklenmeyen uygulamalara yol aabilecegini
gstermesi aismdan, modern zamanlann
en dramatik rnegidir.
Penrose'un matematik
bagarilari
ve fizik alanlarmdaki
mz bir kismma deginebildigim bagarilari- onun bir yagam boduydugu meraktan kayyu, Vaiolagun gizemine ve gzelligine
naklanmaktadir.
Kk parmagi ona, insan beyninin sadece
de
'l
'imknsiz
'deli-
.bilimi
'sonuna
"kristalimsi"
-yal-
XI
Martin Gardner
XIII
Baglang1
Byk Konferans Salonunda, yeni 'Ultronic' bilgisayann a1hgi iin toplamlungt1.Bagkan Pollo, a1hy konugmasim henz
bitirmisti. Bitirdigi iio mutluydu: Bu gibi toplantilardan pek
hoglanmazdi ve a1hgim yaptigi bilgisayarm kendisine bir hayli
gereginin digmda bilgisayarlardan hi
zaman kazandiracagi
anlamazd1.
malt1 firma, bilgisayann diger birok grevinin
arasmda, Devletle ilgili olarak Bagkamn ok siluci buldugu kararlari
almak bulunduguna dair Bagkana gvence vermigti.
Bilgisayara harcadigi hazine altimmn miktan dgnlrse, bilelbette yerinde olacaktt. Sahane
gisayann
bu grevi stlenmesi
zel golf sahasmda
saatler boyu golf oynayarak
hopa vakit geirmek iin sab1rsizlamyordu.
Golf sahas1, kk lkesinde geriye kalabilen birka byk yegil alandan bir tanesiydi.
Adam, aihe trenine katilanlarm arasmda bulunmakla kendini ayncahkh hissediyordu. ncsiraya oturdu. Ultronic'in
tasanmmda grev alan teknokratlardan birisi olan annesi iki
sira nnde oturayordu. Babasi da rastlanti sonucu salondayd1;
davetli degildi ve eu anda arkada bir yerlerde evresi gvenlik
grevlileri tarafindan tamamen kugatilmig olarak duruyordu.
Son dakikada Adam'm babas1, bilgisayar1 havaya uurmaya
kalkigmigti. Kk bir eylemci grup olan 'Psigik Bilin1enme
Yksek Kurulu'nun 'Liderligi' nvamm kendine uygun grmy
Kugkusuz o
ve bilgisayan havaya uurma grevini stlenmigti.
elektronik
patlay1cilan,
cikimyasal-duyarh
ve
ve tm
say1siz
hazlar sayesinde hemen yakalanmigti.
Cezasmm kk bir kisnum gimdiden ekiyordu; bilgisayarm a1hy trenine tarnk olmasi iin salonda ahkonulmugtu.
Adam, ebeveynlerine
pek aldirmazdi.
Onlar iin herhangi bir
duyga beslemesi gerekmemigti. On y11hk mr boyunca maddi bir zenginlik ortammda,
hemen hemen tamamen bilgisayarBir dgmeye basarak, istedigi her
lar tarafmdan yetigtirilmigti.
yiyecek,
sahip
olmugtu:
iecek, arkadag, eglence ve hatta
geye
XIV e Baplangz
-gereksinim
egitim
"nc
I. Blm
Bir Bilgisayar Us Sahibi Olabilir mi?
Girie
Son yirmi-otuz y11da elektronik bilgisayar teknolojisi dev adunlarla geligti. nmzdekiyirmi-otuz yll ierisinde de, luz, kapasite ve mantik tasarurunda byk ilerlemeler kaydedilecegi konusunda pek az kugku var. Geen yilm hesap makineleri bu yil gzmze nas11 ilkel ve hantal grnyorsa bugnn bilgisayarlari
da ileride gzmze aym gekilde grnebilir. Geligim Inzmda neredeyse rktc bir geyler var. Eskiden yalmz insanm dgnee
sisteminin alanmda gereklegtirilebilen say1siz iglemler bugn bir
insamn asla erigemiyecegi lnz ve dogruluk oramnda, bilgisayarlar
tarafmdan gereklegtirilebiliyor. Fiziksel ynden performansmuz1
kolayca agan makinelere uzun zamandir ahgkurz. Onlardan herduymuyoruz. Aksine, en luzh atletten en az
hangi bir rahatsizhk
beg kat luzh ilerleyebilen ara1arla yolculuk etmekten, veya dsinelerle igiden olugan ekiplerle ancak gereklegtirilebilecek kazi
makinelerin
bagariyla stlenmesinden
ve ylk1m ahgmalarim
hognutuz. nceleriasla yapamadigimiz geyleri fizikselolarak
sahip olmakla daha da
yapmam1za olanak saglayan makinelere
mutluyuz; gkyznde szlerek birka saat gibi kisa bir srede
okyanusun
kargi sahiline inebiliyoruz. Makinelerin bu gibi bagaraari gururumuza dokunmuyor. Ama, dgnme yetenegine sahip
olmak
bu ok insanca bir zellik. Ne de olsa dgnme yetenegimiz sayesinde fiziksel yetersizligimizi agabildik ve diger canhlara karg1stn1k saglayabildik.
stnlgmzkamtlayan bu nemli zelligimizi bir gn
kaptmrsak, onlara boyun egmek zorunda kalmayamakinelere
-igte
cak m1y1z?
ivedilik kazaamigtir. Sorun, felsefenin derin konulanna gtryor bizi. Dgnmek veya hissetmek nedir? Us nedir? Us gerekten var midir? Varsa, iligkili oldugu fiziksel yapilara fonksiyonel olarak ne lde bagimhdir? Bu gibi yapilardan
tamamen
bagunsiz olarak var olabilir mi? Veya yalmzca fiziksel yapilann
(uygan trde yapilann) bir fonksiyonu mudur? Ne olursa olsun,
ilgili yapilann zellik itibariyle biyolojik (beyin) olmasi nu gerekli, yoksa elektronik ekipman paralan
da pekal aym iglevi
stlenebilir
mi? Us, fizik yasalanna bagimh mt? Gerekte, fizik
yasalan
nelerdir?
melinde
yatan
nedenler
'us'un
iin benimsenmesi
olasihgi
bulunmayan
3
aika belirtmeliyim. Fizikilerin pek ogu, insan beyni ile ilgili
olarak uygulanabilir
temel yasalann
tmnn gerekten mkemmelen bilindigini iddia edeceklerdir. Genelde fizik bilgimizde hl birok boglugun bulundugu kugkusuz tartigilamaz. rnegin, dogamn atom-alti parac1klarmm
ktle-degerlerine
ve
bunlarm etkilegmelerinin
byklklerine hkmeden temel ya-salan bilmiyoruz. Kuantum teorisini Einstein'm genel grelilik
teorisiyle uyamlu hale getirecek
gravitasyon' teorisinin nas11 geligtirilecegini bir tarafa b1rakm, kuantum teorisini
daha Einstein'm zel grelilik teorisi ile nas11 uyumlu hale getirecegimizi tam bilmiyoruz. Kuantum gravitasyon teorisini geligtirememig olmannzm sonucu, bilinen temel paraciklann boyutunun 1/100000000000000000000'i gibi minik bir lekte uzaym
'kuantum
zelligini anlayam1yoraz,
fakat sz konusu boyuttan daha byk boyutlar iin bilgimizin yeterli oldugu farzediliyor... Bu gibi
etkileri insan beyni a1smdan
belirsizliklerin
fizik zerindeki
nemsiz gibi grnse de, evrenin kapsam1mn
veya zamandabir btn olarak sonlu veya sonsuz oldugunu bilmiyomerkeslerinde
ruz. Karadeliklerin
veya evrenin kendisinin byk patlama ile baglang1 amada etkin olmasi geteken fizik bilimini anlannyoraz.
Btn bu yasalar, insan beyninin iglevleriyle
'gn1k'
lege (veya biraz daha kgne) dayanarak hailgili
yal edebilecegi kadar uzak grnebilir.
Ve gerekten de uzaktir!
Ancak, tam burnumuzun dibinde (veya daha dogrusu ardmda)
durmakta olan bir konu var ki fizikilerin pek ogu, insan dgncesinin ve bilineinin iglemesi ile yakmdan ilgili olup fizik anlayignmzda bir byk bilinmeyeni olugturan bu yasasuun
farkmda bile degiller. Bu konuyu a1klamaya ahyacagun. Karadeliklerin ve byk patlamanm bilinmeyen yasalar zerinde kesin
etkilere sahip grgler oldugunu yine bu kitapta savunacagun,
-uzayda
termodinamigin ikinci yasasmm, Maxwell'in elektromanteorisinin temel zelliklerini incelemek durumunda kalacag12. Bilincin dogasun ve fonksiyonunu anlamak abamiz ierisinde felsefe ve psikolojinin sorunlan devreye girecek. Kugkusuz, nerilen bilgisayar modellerinin yam sira, beynin gerek nmamn,
yetizma
Turing
Testi
(yukarida verdigimiz
rnekte
yapimc11ari
tarafindan
zellikleri
mn* sorulari,
daha nemlisi
aldigi yanitlar,
"she"
"he"
"she"
'hesap
'aptal'
yam1yormuy
gibi grnmesi
gerekir;
olacaktirl
Bilgisayarm bu gekilde daha
kendini
iin zellikle
saglamak
grnmesini
samrim programcilar
tal'
ciddi bir sorun yaratmayacaktir.
Onlar iin asil sorun, her insa'akh
selim' sorusunu yaen basit
mn kolayca yamtlayabilecegi
mtlayabilecek
gekilde bilgisayari programlayabilmektir!
yinelenmesinde,
yinelesorularm belirli rneklerinin
Bu
ele vermig
tr
dogasmda bulunan bir sorun ortaya ikar. Ilk sorugeda, bilgisayarm bu zel soruyu bir insamn yamtlayabilecegi
yol
Oysa
kolaydir.
bir
bulmak
yamtlayacagma
dair
nas11
kilde
zellikle zgn ve biraz gerek anlama yesrekli sorgulamada,
sorularla
yap11an seri sorgulamada bilgisayagerektiren
tenegi
me olayimn
yoksun oldugunun
ortaya 1krm gerek anlama yeteneginden
zgn sora
olasidir.
bu
kismen,
becerisi,
Sorgulayicunn
tr
masi
biimleri bulabilmesinde, k1smen de, derinlemesine inceleme ni-
esnasmda
anlamak iin, sorgulama
tamamen
gibi
s1kigtirabilir,
grnen
veya
sama
sama bir sorayu araya
sorularm
olan
diger
anlamh
iki
bir
arasma
ashnda
soruyu
fakat
gyle sorabilir: 'Duyduguma gre, bu sabah
katabilir:
edip etmeyecegini
rnegin,
'pembe
'anlay14m'
gerek
'pembe
'
ddialarm bazi
sonulanmn,
zellikle
anlamsizhma,
glnlgne
ahlki sonulanmn,
ragmen, Turing testinden baanyla gemig olmamn, dgnce, zek, anlay19 veya
bilinlenmenin geerli bir gstergesi sayilmast bence olduka
etkin bir kriterdir. nk,bagkalarmm byle zeniklere
sahip
olduklan
hakkmda kargihkh konugma yntemi digmda bagka
hangi yntemle, nas11 yarg1ya varabiliriz?
Yz ifadesi, bedenin
hareketleri ve benzer hareketler gibi bagka kriterler de vardir
gintgteki
geri ama diyelim ki (belki biraz daha uzak bir gelecekte) btn bu mimikleri ve hareketleri baanyla taklit edebilen bir ro-
9
saklamak
artik gebot yapildi. Robotu ve insam, sorgulayleidan
elinde
yine
olarak,
sorgulay1cimn
ilke
fakat,
aym
kriterler bulunacaktir.
Turing testini dzenleyen ben olsaydim, partlarma daha fazla esneklik getirmeye ahgirdim. Bilgisayardan, bazi bakimlardan, bir insam ondan ayirt edilemiyecek kadar iyi taklit etmesini istemek dogrusu ondan gereginden fazlasim istemektir.
yabanc1hk',
Yamtlarin temelinde
yapay bir bilinlilik var
oldugu iin, bilgisayarm yamtlarima
dogasma bakarak sorguyamtlayici gerekten ikna olabilir. Ben olsam sorgulayleidan
larm dogasma bakmasim isterdim. Bugne kadar inga edilmig
aika grlen eksiklik buolan tm bilgisayar sistemlerinde
dur. Ancak, sorgulayici, bilgisayarm bilinaiz yamtmda bile bir
bilinlilik algilayabilir ve bu bilinliligi bilgisayara atfetmek
konusunda isteksiz davranabilir. Byle bir tehlike olasihgim
Diger taraftan, sorgulaylei, gerekte var olkabul ediyorum.
duygusuna kapilarak istememasa bile, byle bir
Bu neden de olsa bilgisayara kugkulanma firsati verebilir.
daha nesnel olmasmdan
denle Turing testinin ilk versiyonu,
kaynaklanan daha byk bir avantaja sahiptir ve ben de sonduracagim. Onceden degindiraki blmlerde bunun zerinde
yapilan
haksizhk (yani, testte bagarih olgim gibi bilgisayara
beklenmak iin bir insarna yapabilecegi hergeyi yapmasimn
yapmak
yapabildigini
mesi, oysa insamn bir bilgisayarm
zokonusunda
runda olmamasi)
dnme yetenegi, vs. saptamak
destekleyenleri rahatsiz eder gibi
Turing testinin etkinligini
grnmyor. Turing testinin taraftarlarma gre bilgisayar ok
gemeden
2010 ylhoa kadar- Turing testinden bagariyla geebilecektir
bir sorgulay1c1
(Turing, baglang1ta
sorgulamayla,
2000 yihna kadar,
ve sadece bey dakikahk bir
ngrmgt).
Sonulara bakarak Turing
yzde 30 bagari oram
taraftarlari, bu taraf tutan grgn, ngrlen tarihi geciktirinamyorlar!
meyecegine
Btn bunlar temel bir sorayla yakmdan iligkilidir: Iglevsel
varhma
veya
bakig aisi, nesnel bir alemin ussal selliklerinin
vermek
iin makul bir kriterler sistemiyokluguna dair hkm
Dg
ni gerekten saglar mi? Bazilari, sagladtgim
savunuyor.
yerini
yetenekli
olursa
olsun, geregin
tutamaz.
gc, ne kadar
rekmeyecek
'bir
'yabancihk'
-diyelim
'vasat'
'kamt"gerekten'
'varsayim/tahmin'
'nesneler'
*
Turing testinde baanh olmamn pf noktalan
ile ilgili grglerim hakkmda
bilerek ve isteyerek suskun kahyorum. Ornegin, gyle bir yntem nerebilirdim: Uzun ve bagarisiz seans1ar ertesi bir bilgisayar, insan denegin o zamana
kadar vermig oldugu tm yamtlari biraraya getirdikten sonra,
uygun ierikleri
rasgele arasma serpigtirerek metnin zerinden
bir kez daha geebilir. Bir sre
sonra, yorgun dgen sorgulayicimizm
zgn sorulari
da tkenince bilgisayanmiz
ekmek' yoluyla sorgulaylc1yi aldatung olur!
'kopya
11
grleri,
nasil,
'bi-
Yapay Zek
ogukez kisaca AI (Artificial Intelligence) olarak amlan Yapay Zek son yillann en ok ilgi eken konusudur. AI'm amamakineler,
normalde
elektronik
arac1hlyla inlan, makineler,
olabildigince
taklit etmek ve belki sonusamn ussal etkinligini
ta insamn ussal etkinlik yetenegini geligtirmektir. AI sonulaBunlardan birisi ronna en az drt alanda ilgi duyulmaktadir.
botik'tir. Robotik, insamn mudahalesini
veya kontro1n gerek-
tiren ok egitli
'zek
dr? Yoksa, yalmzca, gereklerle ilgili bilgilerin, genig kapsamh bir bilgi-kaynak listesiyle birlikte, uzun listeler halinde haz1rlanmasi
Bilgisayarlarm insan zeksimi amalanmaktadir?
'robot
'aba
13
siyle gerek
gisayar
vasitastyla
'terapist'
terapistin
yerine
bilgisayan
tereih etmislerdir.
Bil-
konugma (teleyaz1ci
ile bir hasta arasmdaki
yapilmigtir) rnek olarak agagida verilmigtir:'
TERAPST
HASTA
TERAPIST
HASTA
TERAPST
HASTA
TERAPIST
HASTA
TERAPST
HASTA
TERAPST
HASTA
TERAPIST
HASTA
TERAPST
HASTA
TERAPST
Bilmiyorum.
Bana sorununuzdan
Olmaz.
Biraz ayrmt1veremez
:
:
:
:
:
:
:
:
:
:
:
bahsetmeye
ahgm.
misiniz?
Bu diyalog, bilgisayarm aslmda hi olmayan anlama yetenegine bir lde sahip oldugu izlemini veriyorsa da, gerekte btn yaptig1 olduka basit mekanik kurallara uygun davranprogramlarmda,
gizofrenik bir
makt1r (Bilgisayar simlasyon
vardir.
daha
Bu
simle
diyalogda
eden bir
tm
hastayi
yer almakders kitaplarmda bulunan cevaplar ve semptomlar
ta, diyalogu dinleyen tip grencilerini bilgisayar, yamtlann
inandtrmaktadir!).
san hasta' tarafmdan verildigine
davramy" olarak nitelebilgisayarlar
Satran-oynayan
makinelerin
sergileyen
belki en iyi rneginebilecek
davramq
makineler,
bugnlerde (1989'da)'Uluslararasi
dir. Gerekte bu
gstermektedirler
(Bu bilgisayarperformans
Usta' dzeyinde
altmda
olup,
2300'n
klyaslama amac1yla
biraz
larm puanlari
sampiyonu
Kasparov'un
gerekirse,
dnya
bir deger verilmesi
Spracklen
Kathe
zerindedir).
Dan
zellikle
ve
puam 2700'n
mikExcel
(Fidelity
ticari
hazirlanan
bir
program
tarafmdan
'diyalog'
'in-
"zeki
ta' nvamm
'kitap
'karar
15
'duygularf,
'hazza'
'haz/ac1'
'aci'dan
-100)
digmda
kaynagim srekli yenilemenin
aksi
durumda,
bagka
da donatmahy1z;
hk'tan ayirt edemeyiz. Simdilikseks sz konusu olmadigi iin,
cihazimizin
reme sistemiyle de donat11masim istemek biraz
olur!
fazla
Fakat belki benzer cihazlarla arkadaghk
kurabilmesi iin bedenine bir
monte ederek
istek' mekanizmasi
arkadaglarlyla
biraraya geldigi zaman pozitif ha-puamm artirsaglayabiliriz.
ile
Veya onu kendi adma grenme
masim
hafizasma
ile
ilgili
gerekleri
bylece
dig
dnya
donatabiliriz;
(Biraz daha bendepolayarak ha-puannu olumlu etkileyebilir.
cilee davranarak
eihazmuzi,
yaptig1 zabir
hizmet
bizim iin
programlayabiliriz
alacak
gekilde
bir
olumlu
man
puan
robot hizmetkr inga ettigimiz zaman yapmanuz
gerektigi gibi!)
akhmma
estigi gibi cihazimiza empoze etmeBu gibi
oldugunu
mizin yapayhk
ileri srenler bulunabilir. Fakat bu,
dogal seimin bireyler olarak bize, byk lde, genlerimizle
ogalma ihtiyaciyla ynetilen belirli
empoze etmesinden farkh degil ki.
gekilde bagariyla monte edildigini
Cihazimizm, ngrlen
varsayahm.
ha-puam arti olduga zaman haz duydugunu ve hapuam eksi oldugu zaman aci hissettigini nas11 kamtlayacag1z?
AI (veya iglevsel) grge gre, davrampma bakarak bu konuda
bir hkme varabiliriz.
Puamm olabildigince yksek bir arti deolabildigince
ikaracak
uzun arti kalacak) gekilde dav(ve
gere
randigi
eksi
yine
puanlardan olabildigince
buna
karg1hk
save
haz hissini puammn
kmdigi iin mantikh bir sonuca vararak,
artihk derecesi olarak, aci duygusunu da puanmm eksilik derehaz ve aci
cesi olarak tanimlartz. Byle bir tamnun
duygulari ile ilgili olarak bir insamn da tamamen aym reaksikaynaklanabilir.
Kugkusuz, inyonu gsterecegi gereginden
sanlar sz konusu oldugunda, hepimiz biliriz, durum bu kadar
basit degildir: Bazen bilerek isteyerek acidan kammaz, bazen
hazdan kammak iin yolumuzu degigtiririz. Bizim hareketleriynlendirir
mizi ok daha karmagik kriterler
(Bkz. Dennett
acidan kam1978, s. 190-229). Fakat kabaca bir ortalamayla,
mak ve haz peginde kogmak bizim gerek davrame biimimizdir. Bir iglevselci iin bu durum, aym dzeyde bir ortalamayla,
cihazumzm
konuha-puamnm ac1/haz oram ile tanimlanmast
Cihazimiz1, enerji
'ac1'yl
'amalar'la
'dostluk
'agki'
-aym
'amalari',
'amalari'
'mantigi',
'a-
17
yeterli gereke tegkil eder. Bu gibi tanunlamalar AI teorisinin amalari arasmda da yer ahr.
Simdisormahsunz: Cihazumzm, ha-puam eksi oldugu zaman
mu?
aci, arti oldugu zaman haz duymast gerekten sz konusu
mi?
cihaznmz
herhangi bir gey hisseder
glevselci,
Gerekten,
kugkusuz, ya "Tabii ki evet" der veya anlamsiz oldugu gerekesiyle bu egit sorulari reddeder. Fakat, bana kahrsa, burada dikgereken ciddi ve zor bir sorn var. Insanlar iin
kate ahnmasi
sunda
'haz'
dir. Bilgisayarlar
tekniginde
ilerlemeler
olacaktir. AI felsefesinin aralari olan bu makinelerin teknik kapasiteleri son derece geligecektir. stelikfelsefenin
znde absrdite yoktur. Belki insan zeksi, gimdiden bilinen ilkelere, bugnn bilgisayarlarma dayah fakat gelecekte daha da
geligtirilecek kapasite, luz, vs. sahip olan elektronik bilgisayarlarla dogru gekilde simle edilebilecektir.
Hatta, belki, bu makineler gerekten zeki olacaklardir;
belki dgnecekler, hissedecekler ve usa sahip olacaklardir.
Veya belki de byle olmayacak
olmadigumz
farkmda
bugn
iin
hi
yeni bir ilkeye gereksive
nim duyulacaktir. Igte konumuz budur ve hi de hafife ahnacak
bir konu degildir. Grebildigim kamtlari suumaya ahgacagim.
Sonunda kendi grglerimi aiklayacagun.
GI AI ve Searle'm
in Odasi
Konumuzun
uydaha ayrmtih
olarak
Simdilik,algoritmayi bir egit hesap
yntemi olarak tammlamak yeterli olacaktir.
Termostat rneginde algoritma son derece basittir: Cihaz, sicakhm nceden
ayarlanung
oldugu degerden yksek veya dgk olup olmadigim kaydeder, yksek olmasi durumunda devre kesilir, dgk olmasi durumunda ise aihr. Insan beyninin herhangi bir kayda
gulanmasmdan
ibarettir.
sonra deginecegim.
Algoritma
konusuna
19
deger assal
karmagiksa
algoritma
ok daha
'daha
olmasmdan
mkemmel
(veya belki
'kendini
dzenlenmig yapismdan',
veya
tammlayabilme zellik1erinden', bir algoritmadan
beklenen diger bazi zelliklerden)
kaynaklamr.
Daha nemlisi, tm ussal zellikler
hissetme, zek, anlaylg, bilin- sz konusu karma1k fonksiyon
sisteminin
yalmz birer parasidir;
bir bagka deyile, beyin tarafindan gereklegtirilen algoritma'mn
zellikleridir.
Herhangi bir spesifik algoritmamn
zgn zelligi, performansmda,
sonularmm dogruluganda, kapsanunda, ekonomik
olugunda ve uygalama
hizmda kendini gsterir. nsan beyninde
faaliyet gsterdigi varsay11an algoritmaya eg bir algoritmamn
olaganst
bir gey olmasi gerekir. Fakat bu egit bir algoritma
beyinde varsa
AI yandaylan var oldugunu kugkusuz idbir bilgisayara da ilke olarak uygalanabilir
dia edeceklerdirdemektir. Gerekten de, veri saklamak iin yeterli bellek ve aolmasa, herhangi bir modern genelhgma luzi gibi smirlamalar
amah elektronik bilgisayarda bu algoritma kullamlabilir (Bu
-dgnme,
-gl
tarafindan tasarimlanan
bir bilgisayar
dayamla-
programma
rak verilmektedir
(Schank ve Abelson 1977). Programm amaci,
'Adabasit ykleri anlama yoluyla benzetigimi saglamaktir:
ismarladi.
'hayir'
'evet'
-veya,
"evet"
"hay1r"
21
ok gl bir grg- gudur: Bir algoritmayi bagaigleminin gereklegmesi demek dekilitli kalang ve tek szck incebilmeyen
-samnm
nyla
uygulamak,
gildir.in odasmda
'anlama'
'chow
'chow
-ki
'anlama'
ussal zelliklerinden
yetenegini
ortaya
1karmaya yeterlidir. Ancak gimdi bir bagka itirazla ember genilemeye baghyor. Hintliler bireyler olarak, bir insanm beyninin tmnden ok, beyindeki bireysel nronlara
benzemiyor
mu? Dgnme eylemi esnasmda
beynin fiziksel etkinligini olugturan nronlarm, kiginin dgncelerini anladigun hi kimse iddia edemeyecegine
gre Hintlilerin bireyler olarak in yklerineden bekleyelim? Searle bu soruyu, lkede
ni anlamalarim
oturanlardan hibirinin bireyler olarak anlamadigi bir yky
lkenin, Hindistan'm kendisinin, anlamasmm
grngteki anlamsizhma dikkat ekerek yamtlar. Bir lke, diye savunur, bir
uygalanmasi,
veya
'anlama
termostat
'anlama'.
'anlama'
23
'ussal
'dualizm'i
'tinsel'
'varoluga'
'maddesini'
gibidir
bu, AI savunuagin bir dualizme dogru ynlendirir
cularmm
asla istemeyecekleri
kendileriyle bagdagtinlmasim
bir olgadur!
Douglas Hofstadter'e
Gl AI teorisinin yaraticilarmdan
(1981)ait "Einstein'm Beyni ile Bir Sohbet" baghkh bir diyalogda, sz konusu ikilem belirginlegmektedir:
Hofstadter, Albert
beyninin eksiksiz bir tanmum ieren, gln derebir kitap dgler. Sorulacak her soruya,
Einstein hayattaymig
gibi, Einstein tarafindan yamtlamyorevirerek, kitamuqcasma yamt almak iin, sadece sayfalanm
Einstein'm
'bilecek'?
'sadece'
25
degigiklikler) midir? Veya kitaps1-Einstein hi kimse veya hibir gey elini sremese, hi incelenmese bile kendi varhgima yine de farkmda olur mu? Hofstadter bu sorulardan bazilarma
deginiyor ama ogunu yamtsiz birakiyor.
Bir algoritmay1 aktive etmek veya fiziksel biimde nesnellegtirmek ne demektir? Bir algoritmanm degigtirilmesi ile bir algoritmamn elden ikarilarak yerine yenisinin kullamlmas1 arasmda fark var midir? Btn bunlarm, bizim bilinli olarak bir
geyin farkmda olmamizla
ne ilgisi olabilir? Okur, (kendisi bir
olmadigi
samahgi aika grlen byyandagi
srece)
gl AI
merak edebilir. Asayirdigimi
niin
kadar
bu
le bir konuya
yer
hnda bu konuyu sama bulmuyorum, temelde yanhg buluyorum! Gl AI mantigima
gerisinde dikkate ahnmasi gerekli
ahgacagim. Bence, bazi
aiklamaya
ben
drt
bir
bunu
var, ve
degigtirilirse- bir lde ekicilik var, ve
fikirlerde
ben bunu da anlatmaya aheacagim. stelik,kammea, Searle
tarafmdan dile getirilen aksi grg, bir lde paylagsam bile,
iermektedir.
bazi ciddi bilinmez1er ve grngte samahklar
elektronik
iglem
gelistirilmig
bilgisayarmm,
bugnn
Searle,
hizi ve hafiza bankasma girig hiz1yla (buna paralel iglemle) ok
usak olmayan bir gelecekte Turing testinden bagariyla geebilecegini, aika olmasa bile, kabul etmektedir. Gl AI'm (ve
bilgisayar programlaridiger birok
teorinin),
rnekleriyiz'
grnmektedir.
'Beyin
hazir
iddiasim
kabule
mn
dijital
Hergey
kugkusuz.
bir
bilgisayar
bir
bilgisayardir
dijital
olduguna
gre, beyin de yledir' grgne boyun egmektedir."
Searle'a gre, insan beyninin (usa sahip olabilir) fonksiyonu ile
savunuyor)
elektronik
bilgisayarm (usa sahip olamayacagim
uygulamalari
fonksiyonun arasmdaki fark, aym algoritmayi
olasi bu ikisinden her birinin sadece maddi yapismdan kaynaklanmaktadir.
Inandigi fakat aiklayamadigi nedenlerle, eleknesnelerin
aksine, biyolojik nesne (beyin1er),zihinsel ettronik
zelliklerinden
bilgive
belirleyici
kinligini
bosi'ne sahip olabilirler. Evrim srelerini yansitan
yutlari digmda, biyolojik sistemlerin
(gerekte bizler de bu sisgerektemlerde yer ahyoruz) ynelmigligi veya anlambilgisini
legtirilebilen nesneler olarak ay1rt edilmelerini saglayan ne gibi
zellikleri vardir? Bu iddia bende dogmatik bir say izlenimi ya-geregince
'hilimsel'
'bizler,
'ynelmiglik'
'anlam
'tarihsel'
ratiyor.
ve Yazahm
Donamm
makineyi
'bellek'
olugturan,
27
gebilecegi unutulmamahdir.
Tartigtigmuz konu, iglemlerini makul bir srede tamamlamak kaygisi ierisinde bu gibi pratik sonmlara
ay1racak zamam olmayanlar
iin bir
tartigmasidir. Burada deginilen kavramlar, bir sonraki blmde aynntievrensel
lanacaktir: A ve B rneklerinde
sz edilen makineler,
makineleridir.
Turing
Gerekte, tm modern genel-amah makineler,
birer evrensel Turing makinesidir.
Bu nedenle, tm genel-amah bilgisayarlar, yukandaki
anlamda,
birbiriyle egdegerdedir:
Sonataki
iglem hizi farklart ve bellek boyutuna iligkin olasi smirlamalar
ilgi alanumzm
digmda kaldigi srece, aralanndaki
farklar tmyle yaz1hm kapsamma ahnabilir. Modern teknoloji, bilgisayarlann
iglem luzur ve veri depolama kapasitelerini o denli geamalarm
ligtirmigtir ki,
ogunun normalde gerektirdigi hiz ve kapasiteye,* pratikteki kaygilarm hibiri herhangi
bir simrlama
getirmez ve bu nedenle bilgisayarlar arasmdaki
egdegerlilik,
pratik dzeyde de geerlidir. Grnge gre
teorik
ideallegtirilen
bilgisayarlarla ilgili tmyle akademik
teknoloji,
tartigmalan, yaganumizi dogrudan etkileyen konulara dng"ilke"
"gnlk"
trmgtr!
kadarlyla g1 AI felsefesinin temelinde yatan
nemli
etkenlerden
birisi, fiziksel bilgisayarlar arasmdaki
en
sz konusu egdegerliliktir.
Donarama greli nemsiz (hatta belki tamamen nemsiz) gzyle bakihrken, yaz1hm, yani program
yagamsal
nem tagiyan malzeme olarak kabul
veya algoritma,
edilir. Ancak, kanunca, fizik bilimi aismdan nemli bagka etkenler de vardir. Bu etkenler hakkmda bazi kamtlar vermeye
Anladigim
ahgacagim.
Bir insana kigisel kimligini veren nedir? Bedenini olugturan
atomlar m1? Bu atomlari
olugturan
elektronlarm,
protonlarm
zel
teki
parac1klarm
seimi mi? Bu sorulann olumtemel
ve
suz yamti ile ilgili en az iki neden vardir. Birincisi, herhangi
srekli bir degigim yabir canh bedeni olugturan malzemenin
gamasmdadir.
Dogumdan sonra hibir yeni beyin hcresinin
retilmedigi
gergine kargm bu degigim, zellikle beyin hereleri iin geerlidir. Her canh hcredeki (beynin, her bir hcresi
*
Bu konuda, karmapkhk
Blm'n sonuna bakunz.
teorisinin ve NP problemlerinin
tartigildigi IV.
gerekten, bedenlerimizdeki
dahil) ok sayida atom
tm
maddedogumdan baglayarak birok kez yenilenmigtir,
kinci neden, kuantum fiziginden kaynaklanmaktadir
dogrusunu sylemek gerekirse, birinci nedenle tuhaf bir eligki
iindedir! Kuantum mekanigine gre (bkz.VI. Blm,) herhangi
iki elektronun
tamamen zdeg olmasi zorunludur ve aym ilke,
herhangi iki proton ve herhangi iki temel parac1k iin de geerlidir. Insan beynindeki bir elektronun yerine bir tugladaki elektron konulsa, sistem bir btn olarak, degigiklikten nceki sistemden, ay1rt edilemez!" Aym durum protonlar, atomlar, molekller vs. iin geerlidir. Bir insamn bedenini olugturan btn
malzeme, evinin tuglalarmdan almacak uygun parac1klarla takas edilse, hibir gey degigmes. Bu insamn kendi evinden ayirt
edilmesini saglayan, bireysel paraciklar degil, paraciklarm
tmnn diziliginden ortaya 1kan biimdir.
Kuantum mekanik biliminin d14mda, gnlk yagantumzda
da bunun basit rneklerine
rastlanabilir:
Elektronik teknolojisi
bu kitab1 kelime-iglemciler'le
olanak saghyor. Bir
yazmama
szcg dzeltmek istesem, rnegin yanhg yazdigim
szcgn
olarak dzeltmek istesem ya
harfini siler
yerine
harfini yazanm veya szcg tmyle silerek, yerine
dogrusunu yazarim. Szcg tmyle silerek yeniden yazdignn
harfi, yeniden yazmadan neeki
harfi midir? Yoksa
zaman
yerine bir benzerini mi yazdim? Peki,'i' harfinden ne haber?
Szcgn tmn degigtirmeyip, yalmz
harfinin yerine
harfini koysam bile,
harfinin yokolugu ile
harfinin belirigi
arasmda
kisacik bir sre getigi gibi, degigtirilen harfi iz1eyen
harflerin, szcklerin, satirlarm,
vs. kapsayan bir yeniden diziyeniden hesaplanmasi,
lig; harf, szck, satir, vs. aralarmm
ayarlanmas1,
diziligi vs., bazen tm sayfa boyunca uzayip gider
(Su modern agda ak11siz hesabm sonucuna bakimz!) Dzeltme
iglemini ne gekilde yaparsam yapay1m, nmdeki ekranda grdgm tm harfler, ekramn tm saniyede altmig kez taramrken bir elektron igmimn
izinde yer alan mesafelerden
ibarettir.
Istedigim bir harfi ikarip yerine benzerini koyarsam, bu degigim sonrasi sistem aym nndir, yoksa degigim ncesi sistemden
sadece ay1rt edilemez midir? kinci seenegi ('sadece ay1rt edilemez'), birinci seenekten
('aymsi') farkh bir seenek olarak be-ve,
-ve
'gitdim'
'gittim'
'd'
't'
'g'
'g'
'd'
'd'
't'
't'
29
nimsemeye
ahgmak sama grnyor. En azmdan, harfler ayoldugu
manzaman genel durumu da aym olarak nitelemek
m
tikh bir yakla1m say11abilir. zdegparac1klarm kuantum mekanigi de igte byledir. Bir paracigm yerine ona zdeg bir paracigm konulmasi, ashnda, genel sistemde hibir gey yapmamig
olmaktir: Duruma, ncekinin aym gzyle bakabilirsiniz. (Ancak, VI. Blm'de ele alacagimiz gibi, kuantum mekaniksel
bnemsiz
degildir.)
ierisinde
fark
hi
de
tnlk
yukanda
deginilen grgler, kuantum fiziginden ok klasik fizik kapsammdadir.
Szcklerin seiminde, her bir atomun bireyselliginin
korunmasi aismdan anlam tagiyorlarmiqasma
zen gsterilmigtir. Oysa klasik fizik bu konuda yeterlidir ve bu
atomlan bireysel nesneler oladzeyde bir aiklama yaparken,
rak tammlamakla ok yanhg davranmig sayilmayiz. Kuantum
aismdan
mekanigi
atomlarm bireyselliginden, yalmz anlatim
kolayhgi sagladigt iin degil, ngrlen aiklama dzeyine uygunlugu bakmundan da bahsedilmigtir.
olugturan
Bir insanm bireyselliginin, bedensel materyalini
nesnelere
atfetmeye ahgabilecegi bireysellikle hi ilgisi yoktur.
diyelim uzayda veya
Bunun yerine, bir bakima, bu nesnelerin,
uzay-zamanda
gekillenilim ile ilgisi vardir. Fakat, gl AI
'bilgisi'
-rnegin
'ulagim'
'normal'
31
gine gre,
sonucun
'gvenli
'yolculuk'
'ige
'bilincinin'
-gey,
'kopyalama'
33
digmda)
'igleveel'
yaklagimdan
ibarettir: Bir nesne, tamamen
olarak davramyorsa, kendini bu varhkung
gi-
'hissetmelidir'.
'sadece'
mam geldi.
iin bkz.
(1986) almtidir.
Bilgisayarla
satran ko-
nusunda
7. Kitap boyunca Searle'm terminolojisi olan 'gI AF terimini, bu airi griin kullanmay1 yegledim. 'Fonksiyonalizm' terimi
gn, zn en iyi yansittigi
de aym grg iin sika kullamlmakla birlikte her zaman tam anlam1 veremiyor. Sz konusu grg ileri srenlerden bazilari Minsky (1968), Fodor (1983),
Hofstadter (1979) ve Moravec'dir (1985).
8. ddia ile ilgili olarak bkz. Searle (1987), s. 211.
elegtirirken Douglas
9. Searle'm 'The Mind's F da tekrar bas11an ilk raporunu
Hofstadter, hibir insamn baska bir insamn usunu, son derece karmagik olmasi
yapamayacagmdan
yakmmaktadir.
nedeniyle,
anlasilabilir
analizini'
bir
Gerekten de yap11amaz! Fakat bence iselleptirmenin gereklegtirilmesi asil
ama degildir. Algoritmanm, bir ussal olaym cisimleptirilmesi ile ilgiliktsmiyla
esnasmda
yamtlanmasi
ilgilenmek yeterlidir.
Bu, bir Turing testi sorusunun
bir anhk
kavrama" olabilecegi gibi daha basit bir yntem de olabilir.
Bylesi herhangi bir ussal olay, neden son derece karmagik bir algoritmay1 ge'z
"bilinli
rektirsin?
(1980), Hofstadter
ve Dennett'teki
(1981)
makalesi.
11. Bu konuda
yakmabilirler,
kaybolacaktir
ve Dennett'e
Girig (1981).
35
II. Blm
Algoritmalar
Algoritma
ve Turing Makineleri
Kavrami
Bir algoritma, veya bir Turing makinesi, veya bir evrensel Turalet" nedir sorusu
ing makinesi tam olarak nedir? Niin
stne olugan agdag dgnceler arasmda bu kavramlar merkea
konumundadirlar? Bir algoritmanm yapabilecekleri ilke olarak simrh midir? Bu sorulara yeterli yamt getirebilmek iin ncelikle algoritma fikrini ve Turing makineleri kavramim ayrmtih incelememiz gerekecek.
11eridekiegitli tartigmalar sirasmda bazen matematiksel ifadelere bagvarmamiz kanulmaz olacak. Okuyucularimdan bir kismimn
bundan hi hognut kalmayacaklarnun, hatta belki bunu rktc
bulacaklarmm farkmdayun. Eger bu okurlardan birisi iseniz, size sabir dileyerek, "OkuyucuyaAiklama" blmndeki tavsiyelerimiizlemenizi neririm. Burada verilen tartigmalar genelde ilkgretimin
tesinde bir matematik
bilgisi gerektirmeyecek; ancak, ayrmt11ara
inebilmek iin epey kafa yormak kaimlmazdir. Ashnda verecegim
pek ok rnek yeterince aiktir ve ayrmt11ari izleyerek kavranabilirler. Ama gylece zerinden bir kez okunmalari bile tartigilan konular
haklanda sizlere fikir verecektir. teyandan eger konularm uzmam
iseniz sizlere de sabir dileyecegim.Yine de diyeceklerime gyle bir
bakarsamz ilginizi ekecek birka gey bulabileceginizisamyorum.
'Algoritma' kelimesi 9. yzydda yaanny Horasan dogumlu matematiki Ebu Cafer Muhammed Ibn-i Musa el Harezmi'nin (al-Khowrizm) adindan gelmektedir. M.S. 825 y111armda "Kitab el cebr ve'l
mukabele" bagligiyla ok etkili olmuy bir matematik ders kitabi yazmigtir. Eskiden kullam1makta olan
teriminin yerini bugnk kullammda
kelimesinin alnug bulunmasi
metik" kelimesiyle kurulan bir iligkiye bagh olmahdir. ('Cebir' kelimesinin de aym kitabm baghmda yer alan Arapa el-cebr'den
gelmig olmast ilgintir).
"dgnen
'algorizma'
"algoritma"
"arit-
3654 1365
1365 924
924 441
44142
42 21
924
441
kalan 42
kalan 21
kalan 0.
kalan
kalan
En son blen say1, yani 21 sayisi, aranmakta olan en byk ortak blendir.
Eukleides algoritmasi,
bu ortak bleni bulmak iin izledigimiz sistemli yntemin kendisidir. Burada yntemi belli bir say1
iftine uyguladik,
ama yntemin kendisi herhangi iki saylya
uygulanabilecek
kadar geneldir. Eger verilen sayilar ok bynk
uzun bir sre alabilir; sayilar ne
Fakat her
kadar bykse sre o kadar uzun srebilecektir.
durumda sre tamamlamr ve sonlu sayida iglem yaptiktan
sonra kesin bir yamta ulagihr. Her adimda hangi iglemin yapilacagi tam olarak belirlenmigtir; srecin ne zaman sona erdirilecegi de kesin bir kurala baglanmigtir. Ayrica, tm sre simrolmasma ragmen sonlu
siz byk dogal say11ara uygulanmakta
say1da adimla belirlenebilmektedir. ('Dogal sayilar' deyince eksi
olursa,
yntemi
uygulamak
...)
olmayan tamsayllari
anlayacag1z: 0, 1, 2, 3,
Nitekim, Eukle-
37
Ave B
sayalarun al
A yerine B koy
B yerine C koy
A'y1B'ye bI
C kalanun sakla
Hay1r
C=0?
Evet
Dur ve B yaz
mantiksal
ides algoritmasom
iglemlerinin tamami (sonlu) bir
gemasi' ile temsil edilebilir.
Yukanda srecin en.temel basamaklarma kadar ayrigtinlmadan verilmig olduguna dikkat edilmelidir.
nkA ve B diverilen
iki
edilecek
elde
dogal
blmnden
ye
say1run
kalan savarsay1hyor.
ymm hangi iglemlerle bulunacagim
Hepimizin okulda grendigi bu blme iglemi de algoritmik bir
iglemdir. Gerekte blme iglemi Eukleides algoritmasmm
kendisinden daha karmagik bir sretir, ancak benzer biimde bir
gemas1' ile verilebilir.
Esas zorluk dogal sayilari (normal
clarak) ondahk sistemle gstermemizden
kaynaklanmaktadir.
Dolay1slyla arpun tablosunu olugturmak,
eldeleri tagimak vb.
iglemler yapilmaktadir.
'akig
'bildigimiz'
'akig
Eger bir n sayisim gstermek iin sadece n izik atsaydik, rnegin 5 sayisim ///// ile gsterseydik, kalam bulmak gerekten
basit bir algoritmik iglem haline gelirdi. A sayisi B sayisina blnnce kalam bulmak iin A'dan B sayisun temsil eden izik
gruplarim
peg pege ikanrdik. Geride kalan izikler bize yamti
verirdi. rnegin,1Tyi 5'e blersek kalam bulmak iin ///// gruplanm /////////////////grubundan gyle ayinrdik:
adim
Ave B
sayllarim
al
A yerine
A-B koy
B>A?
Hayir
Evet
Dur ve A yaz
39
ritmasim
veren alog gemasim tamamlamak iin yukaridaki
genceki
akig gemasi iinde sagda ortadaki
kutu iine yermay1
legtirmeliyiz. Bu tr bir algoritmay1 diger bir algoritmamn
sik
iinde yerine koyma iglemine bilgisayar programlamasmda
rastlamr.
n say1smi, n tane izikle temsil etmek sayilar bydke giderek kullamysiz olmaya baglar, ve bizler bu nedenle say11art
gstermek iin standart ondahk sistemi kullamriz. Ama burada
iglemlerin veya gsterimin kullanyleligt bizi o kadar ilgilendirmiyor. Daha ok hangi iglemlerin ilke olarak algoritmalarla yaalgoritma
p11abilecegi ile ilgilenmekteyiz. Bir say1 sisteminde
ile yapilabilen bir iglem bagka herhangi bir say1 sisteminde de
algoritma ile yap11abilir. Farklar sadece ayrmtida ve iglemlerin
karmagikhgindadir.
Eukleides algoritmasi,
matematigin hemen her dahnda bulunabilecek,
artik klasiklegmig pek ok algoritmadan
sadece birisidir. Ancak dikkate deger bir nokta, algoritma
rneklerinin
bu
kadar geriye giden tarihine kargi, genel algoritma kavramsmn
ancak yzyihmizda
kesin olarak verilmesinin
gereklemig bulunmasidir. Bu kavramm birbirine egdeger tammlarima hepsi
1930'larda yapilm14tir.
Bunlardan en dogrudan ve ikna edici
olam ve tarihsel a1dan da en nemlisi Turing makinesi diye biverilenidir.
linen kavram yardumyla
ayrmt11aBu
riyla incelemek gerekecektir.
Bir Turing makinesi hakkmda akhmizda tutulacak en nemmatematik'
li husus bunun bir fiziksel nesne degil bir
nl
rn oldutudur.
Kavram ilk kez, ngiliz matematikisi,
gifre uzmam ve ilk bilgisayar bilimcilerinden Alan Turing tarafmdan (Turing 1937) 1935-6 senesinde daha genig kapsamh bir
probleme
amac1yla
yamt getirebilmek
ortaya
konmugtur.
adlyla bilinen bu problem byk Alman
Entscheidungsproblem
matematikisi
David Hilbert tarafindan 1900 Paris UluslararaMatematikiler
Kongresi'nde kismen (Hilbert'in 10. problesi
mi) ve daha sonra 1928 Bologna Kongresi'nde tam olarak tammlammgti.
Hilbert en genel bir matematik
probleminin zyntem bulunup bulunamayacag1m sormakm iin algoritmik
tayd1; ya da
dogrusu' byle bir yntemin ilke olarak var
olup olmadigun sorgulamaktaydi.
Hilbert'in amaci, aksiyomla'makineleri'
'soyut
'daha
da toplanabilmekteydi.
Her ne kadar insan dgncesine bu bakig aisi, Turing'in bu
ok nemli kavramim geligtirmesinde deger tagmugsa da bizler
aym bakig a1sun kabule zoranlu degiliz. Nitekim, bir mekanik
yntemden
sonra Tune kastedildigini tam olarak aikladiktan
mekanik
normal
anlamda
denmeyecek
ring, iyi tammh ama
baiglemlerin varhnn gstermigtir.
Turing'in kendi
zi matematik
dayanarak onun akil olgusunun dogasi zerine
ahymalarma
noktalar bulunduguna kamt getirebilmek bir
a1k
grglerinde
olmah.
Ancak gu an konumuz bu degil Oncelikle Tueligki
ring'in mekanik yntem kavrammm ne oldugunu anlamahytz.
Turing
Makinesi
Kavrami
41
masi yeterli. Cihazumz olarak sonlu (belki de ok fazla say1da)
ve birbirinden farkh olasi bir bagimsiz durumlar kmesine sahip olsun istiyoruz. Biz bunlara makinenin isel durumlan ad1ilke olarak gereklegtirecegi
Ancak, makinemizin
m veriyoruz.
'digsal'
Sekil2.1 Kurallara
uygun
bir Turing
makinesi
sonsuz
bant gerektirirl
43
'cihaz'
'bant'
'hareket'
'msvedde
'bant',
'ortamm'
'1'
000111101001110010010110100
'okumasi'
...;
00
01
10
11
20
21
30
2100
->
->
->
->
->
->
->
->
OOR
131L
651R
10R
01RSTOP
661L
370R
31L
I
2581
2590
2591
->
->
->
00RSTOP
971R
00RSTOP
46
Okun sol tarafindaki iri rakam, cihazm okuma iglemini gereklegtirmekte oldugunu gsteren ve bantm zerinde yer alan igarettir; cihaz bu simgenin yerine sag tarafta ortada bulunan iri
rakami koyar. 'R', cihazm bant boyunca saga dogru bir adim, 'L'
ise sola dogru bir adun hareket etmek zorunda oldugunu gsteyerine
zgn tanimmda oldugu gibi, cihazm
rir. (Turing'in
saga
bir
R'yi
bantm
ettigini
kare
dgnrsek,
hareket
bantm
olarak
yorumlayasola
etmesi
komutu
bir
hareket
kare
ve L'yi
biliriz). STOP szcg, iglemin tamamlandigun ve cihazm durgsterir. zellikle,01-+131L komutu cihaz
mast gerektigini
isel duruise
durumunda
ve banttan 1 okuyorsa, 13 numarah
zerinde
birakmasi
ve bant
olarak
1
bant
gemesi
ve l'i
ma
zerinde bir kare sola kaymasi gerektigini gsterir. Son komut
2591 00R.STOP, cihaz 259 durumunda ise ve bant zerinde
l'i okuyorsa, 0 durumuna gemesi, bant zerinde O uretmek
iin l'i silmesi, bant boyunca saga dogru bir kare kaymasi ve
iglemi tamamlamasi gerektigini gsterir.
sel durumlari 0, 1, 2, 3, 4, 5,... gibi sayllar kullanarak gstermek yerine, 0'lardan ve l'lerden olugan simgeler kullanmasimgeler sism1z gerekseydi, bant zerinde yukarida aiklanan
olurdu.
n durumu
1stersek
dogru
sadik
kalmanuz
daha
temine
iin n adet 1 kullanabilirdik
ama bu yetersiz olurdu. Bunun yerine ikilik sayi sistemini kullanahm:
'0'
0
1
2
3
4
5
6
7
8
9
10
11
12
->
-
0
1,
10
11,
100,
101,
110,
111,
1000,
1001,
1010,
1011,
1100, vs.
,
->
->
->
->
->
->
->
->
->
->
->
->
Burada sag taraftaki son hane standart (ondahk) sistemde oldugsterirken, hemen ondan bir nceki hane
gu gibi,
luklar' yerine
gsterir. Bundan nceki hane yzlkler
degil, drtlkler, daha nceki hane
degil
vs. gsterir ve sola dogru hareket ederken birbirini izleyen her
hanenin degeri, birbirini izleyecek gekilde ikinin katlaredtr:
1,2,4(=2x2),8(=2x2x2),16(=2x2x2x2),32(=2x2x2x2
nedenlerle,
x 2), vs. (lerideaiklayacagmuz
dogal sayllari temsil
etmek amaciyla ikilik veya ondahk sistemlerden
bagka bir basamak sistemi kullanmayi bazen daha uygun bulacag1z: rnegin,
lk sistemde, 64 ondahk sayisi her hanesi n katlari degerinde olmak zere 64= (2 x 33) + 3 + 1 olarak yazilacaktir.
Bkz.
IV. Blm, s. 126, dipnot)
1seldurumlari belirlemek iin bu ikilik sistemi kullamrsak,
Turing makinesinin komutlari agagidaki gekilde olacaktir:
'birlikleri'
'on-
'ikilikler'i
'binlikler'
00
01
->
->
10
->
11
100
101
110
->
-->
-->
->
11010010
->
'sekizlikler',
OOR
11011L
10000011R
10R
olsTOP
10000101L
1001010R
111L
1000000101
00sTOP
1000000110
11000011R
1000000111
00STOP
Yukarida R.STOP sembo1n STOP olarak kisalttim nk
L. STOP komutu hibir zaman gzkmez ve iglemin son agamasimn sonucunun, yamtm bir parasi olarak, daima cihazm sol
tarafinda gsterilmesi gerekir.
->
->
->
47
Diyelim ki cihazimiz
000111101001110010010110100
Turing makinesi
yaptigun
rnekte),
isel durum
'11'e
rilmig olur.
|
000111101001110110010110100
11
'l'i
5->11111,
vs.
11->11L,
10->101R,
ol->11L,
00->00R,
1000R,
111
110
101->110R,
100->10100R,
1010 ->1110L,
->111R, 1000 ->1000R,
100 I->1010R,
1110
1100->1100L,
1101->11L,
1011->1101L,
10000 ->100iOL,
1111->10001L,
->1110L,
100R
->11L,
10001 ->10001L
10100 ->00STOP,
10101->10101R.
->
->10010,
->10011
49
temsil eden
ol STOP,
11-> 11R,
...00000111100000...,
varsayahm.
Yine varsayahm
bantma uygulandigim
ki cihaz
olup,
baglangita l'lerin solunda bir yerdedir. Isel durumu
'O' okumaktadir. Ilk komuta uyarak bunu 'O' olarak birakir ve
saga bir adim kayarken isel durum 'O'da kahr. lk 1'e ulagmcabu iglemi srdrr.
ya kadar; saga dogru birer adim atarak
Sonra ikinci komut devreye girer: l'i 1 olarak birak1r ve bu kez
isel durum l'de olmak zere tekrar saga hareket eder. Drdnc komuta gre, l'lere dokunmadan isel darum 1'de kahr,
l'leri izleyen ilk O'a varmeaya kadar saga dogru ilerler. Bu
agamada nc komut cihaza, O'i l'e degigtirmesini, saga bir
adim daha atamasim syler. Bylece, 1 ler dizisine bir 1 daha
eklenmig olur, ve rnegimizin
4', ngrldg
gibi, 5'e gerekten cevrilmig olur.
Denememizde biraz daha ileri giderek,
'0'
00->00R,
01->10R,
10->101L,
11->11R,
100->110R,
018TOP,
10 1-> 1000R, 110
1000
111-> 111R,
->1011L, 1001->1001R,
1010 ->101L,
1011 ->1011L,
->
Turing makinesi, birok agamadan sonra durdugu zaman, okuma cihazi, sifir olamayan hanelerin sagmda kalmak zere agagidakigekilde bir a1hm elde ederiz:
...000011000000000000...
EUC
(veya UN
a1klamak,
x 2) cihazmm
bilgisayar programlarmm
gimizzelligi
gibi, makinenin
karmagik yapisim
ok daha karmagik! (Algoritmik bir yntemin
anlatmaktan
kendisinden
anlamak
midir? Bizim
Sezgilerin kendileri algoritmik
iin daha sonra nemli olacak bir soru bu!) EUC veya UN x 2
rnekleri
iin gimdi bu konuyu tartigmayacagim. Dikkatli bir
okur, bu kitabm amalanan kapsami ierisinde kavramlan daha kisa ve z
iin Eukleides'in algoritmasmda
ufak bazi degigiklikler yaptigimi
fark etmig olmah. Buna ragmen, 11 farkh isel durum iin 22 basit komutu ieren EUC
tammi yine de karmagiktir. Karmagikhk byk lde sistemin dzeninden
kaynaklanmaktadir.
rnegin, 22 komuttan
yalmz 3' bant zerindeki
igaretlerin degistirilmesi ile ilgilidir! (UN x 2 iin dahi, yansi igaret degigtirmekle ilgili 12 komut kullandim.)
sezgi gerektirir.
.a1klayabilmek
Sayisal
Verilerin
kilik
Gsterimi
Birlik sayi sistemi, byk sayilann kodlanmasi iin son dereBunun yerine, daha nce aikladigimiz
gibi oce yetersizdir.
gunlukla ikilik say1 sistemini kullanacag1z. Ancak, bunu dogrudan, banti iki basamakh sayl gibi okumaya kalkigarak yapamaytz. Sayimn iki basamakh kodunun ne zaman
sona erdigini ve
sag tarafta bog banti temsil eden sonsuz O'lar serisinin ne zaman bagladigim bildirmenin bu durumda hibir yolu yoktur.
ngrlen sayi iftlerinde*
stelik,Eukleides'in algoritmasmda
oldugu gibi egitli sayilan yklemek zorunda kalacagiz. Bir basamakh sayilarin ikilik gsterim sistemine dahil O'lardan veya
O'lar dizisinden, say11ar-aras1 arahklan ay1rt edemeyiz. Aynca,
say11ann yam sira, her egit karmagik komutlan da veri bantistesinden
gelmek
na dahil etmek isteyebiliriz. Bu zorluklann
iin, bzlm olarak adlandirdigim
bir yntem uygulayahm.
Bu yntemde,
O'lar ve l'lerden olugan (l'lerin sonlu toplam
adediyle birlikte) herhangi bir dizi, sadece iki basamakh say1
gibi okunmaz; bu dizinin yerine, ikinci siradaki her bir hanenin, ilk siramn birbirini izleyen O'lan, l'ler, 2'ler, S'ler, vs'den
olugan yeni bir dizi geer. rnegin
51
Simdi2, 3, 4,...
komutlar
sayilarim
igaretler veya herhangi
okuyabiliriz.
sayisi sadece 'virgl'
olarak
bir trden
grevini
01000101101010110100011101010111100110
dizisi yerine
olo o
010110101011010
|||||
1001
stlenirken,
lil
2 11
lill
100
01110101011110
3
ill
11
olio
Il0 2 I
'eksi
3, 4, 6,... sayilarrn,
istegimize gre,
igareti',
gibi
igareti',
igareti',
komutlar iin
tekrarla' vs.
birbirinden aynlkullanabiliriz. Artik, daha byk rakamlarla
mig O ve l'lerden olugan dizilere sahibiz. Bu dizilerin her biri
ikilik sistemde yazilnug basit sayllan gsterir. Buna gre yukaridaki tam dizi ('2' yerine
okunarak) gyle okunur:
'artl
'iglemi
'arp1
'virgl'
virgl
1001,
'3',
'4',
ulagiriz.
Bu sre bize zel olarak dizinin sonunda sadece virgl kullanmak suretiyle bir sayima tammun sona erdirmek (ve bunu
yapmakla
saylyi, sag tarafta bog bantm sonsuz uzantismdan
ay1rmak) olanag1m verir. Aynca, sayilari ayirmak iin virgller
kullanabilecegimiz tek bir O'lar ve l'ler dizisi almasi nedeniyle,
ikilik sistemde yazilmig herhangi bir sonlu dogal sayilar dizisini kodlamamizi saglar. Simdibunu rnekliyelim:
5,13,0,1,1,4,
dizisini alahm.
Ikilik sistemde
101,
l101,
0, 1, 1, 100,
000010010110101001011001101011010110100011000
O
1
->
->
->
0
10
1 10
Dolayis1yla yukaridaki
gyledir:
10 1, l 101,, 1, 1, 100,
ve bant zerinde ailung ikilik say1 sistemine uygan olarak
geklinde gsterilir (Ailmig sistemle daha nce yazdigmuz
koda
gre bir sifir eksik...).
a11mig ikilik sistemle
Artik rnegin Eukleides algoritmasim,
...00001001011010100101101101011010110100011000...
53
yazilmig 6 ve 8 sayllarma
uygulayacak
bir Turing cihazi
layabiliriz. 6 ve 8 say1 ifti iin daha nce kullandignmz,
tasar-
...000000000001111110
1111111100000...,
yerine ikilik sayi sistemindeki
sirasiyla, l 10 ve 1000 gsterimini kullamrsak;
6, 8 sayt ifti a11m14 ikilik sistemde bant
zerine
...00000101001101000011000000...
110000010100001000001,
10000 110 100010,
olacaktir.
001010000001001OOOOl000000101101000001010010000100110
'isel'
'msvedde
makinesi
tarafmdan yapilabilir:
00->00R,
01411R,
10->00R,
11->101R,
101-+101R,
100->110L,
111->1000L
110->018TOP,
1000->1011L,
1010->1100R,
1001->l001L,
1011->101R,
1101->1111R,
1110->111R,
1111->1110R.
Yine merakh
iglemi gerekten
bir okurum, Turing makinesinin
yapamayacagim,
diyelim, ikilik bir sistemde yazimi
yapip
10100111 olan 167 sayisma uygulayarak denemek isteyebilir.
Buna gre bant zerinde okunacak kod:
...0000100100010101011000...
olacaktir. kilik sistemde bir saylya 1 eklemek iin, son O'u l'e
evirmemiz
ve sonra bunu izleyen btn l'leri 0'larla degigtirmemiz yeterlidir.
Buna gre, 167 + 1 = 168 bant zerinde
10100111+
I
'
olarak
yazihr.
'Bir-ekleyen'
1= 10101000.
Turing
makinemiz,
yukarida
veri-
len kodu,
...0000100
100 100001100000...
koduna evirecektir ve gerekten de byle yapar.
Yalmzca bir eklemek gibi basit bir iglemin bile, onbeg komut ve sekiz farkli isel durum kullanan bu sre kapsammda ne kadar karmagik olduguna dikkatinizi ekerim! Birlik
sistemle iglem yapmak elbette daha basittir, nk
ekleme' iglemi iin sadece
l'ler dizisini bir 1 daha ekleyerek
usatmak
yeterlidir.
Bu nedenle, UN + 1 makinemizin
daha
temel dzeyde iglem gereklegtirmesine
gagmamak gerekir.
Ancak ok byk sayilarla UN + 1, agm uzunlukta
bant gerektirecegi
iin son derece yavag ahgabilir. Bu nedenle
kapsamh bir a11mig ikilik say1 sistemini
nedeniyle
kullanmasi
daha karmagik bir makine olan XN + l'i kullanmak daha ya'bir
rarh
olacaktir.
'ikiyle
Bu arada
birlik sistemden
nabilecegi
lerle
01->11R,
100anlR,
10-->00R,11->100R,
HO->00STOP
Tezi
makineleri
inga etmeye ahsti mi,
aritmetik
iglemlerinin
toplama, 1karma, arpma vb. egitli
gerekten yapilabildigini
hepsinin zel Turing makineleriyle
grerek ikna olacaktir. Kalanh blme igleminde oldugu gibi sonuta bir dogal sayi iftinin 1ktigt veya sonucu, zorunlu olarak
sonlu fakat byk miktarda sayilar kmeleri halinde ahndigi
Ayrica,
gereklegtirilebilir.
iglemler de Turing makinelerince
needen
beliriglemini yapmasi gerektiginin
hangi aritmetik
lenmedigi fakat iglemle ilgili komutlarm banta yklenmig oldugu durumlar iin de Turing makineleri inga edilebilir.
Bu gibi durumlarda, herhangi bir agamada yapilmasi gerekli
iglem, makinenin
daha nceki bir asamada yapmak zorunda oldugu islemin sonucuna bagh olabilir ('Bu iglemin sonueu gundan-qundan daha yksekse bunu yap; degilse onu yap'). Aritmetik veya basit mantiksal iglemleri uygulayabilen Turing makineleri yapilabilecegine inandiktan sonra, bunlarm daha karnitelikte
iglemleri de nasil yapabileceklerini
magik algoritmik
Bu fikre ahytiktan bir sre sonra
dgnmek zor olmayacakt1r.
retebiherhangi bir mekanik iglemi gereklegtiren makineler
olarak
bir
Matematiksel
leceginize kendinizi inandirabilirsiniz!
olarak
cihazla
iglem
yapilabilecek
tamekanik iglem, byle bir
I
'hesaplanabilir"yinelenebilir'
'Algoritma' ismi ve
gibi
sifatlarin hepsi, Turing makineleri
ve
gibi teorik
makineler
tarafmdan gereklegtirilebilen mekanik iglemleri tamuilamak
iin matematikiler
tarafindan kullamhr. Bir ynyeterince
kesin ve mekanik ise, bu yntemi uygulayacak
tem
bir Turing makinesinin
gerekten
bulunabilecegine
inanmak
zor degildir. Bu inan, (yani Turing'in inanci) ne de olsa, Turing
makinesi
kavrammi, girig blmmzde savanan grgm'etkin'
zn
temelinde yatmaktadir.
'hesaplamalar'
'tekrarh
'elveriaiz'
'et-
57
lasim gereklegtiremez;
makine
zaten
iletigimli
olsalardi
sonuta
bir
olurlard11
'bir-boyutlu'
'koordinati'
'elverigsiz'
'me-
'akig
ok
gemasi, makineden
Bu blmde yap11an tammlamalar erevesinde
temsil
bir parasi kabul edilir. Bant zerinde
digsal evrenin yani
edilen A, B, A--B, vs. gerek sayilardar. Ancak, makinenin dogrusal bir-boyutlu
Daha sonra
tanimlamak isteyecegiz.
formunu
da, gelecek blmlerde
grecegimiz gibi, evrensel Turing makinesi ile ilgili olarak, zel bir
ayrmtih
(veya
tanum
tamnu ile belirli bir cihazm olasi
arasmda ok yakm bir iligki vardir. Bu nedenle, bunlarm her ikisini bir-boyutlu
formda ele almak, kolay tammlanmalarmt saglayacaktir.
*
'bantm'
'eihazm'
'verileri'nin
'programf)
turacaktir.
Dogal Sayilardan
Bagka Sayllar
-597/26),
'-'
'/'
'-'
'/'
'4'
69
kullanarak siras1yla 1110 ve 11110 kodlarnu elde edebiliriz). Eksi sayilar ve kesirler bylece, dogal sayilardan
olugan
sonlu kmeler halinde igleme dahil edilecekleri iin genel hesaplanabilirlik bakmundan bize yeni bir sey vermezler.
yeni degildir.
rnegin, 3,14159265
sonlu
ondahk
ifadesi yalmzca
314159265/100000000 kesirsel sayisidir. Bu ifade irrasyonel x
sayisma bir ondahk yaklagikhk gsterir. Ancak
sayismm
gibi sonsuz
makinesinin
ondahk
3,14159265358979...
Evrensel
Turing
Makinesi
61
den ayirt etmek iin farkh bir kodlama sistemi kullanmamiz gesonunda yer alan bynk
rekmez. nkikilik say1 sisteminin
ayirt etmek iin yeterdigerlerinden
hanelerin konumu, bunlan
rnegin,
ikilik
110 1, 1101
lidir. Buna gre,
sayisi gibi okunacak
zerinden
1010010 olarak kodlanacaktir. zellikle
ve bant
00, 00 olarak okunacak, O olarak veya tablodan tamamen ikanlan bir simge olarak kodlanacaktir. Bir ok igaretini ve bu igaretten hemen nce yer alan simgeleri kodlama zahmetine girmeyerek, komutlarm sayisal sirasma gre degerlendirmek yoluyla
byk lekte ekonomi yapabiliriz. Ancak, bu yntemi uygular'sahte'
komut vererek, komut listeken, gerektigi zaman bir ka
sinde bogluk kalmamasma zen gstermeliyiz (rnegin
XN + 1
1100
makinesi
hi
uygulamasmda
kombinasyonu
Turing
bir zaman meydana gelmedigi iin komut listesinde byle bir kombinasyon yoktur. Bu nedenle 1100-> OOR sahte komutunu kullanarak, hibir geyi degigtirmeksizin, listedeki boglugu doldurabiliriz. Aym gekilde, 101-> OOR sahte komutunu XN x 2 maki'sahte'
nesine dahil edebiliriz.) Bo egit
komutlar olmaksizm, lisalan
sonraki
komut
bir
tede yer
sirasi bozulabilir. L ve R sembirbirinden
komutlan
bolleri,
ayumaya yeterli olacag1 iin her
komutun sonuna virgl koymak gerekmez. Buna gre sadece
agagidaki kodlamay1 kullamnz:
0 veya 0 iin
sToPiin
0,
rnekolarak,
XN
1110,
1 veya 1 iin
10,
R iin
110,
L iin
11110.
+
1 Turing makinesini
kodlayahm
(1100->
OORkomutuna ierecek gekilde). Oklan ve onlardan hemen natarak agagidaki kodu elce gelen haneleri ve aynca virglleri
de ederiz:
110L
00R
00R
101R
101R
olsTOP
11R
1011L 1001L 1100R 101R 00R 1111R 111R
Bu kodu, her 00'1 atarak
geligtirebiliriz:
1000L
.1110R.
sadece
1 koyarak
1 STOP1000L10
11 L100
1 L1100R
Bant zerindeki
strasma
1101010110110100101101010011101001011
010111101000011101001010111010001011101
010001101001011011010101010110101010110
1010100110.
Biraz daha ekonomi
nce gelen
sonsuz
100
usantisi
semboln
ile birlikte)
daima ikarabiliriz.
Bu sembol, makinenin
banti zerindeki
igaretlerin en solundan zorunlu olarak baglang1 alarak birinci
igarete ulagmcaya
dek saga dogru ilerleyebilmesi iin tm Turing makinelerinin
ortak zelligi olarak ima ettigim
gibi,
00->00R baglang1 komutunu temsil eden 00R'yi gsterir. Aym gekilde, sondaki 110 simgesini de (ve onu takip ettigi farzedilen sonsuz O'lar dizisini de) atabiliriz. nk,btn Turing makineleri tammlamalanm bu gekilde bitirmek zorundadir
(hepsi
R, L, veya STOP ile sona ererler), XN + 1 cihazmda sonuta elde
edilen ikilik sayi, Turing makinesinden 1kan sayidir:
10101101101001011010100111010010110101
1110100001110100101011101000101110101000
1101001011010101010101101010101101010100.
Standart
de edilir:
gekilde ifa-
450 813 704 461 563 958 982 113 775 643 437 908.
bazen
'n'inci
63
1010110101111101010
ikilik sayisma sahiptir! Yani son derece basit bir Turing makinesi olan UN + 1, 177 642'nci Turing makinesi
olmaktadir. Sadece merakmuzi
gidermek amac1yla bir bagka rnek verelim:
'ikiyle
arp1m', her iki gsterimde de Turing makineleri
listemizde bu rnek arasmda bir yer alabilir; nk XN x 2'nin sayisi 10389728107, UN x 2'nin sayisi ise 1 492 923 420 919 872
026 917 547 669'dur.
Bu sayilarm boyutlari a1smdan, dogal say11arm ogualuguiglerlik kazandirmadigun grenmek
nun Turing makinelerine
gagirtic1 olmayabilir.
lk on Turing makinesini, bu numaralama sistemine
uygun
olarak
siralayahm:
000R,
Ol-+00R,
To:
T1:
000R,
01-+00L,
01-+01R,
T2:
00-+00R,
Ts:
T4:
Ts:
00->00R,
01->00STOP,
00-+00R,
01-->10R,
00->00R,
01->01L,
To:
00->00a,
01-->00R,
Ty:
Ta:
Tg:
Tio:
Tit:
T12:
00->00R,
01-+???,
000R,
0.1->100R,
okoOR,
01-+10L,
00->00R,
01-->11R,
00-+00R,
01-401STOP,
00-+00R,
Ol->00R,
10->00R,
100R.
\
64 . Algoritmaler ve Turing Makineleri
asla durmaz. Ta ilk saygideger makinedir.
Birinci l'i (en soldaki)
O'a degigtirdikten sonra, alakgnlllk gstererek durur.
T4 ciddi bir sorunla kargilagir. Bant zerinde birinci l'i bulduktan sonra, listede bulunmayan bir isel duruma girer ve bu nedenle bir sonraki agamada ne yapacagma dair hibir komutu yoktur.
Ts, Ty ve Tio aym sorunla kargilagirlar. Ty'ain karg11agtig1sorun
daha da ciddidir. Kendisini kodlayan O'lar ve l'ler dizisinde be;
adet 1 peppege yer almaktadir:
110111110.
Bu dizinin yoruzerinde
olmadigi
birinci 1 ile kargilagtigi anda
iin Ty bant
ma
tak1hp kalacaktir ('n' sayismm ikilik aihmmda peppege drt adetten fazla 1 dizisi ieren Ty makinesini, veya aym nitelige sahip
herhangi bir T, makinesini dogru tammlanamanug makineler olarak adlandiracagim). Ts, Te ve T12 makineleri,
To, Ti ve T2 makinelerininkine
benzer sorunlarla kargilagirlar. Hi durmadan sonsuza kadar hareketlerine devam ederler. To, Ti, T2, T4, Ts, Ts, Ty,
Ts, Ts, Tio ve T12 makinelerinin
hepsi degersizdir! Yalmz Ta ve Til
ige yarayan Turing makineleri olmakla birlikte iglevleri bakimmdan ilgi ekici olmaktan uzaktirlar.
Tu, Titen de mtevaz1dir.
l'le ilk kargilagmasmda durur ve hibir geyi degigtirmez!
Listemizde fazlahk bulunduguna da dikkat ekmeliyiz. Tre
ve To birbirinin ayms1 olup, uygulama bakimmdan To'a benzerler: Te ve T12'de 1 isel durumuna asla girilmez. Listede yer
alan yararsiz Turing makinelerinin
fazlahgi camm1zi s1kmasm.
ogunueleyerek fazlahm giderilmesi ve kodlama sistemimizin dzeltilmesi mmkn
olabilirdi. Ama bu arada Turing makinesinin,
sayismi okuyan zavalb evrensel Turing makinemizi T, imig gibi davranmaya zorlayarak,
biraz daha karmagik hale getirmesine neden olurduk. Dogrusu, btn ige yaramazlardan
(veya fazlahklardan) kurtulabilseydik buna degerdi.
grecegimiz gibi, bunu gereklegtirmemiz mmOysa az
kn degildir! Bu nedenle kodlama sistemimizi
birakahm oldugu gibi kalsm. zerinde,rnegin,
'n'
,sonra
...0001101110010000...
igaretleri
bulunan
yorumlanabilir.
ynde
sonsuz
olarak
devam et-
65
tiklerini fakat l'lerin yalmz bir sonlu sayisi oldugunu hatirla(yani, en az bir 1 vardir) siftr olyunz. Ben, l'lerin sayisuun
madtgun
da varsaylyorum,
ilk ve sonuncu l'ler de dahil olmak
arasmda
kalan sonlu simgeler dizisi, yani yukarizere bunlar
daki rnege gre,
110111001,
441) ikilik gsterimi olarak
okunabilir.
Ancak, bu yntemle tek sayilar (ikilik sistemde sonu
1 ile biten sayilar) elde ederiz, oysa tm dogal sayilari kodlayabilmeliyiz. Bu nedenle kolay yolu seer ve sondaki l'i (yalmzca
kodlamamn sona erdigini gsteren bir igaret olarak kabul edildigi iin) kaldmr ve geriye kalam ikilik sayi olarak okuruz." Bu
rnek iin, ondahk sistemde 220'nin kardurumda yukaridaki
g1ht olarak
(ondahk sistemde
11011100,
ikilik sayismi elde ederiz. Bu yntemin
kodlanmasim saglamasidir:
yarari,
sifirm
da bant
zerinde
...0000001000000...
taraftan ykledigimiz
l'ler dizisine (sonlu) uygulanmasun
T, Turing makinesinin
sag
bir bant
ele alalun. Ss konusu diziyi, yukarida tammlanan hesap evrevesinde, bir sayunn, diyelim m sayisimn iki basamakh gsterimi olarak almak uygun olacaktir. Peppege agamalardan
sonra T,'in
sonunda
STOP konumuna geldigini dgnelim. Bu konuma
sol tarafta retmig oldugu ikilik
ulagmcaya
kadar makinenin
haneler dizisi, hesabm yamtidir. Bunu, bir sayimn, diyelim p
T,, m sayisma uysayismm ikilik kodlamasi olarak okuyahm:
gulandigmda p sayisim retir:
T, (m) p.
zerindeki
O'lar ve
makinesinin
izleyen hergey m tarafmdan temsil edilen banttan bagkasi olamaz (yani, hemen 1000... sirasi tarafindan izlenen m say1si).
Bu ikinci kisun, T, tarafmdan igleme almmasi beklenen banttir.
rnegin,n 11 ve m 6 olarak aldignmz zaman, U makinesinin igleme almasi gereken bant iin igaretler sirasi agagidaki gibidir:
=
...000
1011111110110
Bu siramn
10000...
yapis1:
'liste'ye
'in
67
ve bu nedenle bu yntemle son derece yavag uygulama
yap11masi
kauulmazdir, Ancak, byle bir makine iin bir komut listesi elbette temin edilebilir; bu makinelere eurensel Turing makinesi
adnu veriyoruz. Makinenin n ve m sayilarma uygulanmas1 U
(n,
m) olarak gsterilirse apagidaki egitlik elde edilir:
(n, m)
T,
(m)
bagintisini
bir u sayist bulunacaktir.
u ne kadar
byktr? Ashnda tam olarak
degeri gyle verilir (veya,
en azindan benzer boyutta bir bagka sayl):
saglayan
.u'nun
724485533533931757719839503961571123795236067255655963110814479
6606505059404241090310483613632359365644443458382226883278767626556
1446928141177150178425517075540856576897533463569424784885970469347
2573998858228382779529468346052106116983594593879188554632644092552
5505820555989451890716537414896033096753020431553625034984529832320
6515830476641421307088193297172341510569802627346864299218381721573
3348282307345371342147505974034518437235959309064002432107734217885
1492760797597634415123079586396354492269159479654614711345700145048
1673375621725734645227310544829807849651269887889645697609066342044
7798902191443793283001949357096392170390483327088259620130177372720
2718625919914428275437422351355675134084222299889374410534305471044
3686958764051781280194375308138706399427728231564252892375145654438
9905278079324114482614235728619311833261065612275553181020751108533
7633806031082361675045635852164214869542347187426437544428790062485
8270912404220765387542644541334517485662915742999095026230097337381
3772416217274772361020678685400289356608569682262014198248621698902
6091309402985706001743006700868967590344734174127874255812015493663
9389969058177385916540553567040928213322216314109787108145997866959
9704509681841906299443656015145490488092208448003482249207730403043
1884298993931352668823496621019471619107014619685231928474820344958
9770955356110702758174873332729667899879847328409819076485127263100
1740166787363477605857245036964434897992034489997455662402937487668
8397514044516657077500605138839916688140725455446652220507242623923
7921152531816251253630509317286314220040645713052758023076651833519
95689139748137504926429605010013651980186945639498
Say1 kugkusuz insam rktecek kadar byk! Gerekten de rkte boyutta olan bu saymm daha kk bir boyuta nas11 inile ilgili oladirgenebilecegini bilmiyorum. Turing makineleri
kurallann
olduka
rak nerdigim
kodlama yntemlerinin
ve
evrensel
Tuolmalarma
mantikh
bir
insamn,
kargm
ve basit
kodlanmasi iin bylesine byk boyutta bir
ring makinesinin
say1yla kargilagmasi kaimlmaz oluyor/
Btn genel amah modern bilgisayarlarm sonuta birer evolduklarim
rensel Turing makinesi
daha nee sylemigtim. Bu
mantiksal
egit bilgisayarlann
tasananmn evrensel Turing maile
ilgili
kinesi
tammlamalanna tamamiyle benzemesi gerektigini ima etmiyorum. Anlatmak istedigim qu ki, herhangi bir evrensel Turing makinesi ilk olarak nygun bir programla (girdi bantima birinci kisun) donattigumz zaman bu makineyi, herhangi bir
davramgim taklit edebilir duruma getirebiTuring makinesinin
lirsiniz! Yukandaki tammlamalara gre, program salt bir say1 (n
sayisi) biimini ahr, fakat Turing'in zgn tamnumn birok varbulunmasi nedeniyle bagka yntemler de kullamlayasyonunun
bilir. Ashnda ben de tammlamalarimda, Turing'in zgn tammmdan
bir hayli saptim. Ancak, tammlama farkhhklarmm
hibiri burada ele aldigmuz konu bakumadan nemli degildir.
Hilbert
Probleminin
zmszlgd
69
y11ar iglem yaptiklarmda
asla durmazlar. Durmaksizm sonsuza
kadar uzay1p giden kuramsal bir algoritmanm
pek bir yararima
olmadigi sylenebilir. Bylesi algoritma
bile degildir. Bu nedenle, m sayisma uygulanan T in yamt verip vermeyecegine karar
verebilmek nemli bir scrudur! Yamt vermezse (yani iglem durmazsa), bunu agagidaki gibi ifade edebilirim:
T,0n)
O.
*
Dogal saydar deyimiyle 0, 1, 2, 3, 4, 5, 6,... sayllaram kastettigimizi hatirlaym.
Fermat teoremindeki (x- + y" = z") x, y, z > 0, > 2) ifadesi yerine
+ 1'
+
w
ve
3', vs. ifadelerinin kullamlmamasmm
sebebi, x, w, vs. iin sifirdan baIayarak
tm dogal sayilari dikkate almanuzdir.
'x
'w
,z)
6=3+3,8=3+5,10=3+7=5+5,12=5+7
14 3 + 11 7 + 7,...
asal
saynar
tek sayilar oldugu iin 2 + 2 hari,
(2 diginda tm
ift say1dan olugan ikilileri test etmemiz gerekmez). Makinemiz, ayrddigi ikililerden hibiri asal say1dan olugmayan ilk sazaman duracaktir. Bu durumda, Goldbach samtiy1ya ulagtigi
yani, iki asal sayimn toplami olmayan ve 2'den
kargit-rnek,
na
=
2, 3, 5, 7, 11, 13, 17,... gibi asal say11arm yalmz kendi1erine blnebilir say11ar
hatirlayimz. Ne 0, ne de 1 asal sayi kabul edilmez.
oldugunu
71
Burada U evrensel makinesi iin geerli kural n ve m sayllar1Ancak bu agamada, bazin sanm kodlanmasma uygulanabilir.
7) T, dogra tammlanmadigi iin, teknik
yilari iin (rnegio n
bir sorunla karsilagabiliriz: 111101 igareti, bant zerinde n'i
gelm'den ay1rmakta yetersiz kalabilir. Bu sorunun stesinden
mek iin daha nce yaptigimiz
gibi, m'i normal ondahk sistemde kodlarken, n'in ailung ondahk sistemde kodlandigim varsayahm. Bylece 110 igareti, n'i m'den ay1rmaya yeterli olacaktir. U(n, m) ifadesindeki virgln yerinde H(n; m) ifadesinde
noktah virgln kullamlmasi bu degigikligi gsterecektir.
Simdi,olasi tm girdileri nygulayan olasi tm Turing makinelerinin tm girdilerini liste halinde ieren sonsuz bir dizge dgleyelim.
=
yntemi
vn->012345678...
0
1
2
3
4
5
6
7
8
197
OOOOOOOOO...
000000000...
111111111...
020202020...
111111111...
000000000...
001020304...
012345678...
010010001...
2 3 5 7 11 13 17 19 23
I
i
Bu dizgenin n'inci sirasi, T, makinesinin 0, 1, 2, 3, 4,... girdileri zerine iglem yapt1gmda iktilarm ne oldugunu gstermektedir. Yukardaki tabloda biraz hile yaparak, Turing makinelerine gerekte sahip olduklarmdan
verdim.
farkh numaralar
nleByle yapmakla listenin daha bagmda sikici grnmesini
ahytan.
aksi
halde
11'den
kk
degemeye
n sayisimn
nk
O'lerden bagka hibir gey retre sahip oldugu tm makineler
11 iin O'lardan bagka hibir gey elde edemezdik. Bu
mez ve n
nedenle listenin gerekte nasil grndg hakkmda bir izlenim
saglamak amac1yla ok daha uygun bir kodlama yarattim.
Bu dizgenin bir algoritmayla, gerekten hesaplanrnast gerektigini iddia etmiyorum (Zaten biraz sonra grecegimiz gibi byyok). Gerek listenin nasil olduysa, belki de
le bir algoritma
Tanri tarafindan, nmze seriliverdigini
hayal etmemiz bekleniyor. Bu tr hesaplar sonsuza dek srecegi iin bir O'yi hangi
asla emin olamay1z; igkonuma ne zaman yerlegtirecegimisden
lemi gerekleytirmeye kalkigtigimiz zaman ortaya 1kacak O'ler
kargilaacagimiz zorluklarm baghca kaynag1 haline gelir.
=
73
Teorik1Ti kullanabilseydik tabloyu retmek iin gerekli yntemi bulabilirdik. nkH, O'lerin nerelerde olugacagru bize sy1erdi. Fakat, bunun yerine, her O'yi, 0 ile degigtirerek O'leri eklence
T,'in m'e uygulanmas1ndan
mek iin H'i kullanahm.
bu gereklegir; daha sonra, H (n; m)
H (n; m)'in uygalamasiyla
l'in koguluyla (yani, sadece Ta {n) hesabi gerekten bir yamt vem'ye iglem yapmasma
izin veririz, ve H(N; m) 0 ise
rirse) T
sadece
0
ise)
T,(m)=O
yazanz. Bylece bu yntemi (yani,
(yani
elde edilen yntemi)
uygulanmastyla
nee
T.
H(n;m)'in
(m)'den
=
'in
T,(m)xH(n;m)
ile
olarak yazanz. (Burada, matematik iglemlerinin siralanmasi
sagdaki igilgili bilinen bir matematik kurahm uyguluyorum:
Sembolik olarak Ox 0= 0 olacaktir).
lem nce uygulanmahdir.
Buna gre tablo gu gekilde okunur:
ma012345678...
n
0
1
2
3
4
5
0 0 0 0 0 0 0 0 0
3 0 4
7
8
000000000...
111111111...
020202020...
111111111.
000000000.
0 0 1 0 2 0
012345678.
010010001.
...
H makinesinin
saplanabilir
ile anlatmak
Q(n;m)
=
T,(m) x H(n;m).
"kgegen
000000000
111111111
020202020
111111111
000000000
001020304
012345678
010010001
Bu elemanlarm
liyoraz:
olugturduklari
1, 1, 2, 3, 2, 1, 4, 8, 2,...
A1ka grldg gibi bu bir hesaplanabilir yntemdir ve tablomuz da hesaplanabilir
tarzda retilmig olduguna gre bize yeni
bir hesaplanabilir dizge, gerekte 1 + Q (n;n) dizgesini; yani
1+T,(n)xH(n;n)
75
vermektedir
(m ile n'i egitlemek suretiyle kgegen zerinde verildigi iin). Fakat tablomuz her hesaplanabilir dizgeyi ierdigi
iin yeni dizi de listenin bir yerinde yer ahyor olmah. Ama durum hi de byle degil! nkyeni dizgemiz, ilk kaydm ilk sirasmdan,
ikinci kaydm ikinci sirasmdan,
nc kaydm nc sirasmdan,
vs. farkhdir. Bu aik bir eligkidir. te bu eligki, kamtlamaya ahytigimiz olguyu kamtlar: Turing makinesi
H gerekte mevcut degildir! Bir Turing makinesinin
durup
durmayacagt konusunda karar verecek eurensel bir algoritma
yoktur.
Bu savi bagka gekilde ifade etmek amac1yla diyelim ki Turing makinesi H meveuttur,
ve 1 + Q(n;n)algoritmasi
(kgegen
iglem!) iin bir Turing makinesi sayisi, rnegin k, vardir; bu durumda algoritmam1z
gyledir:
1
Bu iligkide
ederiz:
n yerine
T,(n) x H(n;n)
k koyarsak
agagidaki
1+Ty(k) x H(k;k)
Ty(n).
algoritmayi
elde
Ta(k).
takdirde olanaksiz
bir
Tk (k)
=0
1+0=O.
Belirli bir Turing makinesinin
durup durmayacag1 sorusu,
mkemmel
tammlannug bir matematik sorusudur (ve biz daha
problemleri
nce grmgtk ki, aksine, egitli nemli matematik
Turing makinelerinin
durmasi olarak ifade edilebilirler). Byledurmasi konusunda karar vermekle ilce, Turing makinelerinin
algoritmanm
varolmadigim
gili hi bir
gstermekle Turing, (daha farkh yaklagimiyla
Church'n de gsterdigi gibi) matematik
sorulari ile ilgili karar vermenin
genel algoritmasunn varolmayacagim gstermigtir. Hilbert'in Entscheidwigsproblem'inin
zm yoktur!
'evet'
'hay1r'
'hay1r'
Bir Algoritmanin
77
mutlak anlamda karar verilemez belli bir Turing makinesinin
varhgim
kamtlamig degiliz. Gerekte, Turing'in teorisini dikkatle incelersek, Turing'in yntemiyle inga ettigimiz grngte
'zellikle
karmagik' makinelerle ilgili yamt1, kullandignmz yntemin bize ima ettigini anlariz!
bunun nasil gereklegtigini grelim. Bir Turing maki-
Simdi
ne zaman durmayacagun bazen bize syleyebilir bir algoritmaya sahip oldugumuzu farzedelim. Daha nee genel hatlarlyla tarumladignmz Turing yntemi, iglemin durup durmabir Turing
yacagma bu algoritma tarafmdan karar verilemeyen
yaparken,
a1ka
verecektir.
byle
Ashada,
makinesi iglemini
saglayacaktir:
Turing
da
anlamamizi
ilgili
yamti
bu iglemle
durmayacaktir.
gerekten
makinesinin iglemi
gerekirse, bir Turing makineBiraz daha ayrmtih anlatmak
dair bize bazen bilgi veren bir
sinin ne zaman durmayacagma
algoritmaya
sahip oldugumuzu farzedelim. Daha nce oldugu
gibi, bu algoritmayi (Turing makinesi) H ile temsil ediyoruz, fakat biliyoraz ki Turing makinesi durmayacakt1r:
nesinin
H(n; m)
veya
t 1,
eher
eger
T,(m)
T,(m)
0 ise,
durursa.
O bir olasihktir.
bylece T,(m) O oldugu zaman H(n; m)
pratikte pek fazH(n;m) gibi bir ok algoritma vardir. (rnegin,
la yarari olmasa da, T,(m) durur dmmaz H(n;m) bir 1 retir!)
Buna gre, yine Turing'in yntemini izleyerek, fakat bu kez
tm O'lerin yerine O'lari koymayarak, elimizde bazi O'ler kaldigun grrz. Kgegen yntemimiz, kgegen zerindeki eleman
olarak bize
=
1 + T,(n) x H(n;n)
(H(n;n)= O olursa daima O elde ederiz.
ifadesini vermigti.
oldugunu unutmayimz)
Bu, sonucu m+
O
O,
1
OxO
O
diyelim k'inci
kemmel bir hesaptir ve bir Turing makinesince,
makine tarafmdan gerekleytirilmigtir.
=
Simdiqu egitlige
sahibiz:
1+T,(n) x H(n;n)
Ta(n).
bakahm, yani
1+Tk(k) x H(k;k)
k alalun:
Tk(k).
ederiz.
T,(k)=O.
'bilemez',
Bu nedenle
'k'i
'bilir',
-yoksa
'bil-
'bilmek'
79
programlammy
oldugumuz
kurallari izliyoruz? Konu, yalmzca
konusu degil, aym zamanda neyin gerek neyin
gerek olmadigma
hkm vermek meselesidir.
Bu konulara
daha sonra tekrar dnecegiz. Matematiksel gerek (ve onun algoritmik olmayan zelligi) konusu IV. Blm'de ele ahnacaktir.
bir algoritma
'algoritma'
azmdan,
lerinin anlamlart
hakkmda
fikir edinmig bulunmaktay1z.
Simdilik,en
Church'n
Lambda
'hesaplanabilirlik'
Hesabi
-matematik
cenin yamti
gerek bir
Hesaplanabilirlik
matematik
kavramidir. Benim tammladigim gekliyle
a1smdan, herhangi bir anlayigm tamamen
'Turing makineleri'
tesinde soyut bir fikirdir. Daha nee degindigim gibi, Turing'in
zekice planlanmig, kendine zg yaklagmum karakterize
eden
'bantlar'
'isel
durumlar', vs. gibi kavramlara zel bir nem
ve
vermemiz
gerekmemektedir.
Hesaplanabilirlik
fikrini aiklayan bagka yollar da vardir. Bunlardan, tarih bakimmdan birineisi; Amerikali
mantik1
Alonza Church'n,
Stephen
C.
'lambda
yardmuyla
Kleene'in
geligtirdigi
hesabi'dir. Church'n
'mutlak'
'mekanik'
'soyatlama'
a, b, c, d,
z, a', b',
...,
z', a",
...
b",
...,
a"',
...
a"",
...
iglemini veya
ifadesiyle gstermekteyiz; her harf bir matematik
fonksiyonlan
etmektedir
harfler,
temtemsil
(sl
fonksiyonunu
sil eden simgelerin simrsiz sayida bulunmasm1 saglar). Bu fonkyani bu fonksiyonlarm zerine iglem
siyonlarm
yapt1gl nesneler, aym trden bagka geylerdir, yani onlar da fonksiyonlardir. Aynca, bir digerine uygulanan bir fonksiyonun
ri'nin de yine bir fonksiyou olmasi gerekir (Church'n sisteminde
gerekten harika bir kavramlar ekonomisi var). Bu nedenle,
'degigkenleri',
'dege-
be
'b'
'c'
fonksiyonuna uygulanan
fonksiyonunun
fonksiyonu oldugunu kastederiz. Bu tasasonueunun bir bagka
nmda, iki veya daha fazla degigkenli bir fonksiyon fikrini ifade
etmek zor degildir. p ve q degigkenlerine bagh bir f fonksiyonunu
yazdigmuz
zaman*
'a'
((fp)q
*
Daha ahek oldugumuz bir ifadeyle, rnegin a b (c) olarak yazabilirdik
ama
parantezler gerekten gerekli degildir; (fp) q ve ((fp)q)r yerine, stras1yla, (f{p))
(q) ve ((f(p)}(q)) (r) gibi son derece zahmetli formllerden kammak iin parantezlerden kurtulmaya ahgmakta yarar var,
=
81
i
fp fonksiyonunun
cu).
sonu-
'bog-
yazdigimiz
'fa'
(Ax. [fx])a=
Bir bagka deyigle, Ax, [fx]
,'f
fa
fonksiyonundan
Ax. [fx]
ibarettir,
yani:
AX.
[sin x ]
'fonksiyonunun'
sin.
bir ai olarak nas11kabul edilebilecegini merak etmeyin. Kisa bir sre sonra, sayilarm
bile fonksiyonlar
olarak kabul edildigi iglemler yapacagiz;
bir
ve
a1 da bir tr
say1dir). Bu agamaya kadar gerekten olduka nemsiz gr'sin'
nebilir rneklerimiz.
Fakat,
ifadesinin icad edilmemig oldugunu fakat sin x iin kuvvet serisi ifadesini bildigimizi farzedin:
(x
x-lxamix6.
120
I
i
Buna gre
-ix34_1_g5.
sin
=Ax. x
tanunuu verebiliriz.
'fonksiyonel'
'kp
yabiliriz:
Q
ve rnegin,
120
Ax.[ix
L6
ahriz:
su sonucu
Q+1)=l(a+1)3=L3+L2+L+1.
6
6226
[f(fx)]
'g'nin
(Af
(f(fx)])g
=g
(gx)
[kK.
[f(fx)]]
Afx. [f(fx)]
Bu, g'ye uygulandigmda,
g'nin iki kez tekrarlanmig fonksiyonuiglemdir. Ashnda bu, tam Church'n 2 dogal sayis1 ile
zdeglestirdigi
fonksiyondur:
nu veren
2
ve buna gre
(2 g) y
Afx.[f(fx)]
lamalari yapar;
3
ile birlikte
Afx.[f(f(fx))], 4
Afx.[f(f(f(fx)))], os.
83
1= Afx[fxl
0 fx.[x]
Ashnda Church'n 2'si
kez'e, 3'
kez'e vs. daha ok benyani 3 f,
zer. Bylelikle, 3'n f fonksiyonuna uygulanmasi,
kez tekrarlaumasi' iglemidir. Bu nedenle 3 f'in y'e uygulan=
'iki
'
'fin
(3f)y
masi:
f(f(f(y)))'dir.
okbasit
bir aritmetik igleminin, rnegin l'in bir say1yla toplannmn, Church'n sisteminde nas11ifade edilecegini grelim;
S= Aabc.[b((ab)c)]
S'in, Church'n ifadesinde tammlanan bir sayiya
gstermek iin, rnegimizi 3 zerinde deneyelim:
83
Aabc. [b((ab)c)] 3
nk
saylya
(3b) c
pekala
tutabilirdi).
Mc.Kb((3b)c)
J
Mc.[b(b(b(bc)))]
1 eklemesini
uygulanabilir
(Ashnda
labc.
yerini
rnekolarak
ifadesiyle verilir.
Mbc.l(ab)((ab)c)] 3 Mc.[(3b)((3b)c)]
Mc.[(8b)(b(b/bc)))] Mc.[b(b(b(b(b(bc)))))]
6 bulunur.
D
S'e uygulanmas1yla,
Temel aritmetik
iglemleri, toplama, arpma ve kuvvetini
siras1yla, gyle ifade edilebilirler:
A
M
P
=
=
=
alma
Afgxy.[((ft)(gx))y],
Afgx.[figx)],
Afg.[fg].
Okuyucu kendini,
(Am)n
nm
mx n, (Pm)n
olduguna ikna edebilir
bana gvenebilir. Burada m ve n,
Church'n iki dogal say1 iin fonksiyonlari, m + n toplam iin
fonksiyonu, vb.'dir. Sonuncusu en gagirtici olamdir, m 2, a 3
rnekleriyle
bunu deneyelim:
=
n,
(Mm)n
-veya
(P2)3
((Afg.[fg])2)3 (Ag.[2g])3
(Ag.[Afx.[f(fx)]3 gx.[g(gx)]3
Ax.[3(3x)] lx.[Afy.ffff(fy))](3x)]
=
Axy.[(3x)((3x)((3x)y))]
Axy.[(3x)((3x)(x(x(xy))))]
Axy.[(3x)(x(x(x(x(x(xy))))))]
Axy.[x(x(x(x(x(x(x(x(xy))))))))]
32.
1karmave
'm
'm
-bugnn
--
ss
kendine zg bir tr Platonik gerekligi var gzkyor. Gelecek
iki blmde igte bu gizemli konuya, matematik
kavramlarm
Platonik gerekligi konusunu igleyecegiz.
1. Sifm
2. Matematikilerin
ok iyi bildigi gibi, konumuz a1emdan pek uygun olmasa
da, ikili, l, vb. say1 gruplanm tek bir sayi gibi kodlamanm egitli yollari vardir. rnegin, 1/2 (a + b)" + 3 a + b) forml a, b dogal sayi iftini tek bir dogal
saylyla tam olarak belirler. Deneyin!
'iz'
4. Iki bantm zerindeki bilgileri kodlamanm bir yolu, ikisi arasmda bir ara bant
b1rakmaktir. Bylece, ara bant zerindeki tek-sayih igaretler birinci bant zerinigaretleri gstedeki igaretleri gsterirken, ift-sayilar da ikinci bant zerindeki
Bu yntemin
recektir. Benzer bir sistem veya daha faz1a banta uygulanabilir.
okuma cihazmm bant boyunca durmadan ileri/geri hareket ederek
izini belli etmek iin bantm ift ve tek taraflarmda igaretler b1rakmasidir.
'elveripsizligi',
5. Bu yntem yalmz, igaretli bir bantm dogal bir say1 gibi yorumlandigi
sayilarun
uygulamr.
EUC veya XN + 1 gibi zel Turing makinelerimizin
duruma
degig-
tirmez.
6. T, dogru gekilde tammlanmadig1 takdirde U, n'in ikilik ifadesinde drtten
faz1a l'den olugan ilk diziye ulagihr ulagilmaz n say1s1 sona ermig gibi igleme
devam edecektir. Dizinin geriye kalan kismen m ile ilgili bantm bir kismi gibi
Istenirse bu durum,
okuyacak, bylece anlams12 iglem yapmay1 srdrecektir!
Zan'in a11nny ikilik sistemde ifade edilmesini saglamak suretiyle nlenebilir.
U'nun tammim daha fazla karmagiklagtirvalh U evrensel Turing makinesinin
mamak iin hunu yapmamay1
tercih ettim!
7. u'nun ikilik sisteme dayah tammmdan onluk sisteme dayah geklini ikardigi
iin David Deutsch'a minnettarim. uhn bu ikilik degerinin gerekte bir evrensel
Turing makinesi rettigini dogrulamak iin yaptigi ahgma iin de kendisine minnettarim. uhn ikilik sisteme gre degeri apagidaki gibidir:
10000000010111010011010001001010101101000110100010100000110101001101000
01001011010000110100010100101011010010011101001010010010111010100011101
10010010101110101010011010001010001010110100000110100100000101011010001001
11010010100001010111010010001110100101010000101110100101001101000010000
01010000111010100001001001110100010101011010100101011010000011010101001
01001001000110100000000110100000011101010010101010111010000100111010010
01010101011101000010101011101000010100010111010001010011010010000101001
00101001001101001000101101010001011101001001010111010010100011101010010
10011101010101000011010010101010111010100100010110101000010110101000100110
MMMM
00
om
OG
00
wo
wcCO
wwommo
MON
e
COMMOOOD
wwow
www
How
wow
99
----oooooo-
000
900
900
MMM
MO
09
-QM
88885
Mooww
CO
wwwowoo
Go
ww
ww
OG
00
COMOOM
MMOMOD
MMoomw
PococcMOWwwwo
Coommo
GMOOOOM
QMcCoowww
CC
99
QMOOmoows
MOOOMMOO
MOMwo
o-
-oo--
OMMM.4
MO
OMM
MO
MO
CO
OMM
PM
QC
Owo
900
COM
MOwo
OMM
COOMMMM
QMON
99
00
Os
MO
OMOD
NORM
QQ
OMMMMO
we
MMONDOMoomommo
COOMMOMPommo
QMMON
-
O
O
CONOW
MMOOD
oceo
090
Owe
OMO
MMM
Moo
oss-o-oo-
wwo
49
O
MO
O
Q
W
O
MMMC
CONG
MMOOM
Momo
MOMM
COMO
MMON
DOMO
OMPRO
OR
CO
ON
PC
900
OOM
900
OMO
CM
00
MM
MM
WP
com
MMMO
MOD
MMM
QC
Omo
OO
MOW
880
OOOO
wwwo
QMON
MMC
om
No
MMO
QQM
MMMOcm
Oc
wowo
woCMWoo
so-oo-o
CO
MMOO
Mosso
omos
MON
38888SSU
MS
ooooo-g--So-ooo-
ONGCOMOOMMM
COBOOwcCOOMOOD
00
958005
295585588-5888888o888888
WOweewcCOOmo
900000990
90
wwcMOMMMwwwe
COMONDOOMM
wwcMMOOMMCMOMOOMMOOOO
COMMOOOD
MMM
coessocesococows
QMOOMMMMO.MMMOONHOMMM
W
a
woo
O
MMOMO
QM
CH
MFC
00
MM
"i=BSS
Go
---o
-Soooooo
o
o-8-o--oo--oooo8---soS-ogo--ooooS-o---o
Oc
MO
MMMM
DOOM
Momo
90
QMMM
BSS5SSSESUSSENSSSESS
oceB88-ooooooooo-o
MOOOMO
\
88. Algoritmalar ve Turing Makineleri
01000100101110101010000111010100101011010010101010000110100000101001101000
00001110100000100100111010010110100100010100101101010100110100010100100101
10101010011010001010100010110011010100100101110101010011010001010101010110
01101010001010101100110100100010101010111010001000111010010010101010101101
00101001010001101001000000101110100000110101010010101010110100101010110100
10001000101110100010101011010100000101011010001000001101001000101011010000
10011101010010101010101110100101101001001000101011001101001001001010101110
10011010010010010101101001011010010010010010110100101101001001010001011001
10100100101001010111010001010111010010010111001101001001010100101110011010
01010001010101110100010001110100001010010110100101000101110100101000101011
01000100111010010100010010111010001001110100101001000101110011010010001
11101000100111010010100101010111001101001010000011100110101010101011010000
00011101001010100101010111010010001110100101010010101110011010000101001001
10011010100000110100000001110100101010100101011100110101000100001101000000
01110100010010101010111010001000111010101010101010101101000010011101001000
10010101110100101010001001101010000000101101001001110101000010101110100100
00110101000000010110100100011101010010010111010000110101000010101011010100
01011101010000101001011101010001011101010001010101011100110101000101011010
0001101010001001010
Evinde yeterli kapasitede bilgisayan olan ve yeni geyleri denemekten holanan girigimei okurlanm, metinde verilen tammlamalari kullanarak, yukandaki
kodu egitli ve basit Turing makinesi sayllarma uygulayarak,
sz konusu kodun gerekten
bir evrensel Turing makinesi'nin uygulanmasun verdigini kontrol edebilirler!
Bir Turing makinesi iin farkh bir tanun uygulayarak
u'nun degerini azaltmak
mmkn
olabilirdi. rnegin, STOP komutunu kaldinr
yerine, makinenin
ve
iinde bulundugu bir isel durumdan sonra 0 isel duruntuna her giriginde durmasun saglayan bir kural konulabilir. Bu yntemle pek baanh sonu almamaz (belki hi sonu ahnamaz). Amacimiz iin en iyi sona, bantlan 0 veya 1
digmda igaretlerle igaretlemekle almabilir. Grngte ok kisa kodlamah evrensel Turing makineleri
literatrde tanunlanmig olmakla birlikte bu kisahk
yamlticidir, nk genel olarak Turing makineleri son derece karmagik kodlama sistemlerine bagimhd2rlar.
8. Bu n1 sav ile ilgili teknik olmayan konular iin, hkz. Devlin
(1988).
9. Yukandaki yntemi tekrar tekrar uygulamak suretfyle bu geligtirilmig algoritmayi da kukusuz alt edebilirdik.
Elde edecegimiz bilgiyi, algoritmam1z1
daha da geligtirmek iin kullanabilirdik; fakat, yeniden geligtirilen bu algoritgelebilirdik ve bu bylece srp giderdi. Bu tekrarlayic1
manm da stesinden
yntemin bizi hangi noktaya gtrecegi Gdel'in teoremi erevesinde ele
ahnacaktir.
(Blm IV, s. 130-131)
ora BAgARAN o
Oida uk eidos
III. Blm
Matematik ve Gerek
Tor'Bled-Nam
Ulkesi
ok uzaklardaki
belirdi (Sekil3.1):
ilk grntler.
Bu ne olabilir? Garip grngl bir bcek mi? Yoksa, belki de daglardan inen akarsularm karigtigi, sulari koyu bir gl m? Veya civarmdaki gehir ve kylere yollar uzanan yollarlyla byk ve tuhaf
bir gehir mi? Belki de bir adadir. Eger buysa, o zaman yakmmda
bir kita bulabilir miyiz diye bir bakalun. Bunun iin algdama cibir
hazim1zm bytmesini onbeg kez klterek iyice
ekranda
3.2).
ginid
lke
elde
etmeliyiz.
gte tm
(Sekil
grnt
"kugbakigi"
90 . Matematik ve Gerek
.Sekil 3.1
gekil 3.4
91
Yaratigimizm ikmtdarun anlamak iin alg11ama cihazimizm bytmesini on kez kadar artirarak yakmdan inceleyelim.
(Sekil3.2'de Sekil3.3 olarak belirtilen yer)
Sekil3.3 "Begli"yaplya
sahip bir
ikmtL
olarak,
1kmti,,btn
I
I
"begli"
"l"
"yedili"
"dokuzlu"
92 .Matematik ve Gerek
"denizati
"deniz
yalon grnts.
gekilmig. Pek ok yerde, tam iki spiralin birbirine degdigi nokBunlardan bir tanesine byttada, bir yap1 bulunmaktadir.
artirarak
bakalun. Tam ortadaki o tamdik gekli gmeyi 30 kes
ryor musunuz? Sekli6 kez daha bytnce, (Sekil3.7) bagtan
3.6 Iki spiralin baglantinoktasuun bytlmg hali. Tam merkezde minik bir yavrunun varhgi grlmekte.
$ekil
94 .Matematik ve Gerek
Sekil3.7 Grnts
bytlnce yavrunun
95
rm ne oldugunu a1klamam gerekecek. Bu a1klamayi burada
yapmak uygun, nk ileride kompleks say11ara tekrar gereksinim duyacag1z. Kompleks sayilar, kuantum mekaniginin
yapisi
gereklidirler
iin mutlaka
ve bu nedenle iinde yagadigimiz
Ayrica, matematidnyamn iglevlerinin temelini olugturarlar.
mucizelerinden
sayilarm
varhgibirisi
de
byk
kompleks
gin
dir. Bir kompleks sayuun ne oldugunu a1klamak iin nce okusay1'nm ne demek olduguna
hatirlatmahyrn.
Bir
yucuya
dnya'mn gerekligi
de, reel (gerek) say1 kavram1 ile
arasmda
nas11 iligki kurulduguna
deginmek yararh olacaktir.
'reel
'gerek
Reel Say11ar
Dogal sayilarm
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11,
...
-5,
-4,
-3,
-2,
-1,
0, 1, 2, 3, 4, 5, 6, 7,.
...,
-1/2,
-2,
rasyonel
sayr-
-3/2,
uygulamalarda
96 .Matematik ve Gerek
{(2/1)(2/3)(4/3)(4/5)(6/5)(6/7)(8/7)(8/9)...)
4(1
ve
...).
1/3
1/5
1/7
1/9
1/11
Bu gsterimde x say1s1
3.14159265358979323846...
olarak
gsterilir.
Bu gekilde gsterilen
sayilar
arasmda
1.41421356237309504...
gibi arti kesirli sayilarm karekkleri (veya kpkkleri, drdnvb.), veya x sayismm
Isvireli byk matematiki
Leonhard Euler tarafindan bulunan
n=4{6(1+1/4+1/9+1/25+1/36+...)}.
c kkleri,
gsterimi de vardir.
Reel sayilar, aslmda, gndelik hayatumzda her an kargmuza
1kan, en ok kullandigimiz sayi trdr. Ancak, oklukla bu
say1lar1 yaklagik olarak ele ahriz; bir ka basamaga kadar a1hmlarun kullanmakla yetiniriz. Diger taraftan, matematiksel
reel sayilart kesin olarak belirlemek gerekir
nermelerde
ve bu
durumda sonsuz basamakh ondahk a11anda veya x iin Wallis,
97
tarafindan verilenlere benzer sonsuz mategerek duyanz (Buradaki reel sayi tariflerinde,
normal
olarak, ama sadece ahgkanhk nedeniyle, ondahk aihmiin reel sayllan gstermelan kullanacagun. Bir matematiki
nin bundan daha uygun yollar1 vard1r, fakat bun1ari burada dgnmemiz gerekmiyor).
sanabilirsiniz,
fakat
Tam bir sonsuz a1hm bulunamiyacagru
gerek bu degildir. Basit bir rnek olarak qu sonsuz dizgeyi alahm:
1/3 0.333333333333333...,
Gregory ve Euler
matik
a1hmlara
rnegin,
93/74
1.2567567567567567.
aihmmda
567 dizisi sonsuza dek tekrarlarnr,
sayismm
kesirli say1 tam olarak da ele ahnabilir. Diger taraftan
0.220002222000002222220000000222222220...
fakat
98 . Matematik ve Gerek
rursa 0, durmazsa 1 ahnsm. Genelde, bir reel say1 iin sadece
bir sonsuz ondahk aihmm varhgim isteriz. n'inci basamagi
veren bir algoritmamn bulunmasmi, ya da n'inci basamaga konacak rakam1 tammlayan bir kurahn belirlenmesini
istemeyiz.
Hesaplanabilir
sayilarm kullammmda gerekten tuhafhklar
vardir. Sadece hesaplanabilir
sayllarla
ugrag1yor olsaydik bile
iglemlerimizin tm hesaplanabilir olmayabilirdi. Ornegin, iki
hesaplanabilir sayimn bir digerine egit olup olmadigma karar
vermek bile genelde hesaplanabilir bir iq degildir. Bu
tr usavurmalar
iin daha ok tm reel sayllari ele almay1 tercih ederiz; dolayisiyla ondahk a1hmlar sadece birer hesaplanabilir
dizge olmak yerine herhangi bir gey olabilirler.
Son olarak, sonsuz sayida 9 rakam1yla biten bir ondahk aihmla verilen bir reel say1 ile sonsuz sayida 0 ile biten ondahkh
aillma sahip bir reel say1 arasmda egitlik kurulduguna
igaret
etmek istiyorum:
-27.1860999999...
-27.1861000000...
99
e
<->
1
-2
e
2
<->
-3
<->
3
-4
e
e
-n
e
a
<->
adetinin
'bire-bir
aym oldutunu
egleme' yapihr:
Dogal say11ar
0
1
2
3
4
5
6
7
2n-1
2n
Bu listede, sol koldaki her bir tam say1 ile sag koldaki her bir
dogal sayi sadece ve sadece bir kez geerler. Cantor'un teoreminde byle bir bire-bir eglegmenin varhgi, sol koldaki nesnelerin adetinin sag koldaki nesnelerin
adeti ile aym oldugunu gsterir. Bylece, tamsayllarm adeti, gerekten, dogal sayilarm
adetine egit olmaktadir.
Burada bu say1 sonsuz 1k1yorsa da, bu
nemli degildir (Sonsuz sayilarm kullammi nedeniyle kargilagtigmuz tek tuhafhk, yukaridaki listenin bir yamadan bazi elemaalari ikarsak bile, iki stun arasmda hl bire-bir egleme
yapabilmemizdir).
Benzer olarak, ama biraz daha karmagik bir
biimde, kesirli say11ar ile tamsayilar arasmda da bire-bir egleme kurabiliriz (Bunun iin, verilen bir kesirli sayimn pay1 ve
paydasmdan olugan ifti, tek bir dogal saylyla gstermenin yollarmdan herhangi birini seebiliriz; bkz. IL Blm, s. 50-51)
Dogal say11arla bire-bir eglenebilen kmelere
decir.
Sayilabilir kmelerin eleman sayisi No'dir. Tamsay11ar kmesi
gibi, kesirli sayilar kmesi de sayilabilir.
'sayilabilir'
2
3
4
5
6
7
8
9
10
e
e
e
<-->
e
e
e
e
Reel Sayilar
0.10357627183...
0.14329806115...
0.02166095213...
0.43005357779...
0.92550489101...
0.59210343297...
0.63667910457...
0.87050074193...
0.04311737804...
0.78635081150...
0.40916738891...
rakamlari
koyu yazdim. Bu rakamlar,
Kogegenin zerindeki
yukardaki liste iin s1rasiyla 1, 4, 1, 0, 0, 3, 1, 4, 8, 5, 1, bulunmugtur.
Kgegen yntemi, ondahk aihmmm her hanesi yukarifarkh olan 0 ile 1 arasmda bir
daki dizide yer alan rakamlardan
...
0. 2121112111 2...
reel sayisi
dik. Turing'in nceki blmlerde deginilen algoritmalarla zvarhgim gsteren tartigmasi, tam
lemiyen problem simflarmm
olarak, bu uslamlamay1
bagka uyguizler. Kgegen ynteminin
lamalarim ileride grecegiz.
Reel Sayllarm
Hesaplanabilirlik
'gerek'
ra
cakhk,
'Gerekligi'
kavrammi
denmesinin nedeni,
ai, zaman,
enerji, si-
reel
ve fiziksel lm sonucunun
Ancak, soyut tammlankaynaklamr.
sayilarla verilmesinden
arasmdaki
iligki hi de saung reel sayilarla fiziksel nicelikler
vb. pek ok geometrik
mldigi kadar aik degildir. Reel sayllar, herhangi bir gerek fiziksel somut nicelik yerine bir matematiksel ideallegirmeye dayamrlar. rnegin,reel sayllar sisteminin bir zelligi, ne kadar
nc bir
yakm olursa olsunlar herhangi iki sayimn arasmda
uzakhklar
Fiziksel
mutlaka
ya da zabulunmasidir.
saymin
maalar iin bu zelligin dogrulugu pek de aik degildir. ki nokta arasmdaki fiziksel uzakhgi daha kk paralara ay1rmaya
baglarsak, bir sre sonra yle kk bir mesafe legine ulagiriz ki, bilinen anlamda uzakhk kavramimn kendisi anlamun yi'ku-
*10"
ile l'den sonra 20 adet sifir konarak bulunan 100000000000000000000 sayisi gs-
terilir.
103
Salt
rmm boyutu dzeyinde, taneli bir yapida grneceklerdir.
bu neden, reel sayilari lm sonularmi
vermek iin kullanlerken
mamiza engel olamaz. Fakat byle kk mesafeleri
ok daha byk dikkat gerekir. En azmdan ok kk mesafe
leklerinde
temel ilkelerde bir zorlukla kargilagmayacagumzdan kugkuya dgebilirdik. Neyse ki Doga bize gerekten iyi
davranm19; gnlk veya daha byk leklerde
kullanmaya
ahytigumz
reel sayilar, atomlardan bile ok daha kk lek1erde kullamhghhklarim
koruyorlar. Reel sayilarm kullammi,
bir elektron veya proton boyutunun yzde birine kadar kesinlikle,
gravitasyon leginde', yani bu atom-alti paraciklarm
boyutundan yirmi mertebe kk leklerde ise, byk olasihkla
geerlidir. Bu, deneyime dayah olaganst bir
genellemedir.
te yanda, reel sayilarla llen mesafe kavrann
uzak
kuasarlara
ve daha telere kadar geerli grnmekteen
dir. Bylece en az 106 veya 10 veya daha byk bir arahk tauyganlugu ogu kez
ranmig olmaktadir. Reel say1 sisteminin
sorgulanmaz. Bu say11arm uygunlugu
zerine ilk deneyimlerimiz ashnda byle ok simrh bir arahkta
kalmasma kargm, reel
sayilarm,
fiziksel olgularm dogru bir tammim vrdigine
neden
bu kadar gven duyulur? Bu gliven, belki hakh olmamakla birlikte (ve ok kez aika belirtilmemesine karym), Dogamn olabtnlgne olan inancimizla birlikte,
ganst matematiksel
reel say1 sisteminin
mantiksal
gzelliginden, tutarhhmdan ve
matematiksel
gcnden kaynaklamyor olmah.
'kuantumlu
Kompleks
Sayllar
i"
egitligi elde edilir. Dogal olarak, i niceligi reel bir say1
olamaz, nk herhangi bir reel sayima kendisiyle arpum (yani, karesi) mutlaka sifirdan byk (veya say1 sif1rsa, sif1ra egit)
bir reel say1dir. Bu nedenle, kareleri eksi olan sayilara sanal
sayilar da denir. Oysa, bu sayllarm da, kullanmaya ahgik oldugumuz reel say11ar kadar gerek olduklarim nemle vurgulamak gerekir. Daha nce degindigim gibi, reel sayilarla fiziksel
gereklik arasmdaki iligki, dogadan aik bir a priori dogrulanidealleytirme
masi gelmeyen sonsuz kk bir matematiksel
ierir ve ilk bakigta grndg gibi ne aik ne de zorlayicidir.
sayisimn karekkn bulduktan sonra, tm reel sayilarm
karekkn bulmak byk bir aba gerektirmez. a bir arti say1
ise, i x Vasay1si
sayisom bir karekkdr (tekikarekk
x a sayisidir). Peki i say1smm kendisinin de karekk var
nudir? Kugkusuz vardir. Hemen saglamasim
yapahm:
=
-1
'-a'
-i
(1 +
i)/2
(1 1/V2)
(1 + 1/V2)
sayismm
verir.
Bu say1-
kareleri gerekten
(1+i)/92
nicelikleri
olugtururken reel ve sanal sayilari toplasay1mn herhangi bir reel saytyla arpisifirdan
bagka say11arla blmne- (nk bu sayimma
bir
blsyle arpim demektir) izin verdigimize dikkat edemn
lim. Sonuta bulunan sayilara
kompleks saytlar denir. Bir
reel sayilar olmak zere
kompleks sayi,
ve
Bu
tr
'a'
'b'
ib
105
(+ib)
(c+id)
(c + id)
(a+c)
i(b+d)
i (ad + bc)
(ac bd) +
(a + ib) x
oluyor!
yeni
Bu
te gimdi dikkate deger bir geyler
say1 siste=
karekk alabilmektir.
Geri henz a1k olarak grlmyor ama bunu yapabiliyoruz.
ok daha fazlasim da yaplyoruz. 18. yzyilda yagamig byk
matematiki
Leonhard Euler'in gsterdigi gibi, kp kkleri, beginci kkleri, doksan dokuzuncu kkleri, it'inci kkleri, (1+i)'nci
kk1eri zahmetsizee alabiliyoruz. Kompleks sayilarm sihirli ybiraz
nn gsteren bir bagka rnek olarak, okulda grenilen
karmagik grnml bir trigonometri formlne bakahm: iki
a1mn toplammm sinsn ve kosinsn veren
mini
bulmaktan
sin (A + B)
cos (A + B)
bagmtilari,
lay) olan*
her zaman
amacimiz
=
=
daha ko-
e** = e'^e
kompleks denkleminin, sirasiyla, reel ve sanal kisimlaridir. Burada bilmemiz gereken sadece 'Euler forml'dr
(Grgne
gre bu forml, Euler'den y111ar nce, 16. yzyilda, ngiliz matematiki Roger Cotes tarafindan da bulunmuqtur):
e=^ cos A
=
i sin A.
i sin (A + B)
parantezleri
i sin B)
aarsak
ao+azz+asz'+asz3+...+asz"=0
*e
2.7182818285,
temeli, ve a say1smm nemi
sayisi (dogal logaritmalann
neme sahip irrasyonel bir sayi),
ile kiyaslanabilir matematiksel
1 + 1/1 + 1/(1 x 2 ) + 1/(1 x 2 x 3) +...
e
bagmti
olarak tanimlamr; er'in anlami, e'nin z'nci kuvveti olup, apagidaki
saglamr:
e==1+z
1+2z (1x2)+zi(1x2x3)+...
=
...
"
999 z"
z2 = 417
bagmtisim saglayan bir z kompleks sayisi, varhgi hi de aik olmamakla birlikte, bulunur. Bu 01guya bazen cebirin temel teorebu sonuen ismi adt verilir. Pek ok 18. yzyil matematikisi
Euler bile tatmin edici bir genel ispat
patlamak iin ugragtilar.
veremedi.
Sonunda 1831'de byk matematiki
ve fen adami
ilk
Carl Friedrich Gauss, arpici zgn1kte bir uslamlamayla
gene1 ispati verdi. spatm can ahei noktasi, kompleks say11an
geometrik olarak betimlemesi ve buradan hareketle ispatlamada topolojik* kavramlan kullanmasiyd1.
Aslmda, kompleks say11ann geometrik tamm1m ilk kez Gauss
kullanmam14tir. Yaklagik 200 yil daha nce Wallis kullanmig,
Kompleks
fakat Gauss kadar g1 sonular elde edememistir.
olan
Jean Robert
say11ann geometrik tari, svireli bir ktip
adiyla
1806'da
bulmugtu
amhr.
Argand bu gsterimi
Argand'm
y11
Norveli
kance aym sonuca
ama gerekte bu tarihten 9
y
Sanal
eksen
x
0
Sekil 3.8: z
*
Reel eksen
geometri
107
Sanal
21
Ve
-i
-2
-1
-i
-2
1 + i 1 3, o
3
Reel
Sekil3.9: u
i, ve w
-LB
yerleri.
dastrocu Caspar Wessel ulagm19t1. Ahydmig (fakat tarihsel ynden dogru olmayan) kullamma sadik kalarak, kompleks sayilageometrik tammma Argand dzlemi diyecegim.
rm standart
verilen bildiArgand dzlemi x, y Kartezyen koordinatlanyla
sola
arti,
dogru eksi
Eukleides
dzlemidir.
dogru
x
(saga
gimiz
llen) yatay uzakhklan,
y ise (yukan dogru arti agagi dogru
gstermektedir.
eksi llen) dgey uzakhklan
Bylece z x +
iy kompleks sayisi Argand dzleminde koordinatlan
(x, y) ile
verilen bir noktayla
gsterilir. 0 (bir kompleks say1 olarak dgnldgnde) koordinat merkeziyle, 1 ise x ekseni zerindeki
bir noktayla gsterilir (Bkz. @ekil3.8).
Argand dzlemi kompleks sayilar kmesini basitce bir geometrik resim zerinde gstermeye yarar. Bu bizler iin pek yeni
birgey degif Reel sayilan bir geometrik resim, yani her iki ynde
sonsuza uzanan bir dogru zerinde nas11 dzenleyecegimizi zaten bilmekteyiz. Bir noktaya 0, bir diger noktaya 1 dersek, 2 noktasim yle yerleytiririz ki l'den 2'ye yer degigtirme, O'dan l'e yer
degigtirmeye egittir, 0 ile 1 noktalanmn
tam ortasmda 1/2 varile 1 arasmda kalacak gekilde yerO'm soluna, 0 tam
dir.
legtirilir vb. Bu biimde gsterilen reel sayilar kmesine reel eksen denir. Kompleks sayilar iin kullandigmuz koordinatlar ashnda iki reel sayudan ibarettir. a + ib kompleks sayisi a ve b reel
say11an ile gsterilir. Bu iki say1 dzlemde bir noktamn
koordi=
-1,
-1
108.Matematik
ve Gerek
U+V
Sekil3.10: u va v kompleks
toplami.
rnekolmasi
natlandir.
iin
-2
Sekil3.9'da
+ v
(Argand dzleminde)
-1,5
+ i, w =
i 0.4 kompleks sayilannm
u = 1 + i 1.3, v =
yerlerini yaklagik olarak gsterdim.
Kompleks sayilar zerindeki temel eebirsel iglemler olan toplama ve arpma bylece a1k bir geometrik tamma kavugur.
ncetoplamay1 ele alahm. u ve v Argand dzlemine yukanda
aiklandigt
gibi yerlegtirilmig iki kompleks say1 olsun. u + v
-
'vektr
toplann'yla gsterilir.
v noktast u ve v noktalan
olugturdugu
paralelkenann
ile koordinat merkezi 0 nokdrdnc kgesinde bulunur. Bu tammla (bkz. Sekil 3.10) gerekten iki kompleks sayl+
tasimn
uv
Sekil3.11: a
ve v kompleks sayalarmm arpum uv, 0, v, uv tarafmdan olugturulan gegene benzemesini saglar. Buna zdeg olarak, uv'in
O'dan uzakhgi, u ve v'in O'dan uzakhklarunn arpumna egittir; 0, 1, uv uv'in reel eksen
(yatayeksen) ile yaptig1 ai, u ve v noktalarmm bu eksenle yaptiklari adarm toplamidir.
nin, 0, 1, u
tarafmdan olugturulan
109
isteyebilir).
Kmesinin
Mandelbrot
na Edilmesi
->
i 4.2
10.63
i 4.2
-2.7
konmahdir,
=
=
konmahdir.
nik
8.83
i 5.82
Saydar ok karmagiklagmca,
hesaplari
bir elektro-
SekiL 3.12 Eger Argand dzlemindeki noktalar dizisinin tm noktalan bir emberin
iine ahnabiliyorsa,
diziye starrla denir. (Sekildeki dizi c=J-J
sayisindan
'i
tretilmittir.
imdi, e ne olursa olsun, 0 say1st verilen c say1sma gider. Peki c'nin kendisi hangi saylya gider? c sayis1 yerine c2 + c konmahdir. Bu sreci ilerlettigimizi dgnelim ve c2 + c sayismm yerine ne koyacagumza bakalun. Bylece
(c2+ c)2 + c
buluraz.
c4 + 2c6 + c2 + c
(c'+2c'+c2+c)
say1
+c=c"+4c2+6c6+6c6+5c'+2c3+c2+c
+c,...
-1
111
mudur.
-1,
nkbu
-1,
-1,
durumda
ise dizi 0,
0,
0,
geklindedir. Diger bir rnek olan e i iin say1 dizisi 0, i, i-1,
i-1,
i 1,
geklindedir. Halbuki, diger pek ok bagka c
kompleks say11ari iin dizi merkezden giderek daha uzaklaarak sonsuza vanr, yani dizi traksaktir;
sabit yariaph bir ember iine almamaz. Bu duruma bir rnek c 1 seimidir, nk elde edilen dizi 0, 1, 2, 5, 26, 677, 458330,
geklinde sonsuseiminde de dizi 0,
6, 33, 1086,
za gitmektedir. c
geklinde aym davramgi gsterir. c
i
iin de dizi 0, i-1,
+ 3i,
+ i 10011,
i5, 55 + i91,
geklinde si...;
-i,
-i,
-i...
...
-3
-3,
..
-1
-i-1,
-9
-1
-5257
...
mrsizdir.
Mandelbrot
siyah blge
kmesi, yani,
bizim Tor'Bled-Nam
simrh
lkesindeki
dizilere kargi
gelen c sayllarmdan ibarettir. Beyaz blge ise sunrsiz dizilere
olugur. ncedengrdgmz o aykargi gelen c noktalarmdan
rintih
resimlerin
hepsi bilgisayar 1ktilarmdan izilmigti. Bilgiolarak btn c kompleks sayllanm
sayar sistematik
tarar. Her
bir c degeri iin alast 0, c, c: + c,
dizisini bulur ve uygun bir
kritere gre dizinin smirh kahp kalmadigma karar verir. Eger
dizi simrhysa, bilgisayar ekranda c sayisma kargi gelen noktakoyar. Eger dizi smirh degilse, beyaz yuya bir siyah yuvarlak
varlak koyar. Sonuta, ekranda
taranan arahktaki her bir minik kutuya siyah an yoksa beyas mi nokta konacagma tek tek
bilgisayar tarafindan karar verilir.
Mandelbrot kmesinin karmagikhgt, zellikle bir matematik
tamnu olarak kmenin tammmm ne kadar basit oldugu gz
nne ahndigmda,
gerekten ok dikkat ekicidir. Aynca kmenin genel yapis1 semig oldugunuz ze
z* + c gnderiminin
cebirsel gekline pek de duyarh degildir. Diger pek ok tekrarlayan kompleks gnderimler de (rnegin z
z + i z* + c) (baglaniin
bir
seilmesi
kayd1yla;
bu belki 0 degil de
uygun
gi
sayrna
degeri her gnderim iin a1k bir matematik
kural tarafindan
olarak
olabilir)
belirlenen
bagka
bir
gagilacak dereuygan
say1
cede benzer yap11ar verir. Gerekten, tekrarlayan kompleks
gnderimlere gre, bu 'Mandelbrot' yap11anmn bir tr evrensel
Bu yap11ann incelenmesi
ya da mutlak niteligi bulunmaktadir.
matematikte
harmak dinamik sistemler adiyla amlan bagh
bagma bir konu olmugtur.
...
-->
Matematiksel
Kavramlarm
Platonik
Gerekligi?
'gerek'?
nesneler
Matematikinin
dnyasmdaki
ne kadar
nesnelerin
Bir grge gre, sz konusu
tm ile ilgili hibir gey
nesneler
yalmzca kavramlargerek grnemez. Matematiksel
olugumlari
dir; og-ukez, evremizdeki dnyada
ve grngteki
uslarmda
etkileyerek
idealonlarm
dzenleriyle matematikiyi
ussal
te
ideallegtirmeden
legtirdikleri nesnelerdir ama yine de
rnlerinden
bagka
birgey
degillerdir. nsan usunun zorunlu
matematik
olabilirler
mi? Aym zamanda
bir
kavramlarmda,
tesine
matematikinin
ussal yargilarunn
derin
bir
ok
uzanan
gzlenebilir.
Sanki, kavramlar degil de insan dgngereklik
cesi bazi dig gerege
zg olup bize yalmz bir kismun
ynlendirilmektedir.
gsteren gerege- dogru
Mandelbrot kmesi bu konuda etkileyici bir rnektir. Olaganst zenle tasarimlammg olan bu kmenin miman
ne bir higi
Polonya
matematiki
ekibidir.
inceleyen
ilk
kez3
de
bir
Sistemi
ne
ncs)
Befraktal
kkenli Amerikah matematiki
teorisinin
(ve
noit Mandelbrot, ok ilgin bir geylerin izi zerinde oldugunu farketmekle birlikte, sistemin znde gizli harika yap1y1 nceleri anhyamadi Bilgisayarmm ekranmda ilk grntler belirmeye bagladigt zaman, izlemekte oldugu belirsiz yapilarm, bilgisayarimn
sandi (Mandelbrot
yanhg iglem yapmasmdan
kaynaklandigim
1986)! Bu yapilarm kmenin kapsammda yer aldigma ancak bir
sre sonra inand1. Mandelbrot kmesinin karmagik yapismm
tm ayrmtilarim hi birimizin anlamasi veya bunlarm bir bilgisaSanki dgnyar tarafmdan gzler nne serilmesi olanaksizdir.
sahip bir
zg
kendine
bir
degil
de
gerege
sistemimizin
ce
parasi
yapidadir. Kmeyi hangi matematiki veya bilgisayar uzmam incelerse incelesin, aym temel matematiksel
yap1ya yaklagik yapilar
bulacaktir. Bilgisayarlar iin de darum farkh degildir; ancak, bilgisayarlarm iglem luzi, bellek kapasitesi, grafik gsterme yetenegi
ayrmtih
ve hizmda bazi
1kti miktarmda
gibi farkh etkenleri,
farklar yaratabilir. Bu konuda bilgisayar, ilke olarak, bir deneysel
fizikinin fiziksel dnyamn yapisun kegfetmek iin kullandigi bir
deney cihazi gibi kullamlmaktadtr. Mandelbrot kmesi, insan akhnm bir hulugu degildir; bir kegiftir. Everest Dagi nasil orada ylece duruyorsa, Mandelbrot kmesi de orada ylece duruyor!
-kendine
113
Aym gekilde, kompleks sayilar sistemi de, herhangi bir mateok tesinde, derin ve sresiz bir gersayilar fikri ilk kez Gerolamo Cardano
tarafmdan yazilan bir kitapta ileriye srld. 1501-1576 yillari
arasmda yagayan bir doktor olan Italyan Cardano aym zamanda bir kumarbaz ve ylldiz falcisiydi (sa'mnfalma da bakm14ti).
1545'de, cebir zerine 'Ars Magna' adinda nemli ve etkileyici
bir kitap yazdi. Genel bir kbik denklemin kklerini veren
zmnn ilk kompleks ifadesi bu kitapta yer alongt1r.* Ancak
bu ifadenin belirli bir agamasinda,
denklemin
gerek'
eksi bir
iglemlerde,
bulundugu
zmnn
almak
zorunda
karekkn
kaldigun
farketmigtir. Ona
sayrmn
gagirtici gelse de, bu karekkleri alabilseydi, ancak bu gartla,
anlami daima gerektir) vereyamti tmyle (kesin yamtm
bilecegini anladi. Daha sonraki yillarda, 1572'de, Raphael Bombelli, 'l'Algebra' adh kitabmda Cardano'un eserini biraz daha
ilerleterek, kompleks say11arm esas cebirini incelemeye baglad1.
Baglang1ta, eksi say11arm sz konusu karekklerinin almbir amaca hizmet eden
masi iglemi sadece bir ara
matematiksel
bir bulug- olarak grnse de, bu matematiksel
nesnelerin
ngrlen
amalarim agarak ok daha fazla igler
bagardiklari daha sonra anlagilungtir. Yukarida degiudigim gibi,
kompleks sayilarm matematik
iglemlerine dahil edilmelerindeki
ilk ama karekklerin serbeste almmasmi saglamak idiyse de,
bu saynari kullanarak, herhangi bir karekkn ahnmasi veya ne
egit olursa olsun bir cebir denkleminin zm olasihma
bir
dle sahip olur gibi sahip oluyoruz.
okgemeden bu saydarm,
daha nce akhmizm ucundan bile gemeyen sihirli zelliklere sahip olduklarun
anhyoruz. Bu zellikler, bu saynarm dogasmda
ylece bulunuyorlar. Bu zellikler, kugku gtrmez ileri grgllklerine ragmen, ne Cardano, ne Bombelli, ne Wallis, ne Coates,
ne Euler, ne Wessel, ne Gauss, ne de bir bagka byk matematiki tarafmdan bu sayilara kazandmlmamigtir. Bylesine bir simatikinin
aku yapismm
sahiptir.
Kompleks
ege
'indirgenemez'
-belirli
hir, sayilarm
zaten
yavag ya-
dayamr.
tarafmdan daha
nce yazilan
kitaba
'kegif
'icad'
"...
115
'dnyevi'
nemli yapitlari,
zelliktedir.
daha rasgele, daha
Aym
gekilde, basit, umulmadik
bir fikrin uygulanmasiyla
gayet
ekonomik olarak gereklegtirilen bir mhendislik
yapiti da bir
I. Blm'de,
ussal
olgunun varhmi
bir algoritmanm
dgncesi ierisinde buldugu savma dayanan
gl AI grgn ayrmtih gekilde ele almigtim. II. Blm'de,
algoritma
kavrammm
gerekten derin ve 'Tanri vergisi' bir
Bu blmde ise, bu gibi 'Tanri
fikir oldugunu vurgulamigtim.
matematiksel
'dnyevi'
grglerinin,
varhgimizdan
bizim
bag1msiz bir egit ebedi varhga sahip olduklarim
tartigmaktay1z. Ussal olgu iin gksel tipte bir varolma olasihgim saglayarak gl AI grgne katkida bulunabilir miyiz? Bana
vergisi'
matematik
baglayacag1z.
117
IV.Blm
Do
uk, Kamt ve Sezgi
Hilbert'in
Matematik
Programi
Dogru nedir? Dnya hakkmda neyin dogra neyin yanhy olduguna dair yargdarumzi nasd olugturaruz? Sadece bazi algoritdogal seimin g1 etkinligini daha az etkin almays
goritmalara yegleyerek- uygulamakla
Dogrunun
mi yetiniriz?
ulu katma ulagabilen algoritma digmda, bir bagka yol
igd veya sezgi-var olamaz nn? Zor bir soruya benziyor bu. Yarguarumz, duygu-verileri, mantiksal iglem ve tahmin iglemlerinden olu an karmagik, iten-baglantih sistemlere dayamr. Ayrica,
dnya ile ilgili konularda neyin dogra neyin yanhg oldugu hakkmda genel bir grg birligi olmayabilir. Sorayu basite indirgemek iin, sadece matematiksel dogrulukla ilgilenelim. Matemahatta
tik sorulariyla ilgili olarak yargaarnmzi
bilgimizi- nas11 olugtururuz?
Byle bir soru bize hi olmazsa biraz
daha a1k seik anlaguabilir
grnyor. Neyin gerekten dogru,
yanhy oldugu gibi bir soruya gerektirmiyor
neyin gerekten
gerektiriyor mu? Sahiden matematiksel
dogruluk nedir?
Matematiksel dogruluk ile ilgili soru, eski Yunan felsefecilerikugkusuz, daha da eskilere- kadar
ne ve matematikilerine
sorudur.
yaklagik son yz ydda, sorrya
eski
Ancak,
bir
uzanan
a1khk getiren nemli agamalar, ok ilgin yeni sezgiler elde edilmigtir. Igte bu yeni geligmeleri anlamaya ahgaeag1z. Dgnme
srecimizin
gerekten tmyle algoritmaya
dayah olup olam1yacag1 sorusuna parmak basan ok nemli konulari tartigacagiz.
Bu konularda uzlagmaya varmannz bizim iin nemlidir.
Ondokuzuncu yzy1hn soularmda matematikiler,
matematiksel kamtlama yntemlerinin
giderek daha glenmesinin de etkisiyle, byk geligmeler kaydetmiglerdi (Daha nce tametigmuz
David Hilbert ve Georg Cantor, daha sonra tamgacagumzbyk
Fransiz matematiki
Henri Poincar, bu geligmelerin ncleri-kugkusuz
-nsezi,
-belki
'belirli'
-yoksa
-ve,
9
6
'
olarak
eyler'
varoluglarmm
tesinde,
varoluglarru
nesneler
yeyler
bir htn olarak ele almabilen
kavramlar- top1ulugudur. Matematikte,
bir kmenin eleveya matematiksel
manlan,
ogn kez, kmenin bagka kmeleri olugturacak gekilde bir araya gelebildigi iin, kmelerin bizzat kendileridir. Bylece kmelerin kmeleri, kmelerin kmelerinin kmeleri, vs. geklinde dgnlebilir.
*
Bir kmenin
anlann,
119
ligine sahiptir. Aym gekilde, tekerlekli bisikletin tekerlekleri, normal yoncamn yapraklari,
6 0
veya x3 6 x2 + 11 x
egitliginin
yamtlarima
olugturdugu kmeler de
zelligine sahiptir. yleyseFrege'nin, gerek 3 say181 ile ilgili tammi nedir? Frege'e gre 3, kmelerin bir kmesi olmahdir: 'lk' zelligine sahip tm kmelerin kmesi. Buna gre bir kme, yalmz. ve yalmz Frege'in 3 kmesine ait ise, elemana
-
'lk'
sahip
olabilir.
'aym
birisidir. Bu tammm,
83. sayfa'da deginildigi gibi, Church'n
tammmdan ok farkh bir
tammi olduguna dikkatinizi ekerim. Bugnlerde daha
'3'
'3'
popler
olan
'kendisinin'
elemanlarmm
bizzat kendilerince temsil edilmedigi kmeye
yine bir eligki!*
yani kendinin elemam degildir
Bu, hi de hafife ahnacak bir uslamlama degildir. Russell, matematikilerin kamtlarmda kullanmaya bagladiklan dnemde kmeteorik uslamlamasmi olduka agm gekilde kullanmaktaydi. glerin
kontrolden iktigi a1ka grlyordu ve ne egit bir usavanmm
uygulanmasmm
dogru olacag1 konusunda daha titiz davranmak
gerekiyordu. Kullamlacak uslamlama yntemi ikilem yaratmamahydi ve evvelee gerek olduklari bilinen ifadelerden yalmz dogra
ifadeler 1kanlmahydi. Russell, meslekta1 Alfred North Whitehead ile birlikte, aksiyomlardan
ve yntemsel kurallardan olugan son
matematik
sistemini geligtirmeye girigti. Ama,
derece biimsel bir
uslamlamanm
her egit dogru matematiksel
kendi projelerine aygulanabilirligini kamtlamakti. Russell'm kendi paradoksuna yol
sakmmak iin kurallar dikkatle seaan ikilemli usavarimlardan
ildi. Russell ve Whitehead'm birlikte rettikleri zel proje ok byk bir yapitti. Ancak, ok zahmetli bir ugragt1 ve sonunda projenin kendi kapsammda yer alan uslamlama
yntemleriyle
simrh
kaldi. II. Blm'de tamgtigimiz byk matematiki David Hilbert,
daha uygulanabilir ve kapsamh bir projeye bagladi. Proje kapsam1na, herhangi bir matematik alam ile ilgili tm dogra matematiksel
uslamlama
egitleri dahil edilecekti. Aynca Hilbert projenin eligkiden azak oldugunu kamtlamamn da mmkn olacagru dgnyordu. Bylece matematikiler,
sonsuza kadar, sarsilmaz bir temel
-igte
aittir,
zerine
oturabileceklerdi,
umutlan,
1931'de, 25 yaglaAncak Hilbert ve arkadaglannm
nada zeki bir Avusturyah matematik
mantikisi
olan Kurt Gdel'in, Hilbert'in programun altst eden teoremiyle snd. Gdel'in teoremi gyleydi: Aksiyomlardan ve yntemsel kurallardan veya benzerlerinden olugan herhangi bir kesin ('biimsel')
matematik
sistemi, basit aritmetik
teoremlerinin tammlamala(H.
Blm'de
'Fermat'm
deginilen
run
son teoremi' gibi) kapsayacak kadar genig kapsamh olmasi ve eligkisix olmasi kopuluyla, sistemin kapsamma alman yntemlerle ne kamtlanabilir
*
RusseIPm paradoksunu basit ve eglenceli bir rnekle aiklamak mmkn: Bir
ktuphanede iki katalog bulundugunu dgnn. Bunlardan bir tanesi, ktphanedeki tm kitaplann, tabii bu arada kendilerinin de adlanm ierirken digeri, kendilerinden bagka tm kitaplann adim ieriyor. Hangi katalogun listesinde ikinci katalogun adi yer ahr?
121
ne de kamtlanamaz
bazi bildirimleri iermelidir. Buna gre, bu
gibi bildirimlerin dogrulugu hakkmda, onayh yntemlerle
rar verilemez'.
Gdel, gerekte, uygun bir aritmetik
teoremi
geklinde kodlandigmda aksiyom sisteminin tutarhhgima bildiriminin
verilemez'
yntem oldugunu kendiliginden kamtladigim
verilemezlik'
gstermistir. Sz konusu
kavramin1d zn anlamak bizim iin nemli olacaktir.
Gdel teoreminin, Hilbert'in program1m nasil altst ettigini grecegiz. Gdel teoreminin, aym zamanda, sezgimizi kullanarak, herhangi
bir formel matematik
sisteminin smirlarun
aymamizi nas11 sagladigim da grecegiz. Bunlan anlayabilmemiz,
bundan sonra
ele alacagmuz
konular aismdan son derece nemlidir.
'ka-
'karar
'karar
Formel
Matematik
Sistemleri
'Aksiyomlardan ve yntemsel kurallardan olugan formel matesistemi' ile ne kastettigimizi biraz daha a1klamamiz gerekecek. Matematiksel bildirimlerimizi ifade etmek iin kullandigim1z bir egit simgeler alfabesine sahip oldugumuzu varsayalun.
sistemimize
Bu simgeler,
dahil edebilmemiz iin, dogal say11ardan olugan bir kodlama sistemine de olanak saglamahdir. Kurallarm tammlanmasim gerektiginden
fazla karmagik
hale getirse de, bilinen 0, 1, 2, 3,
9, 10, 11, 12, rakam sistemini kullanabiliriz. Dogal sayilann
a1hnnm gstermek iin, rnegin, 0, 01, 011, 0111, 01111,
gibi daha basit bir aihmi kullanabiliriz (veya, ortak bir noktada uzlagahm
diyorsamz, ondahk
sistemi de kullanabiliriz). Ancak, diger kodlama sistemleri, aiklamalanmizda bazi kangikhklara neden olabilir endigesiyle ben
standart
kodlama sisteminden
tammlamalanmda, yukandaki
vazgemeyecegim.
ayirmak
'Kelimeleri' veya
iin bir
sembo1ne de gereksinim duyabiliriz ama biz yine basit yolu
seerek virgl (,) kullanacagiz. 'Degigken' dogal say11an (veya
tam say11an, rasyonel sayilan, vb. ama yine de burada dogal sayilara bagh kalahm) gsteren t, u, v, w, x, y, z, t', t", t"',... gibi
harfler kullanmamiz gerekecek. Bir ifadede ortaya 1kabilecek
degigken sayilann adedini simrlamamak
iin t', t^', gibi harflere ihtiyacmuz olabilir. Simgelerin gerek adedinin sonsuz olabilmatik
'aritmetigi'
...
...,
...
'sayllan'
'ara'
...
-->
...
'0111'
"kuvvetini
"...
Y simgesini kullanarak
kilde de yazabiliriz:
Fermat'm
son
teoremini yeniden
zu ge-
iin harflerin kullamlBu amala P, Q, R, S... gibi byk harfler kullanacag1m. Yine Fermat'in teoremine uygulayahm:
3 w,x,y,z [(x+ 1)** + (y + 1)"" (z + 1)'"1
F
tmn gsterebilmek
Teoremlerin
masi gerekiyor.
=
G(w)
] x,y,z
(z + 1)'"1
Fermat'm
migtir.
.n.)
123
'hibir
V w[G(w)]
G( ), bir nergesel fonksiyona, yani bir veya daha fazla degigkene bagimh nermeye rnektir.
verildiginde,
anlamlari
simgelerin
Sistemin aksiyomlar1,
nitelikte ortaya 1kacagi varsayilan
dogrulugu kendini-kamtlar
olugan bitimli bir liste retecektir.
rnegenel nermelerden
nermeler
arasmda
aksiyomlanmiz
bulunabilecek
veya
gin,
nergesel fonksiyonlar P, Q, R ( ) qunlar olabilir:
(P &
Q)
-->
P,
Vx,y[x+y=y+x]
Vx,y,z[(x+y)xz=(xxz)+(yxz)]
inga edeAncak, bu aritmetik iglemleri daha basit aksiyomlarla
"Vx
edilecek
rek bunlardan uslamlama
bildirimleri
yntemiyle elde
teoremler olarak nitelemek tercih edilebilir. Yntemin (kendinikamtlar) kurallan gyle ifade edilebilir:
'P'den ve P
Q aksiyomundan Q'uuslamlama ile elde edebiliriz.
[R (x)]aksiyomundan, R(x)'deki x yerine bir dogal say1
yntemiyle
kullamlarak herhangi bir nermeyi uslamlama
=>
elde edebiliriz.'
gi mit
edilmekteydi.
nermeyi,
Hilbert ise, bir matematik
diyelim P'yi, temsil
eden bir simgeler dizisi iin, P'nin dogra olup olmadigma bagh
umuyordu.
olarak, ya P veya
P'nin kamtlanabilecegini
Simgeaismdan
ler dizisinin,
dogru, yani formalizmin tm kurallarim
parantezlerin,
gibi- yerivs. dogru yerlegtirilmesi
dizimi / sintaks' a1smdan dogru oldugunu varne getiren
saymak
zorundayiz.
Ancak bu durumda P, iyi-tammlanmig
~
'dizim'
-ift
'sz
125
dogra veya yanhg anlama sahip olabilir. Hilbert'in midi geranlami ile ilgili endigelerimizden
teklegseydi, nermelerin
myle kurtulabilirdik!
P, dizim bakimmdan dogra bir simgeler
dizisi olurdu. P bir teorem ise (yani, sistemin ierisinde kamtlaP bir teorem
nabiliyorsa)
onu, dogruluk degeri degru olarak,
niteleyebiyanhg
olarak
oldugu taktirde onu, dogruluk degeri
eksiksiz
olmasilirdik. Bunun bir anlam tagimasi iin, dizinin
vardir.
Bagka
bir
tutark olmasma da ihtiyacumz
mn yamsira
aldigi
olarak
P'nin her ikisinin de teoremler
deyigle, P ve
yer
bir P simgeler dizisi bulunmamahdir. Aksi halde P, aym zamanda hem degru hem de yanhg olur!
sisteminde
Matematiksel bildirimlere, formel bir matematik
olmadiklari
gzyyer alan simge dizilerinden bagka hibir yey
kurtulma grg, matemale bakmak suretiyle anlamlarmdan
tigin formalizmeveya biimsellige bakig aisidir. Bu grg beoyun'dur. Ancak
nimseyenler
iin matematik bir eyit
gelmiyor.
zn kazandiMatematige
bu grgler bana ekici
Neyse ki Gdel
algoritma
iglemleri degilran
nas11
indirdi!
Bunu
ezici
yapti, grelim.
bir darbe
formalizme
~
'anlamsiz
'anlam'dir.
-kr
Gdel Teoremi
Gdel'in tartigmalarimn bir kismi ok ayrmt1h ve karmagikti. Ancak, bunlarm girdisini 1ktismi incelememiz gerekmiyor.
te yandan ana fikir, ok basit, gzel ve genig kapsamhydi. Teoremin karmagik hismi (bu k1sun da byk bir beceri eseriydi),
aritformel sistemin her bir kuralmm, ve egitli aksiyomlarrun
iglemlerine nasil kodlanacagim gsteriyordu (Teoremin
ana fikrinin genig kapsamh olmasmm bir nedeni de, byle bir
kodlamamn yapilabilecek
en verimli ahqmalardan birisi olduuygulamak
anlamaslydi).
doiin, nermeleri
Kodlamay1
gunu
gerekiyor. Bu
yolunu
etiketlemenin
bulmamiz
sayilarla
bir
gal
yollardan birisi, dizinin uzunluguna
gre genel bir siralamanm
uzunlugu
formel
sistemin
iin,
her bir belirli
tm simge dizileuygulanmasidir
siralamanm
rine sadece bir egit
uzunlukta
dizileri, yine
alfabetik
dizilmis
birim
(Bylece,
straya
diziler ve bunlari birim
alfabetik sirada iki birim uzunlukta
metik
'alfabetik'
P, (w).
stersek numaralama
sistemimizi biraz 'geligigzel'
dzenleyerek bazi ifadelerin dizim bakimmdan dogra olmamasun
saglayabiliriz (Bu durumda, dizimsel ynden dogru dizime sahip olatmaya ahymaktan
mayan ifadeleri kodlama sisteminden
ok
daha kolay bir aritmetik kodlama saghyabiliriz).
P, (w) dizim
bakumndan dogru ise, n ve w dogal sayilart ile ilgili son derece
iyi tammlannny bir aritmetik
bildirimi olacaktir.
Tam olarak
hangi aritmetik bildirimi oldugu, kullamlacak numaralama
sisteminin detaylarma bagh olacaktir. Bu konu, teoremin karmaik kism1mn kapsamma
girmekte ve burada ele aldigmuz konu
bakmundan bizi ilgilendirmemektedir.
Sistemdeki bir teoremin
kamtmi olugturan
nermeler
dizileri, tercih edilen siralama
plam kullamlarak, dogal sayilarla da etiketlenebilir.
'geligigzel
ele alahm:
x[H,.kamtlar P, (w)].
*
Leksikografik siralamay2,
k + 1 iin, formel sisteniin egitli simgelerini,
asla
kullamImayan yeni bir
birlikte kullanarak
k+1 tabamnda yazilan dogal
sayalarm normal stralamas1 olarak dgnebiliriz (Yeni siftrm asla kullamlmamasi sorunn, sifirla ba1ayan sayilarm yeni sifmn atilmasiyla
aym olmasmdan
kaynaklamr).
Dokuz simgeli dizilerin basit leksikografik siralamasi, sifirsiz
normal onlu sistemde
yazzlabilen dogal sayilarm siralanmasidir:
1, 2, 3, 4,
19, 21, 22,
8, 9, 11, 12,
99, 111, 112,
'sifir'la
...
...,
...,
...
127
Kpeli parantezler
ierisindeki bildirim kismen kelime kullamlarak verilmig olmasma karym mkemmel ve tam olarak tammlanmig bir bildirimdir: x'ei kamtm gerekte, w degerine uygulabir kamti oldugunu savunmaktadir.
Knan P, ( ) nermesinin
geli parantezin
digmdaki l, degigkenlerden birini bildirimden ikarma grevini stlenmigtir
('... nermesini saglayan x mevcut
degildir') ve bu nedenle, yalmz bir degigkene, w'e, bagimh bir
nergesel aritmetik
fonksiyonu elde etmig oluruz. Bu bildirim,
bir btn olarak, P,(w) ifadesinin kamtuun bulunmadigira savunur. Ben bu ifadenin dizim aismdan dogru sz dizimine sahip oldugu kamsmdayim (P,(w) gramer aismdan dogru ifade
edilmemig olsa da bu kamdayim; dizimi yanhg ifade edilmig bir
ifadenin kamti olmayacagi
iin, P,(w)'in dogru ifade edilmesi
durumunda ifadenin tamann da dogru olurdu). Gerekte, uygulanmakta oldugunu varsaydigmuz
gibi, aritmetik
bildirimlere
evirme iglemi nedeniyle yukaridaki
bildirim, w dogal say1s1 ile
ilgili bir aritmetik
bildirimidir (kgeli parantez
ierisinde yer
alan bildirim, iki dogal say1, x ve w, ile ilgili iyi-tammlanmig bir
aritmetik
bildirimidir). Bildirimin aritmetige kodlanabileceginin
a1ka grldg
sylenemez ama kodlanabilir. Bu gibi bildirimlerin aritmetige
kodlanabilecegini kamtlamak, Gdel'in tezinin karmagik k1smmm kapsammda
yer alan en nemli
ig'tir. Daha nce belirttigimiz gibi, kesinlikle hangi aritmetik
sistemlerinin
detaylarma ve dabildirimi oldugu, numaralama
ha ok, aksiyomlarm
detayh yapisma ve formel sistemimizin
yapisma bagh olacaktir. Btn bunlar, teoremin karmagik losuuna ait oldugu iin ayrmtilart bizi burada ilgilendirmiyor.
Tek degigkene bagh tm nergesel fonksiyonlan numaraladik; bu nedenle, biraz nce yazmig oldugumuz
fonksiyona bir
olsun. nergeselfonksiyosay1 vermemiz gerekiyor. Bu say1
numuz, listede k'ci olarak yerini ahr. Buna gre,
'zor
'k'
] x[
olacaktir.
celersek,
Simdi,bu
agagidaki
kamtlar
P,(w)]
Pa
(w)
degeri; w
elde ederiz:
2 x[R kamtlar
P,(k)]
Py(k)
k iin in-
'hay1r'
'hayir'
'kamt
Matematiksel
Bu agamada
Sezgi
ok ilgin bir konunun
ortaya
1ktig1 grlyor.
mate-
129
yapayder.'
bildirimler olarak
tam yazildikla-
(k) gibi nermeler son derece karma1k ve tuhaf grAncak, son yillarda, Gdel-tipi nermelere
egdeger,
olduka basit ve benimsenebilir matematiksel zelliklere sahip
bildirimler ileri srlmgtr.3 Bunlar, aritmetigin normal aksiyomlarlyla
kamtlanamazlar,
fakat aksiyom sisteminin
bizzat
sahip oldugu
olma"
zelliginin sonucudurlar.
dogra
Formalistin,
dogruya' profesyonelce
ilgi duymatematigin
felsefesi
aismdan
bana ok garip geliyor.
mamasi,
"a1ka
'matematiksel
...
131
Gwa nermesine gtrecek iglemi baglatarak G,2, Gw2+1, Gw22,vb. olugan yeni bir sonsuz fakat sistematik aksiyomlar listesi retebiliriz. Aym iglemi yineliyerek G,4 ve sonra Gws,vb. nermeler
retmemiz
olasidir. Simdibu yntem tmyle sistematiktir
ve
kendine ait Gw2Gdel nermesine sahiptir.
Bunun sonu var un? Bir bakima, hayir; fakat bizi, burada ayrintilara
girmeyeeegimiz
grglere
kadar zor matematiksel
ynlendiriyor.
Sz konusu yntem, Alan Turing tarafmdan
1939'da sunulan bir yazida tartigilungti.* Aritmetikte herhangi
nermenin,
bubir dogru (fakat evrensel olarak nicelleytirilmig)
gekilde,
yinelemeye
sreciyle
'Gdellegtirme'
benzer
dayah
na
elde edilebilmesi
ilgintirl (Bkz. Feferman 1988). Ancak, sre,
bir nermenin
dogru veya yanhg olduguna nasil karar verecegiz
sorusunu da n plana 1kiyor. Kritik konu, her agamada, Gdel
nermelerinin
olusturdugu
sonsuz ailenin ek bir aksiyom (veya
simrh sayida aksiyomlar)
retecek gekilde nasil kodlanmasi gerektigini yamtlamaktir.
Bu amala sonsus ailemizin, herhangi
bir algoritmik yntemle sistematik hale getirilmesi gerekir. Sz
konusu sistemlegtirmenin,
kendinden bekleneni. dogru olarak
saglamak
gereklegtirmesini
iin, daha nce Ph(k)'in dogru bir
nerme oldugunu kamtlarken yaptigmuz
gibi, sistemin digmda
Ancak, sezgiler sisbir kaynaktan, sezgilerden yararlanacag1z.
temlegtirilemez ve bu nedenle, gerekten, herhangi bir algoritmik iglemin digmda kalmaktadirlar!
aritmetikte
Py(k) Gdel nermesinin,
gerekten dogru bir bildirim oldugunu kamtlamaya yardimci olan sezgi yetenegimiz,
mantik11arm
dgnce ilkesi adun verdikleri genel yntemin bir
rnegidir;
bylece mantiki aksiyom sisteminin
ve yntemin
'dgnceye
anlami zerinde
kurallarmm
dalarak' ve kendini,
matematiksel
bu sistem ve yntemlerin
dogruya ulagmak iin
gerekten geerli aralar olduklarma
inandirarak, aksiyomlarla
dogru bildirimleri sz konusu sezve kurallarla ulagilamayacak
giyle kodlayabilir. Yukarida ana hatlanyla aiklandig1
gibi,
Pa(k) nermesinin
dogruluguna bu ilkeyle vlagilmigtir.
lk Gdel savi ile ilgili bir bagka dgnce ilkesi (yukanda aiklanmadogrulara ulagmak iin geerli bir
mig olsa da), matematiksel
ashnda tuara olarak kabul ettigimiz bir aksiyom sisteminin
yeni matematiksel
tark oldugu olgastmdan
dogrular retilmesi
-
'kamtlanamazhgim'
"kgegen
'muazzam
133
'muazzam
zmlenmig
-ve-
"kendi-
"anlamhhk"
'sezilebilir'
-tutarh
'kendini-kamt-
'anlamhhk'
'kendini-kamtlama'
'aulamhhk'
'bulamk'
'simflar'
arasmda
Kmelerin biraraya
bir aynm yap11maktadir.
*'Kmeler' ve
smiflann
gelerek diger kmeleri veya smiflari olugturmasma
izin verilirken
olmalari
nedeniyle bu gekilde daha byk koleksiyonlar1 olugturamaAncak, bir eleman koleksiyonunun ne zaman kme,
diklari kabul edilmektedir.
suuf
konusunda
bir kural getirilememektedir.
sayilacagi
ne zaman
'byk'
'insan-yapisi'
Platonizm
mi Yoksa Sezgicilik
mi?
'dogruluk'
'varolug'
'matematikiden
'bilgisayardan
'mutlak'
135
verebilirler. Ancak, bu konuda kabul edilebilir ayinm yapabilmemizi saglayan birok yakla1m bulunmasun takdir ediyorum. Burada, bu aymmlarm
zerinde fazlaca durmanuz gerekmiyor.
Gerek bir Platonist oldugunu iddia eden bir kimse, Platonizmini tagiyabilecegi noktada grg ayrihklarlyla
kargilagmay1 gze almahdir. Bizzat Gdel koyu bir Platonist idi. $u ana kadar
ele aldigim matematik
bildirimleri, tekilerinin
yanmda '1hmh'
kalan
a1k daha ok
'mutlak'
malara
-for-
kkleri, Platon'un
nesnelerin
'varolug'tan
137
varolugta yapicihk aramamn
Kanimea, matematiksel
takdir
bir yam olmakla birlikte Brouwer'in sezgicilik grg
biraz fazla agiridir. Brouwer fikirlerini ilk kez 1924'de, yani
Church ve Turing'in eserlerinden on yildan fazla bir sre nce,
a1klarnytir.
Epimdi artik, yapic1hk kavrami -Turing'in hesaplanabilirlik fikri baglammda-,
matematiksel
felsefenin ahpldsk
erevesinde
incelenebildigine gre, Brouwer'in bizi ynlendirmek istedigi agmhklara
gitmemiz gerekmiyor. Yapic1hgi, matematiksel varolug konusundan ayri bir konu olarak ele alabiliriz. Sezgiciligin izinde gidersek, matematigin
kapsadigi ok
glil nermeleri
kullanmaktan kendimizi ahkoymannz gerekir
ki konu bylece tikanacak ve k1sirlaacakt1r.
Sezgici grgn insam iine srkleyebilecegi
eyitli zorlukayrmtilariyla
anlatmak
lari ve grngteki tuhafhklari
istemisorunlardan bir kama deginyorum; fakat, kargilagilabilecek
mek yararh
olabilir. Brouwer'in sika verdigi bir rnek, Tc'nin
ondahk a1hmlyla ilgilidir:
edilecek
3.141592653589793...
Bu ondahk aihuan
leyen yedi rakami
x= 3.141592653589793...
yirmi adet
birbirini iz-
77777777777777777777...;
'n'nin
-inkr
edeceklerdirl
n'nin ondahk a1hmunn bir yerinde birbirini izleyen yirmi adet yedinin dizilimini gstermek iin dogrudan
hesaplama yeterli olacakken, byle bir dizilimin gerekte bulunmadigun gstermek iin bir matematik
teoremine ihtiya vardir.
min varoldugunu
zilimin varhgim
bilgisayarm
diyelim saniyede 10"iglem hiz1nda basamak rettibile, aihmi bulmak iin yz il bin y11 arasmda
bir sre gerekebilir! Bence, byle bir a1hmm varhgimn, dogrudan hesaplanmaktan
ok, bir gn, matematiksel
iglemle saptanolasihgi
daha
belki
ok
daha gl ve
fazla grnyor (bu
mast
sezgiciler tarafmdan
ilgin bir teoremin yan sonucu olur)
onaylanmayacak bir tarzda saptanacakt1r!
Bu zel sorun matematigin
gerek ilgi alamna girmez. A1klamasi kolay oldugu iin yalmzca bir rnek olarak verilmigtir.
Brouwer, kendi agiri sezgiciliginin
erevesinde, z'nin ondahk
a1hmmm bir yerinde peg pege gelen yirmi adet yedinin varhgirnnqu an iin ne dogru ne de yanhg olduguru savunacaktir.
Gelecekte bir gn bu veya u ekilde dogru yamt, hesapla veya
kamtla, bulundugu takdirde nerme,
(sezgisel) matematiksel
olacaktir.
duruma gre
Buna benzer bir diveya
rnek
Termat'm
teoremi'dir.
Brouwer'in
agiri sezgici
ger
son
grgne gre, gimdilik, bu teorem de ne dogru ne yanhytir, fakat gelecekte bir tarihte dogru da olabilir yanhg da.* Bence,
matematiksel
dogrulugun bu egit znelligi ve zamana-bagimhhgi hi hoglam1mayacak bir niteliktir.
Bir matematik
sonueukamtlamp kamtlanmadigi
nun resmen
veya ne zaman kamtlandigi gerekten znel bir konadur. Matematiksel dogruluk bu
egit topluma bagh kriterlere dayandirilmamahd1r.
Zamana gdogruluk kavramma sahip olmak,
re degigen bir matematiksel
fiziksel dnyayi tammlamak iin insamn gvenle kullanabilecegini umdugu
matematik
ynnden,
en iyimser bir ifadeyle,
beceriksizlik ve olumsuzluktur.
Sezgicilik tezini savunanlarm
hepsi, Brouwer kadar agiri bir tutum takmmayacaktir. Ama
nasil olursa olsun, yapilandirmac1hgm
amalarma
sempati duyanlar iin bile sezgici bakig aisi, aika grldg gibi pek bir
matematiksel
uslamlama
hantaldir. Sadece uygulanabilecek
ynnden ok suurlayic1 olmasi gibi tek olumsuz zelligi nedeni
matematik.ilerinden
pek az1, sezgiciligi
iin bile gnmzn
gini varsaysak
-ama
'dogru'
alabilir.
matematik
mmladim:
Formalizm,
'yanhs'
ciddiye
Gnmz
mtlanmg
139
Turing'in Sonucundan
Gdel-Tipi Teoremler
1kan
'aksiyomun
-kamtlanabilirligi
'sezgiyle'
nu a1ka anlayacagunizz
vurgulamaktirl
Turing'in, Gdel'in yapitml inceledikten sonra, kendi teoremini, durma probleminin zlemezligine dair teoremini, geligHer iki teoremin birok ortak
tirmig oldugunu sylemigtim.
noktast
bulunmaktadir
Tuve gerekten de, Gdel'in sonucuna
ring'in yntemiyle ulayilabilir.
Bunun nasil gereklegecegini inceleyelim ve bu arada Gdel teoreminin altmda
neler yattigt
hakkmda olduka farkh bir bakig aisi edinelim.
sistemin baghca zelligi, verilen
Biimsel matematiksel
bir
matematiksel
nerme ile ilgili simgeler dizisinin, sistem erevesinde, bir kamt olugturup olugturmadigma
karar vermek isleminin hesaplanabilir olmasim gerektirmesidir.
Matematiksel kamt
dgncesinin biimlegtirilmesinde yegane ama, ne de olsa,
yntemi iin karar almak zorunda kalmageerli bir uslamlama
maktir. nerilen bir kamtm gerekten bir kamt olup olmadigim,
tmyle, mekanik
etmek
eden
tiksel bildirimlerin
mak, mutlaka
algoritmanm
'alfabesiyle'
141
en kk dogal sayi xT
herhangi
seer. Burada K( ) aritmetik iglemlerle hesaplanan
olup,
kargihgmda
byle
bir
nergesel
fonksiyon
say1mn bubir
varsay1hr;
(Byle
bir
dogrudur
yani
x[K(x)]
lundugu
3
sayi buvarolmayan
lunmasaydi iglemimiz,
ve buluumasi istenen x sa'sonsuza
kadar sregiderdi')*.
y1sm1 bulmak abasi ierisinde
yukaridaki
dayah
olsun,
Turing'in sonucuna
sav,
Ne olursa
matematik
dallaHilbert'in, biimsel sistem erevesinde tm
savunulamayacagim
indirgeyen programmm
rim hesaplara
gsteriyor.
Yntem, bu gekliyle, dogru fakat sistem ierisinde kamtlanahe(Pa(k) gibi) sahip oldugumuzu
mayan bir Gdel nermesine
algoritmay1 naBlm'deki
83)
Ancak,
II.
(s.
gstermez.
men
s11 altedebiliriz'
tartigmasun hatirlarsamz, buna ok benzer bir
'bir
*
Bu tr ganssiz olasihklarm meydana gelmesine izin vermek gerekir; bylece
herhangi bir algoritmik iglemi tammlamak gansma sahip olabiliriz. Turing maiin, ashnda hi durmayan Turing makikinelerinin genel tamnmn yapabilmek
nelerine hoggryle baktignmzi ammsayimz.
greceksiniz. Hatirlayacagunz
giigleminin durup durmayacagma kaahyacagim
rar vermek iin herhangi bir algoritma verildiginde,
bizim anlayacagimiz
anlayamiyacag1
fakat algoritmamn
bir Turing makinesi
iglemini retebiliriz
(Algoritmamn, bir Turing
makinesi igleminin ne zaman duracagi hakkmda bize dogru bilgi vermesi gerektigi konusunda 1srar ettigimizi, ama bazen algoritmanm
kendisi sonsuza kadar igledigi iin, Turing makinesinin ne zaman duracagim bize bildirmedigini ammsaylmz). Bu
neden1e, Gdel'in teoreminde oldug-u gibi, verilen algoritmik iglemin bagaramadigru gereklegtiren
bir nermeye sahip olarak,
sezgiden yararlanarak,
genelde neyin dogru oldugunu (Turing
makinesinin
igleminin durmayacagun) grebiliriz.
Tekrarh
Sayalabilir Kmeler
4,
...},
9999}, {0, 1, 2, 3, 4,
hatta tam kme
{0,2, 4, 6, 8,
N {0, 1, 2, 3, 4,
gibi
kme
gruplarim
bog
kme
veya
{}
gibi (sonlu veya soninceleyebilmek iin yalmz 0, 1, 2, 3, 4,
suz) dogal says kmelerini inceleyecegiz. Sadece hesaplanabilir
sorularla,
rnegin: 'Hangi tr dogal sayi kmeleri algoritmalar
tarafindan retilebilir, hangileri retilemez?' gibi sorularla ilgilenecegiz.
Bunun gibi konulari ele almak iin, istersek, her bir vi dogal
sayismm belirli biimsel bir sistemde belirli bir simgeler dizisini temsil ettigini dgnebiliriz.
Bu, sistemdeki nermelerin
('sz dizimi' dogru yapilm14) leksikografik stralamasma
gre
simgelerin
n'inci sirasi, yani 0, olacaktir. Her dogal say1 bir
nermeyi temsil eder. Formal sistemin tm nermelerinin
kmesi, N kmesinin tm tarafindan temsil edilecek, ve rnegin, biimsel sistemin teoremleri, dogal sayilarm daha kk
bir alt kmesini, rnegin P kmesini, olugturacaktir.
Ancak,
nermelerle
sisteminin
ilgili herhangi bir belirli numaralama
...,
...}
...,
143
detaylari
nemli
arasmda
-ve
'dogru
'duyarh'
..
'kamtlanabilir'
'de
'teoremler'
'n'inci
kareler kmesi
..),
10, 1, 2, 9, 16,
ve asal sayilar
kmesi
A1ka grldg
vasitastyla
retebilmekteyiz.
...};
(1, 3, 5, 7, 9,
...};
ve
{2,3, 5, 6, 7, 8, 10,
(0, 1, 4, 6, 8, 9, 10, 12,
...}.
Bu tmleyen kmeler iin de bir algoritma retmek kolay olacaktir. Gerekten de, herhangi bir n dogal sayisimn ift olup olmadigma, kare olup olmadigma veya asal say1 olup olmadigma
algoritmik
olarak karar verebiliriz.
Byle bir algoritmay1, hem
iin kullaasil kmeyi hem de onu tmleyen kmeyi retmek
nabiliriz. Hem kendisi hem de tmleyen kmesi tekrarh sayilabilir bir kmeye yinelenen kme denir. Elbette ki yinelenen bir
kmenin tmleyeni de bir yinelenen kmedir.
kmeler var
Peki, tekrarh sayilabilir fakat yinelenemiyen
nudir? Biraz durahm, bakahm bunun arkasmdan
ne gelecek.
algoritmayla
retilebilecegibir
Byle bir kmenin elemanlari
bir an
kugkulandigimiz
ne gre, kmede yer aldigmdan
bir elemanm
iin gerekten kmede yer aldigim varsayahmkarar vermemizi
gerekten kmenin elemam olup olmadigma
sahip
saglayacak
olacag1z. Bize gerekli olan tek gey,
bir araca
algoritmamizm,
incelemekte oldugumuz elemam buluncaya kaFadar kmenin tm elemanlarim taramasma izin vermektir.
varhgmdan
elemamn
kmede
gerekten
kugkulandigimiz
kat,
bulunmadig1m varsayahm.
Bu durumda algoritmaruz ige yaram1yacaktir,
nk bir karara varmaksizm
taramasim sonsuza
'tmleyen'
kmeyi retmek iin
dek srdrecektir. Bu nedenle,
donaihtiyacimiz vardir. Her iki algoritmayla
bir algoritmaya
algorityeterli
gerek.
ki
hissetmemiz
mmh olarak kendimizi
zanhy1
her durumda
madan birini ya da digerini kullanarak
yakalayabiliriz.
Ancak, bu mutluluk, yinelenen bir kmeyle ne
yapacagimiza baghdir. Burada kmemizin yalmzca tekrarh say11abilir oldugu fakat yinelenen nitelikte olmadigi varsayllmigtir: Tmleyen kmeyi retmek iin nerdigimiz algoritma orta-ve,
145
da yoktur! Bylece tuhaf bir durumla kargi kargiyayiz. Kmedeki bir elemanm gerekten kmede olup olmadigma algoritma
yardimiyla
karar verecegiz, ama gerekten kmede olup olmayine
garanti edemiyoruz! By1e bir durumla
algoritmayla
digmi
mi? Tekrarh sayilabilir fakat yinelekargilagilabilir
gerekten
gerekten
var midir? Peki, P kmesinden ne
nemeyen kmeler
midir?
Tekrarh sayilabilir oldugunu
bir
kme
haber? Yinelenen
de tekrarh sayilabilir
kmenin
biliyoruz. yleysetmleyen
vermemiz
Ashnda, P tekrarh
olmadigma
gerekiyor.
olup
karar
nas11
Pekl,
kamtlayabiliriz?
sayilabilir
Bunu
kme degildirl
sistemimizin
biimsel
iglemmakinesinin
iglemlerinin,
Turing
varsayildigim
n'inci
Tuhatirlay1mz.
aldigima
leri arasmda yer
ring makinemizi T, ile gsterdigimize gre
'T,
Oz)durur'
'in
Kamt, duruncaya
silsilesinden
olugabilirdi.
agamalar
olurdu.
syleyebilirz.
Oyleyse, kamtlamaya
ahetigi-
'T/n).durur'
bildiriminin yanhg nermelerinin
retilemiyebir algoritmayla
cegini, daha nce yaptigimiz
gibi, gstermektir.
Bu nedenle,
yanhg nermeler,
btn olarak bir algoritma tarafindan retilemezler, nk byle bir algoritma,
tm yanhg 'T/n) durur'
nermelerini
zellikle sayacaktir.
Aym gekilde, tm dogru nermeler kmesi de bir algoritma
tarafindan retilemez
(nk
rettigi her bir nermenin
byle bir algoritmaya,
tersini aldirtmak suretiyle, tm yanhg nermeleri
retmesi basit bir gekilde
saglanabilir).
olmadigma
Dogru nermeler tekrarh sayilabilir
(yanhg nermeler de yle) gre, sistemin kapsammda kamtlanabilir nermelere
kiyasla ok daha karmagik ve derinlemesine
147
bir yapi olugtururlar. Bu durum yine Gdel'in teoremine bir rnektir: Matematiksel
dogruluk kavramma, formel bir sav yoluyla ancak k1smen ulag11abilir.
Ancak, tekrarh say11abilir kmeler olugturan bazi basit dognerme simflari vardir. Ornegin,
ru aritmetik
B w, x
...,
ff(w,x,
...,
z)
0]
-burada
f(w,x, y,
z)
Ancak, A kmesi hi de beklendigi gibi yinelenen bir kme degildir (lk haliyle Gdel teoreminin bir sonuca olmasma karbir olgudur). Bylece,
gm grlmesi pek de kolay olmayan
'Fermat'm son teoremi'nin dogru veya yanhg olduguna, ilke
olarak bile, karar vermemizi
saglayacak bir algoritma bulamadik!
Sekil 4.1'de
yinelenen
bir kmeyi, verilen bir noktamn kolup
olmadigim
ait
dogrudan sylemenin
mmkn oldumeye
dgnebilmemiz
iin,
basit smirlara sahip bir alan gekgunu
linde gematik olarak gstermeye ahytim. Resimdeki her noktanm, dogal bir say1y1 temsil ettigi dgnlmelidir. Tmleyen
kme de, basit grngl bir alan olarak gsterilmektedir.
Sekil 4.2'de, tekrarh saydabilir fakat yinelenmeyen
bir kmeyi
ahykarmagik smirlara sahip bir kme olarak gstermege
resimde,
bu
sayilabilir
tim;
suurm tekrarh
tarafmdaki kmenin, diger taraftaki kmeye kiyasla daha basit grnm1 olmasina ahg11m14tir. Sekiller son derece gematik tasarimlanynden dogru' olmig olup, herhangi bir anlamda
malart
amalanmamigtir.
dz
iki-boyutlu
bir dzOzellikle,
olmalarmm
lem gibi gsterilmig
bir nemi yoktur!
$ekil
'geometrik
tasarum.
Sekil4.2. Tekrarh sayalabilir fakat yinelenemeyen bir kmenin (siyah alan) son derece
gematik tasarum. Ama, beyaz alamnm, hesaplanarak retilebilen siyah alan 1kar11kalan' olarak nitelenebilecegini gstermektir; bir noktamn
diktan sonra sadece
gerekte beyaz alanda yer aldigim iddia etmek hesaplanabilir bir konu degildir.
'geriye
4.3'de, P, T ve A alanlarmm,
N kmesi ierisinde
diklarim gematik olarak gsterdim.
149
Mandelbrot
Kmesi
midir?
Bir Kme
Yinelenen
Sekil4.3. egitlinermeler
kmelerinin son derece gematik tasarmu. Sistemde kamtlakmesi P, A gibi, tekrar tekrar sayilabilir olmasma karem yinelenebilir degildir; dogru nermeler kmesi, T, tekrar tekrar sayilabilir bile degildir.
nabilir nermeler
I
I
dir? Kugkusuz yledirler ama bu resimleri bilgisayarm rettigiArgand dzlemindeki bir noktamn, yani bir c
kompleks sayismin,
Mandelbrot kmesine mi (siyah renkli)
yoksa tmleyen kmeye mi (beyaz renkli) ait oldugunu saptamak iin bilgisayar
ni unutmayahm.
z-+z2+c
gnderimini, c sayisim elde etmek iin nce z O'a, sonra c2 + c
sayisua elde etmek iin z c'e, sonra c4 + 2e3 c2 + c sayisim elEger, 0, e, c2
de etmek iin z c2 + c sayisma vb. uygulayacaktir.
yakmsaksa
+ c, cd + 2c3 + c2 + c,
c tarafmdan temsil edilen nokta siyah renklidir; aksi halde beyaz renklidir. Makine,
byle bir dizinin yahmsak olup olmadigun nasil bilir? Ilke olarak bu soruda, dizinin sonsuz say1da terim sonrasmda
ne olacabilindigi
farzedilir.
bagma,
hesaplanabilir
Yani soru, tek
gimn
yalmz sonlu bir sayismbir konu degildir. Neyse ki, elemanlarm
oldugunu syleyebilmenin
dan sonra dizinin iraksak
birok yolu
vardir
(Gerekte, 1 + 6 yar1apmdaki
daireye ulagir ulagmaz
oldugundan
emin olabiliriz).
dizinin iraksak
Buna gre, belli bir anlamda, Mandelbrot kmesini tmleyen
kme (yani, beyaz alan) tekrarh sayilabilir
bir kmedir.
alanda
ahyorsa,
kamtlakompleks
beyaz
bu
geregi
c
yer
sayis1
yacak bir algoritma
da var demektir. Peki, siyah alandan, yani
bizzat Mandelbrot kmesinden ne haber? Siyah alanda yer algerekten
siyah alanda yer aldigim
digi samlan bir noktamn
kesinlikle bildirecek bir algoritma var mi? Bu sorunun yamti
henz bilinmiyor." Bu konuda me.slektaglarima
ve uzmanlara
varhmdan
damptim. ama hi birisi byle bir algoritmamn
haberdar grnmyordu. Byle bir algoritmamn varolmadigma
siyah alan
dair bir kamta da rastlamamiglardi.
En azmdan,
meveut degil gibi grnyor. Belki
iin bilinen bir algoritma
Mandelbrot kmesini tmleyen kme, ashnda, tekrarh say11abilir fakat yinelenemeyen
bir kmenin rnegidir.
Bu neriyi daha aik irdelemeden nce, gylece degindigim
bazi konulari ayrmt11amak
gerekecek. Bu konular, fizigin hesaplanabilirligi ile ilgili olarak daha sonra yapacagumz
tart19malar ynnden nemlidir. Daha nceki tartigmalarda pek fazla aik ifadeler kullandigim sylenemez. Argand dzlemindeki
=
...dizisi
151
'tekrarh
kmeleri,
sayilabilir'
yani
'yinelenen'
'ok
...
...
fark1 algoritmik
olup
olmadigma
kaynaklamr. Birim emberi, diskin bir parasi olarak kabul edelim. Bir algoritmanm,
herhangi bir karmagik saymm reel ve rerettigini
varsayahm.
el olmayan kismma ait rakamlari
Bu
kompleks sayuun birim ember zerinde yer aldigmdan kugkulamyorsak, bunu mutlaka kamtlayamayabiliriz.
x2
y2
hesaplanabilir sayisimn gerekten l'e egit olup olmadigma kaverebilecegimiz bir algoritma yoktur, nk buna karar
vermek, hesaplanabilir
kompleks x + i y sayismm, birim emzerinde
ahp
almadigmm
saptanmasi
ber
kriterinden bagyer
ka birgey degildir.
Kugkusuz, istedigimiz bu degiL Birim disk elbette yinelenen
kme kabul edilmeli. Birim diskten daha basit pek fazla kme
yok! Sorunu zmenin bir yolu smiri gzardi etmek olabilir.
Diskin gerekten iindeki ve diskin gerekten digmdaki noktalarla ilgili olarak bu gerekleri kamtlayan bir algoritma mevcuttur
(Sadece x2 + y2 rakamlarini
pegpege reterek
0.99999...'da ondahk noktasmdan
9'dan
bagka bir rakam,
sonra
rakam
LOOOOO...'deO'dan
bagka bir
bulabiliriz). Bu bagveya
lamda birim disk yinelenen bir kmedir. Fakat savlarm, ogu
kez, simrlarda neler olup bittigine bakarak ifade edilmesi gerektiginden,
matematik
ynnden
bu. bakig aisi olduka anrar
153
'evet'
'tekrarh
'tammiyor'.
'simr
'lekeler'den
-ii
'filizler'den
'dikkate
'yinelenen'
'yerel
Kompleks sayllarm sayilamaz oldugu problemine yeni yaklagimlar getiren ve benimseyebilecegimiz bagka grgler de vardir. Hesaplanabilen tm kompleks sayilari ele almak yerine, bu
sayilardan ikisinin egit olup olmadigma karar vermenin hesaplanabilir bir konu oldugunu savunan nitelikte uygun bir alt-ksay11arm reel ve reel olmeyi ele alabiliriz. Byle bir alt-kme,
rasyonel
sayilar olarak ahnikisinin
kisimlarimn
her
mayan
Ancak, fazlaca simrlay1ei
kompleks sayilardir.
digi,
olmasi nedeniyle bu grsn, Mandelbrot kmesinin sarmagik
filizleriyle baa ikabilecegini sanmiyorum. Belki biraz daha
tatmin edici bir yntem olarak eebirsel sayilardan, yani tamsay1 arpanh cebirsel denklemlerin zmleri olan kompleks sayilardan, yararlanabiliriz.
rnegin,
'rasyonel'
129 z7
33z6
725z4
16z3
2z
Cebirsel
denkleminin z iin tm zmleri cebirsel sayilaridir.
ikisinin
egit
hesaplanabilir
sayilar sayilabilir,
bunlardan
ve
olup olmadigma karar vermek gerekten hesap edilebilir bir kopek ogu birim emnudur (Rastlantiya bakm ki, bu sayilardan
berin zerinde ve Mandelbrot kmesinin filizleri zerinde yer
olup olmadigi
ahr). istenirse, Mandelbrot kmesinin yinelenen
edebiliriz.
sayilarla
ifade
bu
sorusunu,
Cebirsel sayilar, yukarida degindigimiz iki kme bakimmdan uygun olabilirse de, genelde kargilagtigmus tm zorluklari
zmleyemezler. Argand dzleminde x + i y (= z) iin
.
>ex
rumda
cebirsel
sayilar,
smirm
algoritmik zelligini
aragtirmak
155
Yinelenmeyen
Bazz Ornekler
Matematik
'yinelenen'
olarak uitelenmelidir.
Problemlerine
problemlerle
Matematigin yinelenmeyen
karg11ay11dig1birok
'hay1r'
alam vardir. Bu nedenle, yamti ya 'evet'
olan, fakat
veya
hangisinin dogru olduguna karar verilmesini
bu yamtlardan
varolmadigi
saglayacak genel bir algoritmamn
problemler simf-
0,
yz2
2x
--
0,
y2 2xz
-
y=7,
z=2
'topolojik
'kuantum
'szckler'
'egitlikler'
'epitlikleri'
157
szckler) retebiliriz.
listeye gre egit oldugu
Szcklerin her bir blmnn
varsayilan
bir bagka blm konulabilir. Bu durumda problem,
verilen herhangi bir ift szcgn,
bu kurallar erevesinde
olup olmadiklarma
karar vermektir.
rnegin,ilk listemize agagidaki szckleri alabiliriz:
ka szckler
uzun
yerine,
'egit'
EAT
ATE
LATER
PAN
CARP
AT
=
=
rnegin,
Bu szcklerden,
LAP
szcklerini
LOW
PILLOW
ME
olarak tretebiliriz:
gibi, srekli
apagidaki
LAP
LEAP
LATEP
LEATEP
LEAP
'evet',
'evet'
CATERPILLAR
CARPILLOW
=
=
CARPILLATER=
CARPILLAR
MEAN MEATEN
MAN.
MATEN
=
CARPAN
nyarak
CARPET'dan MEAT'i tretmenin
nas11 syleyebiliriz?
olmayacagira
Bunun iin biraz
yollar
eyitli
bulmamiz hi
gerekir
ok
daha dgnmemiz
ama
'egityol
listemizdeki
her
olabilir:
Ilk
de zor degil. En basit
gu
lik'de, egitligin her iki tarafmdaki A'lann sayisi arti W'larm say1s1 arti M'lerin sayisi aymdir. Buna gre, A'lann, W'lann ve
Bilinen
kurallara
mmkn
'egit
'egit'
'egitligi'
'egitlikleri'
'egit'
'zek'ya
'hi-
'egit'
'egitligin'
'hile'
'egitlik'
'egit
=
=
=
=-
169
i
r
I
giliiki rnek
Genel szck
mantik
'karo
'periyodik',
yani
terimleriyle
161
L
ekil 4.8. Perlyod parelelkenan
kaplama,
----
--
'her
olarak adlandmhr
yne uzanabilen'
dzlem kaplama
(a1ka
nedenlerle!)
nce
H. Voderberg tarafindan bulunbelli
ve daha
mug gek1e dayamlarak B. Grnbaum ve G.C. Shephard (1981Bu tr karonun hem periyodik
1987) tarafmdan uygulanmigtir.
hem de periyodik olmayan kaplama yapabildigine dikkat ediniz.
Bu zellik tek veya kme halindeki karo kaplamalarda da grlr. Dzlemi yalmz periyodik olmayacak gekilde kaplayan tek
karolar
veya
(8)
(b)
(c)
Sekil4.9, Sekil4,8'dekinin
olmayan
'helisel'
aym
karo kaplama.
'her
yne uzanabilen'
biimikullaman
ayn periyadik
Ashada Hao Wang biraz daha farkh bir soru tasarlanneti: Kare karolar dnbirbirine uygun renkte kenarlara sahip olacakti. Fakat bu fark bizim
meden,
dagiL
163
byle
ekte periyodik olarak da kaplayacagi gsterilebilseydi,
gerekten var olabilecegini gstermigtir.
bir karar ynteminin
byle bir kogula aykin bir kmenin, yani
Samrim, o zamanlar,
olmayan' karolar kmesinin, var olabilecegine inamlnuyordu. Ancak, 1966 yihnda Robert Berger, Hao Wang'm bazi
ipularim degerlendirerek,
karo kaplama problemi ile ilgili
varolmadigun
ynteminin
gstermeyi bagardi: Kahibir karar
problemi
yinelenemeyen
matematik
sorulartmn
de,
kaplama
ro
bir parasidir!
Bylece, Hao Wang'm periyodik olmayan karolar kmesinin
varolmas1
gerektigi sonucundan
hareketle Berger, ilk periyodik-olmayan karolar kmesini inga etmigti. Ancak, Berger kmesi 20 426 gibi son derece fazla say1da karo kullammim gerektirdigi
iin Berger, biraz daha beceri gstererek bu say1y1
104'e indirdi. 1971 ylhnda Raphael Robinson sz konusu saylyi,
Sekil4.10'da gsterilen 6 karoya kadar indirmigtir.
altih kme Sekil4.11'de gsteBagka bir periyodik-olmayan
rilmigtir. 1973'de, tamamen bag1msiz bir dgnce izgisi izleyerek bu kmeyi ben tasarimladim (Bu konuya X. Blm'de tekaltiekil 10.3). Robinson'un periyodik-olmayan
rar dnecegim;
diye
h kmesini grdkten sonra, bu saylyt nas11 azaltabilirim
srdrddgnmeye bagladim; keserek, tekrar yapigtirarak
egitli
denemeler
karo
ikiye
dgrebildim.
say181m
sonras1,
gm
Sekil 4.12'de iki ayri tasarim gsterilmigtir. Kaplama iglemi tamamlandigmda
ortaya ikan periyodik gekiller, beg-kath simetriye sahip ve kristal yapisma
tamamen aykir1 periyodiksi bir
Bu konuya
yapi dahil, dikkate deger birok zelliklere sahiptir.
bir
daha sonra tekrar dnecegim. Matematigin bylesine
alanmm, bir dzlemin birbirine uyan paralarla kaplanmasi giyioyunu' bir iglemin gerekte matematigin
bi neredeyse
problemler
nelenmeyen
konusunun bir kismim olugturmasi ilgin grlebilir. Aslmda bu alanda zor ve zmlenmemig problemler vard1r. rnegin,tek karodan olugan ve periyodik-olmaolmadigi bilinmemektedir.
yan bir kmenin varolup
problemde kaWang, Berger ve Robinson'un yaklagimlarlyla
re karolar kullamlm14t1. Ben, herhangi bir gekle sahip okgenler kullamlabilir diyorum, yeter ki her bir karoyu gstermenin
birisi,
hesaplanabilir
bir yntemi var olsun. Bu yntemlerden
'periyodik
'basit'
'ocuk
$ekil4,10.Raphael
Rabinson'un,
kmesi.
yalmz
dzemi
periyodik-olmayarak
kaplayabilenaltih
etmektir.
Bu noktalari,
mmkndr.
cebirsel
sayilarla
olarak
gstermek
kabul
pekl
165
Sekil4.12. Her
rolan'); ve
Mandelbrot
Matematige
Kmesi Yinelenmeyen
Benzer mi?
c=z
c noktalan kmesi olarak tammlanabilir; burada z, merkezden
uzakhgi 1/2'den az olan bir kompleks say1dir. Bu kme, kugkutekrarh sayilabilir: Blgesuz, daha nce deginilen anlamda,
uygulandigmda
nin i kisannda bir noktaya
bu noktamn gerekten i blgede bulundugunu
dogrulayacak bir algoritma
vardir.
Gerek algoritma yukardaki formlden kolayca elde
edilir.
Yrek biimindeki ana blgenin solundaki yuvarlak blgeye
(Sekil4.13 blge B) bakimz. Yuvarlak blgenin i kismi
-
c=z-1
noktalar1
kmesidir;
burada
z, merkezden
1/4'den az uzakhk-
tadir. Bu blge gerekten de bir diskin iidir, yani tam bir dairenin iinde kalan noktalar kmesidir. Bu blge de, yukardaki
anlamda,
yinelenerek
sayilabilir. Peki, yrek biimi blgenin
zerindeki
'sigilimsi'
ikmtilar
nedir?
Sekil3.2'de
yrek-biimi
grlen
ve
Sekil
damlalarm kme
167
c2
Sekil4.13. Mandelbrot
mllerle tammlanabilir.
noktalann
1/8 uzakhktaki
burada z, merkezden
tmdr. AsImda bu denklem bize yalmz Ci ve C2 yuvarlaklarim
vermiyor,
ekil 3.2'de sol tarafta
3.1'in ana blgesi- ve Sekil
gekilleri de
4.13'de Cs ile igaretlenen kalp biimindeki
vermektedir.
Yine, sz konusu bu blgeler (birlikte veya ayn
ayn), yukandaki
forml sayesinde (daha nce nerilmig olan
anlamda) yinelenerek
sayilabilir kmeleri olugturur.
Mandelbrot kmesinin yinelenemeyen
bir kme oldugunu kamtlamaya
ahytigim gibi bir izlenim yaratt1ysam
da kmenin,
iyi tammlammy ve ok karmagik olmayan bazi algoritmalar kullanarak, en genig blgelerini a1khga kavugturduk. Oyle grnyor ki, bu iglemi srdrmeliyiz. Kmedeki en belirgin blgeler ve kugkusuz bu blgelerin kapladig1 alanm (tmn kaplamadigi durumlarda) ezici yzdesi, algoritmik
olarak hesaplanabilir. Tahmin ettigim gibi kme tmyle gerekte yinelenen bir
ulaamadtgumz
kme degilse, algoritmalanmizla
blgelerin,
ok hassas ve ulagilmasi
zor blgeler olmasi gerekir. Ustelik,
bu blbyle bir blgeyi saptadigmuz zaman, algoritmalarmuzi
gelere ulagmannz1 saglayacak gekilde geligtirmek gansimiz da
artacaktir..
Fakat yine de (yinelenemez varsayimim
dogruysa)
-$ekil
'yavru'
'egit'
169
Karmapkhk
Teorisi
Algoritmalann
dogasi, varhgi ve simrlan ile ilgili olarak yusavlar
karda ve nceki blmlerde ileri srdgm
dzeyindeydi.
Uygulanabilir olup olmadiklanm fazlaca irdelemevaroldugunu
nasil
dim. Algoritmalanmn
ve bu algoritmalan
inga edecegimizi bildigimiz problemler iin bile, bunlar1yagama
geirmek byk beceri ve aba gerektirebilir.
Bazen birazeik
daha az karma ik vebeceri ve sezgi gcyle, bir algoritmamn
ya son derece luzh olmasim saglayabiliriz. Bu gibi konular ogu
kes ok ayrmtih ve teknik olup, algoritmalann
yap11anmasi,
anlagilmasi ve geligtirilmesi alanlarmda degigik baglamlarda
ahgmalanna
bir hayli ahqma yapilmig, algoritma
ivme kazandinlmigtir.
Bu konuda aynntih bir tartigmaya girmeyi uysratinin
ne lde
gun grmyorum. Ancak, bir algoritmamn
artinlabilecegi
ile ilgili bazi kesin simrlarm bilinmekte veya
tahmin edilmekte olduguna deginmekte yarar gryorum. Alzellige sahip matematik
problemleri
goritmik
arasmda
bile,
dogalan geregi, algoritmik
zmleri diger zmlerine gre
ok daha zor olanlar vardir. Bazilan ancak ok yavag algoritmalarla
(veya, olaganst bellek alam, vb. gerektiren algoritmalarla)
zmlenebilirler.
Bu egit sorularla ilgilenen teori,
karnaagsklik teorisi adlyla tanmir.
algoritmik
Karmagikhk teorisi, bireysel problemlerin
zm1erinden ok, bir problem sunfina dahil problemlere yamt arabulunabilecegi sonsuz problemler siyan genel bir algoritmarun
mflanyla
ilgilenir. Aym simfa dahil farkh problemler farkh
yutlar'a sahip olabilirler; bir problemin boyutu n dogal sayisiyla
llebilir (n sayismm problemin boyutunu nasil belirleyecegini
birazdan anlatacagim).
Belirli bir sm1fa dahil her bir problemin
gereksinim duyacagt srenin uzunlugu
daha dogrusu, ilk
agamalarm
Biraz daha
sayisi- n'e bagh bir N dogal sayisidir.
a1klamak
gerekirse, diyelim n boyutundaki
tm problemler
arasmda
algoritmamn
kaydettigi en byk agama sayisi N'dir.
Buna gre, n bydke N'de byyecektir. Gerekte N, n'e gre
ok daha luzh byyecektir. rneginN, yaklagik n2, veya n3, veya belki 2" (byk n degerleri iin 23, n, n2, n3, ns ve n6' hepsinden ok daha byk, ve hatta her r sabit sayisi iin n"den daha
'ilke'
'bo-
-veya,
byktr)
ile orantih
olarak,
diyelim
...'lerden
N<Kxnr
denklemine sahibiz; burada K ve r sabit sayilardir
(n'den baanlami
sabit
n'nin bir
Bunun
N'in,
bir
kere
arpan
gimsiz).
kuvvetinden byk olmadigidir.
P kategorisine dahil basit ve tipik bir problem, kugkusuz, iki
sayima arpmndir. Bu konuya biraz daha aikhk getirmek iin
arpilacak sayilari nasil karakterize ettigini
nce, n sayismm,
yazildigim
ikilik sistemde
Her
tammlamahyim.
sayinin
ve
n/2'in bu saymm ikilik sistemde yazilmig halinde her bir rakayani n'nin toplam ikilik hamun ka kez getigini gsterdigini,
farzedelim (Sayilardan birisi digene sayismi (dijit) verdigini
rinden uzunsa,
kisa olamyla baglar ve digerinin uzunlaguna
ulagmcaya
kadar sola bir dizi sifir ekleyebiliriz).
Ornegin n 14 ise
=
1011010 x 0011011
'polinom'
*
ashnda
7n'
3n3 + 6n + 15 gibi ok daha genel bir bildirimi gsBir
terirse de, sayilarm sabit katlari bize daha faz1a genellegtirme yapmak olanagi
saghyor. Bu gibi bildirimlerde, n'in daha dgk kuvvetlerini kapsayan tm terimler, n sayisi bydke nemsialegir.
Bu nedenle, rnekte 7n' digmdaki terimleri dikkate almayabilfriz.
-
171
olarak yazanz (ashada 1011010 x 11011 olarak yazilmasi gereyaz1hmi elde etkirken kisa say1ya s11rekleyerek yukaridaki
tik). arpimi,ikilik sistemde, 0 x 0 0, Ox 1 0, 1 x 0 0, 1 xl
=
=1,0+0=0,0+1=1,1+0=1,1+1=10oldugimuhatirla-
yarak,
Tek tek yap11an arpimlarm sayis1(n/2) x (n/2) n2/4'dr; buna ek olarak en fazla (n2/4) (n/2)'toplama iglemi yap11abilir.
iglemi
Bu durumda toplam (n2/2) (n/2) bireysel aritmetik
vardir; arp1m iglemindeki elde sayllar iin aynca bir ka yedek
Bylece toplam agama sayisi N
agamayi da buna ekleyebiliriz.
n2/2 olur ki (sadece en byk terimi dikkate alarak) bu say1
kugkusuz bir polinomdur
Bir problem simfi ile ilgili olarak genelde, problemin
tu'nun n lsn, problemin bagimsiz verilerini belirlemek
iin gerekli toplam ikilik hanelerin (bit) sayisi olarak ahnz.
Bagka bir deyile, verilen n iin, problemin 2" kadar farkh seenegi sz konusudur (nk her hane, 0 veya 1 seeneklerinden
N
birisini alabilir, ve toplam n hane vardir) ve bu seeneklerin
agamada
algoritma
bir
tarafindan
dzgn
sayism1 gemeyen
gekilde ele ahnmasi gerekmektedir.
simflanP kategorisinde yer almayan problemlerin(problem
2f sayis1mn) birok rnegi vardir. rneginr dogal sayismdan
m hesaplamak iin, iglem bir yana, sadece yamtm1 yazmak iin
2r kadar agamaya gereksinim vardir; bu iglemde
n, r sayismm
2"
heikilik gsterimindeki hane (digit) sayisidir. 2 agamasuun
saplanmasi,
vb. gerektirecektir!
2 iglemine benzer agamalan,
Bu problemler polinom problemlerden ok byktr ve kugkusuz P simfina dahil degildirler.
=
'boyu-
da
hatt saglamalan
polinom srede yazilabilen
zellige
sahip
srede
yap11abilen
sorular
ilgintir.
Bu
daha
aym
nemli bir problemler kategorisi (algoritmik zmlenebilen soNP problemleri
ru smiflan kategorisi) vardir. Byle problemler
olarak
problemler
sunflari)
simfma ait
amhr.
NP'deki
(problem
herhangi bir problemin zm varsa, algoritma bu zm verecektir
yapmak da
ve polinom srede bunun saglamasim
mmkn
olmahdir. Problemin gzm yoksa, algoritma bunu
byle oldugunu syleyecektir, fakat polinom srede veya bagka
gerekmiyecektir.16
gekilde, bu sonucun saglanmasi
hem pratik dnyada birhem matematikte
NP problemleri,
ok konuyla ilgili olarak ortaya ikabilir. Basit bir matematiksel
rnek vereyim: Bir grafikte 'Hamilton devresi' adiyla amlan (son
derece basit bir dgnceyi tammlamak iin olduka iddiah bir
'grafik'
ad) devreyi bulmak problemi. Burada
ile kastedilen an'kge'lerden,
sonlu
olugan
bir koleksiyon
lam, noktalardan
veya
'kenarlarf
denilen
olup, belirli sayidaki nokta iftleri, grafigin
Yamtlari
2
4
3
6
8
11
12
10
Sekil4,14. Hamilton
okuyucunun
Sekilde,
'uzakhk'
hul-
173
dikleri gerekten nemli degildir). Hamilton devresi, grafigin keolugan ve her kgeden (verteksden) bir kez geen
bir ilmekten ibarettir. Hamilton devresini ieren byle bir grafik
rnegi Sekil 4.14'de verilmektedir.
Hamilton devresi problemi,
verilen bir grafikte bir Hamilton devresinin varolup olmadigma
karar vermek ve varsa bunu aika gstermektir.
Bir grafigi ikilik sayi sisteminde gstermenin egitli yollari
vardir. Kullamlan yntem pek nemli degildir. rneginnoktalan 1, 2, 3, 4, 5... geklinde numarahyarak,
aygun bir strada ift
ift dizmek olasidir:
narlanndan
(1, 2), (1, 3), (2, 3), (1, 4), (2, 4), (3, 4), (1, 5), (2, 5), (3, 5), (4, 5),
(1, 6).
...
'1',
gstermiyorsa
'0'
'1'lerden
10010110110...
'makul
'ilke
'seyyar
'uzakhk')
Fiziksel
Nesnelerde
Hesapedilebilirlik
Karmagikhk
ve
Karmagikhk teorisi, bu kitapta ele aldignmz konular ynnden nemlidir nk, nesnelerin
algoritmik olup olmadigi so-
175
rusundan
hesaplanabilirlik
lirlik sorusunun
nularm,
ussal
egilimindeyim
aksine,
olgularm
'ilke
L Elemanlan da kme olan kmeleri incelerken, kmenin elemanlan ile yine ayn1
kmenin elemanlarmm elemanlanm ayIrt etmekte dikkatli olmahyiz. rneginS, belirli
bir bagka T kmesinin bos olmayan alt-kmelerinin bir kmesi olsun. Diyelim ki Tnin
degil
olmasma
elemanlan bir elma ile bir portakaldir. T kmesinin zelligi
sahiptir, nk S kmesinin elemam; yalniz bir elkarem 8 kmesi
ma ieren bir kme, yalmz bir portakal ieren bir kme, ve bir elma ile bir portakal
ieren bir kme, yani toplam kmedir, bunlar S kmesinin elemamm olugturur.
degil
Aym sekilde, bos kmeden olugan tek elemanh kmenin zelligi de
lik'dir, nk bos kmeden olugan bir elemana sahiptir! Bos kmenin kendisi ise dogal
'lk'
'ikilik'
'1k'zelligine
'sifirhk'
'bir-
177
2. Gerekte, Gdel'in teoreminin uslamlamasi, Pk(k) gibi nermelerin tamamen digsal
kavramma bagimh olmayacaklari biimde sunulabilir. Ancak, yine de, bazi
simgelerin gerek
yorumuna baghdirlar: zellikle, artim saglayan
(dogalsayi) yoktur anlamuu talyan rneginde oldugu gibi.
'dogruluk'
'anlami'mn
...
3. Agagidakirneklerde, kk harfler
sonlu kmelerini temsil etmektedir; me
...,
ise' k-elemanh alt-kmelerinden her biri radet kutnya dagitihrsa, en azmdan n-elemaY alt-kmesi vardir ki, Ynin tm k-elemanhalt-kmeleri aym
na sahip yle bir
kutuya girer." Burada
Ykmesinin, Y'nin en kk elemam olan dogal sayidan
daha fazla sayida elemana sabip olmasi anlammdadir.
Sunermeyi ele alahm: r, ve n seeneklerinden herhangi biri iin yle bir me sayisi
vardir ki, ma'dan byk tm m'ler iin, m
[n, k, r] bildirimi daima dogrudur.' Bu nermenin, J. Paris ve L. Harrington (1977)tarafmdan, standart (Peano) aritmetik aksiyomlan ile ilgili Gdel-tipi nermeye egdeger oldugu gsterilmigtir. Aksiyomlarla kamtaika belli' bir nermedir (Aksiyomlardan tretilebilen
Ianamayan fakat
nermelerin kendileri de dogrudur).
'byk'
'byk';
'k,
->
'dogrulugu
Yazmm baghgi'siral sayilarma dayah mantik sistemlerf olup, bazi okuyuculara, dipnotlarda kullanmakta oldugum Cantor'un stral sayilar yaz1hmi yabanci gelmeyecektir.
Yukanda tammladigim yntemle elde edilen mantik sistemlerinin neelik sirasi, hesaplanabilir siral sayilanyla gsterilir.
kolaydir. Standart
Baz1 matematik
teoremleri olduka dogaldir ve a1klanmalari
(Peano) aritmetik kurallanm kullanarak bunlan ispatlamaya ahtihrsa, 'Gdellegtirme'
ynteminin son derece buyuk bir lde (yukanda zetledigim suurlarmm ok tesine
kamtlari, normal
91karak) kullamlmasi gerekir. Bu teoremlerin matematiksel
matematiksel teoremin yntemlerinin digtuda gibi grnen herhangi bir belirsiz veya
sorgulanabilir uslamlamaya bagtmh trden hi degildir. Bkz. Smorynski (1983).
5. IIL Blm, s 101'de deginilen sureklilik kurann (C 61),burada kargilagtignmzen
matematik bildirimdir (yine de ok daha agiri bildirimlerle ogu kez karilagilabilir).
Sreklilik varsayimi ilgintir de, nk Gdel,Paul J. Cohenile birlikte,
bu varsayimimn gerekte, standart aksiyomlardan ve kme teorisinin yntem kurallarindan bagimsiz olduguna gstermigtir. Bu nedenle, sreklilik varsay1mina yaklagumunz, formalist ve Platonist gerugler arasmda aymm yapmam1zi gerektirir. Bir forverilemez' bir varsayimdir
maliste gre bu varsayim
nk standart (ZermeloFrankel) formel sistem kullamlarak ne kamtlanabilir ne de rtlebilir, ve
veya
olarak nitelemek de
Ancak, iyi bir Platoniste gre bu varsay1m, ya
degru veya yanhetir ama hangisinin geerli oldugunu kamtlamak iin yeni uslamlama
yntemlerine, Zermelo-Frankel formel sistemi iin Gdel'in nermelerini kullanan yntemlerin tesinde yntemlere ihtiya vardir (Cohen (1966),sreklilik varsaylmm1
a yanhe' olarak niteleyen bir dgnce ilkesi nermigtir).
=
'agin'
'karar
'dogru'
'yanhq'
'anlamsizdir'.
'a1k-
'yapief
'yapief
...,
...
...
mesini ahkoyanz.
9. Geenlerde Leonore Blum (bu kitabin ciltli ilk baskismdaki grglerimden etkilenmig
olarak) beni aradi ve Mandelbrot kmesinin (tumleyenkme) benim kitabm metninde
savundugum ve apagida 10. a1klamada degindigim baglamda, gerekten yinelenemez
rnegin,seyyar
satici iin
TOBITAK
1) HayatmKkter
2) kitiSarmd
3) BirM:itemtitikininSavunmasi
i) Modem BiliminOkisumu
5) Gen BilimAdamin:t gder
6) ntversite
7) Rustlantive Kaos
8) BykBilimselDenev[er
9) Biliminncleri
10) Cok Gee Otmadan
11) klinktka
12) FizikYasalariDzerine
13) BirMhendisinDnstsi
1-il Modern agOncesi Fizik
151 Kaos
a
=
*
*
*
*
16)BilimselGallar
17) SorgulayanDenemeler
18)Bir GlgeninPesinde
19)Gen Bencildit
20) Tuhuf BD DNAhkir
21) YildizIttrinZaniani
22) Gelegenler KilavuzM
25) Cak]1Tas1;tandanBabil Kulesine
Bersenle11
2-il Dr. Eteonun Sttnici
25: GndelikBilmeceler
26) 107Kimy:tvks0
Esatn
27) Avuk izleriniii
28) Akdeniz KiylkmndaHesap
29) TeknololininEviimi
.
30: Vcudunu2 Nasilahdir?
31: DEinyate Uzuy
327UzakDogudan Mllyalkesine
33) ModernAntatirmlic;
3-ilEskiYunan ve Roma'da Mhendialik
35) Alic Aacille Sohbeller
361.\lutematiginAydinlik Dnyasi
37) BiliminArka Yz
3M Oitiagda EndstriDessimt
Yisamlar
39) Olagun<.lisi
OfD;irwinse BeagleSerseni
ill BulusNasilYapittri
2) Siftrin Gc
3 SosirttinVarsanm
13 Sulak BirGezegenden ykler
53Anilanm
63EvreninKtsu Tarh
73 GkyznTimyalim
183 Bilini
ve iktidar
193 MatemaEik Sumati
503 Trkiyenin Titr\
93 Galileo ve Newtonun Erren;
52) Bilylsmar
ve ZeknIKrahnYenlau I)
533 Gl disanlan
93 Kada se Llcur
55) BilimselDencyler
%3 Stma Anetk Di EccoCazer
573 Ona Kisact DNADenir
is) Sen Ben Gen
193Biz Herrey]z
tn Hcre Savaslart
6I) Astronom
61) Modem insamnKnkeni
63) BilimAdambn
60 Ekoloii
MI Atom te Molekul
o BisZamanlar
i Anudalu KultrTarilii
POPLER
BLIM KITAPLARI
B. Hoagtand
1:tmesD. Watson
G. H. Hardy
kichardS. Westtiill
P. B. Medawar
HenryRosovsky
D:tvidRuelle
RomHarr
CemalYlklinm
BernardL Cohen
StevenWeinberg
RichardFeynmann
JamesL.Adams
J. D. Bemt!
mesGleick
BillyAronson
BertremdRusset
Georges Ifreib
RichardDawkins
BillyAronson
AtanLightmein
P:ttrickMoore
Georges Ifnih
Dennis ShashI
P. Ghose D. Hame
L Vlasav D. Trlfonov
B. B. Gilhoun
Georges Ifreib
George Basallet
[. Hindley C. Ktng
Mahlon
S,
.kluyes
S. Tahta
Georges lfrah
1.Barzun H. F GlitiT
G, l.andels
Hikmet Birtint1
SinanSertuz
Adrian Berry
JeanGimpel
Gould Gould
Aktn Moorellead
B. R SIllesinger
Georges Whih
Francis Crick
StirgunA. Tom
ErnstE. Hirsch
JosephSilk
M, E, Ozeb A. T. Saygtte
F. Mayor A, Forti
jerry P. King
Seton Lloyd
Willitto Bixby
RogerPenrose
R. Le:Ikey R. Lewin
RichardK1ine
JuneBinghum
DennisShush:i
F. Balkwill- M.Rolph
- F. Balkwill- M. Rolph
F. Balkwitt M.Rolph
F. Balkwill M.Rolph
StuartAtkinson
RogerLewin
S. Reid - P. Fara
RichardSpurgeon
P. R.Cox - M.Parsonage
M. 1.MeNell - C. King
EkteniAktugtl
-
Asim Zihologhi
RebuccaTreays
Citve Gifford
Fiona Wan
GeorgesIft:th
PhilippaWingate
DavidPhillips
S. Rose - A. Lichtenfels
RefenSharman
BrianBen
MlkePalmer
Fiona War
K. Little - A. Thomas
RebeccaTresys
FelicityBrooks
F, Watt F. Wilson
Katntnl Khanckiri
Cad Sagan
S Reid - P. Fara
CliveGifford
Karen BryanbMole
CUreGLfFurd
GeorgesIFrah
Karen Bry:mt-Mole
'0]
2)
79
*
a
o
e
Internet
lyik Evreni
Akl Kulusu
%3 Uzay Denen O Yes
77] MavtGezegen
,st
lydular
29) Ya autgimit Gelegen
80) HavadaKuradatsuch
SL)Caipim Tahkisu
82) Denizlerye Okyamislar
$3] Hava ve Iklim
84) KutuplardaYasam
80 KaranitkBlrDnyadoB liminMum is i
HMMucitter
87] Her YnyleOtomobiller
88) Kesirlerve Ondahk Sayitar
89) Her YnvleUcakhtr
Dnyastad:t
Elm RiikimkinMR.T.VID
90)is1lm
91) arpmti
ve Blme
92) Tablolarve Gnifikler
93) Her YneyleTekneler
90 Eilgisayarkir
95i FizlginGizemi1KratinYeni Eso [D
963BirStiy!Tut
97} Kiisifler
98) Enetjlve Guc
99) KinlganNesneler
100) Havvani:tqn Sessix Dnyasi
1011Kaybotan Ipucu
J02) Mtkroskop
103)Elektronik
ve 552
10-0 vncudunux
105)DeneylerleBilim
106) Dnyay!Saam AR:WIT
107)Fimnaturte KastigaEtt
108) Toptama ve Cikarma
LO9)nsan Vcudu
110) YebytndeYagtm
111) BilgisayardakiAdresinix Web Silest
112.)Anadalu Man2aralan
[13] BilimS B:isinda
114)Arkeoloji
1151US NeredeMK.Y.C.10
116)Evrim
117) KiilletinAlandakiSir
118) Fizik
119)Kaslarve Kemikler
120)Ees Duyu
1213Kuslar
1221Kniyanm yksu
1231 HesabmDestam
124) Elektrikse Manyedzma
7-0
51
a
*
=
*
*
o
*
*
o
*
e
*
*
*
*
a
*
*
a
a
*
*
a
>
e
*
>
i
a
a
a
a
*
a
*
Karen Bry:mt-Mele
CIvistopherMaynard
Rebecca Tretlys
RogerPenrose
Malcolm E. Etnes
F Everea S. Reid
Ricliard Spurgeon MikeFlood
P. G. de Gennes -J. Badoz
Madan Stamp Dawkins
B. B. Cedhoun
ChrisOxhide CorinneStockley
Pam Beasant
MikeUnwin
Mike Unwin
Asha Kalbag
KathyGemmell
Karen Brvant Mok
-
AllkeUnwin
AshaKalbag
RikmetBirand
JohnLenihin
JuneMcintosh
RogerFensose
LindaCamlin
B. B.Cathoun
JackChalkaner
RebeccaTreuys
RebectuTreays
F. Brook.wB,Gibbs
Ann Newmark
GeorgesIfnih(R.E.T.Y}
Ad:Imczyk-Law
e COCUKKITAPLII*GEKLIKKITAPCOl
:BASVllRLI
KiTAPLlt
EDINESILIRSlNiZ.
TBITAK
KITAPSATIS
BROSU
[LEKITABEVLERINDEN
YAYlNLARIMlZI
AtatrkBulv.
No:221 06100Kavakildere/Ankara
427 13 36
427 33 21 Faks: (312)
Tel:(312)
-