Professional Documents
Culture Documents
Hitit niversitesi
Sosyal Bilimler Enstits
Felsefe ve Din Bilimleri Anabilim Dal
ORUM 2016
Tez Danman
Prof. Dr. Mevlt Uyank
orum 2016
ZET
Baaran, Memduh Taha. Sonsuzluk Kavramnn Mantksal Ve Felsefi Analizi
Kind Merkezli Bir nceleme-, Yksek Lisans, orum, 2016
Sonsuzluk, felsefe tarihinin ilk dnemlerinden itibaren fizik, matematik ve
metafizik ilimler asndan mzakeresi yaplan temel problemlerinden birisidir.
Sonsuzluk ontolojik ve/ya kozmolojik bir balamda mzakere edilmesi ncelenmesi
gerekirken itikadi bir boyut alarak insanlarn, Tanr anlaynn ekillenmesine yol
amaktadr. Felsefi bir kavram olarak incelenebilecek olan sonsuzluk Tanr, evren ve
insan ilikisinin temellendirilmesinde bir mihenk ta haline dnebilmektedir. slam
filozoflarna gre felsefenin amac tahsilus saada yani ebedi mutlua ulamann
bilgilerini elde etmek iken sonsuzluk kavramn yorumlarndan dolay toplumdan
dlanmakta ve tekiletirilmekte, hatta tekfir edilebilmektedir.
Bu balamda tezin temel konusu znde ontolojik bir mesele gibi gzken
ama ayn zamanda kozmolojik bir soru/n olarak fizik, matematik ilimlerle dorudan
irtibat olan sonsuzluk tasavvurlar, nasl itikadi bir soruna dntrlyor? sorusunun
cevabn aralamaktadr. lemin mahiyetine, yani ezeli ve/ya yaratlm olmasna dair
yaplan aratrmalarn temel kavram olan sonsuzluk yorumlar niin itikadi bir boyut
alyor ve insanlarn dlanmasnn, tekiletirilmesinin ayrac olmaktadr? O kadar ki,
baz Mslman filozoflar kavrama dair grnden dolay dnyada tekiletirmenin
yan sra ahirette ebedi mutluluu yok edecek tekfir edilmektedir? Dolaysyla alemin
sonluluu ve/ya sonsuzluu meselesine verilen cevap, Tanr-evren ilikisini
temellendirirken ayn zamanda kiinin Tanr tasavvurunu da belirlemektedir. Bu soru/n
erevesinde tezimizde bir sfat olarak sonsuzluk kavramn Tanrya atfettiimizde
neleri kastettiimizi, bu kavramn sadece Tanrya m ait olduunu aratracaz.
Sonsuzluk kavramn tanmlayarak, tanm-problem uyumsuzluundan kaynakl
sorunlar
tespit
edilecektir.
Ayrca
yaadmz
dnyada
fiili
sonsuzluun
ii
ABSTRACT
Baaran, Memduh Taha. An Analysis on The Notion of Eternity from the
aspects of Logic and Philosophy-Based on Kindis Ideas, Master Degree, orum,
Turkey 2016
Eternity is one of the basic problematics, in terms of mathematics, physics and
metaphysics from the early a.g.e.s of philosophy history. While the term of eternity
should be discussed within the terms of ontology and cosmology, in the course of time
gaining another dimension, changed the peoples conception about God. The notion of
eternity which can be approached as a philosophical issue, may turn into a touchstone
which is used in founding the relationship among God, nature and the human. While
according to the Islamic philosophers, the main purpose of the philosophy is tahsilussaada which means gaining the information to reach the beatitude, these philosophers
are excluded from the society, marginalized and excommunicated due to their
interpretations on eternity.
The paper argues how the notion of eternity, while in fact is an ontological issue
but at the same time, as a cosmological problematic directly relates to physics and
mathematics turns into a faith problem. Why the interpretations on eternity, which is a
key term in studies on the essence of the universe (universe is eternal and/or created by
God), turns into a faith problematic and cause the philosophers to be marginalized?So
that these Muslim philosophers are not only excluded from the society, but also
excommunicated which brings the absence of the beatitude in after life.Accordingly the
answer given to the problematic which concerns the finiteness and eternity of the
universe, while founding the relationship between the God and the human, at the same
time determines the thought of the individual about God.
Within this paper we will try to answer the question that, what we intend to
claim when we attribute the eternity as an adjective to God and whether the notion of
eternity belongs only to God. In the beginning we will define the term of eternity and
will try to determine the issue which results from the unconformity of description and
the problem. Also we will try to determine whether there is a de facto eternity in this
iii
world. We will view how eternity is defined and used in mathematics and physics.
Afterwards while analyzing the notion of eternity as a cognitive issue we will try to
explain how it is used in literature and art. We also aim to clarify whether the
definitions of eternity are the same in different branches of science, then determine the
problems stemming from the eternity notion in metaphysics and to address the solutions
brought in order to overcome these problems especially in Islamic philosophy history.
Referring to Kind who is a philosopher of classic era Islam Philosophy, we will try to
determine place of the notion of eternity to make comparison with the mathematical
thought and consistency analysis. While making these analyses, primarily we will study
the relationship between logic and mathematics, then we will make use of mathematical
equations and topology. In this regard this paper might be seen as one of the very early
trials on updating the relationship between logic-mathematics and philosophy and
mathematics philosophy.
iv
NDEKLER
KISALTMALAR .......................................................................................................... vii
NSZ ......................................................................................................................... viii
GR ............................................................................................................................... 1
1.
2.
3.
4.
4.1.
5.
I.
Varsaymlar ...................................................................................................... 4
TEZN KAPSAMI VE SINIRLANDIRILMASI .............................................. 5
BLM .................................................................................................................... 6
2.
BLM .............................................................................................................. 58
IV.
1.
2.
TANIMSIZLIK .............................................................................................. 65
3.
BELRSZLK................................................................................................ 70
BLM .............................................................................................................. 73
2.
VI.
BLM: ............................................................................................................. 99
2.
3.
4.
5.
5.3.
5.4.
5.5.
5.6.
5.7.
2.
5.
vi
KISALTMALAR
Ksaltma
Aklama
a.g.e.
: Ad Geen Eser
a.g.m.
: Ad Geen Makale
a.g.mlf.
: Ad Geen Mellif
bkz.
: Baknz
C.
: Cilt
ev.
: eviren
M..
: Milattan nce
M.S.
: Milattan Sonra
: lm Tarihi
S.
: Sayfa
T.D.K.
Vb.
: Ve Benzeri
Yay.
: Yaynlar
vii
NSZ
yaratmtr ve evren bir gn yok olacaktr. Dolaysyla varolmas iin bir baka varla
sahip olmayan, ezeli/kadim ve ebedi/sonsuzolan tek varlk Tanrdr. Onun dndaki
her ey sonradan olmadr, sonludur ve bir gn yok olacaktr. Dolasyla Tanr evreni
nasl yaratt sorusuyla msbet ilimler, niin yaratt sorusuyla da ilahiyat/felsefe ilgilenir.
Yoktan yaratlan evrenin nasll ve bir gn yok olaca yani sonlu olmas meselesi
znde kozmolojik bir mesele gibi durur, ama buna verilen cevaplar kiinin teist, deist
ve/ya ateist olarak nitelenmesine yol aabilir. Dolaysyla temelde ontolojik bir sorun,
kozmolojik olarak incelenirken itikadi adan ok ciddi sonular ortaya karabilir ki bu
yzden
baz
felsefecilerin
grleri
ar
yorumlamalara
tabii
tutularak
metafizik) sonsuzluk kavramn temel alacamz -ki bu durumda sonsuzluu bir alana
daraltm olarak ok ciddi problemler bizi bekleyebilir- ya da alan gz etmeksizin bu
durumda problemler i ie gemi bir yumak eklinde karmza kabilirkullandmzda hangi durumlarn bizi beklediini inceleyeceiz.
Bu balamda ncelikle bir sfat olarak sonsuzluk kavramn Tanrya
atfettiimizde neleri kastettiimizi, bu kavramn sadece Tanrya m ait olduunu
aratracaz. Ardndan yaadmz dnyada fiili sonsuzluun mmknln
sorgulayacaz. Matematik ve fizik alanlarnda sonsuzluun nasl tanmlandn ve
nasl kullanldn inceleyeceiz. Ardndan sonsuzluk kavramn kavramsal olarak
incelerken edebiyat ve sanat alanlarnda sonsuzluun nasl kullanldn ele alacaz.
Matematik ve fizik ilimleri balamnda grelilik ve sonsuzluk ilikisi zerinde
duracaz. Bu blmde incelememizi yaparken olduka geni bir alma sahas
karmza kaca malumdur. Ama biz kavram temelli yola inceleme yapacaz; bu
kavramn farkl alanlarda farkl yorumlanmasnn ne gibi sonular dourduunu tespit
etmeye alacaz. Dolasyla incelememizi her alanda konu esas itibariyle
snrlandracaz.
Matematik, fizik ve mantk alanlarnda bu konuyu ele almamzn nedeni
Aristotelesden sonra dnce tarihinde Muallim-i Sani olarak nitelendirilen Farabinin
Tanr-Evren ve nsan ilikisini nasl olduuna dair ilimleri tasnif ettii hsa-ul
Ulum/limlerin Saym adl eserinden anlald zere, slam Felsefesinin temel
soru/n/larndan birisidir. ncelikle Tanr ve evren ilikisinin nasl olduuna dair ilimleri
analiz ederek, fizik ve matematik ilimlerinden bahseder. Fizik, fizik lemde grnen
olaylarn matematik ise hem fizik hem metafizikle alakal konularn sebeplerini, neden
dolay yle olduklarn, kesin burhanlar yoluyla ortaya koyar. Fakat bu sorunla daha
nceden ilk Mslman filozof olarak nitelendirilen Kind yzlemi ve nemli metinler
ortaya koymutur. Ebu Ysuf Yakb bin shk bin es-Sbbah el-Kind, slam kltr ve
dnce tarihinde kelamdan felsefeye geii salayan ve ilk slam filozofu olarak kabul
edilen kiidir. Ayrca, muhle irc (olmayana ergi) yntemiyle zaman, mekn, hareket
ve cismn varlk gibi niceliklerin, bilfiil sonsuz olamayacan matematiksel yntemle
ispatlamaya alan ilk slam filozofudur. Ebu shak El-Kindnin sonsuzluu ele al
ix
sonsuzluk
kavramndan
kaynaklanan
problemlere
zmler
getirenlere
kranlarmz
sunuyoruz.
Felsefenin
Anadoluda
yeniden
xi
GR
1. TEZN KONUSU
olduunu
aratracaz.
Ayrca
yaadmz
dnyada
fiili
sonsuzluun
Sonsuzluk kavram ontolojik ve kozmolojik bir kavram olmasna ramen itikadi bir
boyuta ulaarak insanlarn, Tanr anlaynn ekillenmesine yol amaktadr. slam
filozoflarna gre felsefenin amac tahsilus saada yani ebedi mutlua ulamakken
sonsuzluk kavram vastasyla Tanr tasavvuru zerinde durularak filozoflar tekfir
edilebilmektedir. Felsefi bir kavram olarak incelenebilecek olan sonsuzluk bir ekilde
Tanr, evren ve din ile ilikili bir hal alarak ebedi mutlulua giden yolda karmza kan
kocaman bir engel gibi durmaktadr.
nnde
bulundurarak
deerlendirirken
gnmz
matematiiyle
nasl
kavramlarn
yer
ald
problemler
sonsuzluu
kefettiimiz
kadar
hem
nesneler
hem
tasarlar
dnyasyla
ilgilenir.
leriki
sayfalarda
temellendireceimiz zere, Kind ye gre bilgiye konu olan varlklar aa, orta ve
yksek olmak zere 3e ayrlr. nsan epeevre kuatan fizik dnya aada,
matematik ortada ve metafizik yksekte bulunmaktadr. u an bizden ncekiler gibi,
sonsuzluku matematiin ve teknolojinin bize sunduklar kadaryla tanmlayabiliyoruz.
Madem evrenin dili matematiktir; biz de fizik ve metafizik ilikisine dair anlama ve
aklama almalarna klasik dnem slam filozofu Kindyi merkeze alarak sonsuzluk
kavramnn slam felsefesindeki yeri ve konumunun matematiksel dnce tarafndan
mukayesesini, analizini yapacaz.
4.1.
Varsaymlar
I. BLM
1.
1
Farabi. hsal-Ulum, ev. Ahmet Ate, Kltr Bakanl Yay., Ankara, 1990, s.3, kr. Uyank, Mevlt.
Akyol, Aygn. Farabi'nin Medeniyet Tasavvuru Ve Kurucu Metni Olarak hsaul-Ulum. Medeniyet
Dnr Farabi Uluslararas Sempozyumu, Eskiehir,13-15 Kasm
2014.https://www.academia.edu/9393626/Mevl%C3%BCt_Uyan%C4%B1k_Ayg%C3%BCn_Akyol_Farabi
nin_Medeniyet_Tasavvuru_ve_Kurucu_Metni_Olarak_%C4%B0hs%C3%A2ul
Ul%C3%BBm_Medeniyet_D%C3%BC%C5%9F%C3%BCn%C3%BCr%C3%BC_Farabi_Uluslararas%C4%B1_S
empozyum_Eski%C5%9Fehir_1315_Kas%C4%B1m_2014
2.
bunlar kavramsal hale sokarak zihin dnyamza alrz. Ardndan bu iki nesne arasnda
nesne ya da somut varlk olmayan iinde kavramn reterek bir hkm ortaya
kartrz. Bu tr zihinsel yaplar gerekten var mdr yoksa bizim rettiimiz kavramlar
mdr, eer biz retiyorsak, gerekten yoksa bu kavramlar anlamsz mdr sorular
tartmaya aktr. Ama dier taraftan biz varlk dnyasn anlamlandrabilmek ve
anlayabilmek iin kavramlarla dnerek hakikat yolcuumuzu srdrrz ve
nominalizm-realizm tartmas bu balamda devam edip gider.
letiim aracmz olan dil, gcn zihin dnyamz olan dncelerden mi yoksa
nesnelerden mi almaktadr? Bu soruyla felsefenin kapsn aralayarak felsefi ynden
analiz etmeye alalm. Aristoteles, varlk ve dnce yasalarnn birbirine kout
olduunu yani dncenin varl yansttn dil de dncede yansyan varln doru
biimde ifade edilmesi olduunu syler. Ayrca dilin, yararly ve zararly, doruyu ve
yanl bildirmeye yaradn syler. 5
Felsefe tarihinde de dilin iletiim arac olmann tesinde ilevsel gc
filozoflarn ilgisinden uzak kalmamtr. Heraklitosta logos, hem her eye hkmeden
evrensel yasadr; hem de evrenin dilidir. Bu bakmndan logosa katlma ya da logostan
pay alma dncesi zerine kurulu Eski Yunan kltrnde dil ile varln birbirine
uyumu temel sorun olarak grlmtr. yle ki, bu sorun Platon ve Aristotelesin
varln yasalar ile dncenin yasalar arasndaki ilikiye younlamalarna neden
olmutur.6
Farabi dilin ortaya kn olduka antropolojik bir tasvirle aklar: lk olarak
insanlar, nefisleri, nicelik ve nitelik ynnden snrl miktarda bilgilere, tasavvurlara ve
tahayyllere sahiptir. Yine nefisleri nitelik ve nicelik bakmndan snrl miktarda ve
tarzlarda etkilenmeleri kabul eder. inde olan veya amaladn bakasna bildirme
ihtiyac duyduunda ilk nce istedii eye delalet etmek iin onu anlatmay istedii
kimseler karsnda iareti kullanmtr, sonra da seslenmeyi kullanmtr. Bunun
ardndan muhtelif seslenmeleri kullanr ve bunlarn tek tek her biriyle, kendisine ve
duyulurlarna delalet ettiklerinin tek tek her birine delalet eder. Dolaysyla her belirli
nesne iin belirli bir seslenme tahsisi eder ve bu seslenmeyi, bakasna kullanmaz ve
bylece seslerden her birini duyulurlardan her birinin karsna koyar. 7 Bu durumda
Farabinin, ilk harflerin ve bu harflerin oluturduu lafzlarn yani dilin tamamen
uzlamayla olutuunu savunduunu syleyebiliriz. Milletin Dilinin Kayna Ve
Olgunlamas8 adl risalesinin giriinde ayrca bu konuya vurgu yapmaktadr.
Peki, madem lafzlar ve dil uzlamayla oluuyorsa neden her milletlerin dili yani
seslenmeler farkl olmaktadr? Bu sorunun da cevabn yine Farabi vermektedir: Bir
barnak ve beldenin ahalisinin organlar, dierlerinin organlarnn yaratlndan farkl
bir yaratl ve mizata olduklarnda, bunlar, dillerinin az iinin her bir parasna
doru hareketi, dier barnak ahalisinin dilinin hareket ettii paralara doru
hareketinden daha kolay olacak ekilde yaratlmlardr. Bu takdirde birinin dierine
gre yapt seslenmeler farkl olmaktadr. 9 Buradaki dil ayrm ya da farkll
lafzlarn anlam farkllndan deil ses farkllndan kaynaklanmaktadr. Farabinin bu
dncesinin altnda yatan neden, toplumlara gre farkllaan dillere gre hakikat
araynda farkl sonulara ulamamak maksad olabilir. Yani seslenme arazi, anlam ise
zsel bir durum olarak deerlendirildiinde seslenmenin anlam araynda nemi
kalmayacaktr. Dolaysyla her toplum seslenmelerini farkl yapsa da hakikate
ulaabileceklerdir. O halde Farabinin anlam dnyas lafzdan tamamen bamszdr ve
evrenseldir diyebiliriz. Ayrca burada dikkat ekici bir dier hususta kiinin tasavvurlara
ve tahayyllere sahip olup sonradan bunlar lafzlarla yani dil ile aktarmasdr. O halde
Farabi anlamlarn dilden nce geldiini belirtmektedir.
Farabiye gre toplumun ortak ihtiyalarndan kaynaklanan anlamalarna gre
lafzlar belli bir dzen ve yeterlilie ulatktan sonra lafzlarn manalar geniletilir ve
mecazlar ortaya kar. Yani anlamlar geniletilmi olur. Bunun sonucunda ilk hitabet
Farabi.Kitabul-Huruf, ev. mer Trker, Litera Yay., 2. Bask, stanbul, 2008, s.72-74
Farabi, a.g.e., s.75
9
Farabi, a.g.e., s.73-74
7
8
sanat, sonra da iir sanat oluur. Toplum iinden kan kimseler lafzlardaki ve
cmlelerdeki noksanlklar giderir ve dil tamamlanm olur. Oluan yeni kuak dili
korumak ve lafzlar unutmamak iin bir yol arar ve yaz ortaya kar. Sonra bu yaz
dilinin belli kurallara bal olmas gereksinimi doar ve dilbilgisi sanat oluur. 10
Grld zere, Farabi dil ile toplumun ve kltrn ilikisinin olduka yakn ve i ie
olduunu vurgulamaktadr.
Dil tamamlandktan sonra, toplum iinden baz kimseler duyulurlarn ve
duyumsananlarn bilgisini renmek isterler. Bu nedenle eylerin illetlerini aratrmaya
koyulurlar. Bu kimseler, aratrmalarnda, kendisi iin doruluu ortaya kan
grlerin doruluunu ortaya koymada, bakasna retmede ve kendisine
bavurulduunda doruluunu aklamada ilk nce hatab metotlar kullanr.
Aralarndaki grler farkllatnda her biri grlerini kar klamayacak veya zor
kar klabilecek bir duruma getirmeye alrlar. te bir zaman sonra cedel yolu
yollar renirler. Cedel yollar, sofistik yollardan ayrrlar. Zira hatab yollar, cedel ve
safsata arasnda ortak olup bunlarla karkt. Sofistik yollar, cedel yollara
benzerliinden dolay, insanlarn ou aratrmalarnda bu yolu kullanabilmektedir.
Teorik eyleri incelerken bunlar cedel yollara gre temellendirmede karar klnr ve
sofistik yollar atlarak yalnzca snama esnasnda kullanlr. 11 Ama bir sre sonra cedel
hitaplar olgunlar ve sonuta cedel yollarn kesinliin olumas iin yeterli olmad
ortaya kar. Sonra bu aray bir sre halinde devam eder ve nihayet ilmi inceleme
sona erer ve btn yollar ayrr, teorik ve tmel ilmi felsefe olgunlar, onda
aratrlacak hibir yer kalmaz. Yalnzca renilip retilen bir sanat haline gelir.
Farabi, felsefe retimini ikiye ayrr: burhan yol ve hatab- iirsel yol. Hatab ve iirsel
retimin, burhan asndan doru olan teorik ve pratik eylerin halka retilmesinde
kullanlmasnn daha uygun olduu grn savunur.12
Grld zere Farabi, felsefi dzeye ulamak iin basamak basamak klan
yukarda bahsi geen be yntem (iir, hatab, sofistik, cedel ve burhan yntemi) ayn
zamanda mantki yntemlerin de oluum srasn vermektedir.
10
11
oluan bir dil vardr ki uzla toplumu saadete gtren yollardan biridir ve mantk ilmi
de toplumu yanllardan arndrd iin ciddi bir neme sahiptir. Ayrca mantk dil
ilikisi kurgulandnda toplumsal yetkinliin temeli atlm olmaktadr.
Farabinin antropolojik tasvirle aklad dilin oluumu ve yukarda bahsi geen
varlklarn zn kavrama yntemleri ilkin, kiiye bilgiyi kazandrmaya ardndan
bakalarna sunarak-tartarak bilgiye ulama amaldr. Farabi varlklarn bilgisini
kazanma yolunu mantk biliminin ieriinde yer alan be blmde ele alr. Bunun
nedenini, mantk ilminin insan ve toplumu hakikate ulatrmada ara olarak grlmesi
diye yorumlayabiliriz. Yani mantk, bilme eyleminde, yukarda belirtilen eitli bilisel
anlatm biimleriyle, yarglarn hangi bilisel yntemle elde edildiini ve ele alnan
bilgilerin ne denli kesinlik tadn ortaya karmaya yarar. Eer mantk ilmini
bilmezsek, onlardan geree varm olann doruluunu, geree nasl vardn ve
hangi ynden vardn, delillerinin ve fikrinin doruluunu kesin olarak nereden
anlayacamz bilemeyiz.16
Akln yanl yapp yapmayacan, gerek olan idrak etmekte kusur edip
etmediini deneme ve snama aleti olarak mantk kanunlar, hissin aldanp
aldanmadn kontrol iin vardr. slami ilimlerin tasnif ve sistematize edilmesinde bir
ara/teknik/sanat olarak kullanlan Mantk bilimini akl yrtmelerin geerliliini
salayan metodoloji olarak tanmlarsak, ar yorumlarn ve sofist sylemlerin mmkn
olmamas gerekir. nk mantk, insan akln hatadan koruduu gibi, formel dzeyde
de olsa, yanl yapmas mmkn olan btn makul eylerde doruya ynelten ilkeleri
verir. Benzerlikleri veya birliktelikleri ya da elikileri anlamak mantksal anlamda
tamamen zihinsel bir etkinliktir, daha sonra bunlarn pratik ve bilimsel anlamda tasnifi
gerekir. Bu anlamda, mantk sadece felsefe asndan deil, ayn zamanda matematik
hatta hukuk ve teoloji asndan gereklidir. Byle yapld zaman hibir temeli
olmad iin kolayc zm nerileri reten ve bu nedenle gnmzde popler olan
mutlak rlativizmin tuzana dlmez.17
Farabi, hsul-Ulum, s. 71
Uyank, Mevlt. Akyol, Aygn. Farabi'nin Medeniyet Tasavvuru Ve Kurucu Metni Olarak , -hsulUlum-, s.15
16
17
12
19
olduundan ve bu iki ilev iin alet olan ilim mantk olduundan Farabinin tasnifine
gre mantk tm sz sanatlarn iermektedir.
Dilin hakikat arayndaki rol, geliim sreci ve mantk ilikisini yukarda ele
almtk. Dilin mantk erevesine oturmasyla bilisel yntemler evrensel bir hal alarak
felsefi bilgiye ulalr. Farabinin mantk tanmndan yola klrsa 20 mantk kelime
anlam ile hem dnme, hem de bunun ifadesi olan konuma ile alakal olduu grlr.
Bu durumda insan, mantk bilimi olmadan nce mantksz m dnyordu? sorusu
zerine dnmek gerekir: nsan mantk bilimini renmeden de mantkl dnebilir.
Mantkl dnme ile mantk bilimi arasnda sk bir iliki vardr. Mantk, mantkl
denen dnme tarzn kendisine konu olarak alan bilime verilen addr. Mantkl
dnmeye, doru dnme veya tutarl dnme de denilir. Mantkl dnmede,
18
13
sonularn tutarl olmas gerekir. Tutarl dnme ise akl yrtmenin akl ilkeleri denen
ilkelere uygun olmas ile mmkn olur.21
Bunlara ilaveden dildeki kavramlar bizlerin oluturduunu ele alrsak ve bunun
yan sra kavramlarla dndmz de gz nnde bulundurursak dil, dnya snrlar
dnda manasz olduu da sylenebilir. Buradan karlan sonu, dilin de snr vardr.
nl filozof Wittgensteinn dedii gibi: Dilimin snrlar, dnyamn snrlarn
betimler.22 denilebilir. Byle bir snrdan sz edilirse dil ile dnce arasnda ciddi bir
problem ortaya kmaktadr: Madem snrlarmz dil oluturuyor, o halde dnce dile
bamldr. Aksine dnce sonu olmayan bir mefhum olduundan dnce dilden
bamszdr. Bu noktada bu iki iddiay ana hatlaryla inceleyelim:
lk olarak dncenin dile baml olduu grn ele alalm. Farabinin dilin
oluum ve geliimini tasvirini ele alrsak bu gr savunduunu syleyebiliriz. nk
dil gelierek en son felsefi dil haline yani burhan metoduna gelinceye kadar geen
srete dnce de gelimektedir. Yani dil ve dnce birbirine bal bir ekilde
ilerlemektedir.
Bu konuda en nemli aklamalardan biri Descartese aittir. O, hayvanlarn da
dnce yetisine sahip olduu ve dncenin dilden bamsz olarak var olduu
noktasndaki grleri reddetmektedir. Bunu yapmasndaki ama, hayvanlara dnce
atfederek deneysel olarak bunu ispat etmeye alanlara kar koymaktr. Bu konuyu
rneklendirerek analiz etmeye alr: Bir kua sahibini grd zaman ona gnaydn
demesi retilebiliyorsa bu sz o kuun duygularndan birinin da vurumudur. Bu sz
syledii zaman ona yiyecek veriliyorsa, bu davran onun yiyecek yeme umuduna ait
bir harekettir. Bu durumda dier hayvanlara yaptrlan davranlar, onlarn korku, umut
yada sevin hareketleridir; yle ki onlar bu hareketleri hibir dnce olmakszn
yapabilirler.23
Dncenin dile baml olmadn savunan gr ele alrsak bu grn
altnda, dil, dnceyi sadece aktaran bir aratr yargs vardr. Yani dnce yoluyla
ner, Necati. Klasik Mantk, Ankara niversitesi Basm Evi, Ankara, 1986, s.2-3
Wittgenstein, Ludwig. TractatusLogico-Philosophicus, ev. Oru Aruoba, Yap Kredi Yaynlar,
stanbul, 2003, s.131
23
Descartes, R. Metot zerine Konuma, ev.K.Tahir Sel, Sosyal Yaynlar, stanbul, 1984, s.103-104
21
22
14
Ya
da
tersten
gitmeye
alrsak,
okuduumuz
cmleleri
Denkel, Arda. Anlama: Anlatma ve Anlama letiim zerine Bir Felsefe Aratrmas, Boazii
niversitesi Yay., stanbul, 1981, s:24,25
25
Uyank, Mevlt. Felsefeyi Anadoluda Yeniden Yurtlandrmak: slam Felsefesinin Gnmzdeki Anlam
zerine Bir Deneme, slamiyat. C.8 Say.4. 2005 s.68
24
15
olduunu, bunun gemi, imdi ve belki gelecee dair bir format olduunu
sylemektedir.26
Jeofelsefe kavramsallatrmasndan hareketle bir slam felsefesi ifadesinin
yan sra bunun temellendirilmesine ve yeniden yurtlandrlmasna Anadolu
corafyasndan katkda bulunan bir Trk Felsefesinden bahsetme imkanda ayrca
mzakere edilebilir. nk bu ekilde, yaadmz topra merkeze alan Trke felsefi
retim yaplmas verimlilii artracaktr. Madem, insan dier canllardan ayran husus,
onun konumasdr, onun tmel/evrensel hakkndaki i konua/dnmeyle bunlarn
ifadesi/d (Trke) konuma arasndaki uyum ve uygunluk aray bu tr bir felsefenin
tutarl/mantkl olacann gstergesidir. 27 Bylece anadilin en nemli vurgusu tmelin
vahyin, soyut ve akn olann Anadolu insan ahsnda tikellemesi, ikinlemesi ve
somutlamasdr. Bunlarn gereklemesi, bulunduumuz corafyada yaayan insanlarn
gncel sorunlarna zmler retilmesinde bir yol vazifesi grecek ekilde temel
terminolojiyi yeniden okumak/yorumlamaktr. Bunu baardmzda ayn zamanda
yerli/tikel olan tmel/evrensel veriler nda yeniden retmi, yerli deerlerimizi,
yerel olmaktan karm, evrensel klm; daha basit ifadeyle tikelde tmeli yakalam
oluruz. Bu aslnda Trklerin yurtluu yeniden ihya etmek zere Anadoluya ait yerli
(Hitit, Babil, Grek ve slam dncelerinin) gcn zgrletirme ve yeniden
tmel/evrensel hale getirme abasdr.28 nl Trk felsefeci Farabinin metnini temel
olarak almamzn nedeni de budur. Muallim-i Sani diye nitelendirilmesi, Tanr-evren ve
insan ilikisini nasl kurgulayacamz bir sistematik hale getirmesi ve buna dildnce ve mantk ile balamasdr. Bunun matematiksel tutarll, doa/pozitif ilimler
ile evrenin nasl yaratldn aklama abas, ardndan da insann evrende niin
yaratld sorusunun ilahiyat ve medeni ilimler balamnda ele almasdr.
Matematik dili, yukarda bahsi geen diller gibi aa yukar ayn geliim
aamalarna sahip olmasnn yan sra farkl olarak matematikteki her kavram iyi
tanml olmak zorundadr. yi tanml olmak matematiksel bir kavramdr ve bir kme
zerinde tanml fonksiyonun, kme zerindeki bir denklik bantsyla oluan blm
kmesi zerine tanmasyla ilgilidir. Matematiki olmayanlara u ekilde anlatlabilir:
Uyank, a.g.m., s. 69
Uyank, a.g.m., s.76
28
Uyank, a.g.m., s. 77
26
27
16
Karaay, Timur. Matematik Ve Dil, Mantk, Matematik Ve Felsefe, IX.Ulusal Sempozyumu Dncenin letiim Arac Olarak, Edebiyat, Bilim, Sanat Ve Felsefe Alanlarnda: Dil-, stanbul Kltr
niversitesi Yay., stanbul, 2011, s. 19-22
30
bn Sina, II. Analitikler, nc Makale, kinci Fasl, ev. mer Trker, Litera Yaynclk, stanbul,
2006, s.141143
31
Farabi, a.g.e., s.7576
29
17
(imtihn) etmekte kullanlan satr izme aleti (mistar) gibidir; dairelerde yuvarlakln
idrk etmekte hissin yanlp yanlmadndan ve kusur edip etmediinden emin
olunmad zaman onlar kontrol iin kullanlan pergel gibi olduunu syler.32
32
18
II. BLM
TANRI-EVREN LKSNN AIKLANMASINDA
SONSUZLUK KAVRAMI VE KND
Burada dikkat edilmesi gereken husus udur: znde ontolojik bir mesele gibi
gzken ama ayn zamanda kozmolojik bir sorun olduu kesin olup fizik, matematik
ilimlerle dorudan irtibat olan byle bir husus, nasl itikad bir boyut alabiliyor? Baka
bir ifadeyle, lemin mahiyetine dair verilen cevap, niin itikad bir boyut alyor ve
insanlarn tekfir edilerek toplumdan dlanmas sonucu karsanabiliyor? Ya da ahirette
ebedi mutluluu yok edecek bir kavram olan tekfir ile karlanyor? Dolaysyla bu
soruna verilen cevap, Tanr-evren ilikisini temellendirirken ayn zamanda kiinin Tanr
tasavvurunu da belirliyor.
Felsefe tarihinden yolu geen herkesin sonsuzluk kavram hakknda syleyecek
bir sz olmutur. nk sonsuzluk yalnzca Tanr tasavvuru kurmamzda deil ayrca
evren-insan ilikisi ve evrenin mahiyeti konularnda da karmza kmaktadr. Bu
sorunlarn ne denli nemli olduu aikrdr. Ve bu sorunlarn temeli de sonsuzluk
kavramnn iine gizlenmitir. Bu nedenle sonsuzluu incelerken kavramn sadece bir
bilgi alanyla ilikili olmadn fizik, matematik ve metafizik ilimleriyle ilgili olduunu
grp her ilim alan iin irdeleyeceiz. Ulatmz ya da ulaacamz sonular
matematiksel kesinlikle ispatlamaya alacaz.
Tezimizin hareket noktas lk slam filozofu Ebu shak El-Kindnin lemin
ezelilii hususunda sonsuzluu kullanarak yapt ispatlardr. Bunlar nemlidir nk
33
Gazzali, Filozoflarn Tutarszl, ev. Mahmut Kaya, Hseyin Sarolu, Klasik Yay., 4. Bask,
stanbul, 2012, s.225
Akyol, Aygn. ehristaninin Filozoflarla Mcadelesi, Aratrma Yay., Ankara, 2011, s.115-136
19
deerlendirirken
dier
taraftan
gnmz
matematiiyle
nasl
34
Kind, Felsefi Risaleler, ev. Mahmut Kaya, Klasik Yay., 2. Bask, stanbul, s.28
20
Tanr-evren-insan
ilikisine
dair
felsefi
anlaymzn
temeli
35
21
aama yoktur. Bitiik yahut ayrk olmak ise bir olaydr. O halde cisim olaydan nce var
olamaz. Olaydan nce var olmayan cisim ise tpk onu meydana getiren olay gibi
sonradan olmadr. nk cisim ya olayla beraber yahut da olaydan sonra meydana
gelmitir. Cisim ve arazlarn hdis yani sonradan olduklar ispat edilince lemin de
hdis olduu sonucu kar. lem hdis olunca, kendisine biim veren bir muhdise
muhta olur. Bir yaz, yazarsz yazlamaz. Bir bina, bir mimar veya yapc olmakszn
vct bulamaz. Bir resim, ressamsz izilemez. O halde bunlardan ok daha incelik ve
acayiplik tayan lemin de bir muhdisi veya yaratan bulunmaldr. Bu muhdis veya
yaratan da Yce Allah'tr.36
slam filozoflarndan da Kind Allah'n varln ispat etmek iin ilkin lemin
hdis olduunu ispata almtr. Ona gre lem hdistir. nk kadim olsayd, bilfiil
gereklemezdi. Kadim olan, sonsuz olandr. Sonsuz olan da bilkuvve mevcut olur.
lem bilfiil gerekletiine gre hdistir.37 Kind, felsefi risalelerinde lemin ezeliliini
savunan dehrilere kar onun yaratlm olduunu mantki ve matematik delillerle
temellendirmeye almaktadr.38
Hibir nicelik bilfiil sonsuz olamaz diyen Kind bunu alt aksiyomdan
hareketle sonsuz bir niceliin imknszln kantlam; lem de tmyle (cirml kll)
bir nicelik sayldna gre onun snrl ve sonlu olmas gerektii, buradan da her sonlu
eyin yaratlm olduu; zira yaratan ve yaratlan izafi kavramlar olduundan her
yaratlann bir yaratcs bulunduu, son tahlilde ise bunun Allah olduu sonucuna
ulamtr.39
Grld zere bu konuda kelamclarn lemin kadim olmasna kar kp
muhdes yani yaratlm olduu zerinde srarla durmalarnn nedeni, onlarn lemin
hudsuna dayanarak Allahn varln ispatlama imknna sahip olmalardr. lemin
hudsuna dayanarak bir yoktan var edeni (muhdis) ispatlama almlardr.
Kelamclarn Allahn varln ve sfatlarn ispatlamada dayandklar en nemli
delilerden biri budur. slam kltr ve dnce tarihinde kelamdan felsefeye geii
36
ubuku, brahim Agah. slam Felsefesinde Allahn Varlnn Delilleri, Ankara nv. lahiyat Fak.
Yay., Ankara. 1967, s.12
37
Kind, a.g.e., s.148-149
38
Kind, a.g.e., s.11
39
Kind, a.g.e., s.50
22
salayan ve ilk slam filozofu olarak kabul edilen Kindi de matematiksel bir yntemle
lemin hudsuna deinmektedir.
Eer lemin ezeli olduu kabul edilirse, bu yaklam kadim varlklarn
okluuna yol amas nedeniyle Tanrnn mutlak yaratc olarak varl ile birliini
ispat etmede bir glk tekil etmesinden dolay byk bir problem oluturur.
Dolaysyla kelamclara gre ezel lem fikrinin, lemin Tanr tarafndan yaratlm
olmas gereine aykr olduu sylenebilir. Buna gre kelamclar lemin ezelliini
savunan filozoflara kar kmakta ve lemin belli bir zamanda yaratlm olduunu ne
srmektedirler.
lemin hudsuna dayanarak bir yoktan var edeni (muhdis) ispatlama yntemine
kelamclar huds delili adn vermilerdir. Kelamclarn Allahn varln ve sfatlarn
ispatlamada dayandklar en nemli delilerden biri budur. Huds delili, lemin muhdes
olduu, her muhdesin var olmada bir muhdise ihtiya duyduu kyasna dayanmaktadr.
Bu yntem birok eyin sebep-sonu ilikisi ierisinde birbirini gerektirmesi esasna
dayanmaktadr. yle ki; Allahn varln ispat etmek iin ncelikle evrenin muhdes
olduunu; evrenin muhdes olduunu ispatlamak iin evrenin cisimlerden meydana
geldiini; cisimlerin varln ve cisimlerin sonlu olduunu ispatlamak iin ferd
cevheri; ferd cevheri ispat etmek iin de cevherlerin arazsz olamayacanve arazlarn
da muhdes olduunu ispatlamak gerekmektedir. Srasyla bunlar ispatlandktan sonra
yle bir kyas kurulur:40
Her sonradan var olan/hadis bir var edene/muhdise ihtiya duyar.
lem sonradan var olmutur.
yleyse lemi yoktan var eden biri vardr.41
lemin hudsu ve ezelilii konular eer derinlemesine tartlp incelenmek
isteniyorsa ncelikle sonsuz kavramnn ok iyi analiz edilmesi gerekmektedir. nk
bu konuda yaplan tartmalarn byk ounluunda sonsuzluk kavramndan hareket
edilmektedir. Yani Tanrnn, zamann ve evrenin srlar sonsuzlua gmlmtr. te
40
Erdemci, Cemalettin. Proclusun Alemin Kdemine likin Delilleri zerine, Hitit niv. lahiyat Fak.
Dergisi , orum, 2006/1, c . V , say : 9, s.154
41
Erdemci, a.g.e., s.154
23
biz bu tez yardmyla, sonsuzluk kavramn analiz edip, matematik diliyle anlamaya ve
aklamaya alacaz.
Btn
bunlar
yaparken
bir
noktaya
daha
deinmemiz
gerekiyor.
astronotlarn,
astrofizikilerin,
din
adamlarnn
ve
psikologlarn
42
24
44
Aristoteles, Fizik, ev. Saffet Babr, Yap Kredi Yay., 2. Bask, 2001, stanbul, s.109(203 b 15)
25
anlamda, sonu olmayan bir yolu varm gibi olan, ama bir yolu ya da snr olmayan
eydir. Bir de her ey ya ekleme ya blme ya da her ikisi asndan sonsuzdur.45
Durumun giriftliini gsteren bu tespitlerden sonra, felsefi dnce de nemli olan
soru sormak olduunu vurgulamak istiyoruz. Evrenin z nedir, mahiyeti nedir, sonlu
mudur, eklinde sorulacak bir soruya muhtelif cevaplar retilebilir. Yani evrenin hem
sonluluunu hem de sonsuzluunu ayn anda geerli olduunu iddia eden sylemler,
paradigmalar vardr. Kantn diliyle buna antinomi (paradoks) diyoruz.
46
Paradoksu
aralamak iin yle bir soru ile meseleyi mzakereye balamak istiyoruz: Bir elma
yn dnn ve ierisinden birka tane elma aln. Eer daha fazla almak isterseniz
birka tana daha alabilirsiniz. Hatta daha ok isterseniz yzlerce alabilirsiniz. Ama elma
ynnz hi eksilmeyecek. Ne dersiniz, bu mmkn m? Bir eliki mi yoksa bir
paradoks mu?
incede paradoks szc, mzrak szcn simgeleyen pin karakteriyle,
kalkan szcn simgeleyen yin karakterinin yan yana getirilmesiyle yazlr:
pinyin. Bunun nedeni, M..3. yzyl felsefe yaztlarndan Han Feizide anlatlan bir
ykye dayanmakta. ykde bir adam, mzrayla kalkann satmaya almaktadr.
Etrafnda toplanan kalabalktan birisi ne kp mzran ne kadar iyi olduunu sorar.
Adam, mzrann dnyadaki herhangi bir kalkan delebilecek kadar gl olduunu
syler. Bir bakas kalkan merak edip, peki ya kalkan nasl? diye sorar. Adam
kalkann da, dnyadaki herhangi bir mzran darbesine kar koyabilecek kadar
dayankl olduunu syler. Bir ncs aykrl sezinlemitir: Peki, birisi o mzra
alp kalkanna saldrrsa sonu ne olur? diye sorar ve satc bu soruya cevap veremez.
Bu durum o gnden beridir, kendi iinde elikili deyimine yol amtr. Bir nceki
rnekteki gibi; satcnn iddialar ayr ayr doru olabilir, fakat ayn anda ve ayn yerde
doru olamazlar. nk mzrak kalkan delecek olsa, iddialardan biri, aksi halde dieri
geerliliini yitirir.47
Paradoks, genel inanlara aykr den nerme, sezgisel olarak kabul edilmi olan
ncllerden yola karak, bu ncllerden tmden gelimsel akl yrtme ile ya bir eliki
45
26
yani doru olamayan, ya da temel inanlara aykr olan bir sonu karma durumu
olarak tanmlanmaktadr. 48 Paradoks genelde, her biri ayr ayr doru grnen, fakat
grnrde elikiyle sonulanan bir veya birka nermeden oluur. Bu genel tanm
ierisinde paradoksun farkl biimleri vardr. rnein, nermeler doru olup, gerekten
de varlan sonucu ima etmekle birlikte; sonu aslnda bir eliki olmayp, nseziyi
zorlayan bir durum oluturmaktadr. Ya da sonu gerekten bir eliki oluturmakta,
fakat doru olan nermeler aslnda bu sonucu ima etmemektedir. Bir nc olaslk,
nermelerden bazlarnn doru olmamas veya bir arada doru olmalarnn imknsz
olmasdr. Paradoks szc bu nedenlerle, ou zaman eliki szcyle eanlaml
olarak kullanlr. Fakat barndrd aykrlk, bir elikideki kadar ak ve basit
deildir. 49 Ama mantksal atk bal altnda ele alarak bir nermenin gerek
kendisinden gerek deillemesinden elime tretilmesi olarak ele alanlar da vardr.50
Paradokslarda hakllklar ayn ekilde gsterilebilen birbiriyle eliik olan
kuramlar ortaya kar. Birbiriyle eliik iki savdan her biri ilkelerden doru olarak
uslamlanmtr ve bunlarn her biri doru olarak grnr. Ama eliik iki nermeden
biri doru teki yanl olmaldr. 51 Buradaki asl maksat elikinin grnmesini
saladktan sonra, kullanlan yntemlerden birinin yanl uygulandnn grlmesidir.
0=1 eitliinin bulunduu paradokslar kullanlan ilemlerden birinde hata olduunu ve
bu hatann hangi aamada yapldn grmemize yardmc olur.
Evet, yukardaki elmal sorumuzun cevabna bakarsak sonsuz elma ynmz
olmas durumunda bu mmkn gzkyor. Bunun ise bir paradoks olduunu grrz.
te sonsuzluk bizim iin paradokslarla dolu bir kavramdr. nsanlarn teolojik adan
dlanmasna, dnya ve ahretini heba ettiini iddia edilmesine kadar varan tehditler bu
kavram merkezli yaplmaktadr. Bu tekiletirme salt bir ynden deil birka ynden
felsefi, matematiksel ve teolojik adan gelebilir. nk her alann da birbirinden
nemli baz sorularnn cevaplar sonsuz da kesimektedir. Evren, Tanr, yaratl,
zaman gibi kavramlarn yer ald problemler sonsuzluu kefettiimiz kadar
cevaplanabilmektedir.
Cevizci, Ahmet. Felsefe Terimleri Szl, Paradigma Yaynevi, stanbul, 2003, s.317
Bilim ve Teknik Dergisi, Fizik Paradokslar Eki, Nisan, 2008, Ankara, s. 2-3
50
Grnberg Teo. Onart, Adnan. Vd.,Mantk Terimleri Szl, Metu Pres, 3. Basm, Ankara, 2003, s.86
51
elik, a.g.e., s.18
48
49
27
1.
52
28
54
Hocaolu, Durmu.Sokrates ncesi Grek Felsefesi l, Ders Notu, stanbul, 2007, s.3
Aristoteles, Metafizik,ev. Ahmet Arslan, Sosyal Yay., stanbul, 3. Bask, 2012, s.156 (983 b 20)
56
Arslan, Ahmet.ka Felsefe Tarihi 1, Ege nv. Basmevi, zmir, 1995, s.143
57
Arslan, a.g.e. s.55
58
Arslan, a.g.e. s.74-75
55
29
59
30
ve
blme
sreci
kanlmaz
biimde
onlara
ulatnda,
bulunabilecekleri snrl bir biime ait olmalar, rtk olarak bunu gerektirir. Bu blerek
sonsuzlua ulama abasdr. Bir baka sonsuzluu, yani Evrenin sonsuzluunu
dnrken tam tersi bir sonuca ularz. Bu durumda, sonsuz dizinin her nesnesini
ieren, deneysel olarak sezilebilir bir btnlk yoktur ve bu dizi, bizim sezgimizle bir
62
31
araya getirilmi olan eylerin tesinde bulunan bir evrenin nesnelerinin ardk
toplamyla ilerler.65
Kant ilk durumda, sonsuz btnn ardk elemanlar, daha nce var olan bir
btnde bulunurlar diye yazar. kincisinde ise hep sonlu ve hep elde edilebilen, ksmi
btnln dnda aranrlar. Bu biimde o, hi koulsuz ve snrsz bir biimde
gelimeyen,
Zellini, Paolo, Sonsuzun Ksa Tarihi, ev. Fisun Demir, Dost Yay., 2. Bask, Ankara, 2011, s.32
Zellini, a.g.e.,s.32
67
The Infinite Book: A Short Guide to the Boundless, Timeless and Endless, kitabnn yazar ve Professor
of Mathematical Sciences at the University of Cambridge
68
BBC, Sonsuzluun Kefi, 2007
69
BBC, Sonsuzluun Kefi, 2007
70
BBC, Sonsuzluun Kefi, 2007
65
66
32
hayatta birok ey sanki sonsuzmu gibi grnr. Mesela kapya doru yryorum
diyelim. Benimle kap kolu arasndaki konumlarm says sonsuzmu gibi gelir. Ve
uzayn kesintisiz ve ebediyen dzgn olduuna inanyorsak o zaman herhangi iki nokta
arasnda sonsuz sayda konum bulunacaktr. Rudy Rucker gibi gerekliin sonsuz
sayda blnebilir noktadan olutuunu savunanlar olduu gibi bunun tam aksi kanaati
tayanlar da vardr. Atomcular, uzayn sonsuz sayda blnebilir noktaya
ayrlabileceini dnyorlard. Zenon bu dnceye kar kan bir dizi eliki ortaya
koydu. Thales, dnyay su zerinde yzen bir tepsi gibi dnmekteydi. Ancak bu
durumda bu tepsiyi ve bu tepsinin zerinde yzd su ktlesini tayan ve onlarn
altnda bulunan eyin ne olduu sorusu ortaya kmaktayd. Yine bu durumda
akamst batda batan gnein ertesi sabah dnyann dousundan tekrar nasl
doduunu aklamak gerekiyordu. Bunu aklamak iin batda batan gnein yandan
geri dnerek tekrar douya geldii, ancak dnyann kuzeyinde bulunan yksek
dalardan tr onun bu geri dnn gremediimiz varsaym ortaya atlmt. Oysa
Anaksimandros dnya bir tepsi deil, genilii yksekliinin misli olan bir silindir
biimindedir ve gne batda battktan sonra bu silindirin altndan dolaarak ertesi gn
doudan tekrar doar dedi.71 Anaksimenes, havada bir yaprak gibi yzen bir masa
kapa eklindeki bir dnyay dnr.72
1. Anaximandrosun
2. Anaximenesin
kozmolojisine dair
tasvir bir ekil. Silindirik bir ekle sahip
olan Arzn yaanlr ksm, silindirin
tepsi gibi dz bir sath olan st yzeyi
olup, etraf sularla evrili byk bir kara
parasndan olumaktadr; stnde hava
tabakas vardr, etraf ise bir ate halesi ile
evrilidir. Gneten gelen scaklk serin
hava tarafndan tutulmaktadr.*
Evren
ematize eden bir izim.
tasavvurunu
71
33
73
Unat, Yavuz, Ortaa slm Astronomisinde Kre Katmanlar Sistemi ve Gkyz Hareketlerin
Fiziksel zah, XIII. Ulusal Astronomi Toplants, 2-6 Eyll 2002, Antalya, TBTAK Ulusal
Gzlemevi, 2002, s.2
74
Australian Centre for Astrobiology and Professor of Mathematical Physics at The University of
Adelaide
75
BBC, Sonsuzluun Kefi, 2007
34
2.
35
76
nam, Ahmet, Yaanann Anlam Olarak Sonsuz, Mantk Matematik ve Felsefe 3. Ulusal
Sempozyumu, stanbul Kltr nv. Yay., stanbul, 2008, s.58-59
77
nam, Ahmet, a.g.e, s.61
78
nam, a.g.e., s.62
36
bilin bir anlamda sonsuzun kapsn aar: Bu kapdan, yaadklarmz daha farkl
renklerde, daha farkl younluklarda yaanabileceini sezeriz. Dieri ise etik alannda
grlendir. nsan birey olarak da, toplum, kltr olarak da sonsuzdur. Ahlak asndan
snrlandrlp erevelenemez, insan bildiimizden, yaadmzdan hep fazladr.
Birbirinden ayrlamaz bir btnlk iinde estetik-etik yaam, sonsuzun yaanabildii
bir alandr.79
Sonsuzluun bilimsel kuram ve bundan kan genel say kuram, felsefede,
bilimsel yntemin byk baarlarndandr ve bu yzden de, bu yntemin mantksalzmsel
niteliinin
zellikle
uygun
bir
rneidir.
Bu
konudaki
alma
ye, doal
saylara edeer olduuydu. Beklenecei zere tek bir sonsuzluk olaca anlamna m
79
nam, a.g.e.,s.65
Bertrand, Russell, D Dnya zerine Bilgimiz, ev. Vehbi Hackadirolu, Kabalc Yay., stanbul,
1996, s.167
81
Aristoteles, Fizik, s.123
80
37
geliyordu bu? Sonsuzlukta saylabilir olann tesine geilemez miydi? Yani, tek
sonsuzluk saylabilirin sonsuzluu mudur? Cantor buna hayr yantn verdi. Gerel
saylar kmesinin kuvveti saylabilirinkinden byktr. Nitekim
ile
arasnda 1:1
eleme kurmak olanakszdr. Yani bir doru zerindeki noktalarn says tamsaylardan
sonsuzca oktur. Bylece elimizde iki tane sonsuzluk vardr. Bu yeni sonsuzlua,
nin sonsuzluluuna, sreklilik denir. Bu yzden doru parasndaki noktalar, [0,1]
dorusunun btnndeki noktalardan daha ok deildir.
Saylabilirin sonsuzluu ve srekliliin sonsuzluu dnda baka sonsuzluklar
da var mdr? Bu soruya Cantor, evet eklinde yantlad. spat yledir: Bir A
kmesinin paralarnn kmesi olan P(A)nn P kuvveti A kmesininkinden daha
byktr; bir kme her zaman elerden daha ok paraya ya da alt kmeye sahiptir.
Tam olarak sylersek, n sayda e barndran bir kmede 2n sayda alt kme olacaktr.
Yani
A={a,b,c}
kmesinin
alt
kmeleri
unlardr:
bulu budur ite: sonsuz ayda sonsuzluk vardr! 82 Bu noktada tekrar u soruyu
yenilemek ve cevabn aramak gerekir: Acaba sonsuzluktan kastmz nedir?
Gndelik hayatta sonsuzluk dediimizde ilk aklmza gelen mthi, inanlmaz,
aklmzn alabileceinden daha byk olacak ekilde bir byklk gelmektedir.
Sonsuzluk matematik, fizik ve teoloji alanlarnda sklkla kullanlan ve bu alanda
birbirinden nemli baz sorularnn cevaplarnn sonsuz da kesitiini sylemitik.
Evren, Tanr, yaratl, zaman gibi kavramlarn yer ald problemler sonsuzluu
kefettiimiz kadar cevaplanabilmektedir. Peki, biz birbirinden farkl alanlarda
alrken acaba ayn sonsuzluk kavramn m kullanyoruz? Sonsuzluk bal bana
anlamas zor bir kavram iken sorunu gletirip derinletiren bir ayrnt da budur.
Sonsuz kavram farkl alanlarda ki farkl problemlerle i ie getiinden onun tek bir
tanmn olmas ileri iyice iinden klamaz bir hale dntrebilir.
sonsuz
kavramn
kullanrken
hangi
alanda
veya
hangi
Dolaysyla
ierikte
82
Guedj, Denis. Saylar mparatorluu, ev. mer Aygn, Yap Kredi Yaynlar, Ankara, 2009, s.105122
38
83
39
84
Tdk szlk,
http://www.tdk.gov.tr/index.php?option=com_bts&arama=kelime&guid=TDK.GTS.567e6bb9ab2477.73
398675(Eriim:27.01.2016)
Hanerliolu Orhan, Felsefe Ansiklopedisi, Kavramlar ve Akmlar, Cilt 1, Remzi Kitabevi, stanbul,
1985, s.161
40
(Elemanlar)
ile
geometrinin
kurucusu
olarak
bilinir.
Eukleides
Verilen iki noktay bir aralk birletirir. (iki noktadan bir doru geer)
2.
3.
4.
5.
Verilen bir noktadan verilen bir doruya yalnz ve yalnz bir paralel doru
izilebilir
Ancak Eukleidesin 5. Aksiyomu 19. yzyldan itibaren matematikiler arasnda
kurallaryla
ve
sistemin
dier
kavramlaryla
ilikisi
ierisinde
anlamlandrlabiliyor.
Hatta baka bir sistem ierinde daha da farkllamaktadr:
G.F. Bernhard Riemann 5. Aksiyomun tersini kabul ederek, Bir noktadan dndaki
bir doruya hibir paralel izilemez eklinde ve 2. Aksiyomu da reddederek Bir doru
snrszdr ama sonlu deildir. (yani dorunun balang ve biti noktalar yoktur ama
uzunluu sonludur) demitir. Bylece kresel geometrinin kurucusu olmutur. B.
Riemannn aksiyomlar tm dorular byk emberler olduu kre yzeyindeki
geometride gerekleebilir. Kresel geometrideki dorular iki noktada kesien byk
emberlerdir. Bu yzden hibir doru paralel deildir.
41
85
86
42
43
iin bir ilinek olarak m? Ya da hi biri deil; yine de sonsuz bir ey ya da sayca sonsuz
eyler hi de yok deil mi?87
Yukardaki incelemelerimizde bir mesafeyi sonsuz arala bldk ya da bir
ubuun srekli iki katn alarak sonsuz uzunlua ulamaya altk. Ya da sonsuz ak,
sonsuz hayat kavramlarn kullandk. Btn bu sylemlerde dikkat edilirse sonsuzluk
kavramn aralk, uzunluk, hayat kavramlarna eklemledik. Yani sonsuzu bir sfatm
gibi kullandk. Burada sonsuzu ne matematik ne de fizik gibi herhangi bir bilgi
sisteminin iine sokmadan kullandk. Yani genel anlamda bir sonsuzdan sz ettik.
nk blme, katlama gibi eylemler sonsuzluk kavramn iermemektedirler. Sonsuz
kavram bir eyleme, bir gzleme veya bir kavrama kendiliinden elik eden bir kavram
deildir. Yani fizikte nesne kavramn ele aldmzda bunun bir ktle ve hacim
ierdiini syleyebiliriz ama uzunluk ve sonsuzluk arasnda byle bir bant yoktur.
Sonsuz un duyulanlardan ayrlm olmas, kendi bana var olan bir ey olmas
olanakl deil. nk sonsuz, ne bir byklk ne saysal bir okluk ise, ilinek deil
kendi bana bir tz ise blnmez olacaktr (nk blnebilir olan ya bir byklk ya
da bir okluktur).88 Sfat gibi kullanldn kavramak iin u rnee bakalm: gmlek
dediimizde zihnimizde gmlee dair genel bir kan uyanr. Ama bahsedilen bu
gmlein ksa kollu mu uzun kollu mu; sar m beyaz m olduunu bilemeyiz. nk
gmlek kavram bunlar iermez, uzunluk, ksalk, renk vb. sonradan eklenir. Tpk
ktle, mesafe kavramlarndaki gibi: sonsuz ktle, sonsuz mesafe gibi Yine sonsuz,
bir ilinekse sonsuz olduu iin var olanlarn bir esi olamaz
Kanaatimize gre u husus aktr: Sonsuz un etkinlik halindeki bir ey olarak,
tz olarak, ilke olarak var olmas olas deil. Nitekim o blnr bir eyse ondan alnan
herhangi bir ey sonsuz olacak (sonsuz bir taycya yklenmiyorsa, bir tz ise
sonsuz olmak ile sonsuz ayndr), dolaysyla o ya blnmez ya da sonsuza blnr.
Ama pek ok sonsuz nesnenin ayn ey olmas olanaksz (havann bir parasnn yine
hava olmas gibi; sonsuz bir tz ve bir ilke olsa sonsuzun bir paras da sonsuz olur).
Demek sonsuz paralanamaz, blnemez. Ne ki, gereklik halinde olan bir nesnenin
sonsuz olmas olanaksz, nk onun bir nicelik olmas zorunlu. O halde sonsuz
87
88
44
ilineksel olarak bulunuyor.89 Pythagorasclarla Platon gibi kimileri sonsuzluu bir baka
nesneyle ilgili ilinek olarak deil, kendi bana bir tz olarak gryor.90
3.
89
Aristoteles, a.g.e.,s.1113
Aristoteles, a.g.e.,s.107
91
Sezgin, Erkut. Sonsuzluk Kavramnn cadndan nce Ve Sonra, Mantk, Matematik Ve Felsefe III.
Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi Yay., stanbul, 2008, s.67
90
45
92
46
incelemeye alacaz: grsel sanatlar, sinema ve son olarak edebiyat alan. Elbette bu
konuda ele alnm bir ok eser vardr ama biz kendimizce balcalarn ele alp
inceleyeceiz. Konu sanat ve sonsuzluk olduunda grsel sanatlar konusunda en nemli
sanatlardan biri de Maurits Cornelis Escherdir (1898-1972). Snr-snrszlk,
sonsuzluk ve boyutlar konusunda sanatsal ve olaan st bir ifadeye sahiptir.
Escher aslnda mimarlk ve dekoratif sanatlar eitimi alm, akademik disiplin
iinde matematik okumamtr. Buna ramen simetri, perspektif, topoloji ve uzay
geometrisi gibi matematiin baz alt dallarnda ciddi aratrmalar yapmtr. Escherin
eserleriyle felsefe, sanat, matematiksel fizik, kozmoloji ve kuramsal fizik zerine ok
ciddi tartmalar yapmak mmkndr. Hatta uzay geometri, simetri, topoloji gibi
matematiin alt disiplinleriyle mantn snrlarn zorlayan sonsuzluklar, paradokslar,
boyutlar ve kendi kendine gndermeli evrimler zerine mzakereler yaplarak zihnin
ve algnn snrlar zorlanabilir.
47
Print Gallery (1956)
imdi Escherin Print Gallery (Resim Sergisi) adn verdii eseri inceleyelim.
ehrin limanna nazr evinin penceresinden bakan kadnn izledii bir erkek, kadnn
bulunduu binann alt katnda bulunan Resim Galerisine gider ve sergide, serginin
bulunduu binann hemen st katnda camdan bakarak kendisini izleyen kadnla
kendisinin resmedildii bir tabloya bakar. Adam tabloya bakarken hem tabloda kendine
bakmakta hem de onu izleyen kadna bakmaktadr. Kadn da resmedildii tabloya
bakarken bir taraftan resmedildii tabloya bakan adama da bakmaktadr. Bu ilgin eser,
48
Encounter (1944)
Escherin eserlerinde kulland sonsuzluk kavram algs ya da kurgusu/yaps,
limit ve sreklilik konusu ile ilikilendirilebilir. Yine grsel alanda yolculuumuzu
devam ettirirsek fraktal ilgilenmemiz gereken konulardan birisi olabilir. Fraktal kelime
olarak paralanm, blnm anlamna gelir. Teorik olarak da normal geometrinin,
doay sadeletirip, kolayca alglanabilir hale getirerek sonlu elere indirgeme
mantna aykrdr. Gerekten de doa Euklides geometrisinin getirmi olduu
kavramlara uygun bir dzen getirmez. Fraktallar basite, sonsuza kadar kendini
tekrarlayan, i ie gemi ekiller olarak tanmlayabiliriz.
Ancak bu tanm
94
49
yakn
bir
biimde
izmemiz
Euclides
geometrisiyle
mmkn
95
Ufuktepe nal. Aslan smail, Fraktal Geometriden Bir Kesit, Matematik Dnyas Dergisi, zmir, 2002,
C:11, S.1, s.14
50
18.
51
52
Piramit karnabahar
Mercan polipleri
Ramis
tarafndan
ynetilmitir.
Barolde Bill
Murray ve Andie
"Groundhog
Birleik
Devletleri
Kongre
98
99
54
Merih Akam, resimlerinde ounlukla drt eleman (Hava, su, ate, toprak)
kullanan srrealist bir sanatmz. Ak Dans adn verdii eserinde zamann ve
meknn olmad sonsuz bir hareketin mevcudiyetini bize hatrlatmaktadr. 100
100
http://www.miasanat.com/SimpleViewer_yagliboya/yagliboya.html(Eriim:27.01.2016)
55
Bu kitabn
korkunluundan korkup onu yakmak ister ama sonsuz bir kitabn yaklmasnn sonsuz
olmasndan ve kitaptan kan sonsuz dumann gezegeni bomasndan korkar. Bir
yapran saklanabilecei en iyi yerin orman olduunu dnen anlatc kitab
ktphaneye koyar hem de ehrazatn, Binbir Gece Masallarnn yanna koyar. Bir
tarafta ne ba ne sonu olan sonsuz sayfal bir kitap dier tarafta her gece hikyelerini
oaltmak zorunda olan, kum kitabndan sonra belki de sonsuzlua iaret eden tek
kitap!101
Kum Kitab hikyesinde olduu gibi, bir kere okuduumuz sayfay bir kez daha
okumamz imknsz; nk bir okur olarak biz ve o andan sonra doal olarak metin bir
daha ki okumamza kadar ayn kalamyor, deiiyor(uz). Burada sonsuzluk algs
olduka farkldr. Ona gre sonsuzluk, hem ezeli hem ebedidir nk kitabn ne ba ne
de sonu vardr. Ayrca kural tanmayan, dzeni yok sayan, ngrlemeyen bir kaostur.
Dolaysyla sonsuz yalnzca eriilemez deil, herhangi bir blm de alglanamaz olan
bir yapdadr.
Sonsuzluk eleriyle bezeli ve bir kitabna ismini veren dier bir eseri Aleftir.
Alef, brani alfabesinin ilk harfi olan alefi merkezine alarak, bizi evrenin kkenine ve
sonsuzluk dncesine gtryor. Alef, uzay boluundaki tm noktalar kapsayan bir
noktadr; bu noktadan ieri bakan kii evreni grr ve onu kucaklar. Buras sonsuzluun
101
Borges, Jorge Luis. Kum Kitab, ev. Yldz Ersoy Canpolat, letiim Y., 11. Basm, stanbul, 2010
56
hem balad hem bittii yerdir. Zaman, kimlik ve lmszlk temalar evresinde
kurulan Alef, farkl gereklik ve anlam katmanlar vaat eden bir metin olarak karmza
102
kyor.
102
103
57
III.BLM
SINIRLILIK VE SINIRSIZLIK KAVRAMLARI
104
58
106
Reel saylar
verilsin.
= [0, 1] ve
105
59
Yukarda grld gibi elimizde snrl bir A kmesi var ama A kmesi sonsuz
elemana sahip bir kmedir. A = [0, 1] sonsuz reel say ieren bir kmedir. Dolaysyla
snrl bir kmenin her zaman sonlu eleman ierdiinden bahsedemeyiz ve her snrl
kmeye sonlu diyemeyiz. Dier taraftan klid metriine gre gerel eksenin her sonlu
aral snrl bir kmedir. Tabi burada uyarmamz gereken bir noktada u ki bir kme
bir metrie gre snrl olmasna ramen dier bir metrie gre snrl olmayabilir. Yani
snrllk metrie baldr.108
Konuyu diziler zerinde daha detayl bir ekilde inceleyelebiliriz.
olmayan herhangi bir kme olmak zere her pozitif tam sayy
bo
kmesinden bir
elemana eleyen fonksiyona dizi denir. Diziler deer kmesine gre isimlendirilir.
Mesele her pozitif tam sayy bir reel say ile eletiren fonksiyonlar reel dizi olarak
tanmlanmaktadr. Dizilerde
: 1,2,3,
1
,,
belli bir sraya gre listelenir. Daha somut bir rnekle ifade etmek gerekirse dizilerde
kmelerin liste ile gsteriminin aksine terimlerinin yazl sras nemlidir.
Diziler zel bir fonksiyon olduu iin f yerine zel bir gsterim olarak
108
60
sembol ise
ile
gsterilir.
Bir dizinin genel teriminden hareketle dizinin istenilen terimi bulunabilir.
Mesela
3 2
1536dr.
Dier taraftan , , , eklinde elemanlar olan bir diziyi ele alalm. Bu dizinin
elemanlarnn maksimum ulaaca deer 1dir. Bu rnekte olduu gibi elemanlarnn
deeri belirli bir deeri gemeyen dizilere sonlu dizi denir. Bu tr diziler iin yaknsak
dizi veya snrl dizi isimleri daha ok tercih edilmektedir. imdi yaknsak ve snrl dizi
kavramlarn biraz daha detayl irdeleyelim.
Dizilerin yaknsakl ve snrllnn tanmna gemeden nce bu kavramlarn
,
1 1 1
1, , ,
4 9 16
1
2,5,10,
1,1, 1,1,
1
dizisinin elemanlar
dizisinin elemanlar
bydke artmaktadr.
tek
yaklat tek bir sonlu deer yoktur. Burada kastedilen genel anlamda dizinin
elemanlarnn ne artt ne azald deil, dizinin elemanlarnn
deere yaklamaddr.
rnekte grld gibi
1 ve
61
1
(
1,
aralnda olduu iin snrldr. Bir dizinin snrsz olmas, ise onun
elerinin sonsuz sayda olmas yani dierlerinden daha byk bir son says olmamas
anlamna geliyor.
Bu konuya deinmiken Milli Eitim Bakanl, Talim ve Terbiye Kurulu
Bakanlnn 31.07.2013 tarih ve 86 sayl kurul kararyla 2013-2014 retim ylndan
itibaren 5 yl sreyle ders kitab olarak kabul edilen 9. Snf matematik kitabndaki109 bir
soruyu irdeleyelim. Soru ve cevab u ekilde verilmitir:
Ama maalesef sorunun zmnde ciddi bir hata vardr. Burada serinin bir ksm
-a, bir ksm da +a gitmektedir. Ama zmde bu seriyi toplayarak bir deer elde
ediliyor. Bunun mmkn olamayacan detayl bir ekilde inceleyelim:
Sadece bir dizinin ksmi toplamlar yaknsaksa terimleri toplanabilir. Yani a0 +
a1 + a2 + ... gibi sraya dizilmi ksmi toplamlar yaknsak olan elemanlar toplanabilir.
109
Karakuyu, Erhan. Bac, Oktay, Ortaretim Matematik 9 Ders Kitab, Dikey Yaynclk, Ankara,
2014, s.56
62
lim
olarak tanmlanr.
Teorem1:
xi, terimleri pozitif olan bir seri olsun. , nin bir elemesi olsun. O zaman, eer xi
ve (i) serilerinden biri yaknsyorsa dieri de yaknsar ve yaknsadklarnda ayn
sayya yaknsarlar.
spat:
snve tn srasylaxi ve (i) serilerinin ksmi toplamlar, s ve t de serilerin limitleri olsun.
Her iki ksmi toplamlar dizisi de artan dizidir. (tn)n dizisinin stten s tarafndan snrl
olduunu kantlayacaz.
0 ,,
olsun. Hesaplayalm:
Demek ki
63
=b
Bir yarm emberi ve apn ele alalm. Bu yarm emberin iine ardk olarak:
iki yarm ember; sekiz yarm ember ve on alt yarm ember iziyoruz ve bylece
devam ediyoruz. Bu izim ilemine devam edildiinde, sonsuz saydaki yarm
emberin, sonunda apla ayn olacan gn gibi ak bir ekilde gremeyen var
mdr?
ap iki kat kldnde uzunluk yars kadar azalmaktadr. Ve iki kaln izgi
iin, bir ince izgi olduuna gre yani dardaki yarm emberin uzunluu hemen
altnda ki iki yarm emberin uzunluuna eit olduundan, farkl farkl izgilerin
110
64
uzunluklar deimez kalr ve byk emberin apna hibir zaman bitimez. Demek ki
burada limitten sz edilemez, nk limit iin ilk koul deien bir eylerin olmasyd.
Burada deien farkl alanlardaki izgilerin snrlad toplam alandr. Bu alanlar
giderek azalr ve limit de sfr olur. Biraz zerinde dnldnde durum
olaanstdr: Bir doru izgiyle, tm eit sonsuz sayda kk ember arasnda kalan
alan sfra eittir.111
1.
2.
TANIMSIZLIK
112
Buradaki
temel
sralarn
kapsam
hakknda
bn
Sina
unlar
111
Boll, Marcel. Matematik Tarihi, ev. Blent Gzkan, letiim Yaynlar, stanbul, 2008, s.54-55
Hanerliolu, Orhan. Felsefe Ansiklopedisi, Kavramlar Ve Akmlar, Cilt 6, Remzi Kitabevi, stanbul,
1985, s.221
112
65
Bileiin ortak ve zel olan eyleri bir araya gelmedike, eyin bileik gereklii
tamamlanmaz. Bilmemiz gerekir ki tanmlamada ama, denkgele ayrt etmek deildir.
Ama, onunla anlamn olduu gibi kavranmasdr. Herhangi bir eyin, cinsindens onra
kendine eit olan iki ayrm olduunu varsaydmzda -ki bazencanlnn nefis sahibi bir
cisim olduktan sonra iradeyle hareket etmeve duyumlama gibi iki ayrmnn bulunduu
sanlr- bu ayrmlardan birisi tek bana getirildiinde kendisiyle kurucu (yklem olan)
ayrt etmeninkastedildii tanm iin bu yeterli olur. Ancak eyin kendisinin
gereklemesi ve gerekliinin olduu gibi (belirlenmesi) tanm iin yeterli deildir.
Eer tanmdan ama, kurucu (yklemler) ile denkgele ayrt etmek olsayd, "insan, bilen
ve lml olan bir cisimdir" szmz tanm olurdu.113
Yukarda bahsi geen durumlardan birincisini yani tanmsz kavram ele alrsak,
burada kullanlan tanmsz kavramnn bir sfat olduunu ve niteledii kavramn, ele
alnd sistem ierisinde tanmsz olduunu sylememiz gerekir. Geometrideki nokta,
doru ve dzlem buna rnektir. Yani nokta tanmsz bir kavram deildir, nokta
matematikte tanmsz bir kavramdr eklinde deerlendirilmelidir. Dier taraftan da u
sylenebilir: tanmsz olduunu belirttiimiz kavram, herhangi bir tanma ihtiya
duymakszn herkes tarafndan anlalan ve doruluu sezgisel olarak kabul edilen bir
kavramdr. Yani bu kavramlar tanmlayacak daha temel kavramlar yoktur.
kinci durumu ele alalm: tanmsz deer, sfrdan farkl bir saynn sfra
blnmesi durumunda ortaya kan ve tanmlanamayan deerdir. Yani
seilirse ortaya tanmsz durum deil belirsiz durum kar ve bu ilerde incelenecektir.)
bu ifadenin neden tanmlanamayacan inceleyelim.
olsun. Bu durumda
.0
113
bn Sina.aretler Ve Tembihler, ev: Ali Durusoy, Litera Yay., stanbul, 2005, s.17
66
Burada zel bir durumdan sz edelim. ncelediimiz bir eserde114 paralel iki
doru sonsuzda bir noktada kesiir denilerek sonsuzdaki nokta nedir?
sorusu
cevaplanmaya allm. Acaba klit uzaynda da paralel dorular sonsuzda kesiir mi?
Ya da paralel dorular hangi uzayda kesiir sorular cevap beklemektedir. Ardndan
stereografik izdm yntemi kullanlarak kompleks dzlemde sonsuzdaki nokta
tanmlanabilmitir. Hemen bu tanmn ardndan bir karm yaplarak bir saynn sfra
blmnn anlaml olduu iddia edilmitir. Hatta saynn sfra blmnn sonsuz
olduu ama genel halde sfrla blnmenin tanmsz olduu iddia edilerek olduka
bulank bir sonuca balanmtr. Bu konu zerinde biraz daha ayrntl durmak gerek.
klit uzaynda paralel dorular kesiir mi, sorusunu ksaca inceleyelim. Bu
erevede iki adet doru denklemi alalm:
0ve
iin
zmyoktur. Dolaysyla klit uzaynda iki paralel sonsuzda kesimez. Elbette klit
uzayndan farkl uzaylar da var.
Bu noktada Streografik zdm yntemi ve Riemann Say Kresi ile dzlemin
noktalar arasndaki eletirmeden bahsetmek gerekir. Sonsuz noktasnn kompleks
dzlemde gsterilebilmesi iin kullanlacak ynteme Stereografik zdm ad
verilmektedir. Sonsuz noktas, geometrik olarak kompleks dzlemin kreye izdm
alnarak gsterilebilmektedir. Bunun iin kre zerindeki noktalarla kompleks
dzlemin noktalar arasnda birebir rten bir iliki kurulmaldr. ncelikle z ekseninin
zerinde 1 birim apl kre izilir ve krenin gney kutup noktas xy dzleminin
orjininde ve kuzey kutup noktas I(0,0,1) olarak kabul edilsin. Kre zerinde, kuzey
kutup noktasndan farkl bir P noktas seilir. genlerde benzerlik kullanlarak devam
edilir.115
114
Polatolu, Yaar. en, Arzu. Yavuz, Emel. zkan, Esra. Matematiksel Sonsuzluk Ve Grelilik,Mantk,
Matematik Ve Felsefe III. Ulusal Sempozyumu, Sonsuzluk Ve Grelilik, stanbul Kltr niversitesi Yay.,
2008, s.271-273
115
zkan H. Esra, Kompleks Analiz 1, stanbul Kltr nv., Udes (rgn Eitimde Uzaktan retim
Destei), s.10-14. http://udes.iku.edu.tr/(Eriim 03.12.2015)
67
Benzerlik teoremlerinden:
olur.
olur.
, cos
i
.
68
bir z noktasnn karlk gelebileceini gsterir. Yani burada yukarda bahsettiimiz gibi
kre ile dzlem noktalar arasnda birebir ve rten eleme salanmtr.
Esas noktaya gelecek olursak, P noktas I noktasna yaklatka yani P( ,
olduundan
1 iin
ve
olur ki
bu da z= demektir.116
Burada vurgulanmak istenen konu udur: bu stereografik izdm altnda bir tek
kuzey kutup noktas kompleks dzlemin herhangi bir noktasyla eletirilmemitir.
Kompleks dzlemde bulunan sonsuz noktas da bu kutup noktas ile eletirilirse yani
bu izdm altnda kuzey kutup noktas I noktasna karlk getirilirse bu ekilde birim
kre ile kompleks dzlem arasnda birebir rten bir eleme salanm olur. Ayrca P
noktas Iya yaklatka z noktas sonsuza yaklar. Reel say dorusunda negatif ve
pozitif olmak zere iki adet sonsuz varken geniletilmi kompleks dzlemde117 sadece
bir adet sonsuz vardr.
Matematikteki limit hesabn ele alacak olursak bu yntem, bir bamsz
deikenin belli bir deeri iin baka bir baml deikenin nasl deer alacann
bulunmasna yardmc olur. Mesela ifadesinin x=0 daki deerini bulacaz ama ilem
basamaklarndan birinde tanmsz bir durumla kar karya kalyoruz. Bu durumda xin
deerini 0a ok yakn ama sfrdan farkl deerler seerek ilemi ilerletiyoruz. Her
defasnda xe, 0a ok yakn deerler vererek mmkn olduunca 0a yaklayoruz.
Ama iki trl: ilki xe pozitif deerler vererek yaklayoruz. Yani
116
Polatolu, Yaar. en, Arzu. Yavuz, Emel. zkan, Esra. Matematiksel Sonsuzluk Ve Grelilik,Mantk,
Matematik Ve Felsefe III. Ulusal Sempozyumu, Sonsuzluk Ve Grelilik, stanbul Kltr niversitesi
Yay.,zmir. 2008, s.271-273
Hacsaliholu, H. Hilmi. Yksek Boyutlu Uzaylarda Dnmler Ve Geometriler, Bilecik niversitesi
Yaynlar, Bilecik, 2010, s.193-196
uhubi, Erdoan S. D Form Analizi, Trkiye Bilimler Akademisi Yay., Ankara, 2008, s.54-56
117
Kompleks dzleme sonsuzdaki noktann eklenmesiyle geniletilmi kompleks dzlem elde edilir.
Kompleks analizde zaman zaman bamsz deikenin verilmi bir noktaya yaklamas durumunda
sonsuz deerini alan fonksiyonlarla karlalr. Bu durumda geniletilmi dzlem kavramnn
tanmlanmas gerekir. Geniletilmi dzlem C {} ile gsterilir.
69
3,
30,
+a raksar. kincisi xe, negatif deerler vererek yaklayoruz. Bu defa gittike azalan
(negatif ynde raksayan) bir dizi elde ederiz.
30,
300, . Bu
log
tanmlanmamtr ve bu yzden
3.
1 eklinde
1 noktasnda
BELRSZLK
7 denklemindeki
sembol bilinmeyen
olup belirsiz terimdir. nk in ne olduuna karar vermek iin bir takm cebirsel
ilemler yaplmaldr. Yani bu tr belirsizlik, cebirsel ifadenin gsterimi iin seilen
70
sembollerin birer yer tutucu olarak temsilen kullanlmas ve bu semboller iin tamamen
keyfi deerler seilebilmesinin mmkn olmasdr.
Belirsiz deer ise bilinmeyene belli bir deer tayin edilemeyii durumunda
ortaya kar. Bu konudaki en iyi rnek ifadesidir. x sonlu bir say olmak zere
olsun. Bu durumda
0
0. bylece 0
tanmldr ve
belirsiz
nye baldr. Ama nye belirli ve sonlu bir deer atamak mmkn deildir. n yerine
yazlabilecek sonsuz deer vardr ve bunlardan hangisinin seileceine karar vermek
mmkn deildir. Yani burada belirsiz deer yerine hangi saynn atanaca
bilinememekte, btn deerlerin ayn geerlilikte olduu gzkmektedir.
Son olarak belirsiz formdan bahsedelim. Bu sadece limit ilemlerinde
karlalan bir durumdur. Temel olarak 7 farkl belirsizlik formu vardr ve u ekilde
rneklendirilebilir119:
n bir doal say olmak zere a0,a1,a2,,an birer reel say olmak zere P(x)=a0 +a1 x+a2x2 +a3x3++anxn
ifadesindeki terimlerden herhangi bir akxk teriminde xin kuvveti olan k ye bu terimin derecesi denir ve
bu terimlerden derecesi en byk olann derecesine P(x) polinomunun derecesi denir.
119
zmantar, Mehmet Fatih. Bozkurt, Ali. Tanmszlk Ve Belirsizlik: Kavramsal Ve Geometrik Bir
nceleme,Tanmlar Ve Tarihsel Gelimeleriyle Matematiksel Kavramlar, Pegem Akademi Yay.,
Ankara,2013, s.437-450
118
71
RNEKLER
lim
1
lim
lim 1
lim
BELRSZLK FORMU
0.
lim
0
0
2
4
lim
lim 1
72
IV. BLM
EBU SHAK EL KNDNN SONSUZLUK ANLAYII
Daha nce bahsettiimiz zere lemin sonlu ya da sonsuz olmasnn bizim dnya
grmz zerinde, Tanr-lem ilikisinde ciddi bir neme sahiptir. Bu yzden
sonsuzluk kavram her dnem nemini korumu ve birok tartma barndrarak
dnce ufkumuzu geniletmitir. Bu konu da olduka nemli fikirleri olan Kant
dnyann sonlu olduunu syler ve u ekilde kantlamaya alr:
Dnyann zaman bakmndan balangc olmadn, yle ki belli bir ana
gelinceye dek sonsuz bir zaman getiini, bu yzden de, dnyadan, eylerin ardk
durumlarnn sonsuz bir serisinin getiini kabul edelim. Oysa bir dizinin sonsuzluu
tam da onun ardk bireimlerle tamamlanamamas demektir. Demek ki sonsuz bir
dnya serisi olanakszdr ve buna gre dnyann bir balangcnn olmas varoluunun
zorunlu kouludur; bu da ilk kantlanmas gerekendi.120
Bertrand Russell bu szleri u ekilde eletirir: Bu karm zerine birok
deiik eletiriler yaplabilir ancak biz en azyla yetineceiz. nce, bir serinin
sonsuzluunu ardk bireimlerle tamamlanma olanakszl diye tanmlamak
yanltr. Sonsuzluk kavram her eyden nce snflarn bir zelliidir ve seriye ancak
tretmeyle uygulanabilir; sonsuz olan snflar ise yelerinin belirleyici zelliklerinin
tanmyla annda verilmi olurlar, yle ki, artk bir sona erme ya da ardk
bireimler sorunu yoktur. Ve bireim szc zihinsel bir biletirme etkinlii
anmsatarak, az ok el altndan, Kantn btn felsefesini bozan zihne ballk
kavramn ieri sokar. kinci noktada, bir sonsuz seri ardk bireimlerle hibir zaman
bitirilemez derken Kantn anlalr biimde syleme hakk olan eyin tm, serinin
sonlu bir zaman iinde bitirilemeyeceidir. Yani gerekte kantlad ey, olsa olsa, eer
dnyann bir balangc olmasayd sonsuz bir sreden beri var olmas gerektiidir. Oysa
bu, amacna hi de uymayan pek yoksul bir sonutur.
Kantn bylesine bir yanlla nasl dtn incelemekte yarar var.
mgeleminde u aka grlyor: imdiden balayarak zaman iinde geri doru gitsek,
120
73
eer dnyann bir balangc olmasayd, sonsuz bir olaylar dizisi elde ederdik.
Bireim szcnden anladmza gre, bu olaylar, ortaya klarnn tersine bir
sra iinde yani bu gnden geri doru kavramaya alan bir zihin tasarlyordu. Bu
serinin sonu olmad aktr. Oysa imdiye doru gelen olaylar dizisinin bir sonu var,
nk imdi de bitiyor. Geri doru bireimleri doru oluumlarn yerine koymakla
serilerin anlamn da tersine evirdii dikkatinden kam oldu ve bylece sonu olmayan
zihinsel diziyle, sonu olup da balangc olmayan fiziksel diziyi zdeletirmek
gerektiini kabul etti. Sanrm ite bu yanl, bilinaltnda ileyerek, onu bu inanlmaz
rklkteki yanl kantlamaya gtrm oldu.121
Alemin ezeli oluu (kdemi) ve sonradan meydana gelii (hudus) konusunda
hvan- Safa sonsuzluk kavramn bilginler arasndaki gr farkllklar zerinden ele
almaktadr. 122 hvan Safann matematik ve fizik zerine risaleleri olmasna ramen
ezelilik-ebedilik konusunu matematiksel olarak ele almamaktadr. stelik felsefi
ilimlerin drt eit olduunu sylerek ilk sraya matematii koymulardr. 123 Buna
ramen sonsuzluk ya da alemin sonluluu konusunda matematiksel analizleri yoktur.
Bu konuda eitli aksiyomlarla matematiksel ispat yapmaya alan ilk slam
filozofu Kind, Tanr-alem ilikisinde olduka nemli bir yere sahiptir. Ebu Yusuf
Yakub Bin shak El Kind (801-830), 9. yzyln balarnda Kufede domu, Basra ve
Badatta Hint, ran ve Yunan kltrlerinin etkisi altnda yetimi, bir ok ilimlerle,
zellikle kelam ve felsefe ile ilgilenerek, slamda felsefe ile kark kelamdan srf
felsefeye geiin temsilcisi olmutur.
Kind ile ayn dnemde yaam olan Eb Ca'fer Muhammed bin Ms elHrizm (D.780-.850) dnemin nl matematikisidir. Hatta adnda cebir kelimesini
tayan ilk matematik kitab da Hrizmye aittir.124 Eserlerine baktmzda, daha ok
121
74
matematiksel usul ve metodlarn ele alndn ve bu konu hakknda bir bilginin mevcut
olmadn grdk.
El Kind Yunanca bildiinden Aristoteles eserlerini ilk olarak tercme ve erh
etmitir. Tercme ve erhleri arasnda Aristotelesin Metafizii ve baz ksmlaryla
Organonu ve iir kitab ile Porphyriosun saguci (sagog)si, Ptolemaiosun ElMa.g.e.st (Al Ma.g.e.ste)i, Eukleidesin Usulu (le Elments) ve zellikle, Aristotelese
dayandrlm olan, fakat gerekte Platon, Aristoteles ve Plotinosun baz yazlarnn
bileiminden meydana gelen, Esolocya (Thlogie) kitaplar mhimdir. Aristotelesin
ilimleri snflamas onunla slama girmi ve mantkta onunla balamtr. zellikle
Yunandan yapt tercmelerle tabiat ilimlerinin temelini atan ve tabiat ilimleriyle
nazari ilimleri birbirlerinin yardmcs ve tamamlaycs sayan El Kind, ilmin de dinin
de, en sonda, bir ilk sebebe dayandn belirtmi ve bu ilk sebebin ilahi zn bilme ve
bulmann da her akl sahibi iin zorunlu olduunu savunmutur. 125
Kindye gre din ve felsefe, geree ulamada gittikleri yollar bakmndan
ayrlrlar. nk geree ulamada felsefe yolu aratrma yolu, akl ve nazar yoludur;
din yolu ise ilham ve vahiy yoludur. Ama din ve felsefe, konular ve gayeleri
bakmndan ayndrlar; her ikisi de gerei ararlar. Gerek ise birdir, yolu da burhan
(mantki ispat) yoludur. eriatn emrettii ile akln delalet ettii ey birbirine uygundur.
Dini gerek ile felsefi gerek arasnda aykrlk yoktur.126
Kind, Platon gibi matematie nem verir. Zira matematik ilmi olmazsa nicelik
ve nitelik ilmi olmaz, bunlar olmaynca da bu ilimler arac ile alglanabilecek olan
cevher ilmi de olamaz. Nicelik, nitelik ve cevher ilimleri olmaynca da felsefe ilmi
olmaz. Allahn birlii hakknda, mantk yolunda, ilk eser yazan Kinddir. Bu konuda
materyalist ve ateistlerle yapt atmalarla byk nam salmtr. Kindye gre cisim,
hareket, zaman, mekn hepsi birlikte vardrlar ve hepsi sonludurlar, yani hepsinin bir
balangc vardr. Dolaysyla zaman da sonsuz olamaz. Sonluluk ve sonsuzluk
kavramlarn bize kavratan ey de eitlik ile daha byklk ve daha kklk
kavramlardr. Kind, lemin sonlu olduunu ileri srmekle, lemin basz ve sonsuz
125
Sunar, Cavit. slam Meai Felsefesinde lk Adm, Ankara niversitesi Dergisi, Cilt17, Say 1, 1969,
Ankara,s.29-49
126
Kindi,lkFelsefezerine,a.g.e.,s.142143
75
yazd
lemin
Sonluluu
zerine
isimli
risaleye,
Matematik
127
129
130
76
6- Ayn cinsten olan iki eyden k byn veya onun bir ksmn
oluturur.131
lemin sonluluu zerine adl eserinde 4 aksiyom zerinden lemin sonluluunu
kantlamaya alr. Ayrca El Kind ispata balamadan nce gerekli nermeleri sunarak
ve bunlarla neyi kastettiini aklayarak benzer terimlerden dolay karklk olmasn
engellemeye alr:
Biz bu sanatta nicelik dediimiz zaman eyden birini kastederiz: ya izgi
gibi sadece boyu olan, ya yzey gibi sadece boyu ve eni olan ya da cisim gibi boyu,
eni ve derinlii bulunan nesneyi kastederiz Ayn cinsten nicelikler derken izgi,
yzey ve cisim gibi ayn cins altnda toplanan nicelikleri kastediyorum.
imdi artk ayn cinsten nicelikler zerinde genel ifadelerde bulunabiliriz:
a) Birbirinden byk olmayan ayn cinsten nicelikler eittir.
spat: Bunlar eit deilse, biri dierinden byk demektir. Buna gre diyelim
ki AB olsun. Oysa yukarda getii zere biri tekinden byk deildir. O
halde AB imkansz bir elikidir. Dolaysyla bunlar eittir. Zaten bizim
amacmz da A=B olduunu ortaya koymakt.
b) Ayn cinsten iki eit nicelikten birisinin miktar ayn cinsten bir nicelikle
artrlnca birbirlerine eit olmazlar. Bu doru bir nermedir. Eer byle
olmasayd eliik olmas gerekirdi, yani ayn cinsten olan iki eit nicelikten
birinin miktar ayn cinsten bir nicelikle artrlnca birbirine eit olurlard. O
zaman da bir eyin parasnn btnne eit veya ondan byk olmas
gerekirdi.
spat:A ve B ayn cinsten iki nicelik olsun. A niceliine kendi cinsinden
olan C nicelii eklenince ACB olacan iddia ediyorum. Baka ekilde
olsayd ya B=AC ya da BAC olacakt. Eer B=AC ise o zaman A=ACdir
ve AACdir yani para btn gibidir. Dolaysyla bu imkansz bir elikidir.
O halde BACdir.
131
Kind, a.g.e.,s.208
77
78
132
133
Kind, a.g.e.,s.199-202
Kind, a.g.e.,s.202
79
ispat
da
Galileonun,
1730da
yaymlanm
Devrim
zerine
134
bn Sina, Kitabu-ifa, Fizik II, eviri: Muhittin Macit-Ferruh zpilavc, Litera Yay., stanbul, 2005,
s.50
135
Bertrand, a.g.e.,s.173-175
80
81
olgusunun bir rneidir. Ancak Galileonun tartt sonsuz saylarn eit olmasna
karn Cantor, Simplicusun kavrayamad eyin doru olduunu gsterdi, yani sonsuz
saylarn da sonsuz sayda trleri vardr ve daha byk ve daha kk kavramlar
bunlara tam olarak uygulanabilir. Simplicusun karlat zorluun tm, bir sonsuz
topluluun bir blmnn topluluun tmnden daha az terimli olmas gerektii
kansnda oluundan geliyor; ve bu yadsndnda btn eliki yok oluyor. izgilerin
daha byk ve daha kk uzunluklarna gelince, ki yukardaki tartmay balatm
olan sorundur, bu, daha byk ve daha kn, matematiksel olmayan bir anlamyla
ilgilidir. Uzun bir izgideki noktalarla ksa bir izgidekilerin says, gerekte btn
uzamdaki nokta saysnn ayn olduklarndan, birbiriyle de ayndr. Metrik geometrinin
daha byk ve daha k, uygunluun yeni bir lsel kavramn gerektirir ve bu
yalnzca aritmetik dncelerden gelitirilemez. Ancak bu sorunun, sonsuzluun
aritmetik kuramna ilikin temelde bir nemi yoktur.136
Grld zere Kindden asrlar sonra onun ispatnn neredeyse ayns bir
ispat
bizlere
sunan
Galileo
hakknda
bu
hassasiyetin
gzetilmedii
136
137
V. BLM:
LAHYAT LMLER AISINDAN TANRI-EVREN
LKSNN KURULMASINDA SONSUZLUK KAVRAMI
138
Boll,a.g.e.,s.51
83
140
Ama biz artk yalnzca iki noktadan bir doru getiini biliyoruz ve dolaysyla
139
84
tarihinin byk bir blm bir eyin blnebilecei paralarn saysna bir alt snr
getirilemeyeceini ne srer. Bu ister bir uzay aral olsun ister bir madde parac
olsun byledir. Ancak son yzyl zarfnda belli bir uzunluk birimini ve belli bir zaman
aralnn aslnda bir nevi isel snr oluturduu ve bunlar incelememizin henz
mmkn olmad ortaya kt. Bunlar Planck sabitleri olarak biliniyor yani Planck
uzunluu ve Planck zaman olarak. Planck uzunluu 10-35m ye tekabl eder. Yani bir
atom ekirdeinden yaklak 1020 kat daha kktr. Bu, imdiye kadar zerinde
incelemede bulunan her trl yapdan ok ok daha kk bir uzunluktur.143
1.
143
BBC,SonsuzluunKefi,2007
Aristoteles, Fizik, s.109 (203b-13)
145
Kindi, Felsefi Risaleler, s.123-124
bn Sina. Drdnc Makale Birinci Fasl: nce, Sonra Ve Hudus, Metafizik, ev. Ekrem Demirli,
mer Trker, Litera Yay., stanbul, 2004, s.148
Uyank, Mevlt, Felsefi Dnceye ar, Elis Yay., Ankara, 2003, s.125
144
85
daima fiil halinde bulunan fikirlerdir. Faal akl Ayn feleine karlktr. Ay altnda ve
arz zerinde lemi o idare eder. Faal akldan ilk madde kar.146
Bu kozmolojik grte evrenin z sudur denilirken aslnda bunun maddi bir z
aray olduu aktr. Bu teori yukarda bahsettiimiz gibi madde ve Tanr ikilemi
ortadan kaldrm, her eyin Tanrdan sudur ettiini syleyerek temelde maddi bir z
arayna cevap olmutur. Ayn zamanda bu nazariye, akllar teorisinden yola karsak
metafiziksel olarak da her eyin canl olduunu sylemektedir.
Dnce tarihinde Muallim-i Evvel saylan Aristotelesi takiben Muallim-i
Sani denilen Farabi (. 950) gibi nemli bir alimimiz felsefeyi tahsilus-saade; yani
mutluluu elde edecek bilgileri temin etme olarak tanmlamtr. Bunun nasl
olabilecei doru eylem/salih amel erevesinde belirlidir. Bunlarn nihai sonucu olarak
dnyada refah ve mutluluu yani iyiyi tercih ederek nitelikli bir hayat geirmek temel
hedeftir. Ama bir de bu iyinin daha iyisi, en yksek iyi vardr ki, o da her mmin ve
mminenin Rabbinin rzasn kazanmas ve ahirette mutluluktur.147Bu, mminler iin
sonsuz hayattaki sonsuz mutluluktur.
Frbi'ye gre Allah iin cins, fasl, tarif dnlemez. Her eyin ilk nedeni odur.
Onun vcuduzatiyle ncesizdir ve sonsuzdur. Bilkuvve mevcut deildir. Onun
olmamakl mmkn deildir. O bekas iin bir eye muhta da deildir. Bir halden
dier hale gemez. Blnmeyi kabul etmez. Hakikati, bizzat kendisidir. Ona miktar,
zaman ve yer de isnat edilemez. Cisim deildir. Maddesi ve sureti de yoktur. Zdd da
bulunmaz. O srf hayrdr, srf akldr, srf makuldur ve srf akldr. Bunun hepsi de bir
ve an varlktr. O haklindir, diridir, limdir, kadirdir, muridtir. Olgunluk ve gzelliin
amacdr. O ilk ktr ve ilk mauktur. Her eyin vcudu ondan onun dilemesiyle var
146
Kind, Felsefi Risaleler, s.31-32/123-124; Taylan, Necip, Ana Hatlaryla slam Felsefesi, Ensar
Yay., stanbul, 2011, s.31-32; Fahri, Macit, slam Felsefesi Tarihi, ev. Kasm Turhan, a-To Yay.,
2008, s.327; Frb, el-Medinetl-Fzla, s. 33; bn Sn, Kitbu-if/Metafizik II, s. 146, 154; Aygn
Akyol, ehristaninin Filozoflarla Mcadelesi, s. 52, 78; a.g. mlf., Akyol, Aygn. slamda Akli
Dncenin Kriz Dnemi -Felsefe Kartl ehristani ve bn Teymiyye, slam Felsefesi Tarihi, ed.:
Bayram Ali etinkaya, Grafiker Yay., Ankara 2012, ss. 211-214; Akyol. Aygn, "ehristn ve Felsefe
Eletirisi", Dou'dan Bat'ya Dncenin Serveni -slam Dncesinin Altn a-, Proje ed.: Bayram
Ali etinkaya, cilt ed.: Eyp Bekiryazc,nsan Yaynlar, stanbul, 2015, c. 7, ss. 1065-1071. a.g. mlf.,
ehrezr Metafii, Aratrma Yay., Ankara 2011, s. 119; Aygn Akyol, "ehrezri ve Metafizik",
Dou'dan Bat'ya Dncenin Serveni -slam Dncesinin Altn a-, Proje ed.: Bayram Ali
etinkaya, cilt ed.: Eyp Bekiryazc, c. 7, nsan Yaynlar, stanbul, 2015, s. 1031-1033.
147
Uyank, Mevlt. Akyol, Aygn, slam Ahlak Felsefesi, Elis Yay., Ankara, 2013, s.344
86
olmutur ". Basittir, tamdr ve benzeri yoktur. Onun basit olmas, mrekkep olmamas
demektir '. O vc'tlarn en stn ve en nce olandr. Onun olgunluunu tam olarak
kavramak idrkimizin tesindedir.148 Hatta felsefe btn varlklarn ilmi olduu iin,
ona varan, biraz Allaha benzemi olacan syler. 149 Yani kusurlardan mmkn
olduu kadar arnarak temizlenmek iin, mkemmel olan Tanrya yakn olabilmek iin
felsefe iyi bir aratr.
Byk dinlerin ounda Tanr, prensip olarak dier btn faal varlklarn
stnde tutulan bir Fa'il-i Muhtar, Mutlak Yaratc ve her eyi kontrol altnda
bulunduran bir g olarak tasavvur edilmektedir. nk bu yolla mantkl zm yollar
oluturulabilir. Dolaysyla Tanrya ilk sebep, hareket etmeyen muharrik, sonsuzluk,
mutlaklk, zorunluluk, yetkinlik ve yoktan var etme gibi kavramlar atfedilmektedir.
lk slam Filozofu Kind, Tanrnn sonsuzluundan yani ezeliliinden yle
bahseder: Ezeli yle bir varlktr ki, Onun hakknda mutlak olarak yokluk sz konusu
deildir. Ezelinin varlnn ncesi yoktur ve varln srdrmesi bakasna bal
deildir. O, sebepsiz varlktr. Ezeli olan iin konu(madde), yklem (suret), etkin (fail)
ve gaye sebep yoktur -bununla, bakasndan dolay olan kastediyorum- zaten bunlarn
dnda baka bir sebep de yoktur. Ezelinin cinsi yoktur. Eer cinsi olsayd kendisi tr
olurdu; tr ise kendisini ve bakasn kuatan genel cinsi ile bakasnn itirak etmedii
fasldan olumu bir bileiktir.150 Dnm (istihale) bir deiim olduu iin Ezeli olan
dnmez. nk Onda eksiklikten yetkinlie (tamam) doru bir gei sz konusu
deildir.151
Kindnin lk Felsefe zerineningnmze ulaan ksm, Tanrnn mahiyetine
dair bir ifade ile doruk noktasna ulaarak son bulmaktadr. Ancak Kindyi bu ifadeye
gtren yol, bir lde artcdr. Her ne kadar lk Felsefe zerinedeAristotelese ok
sayda telmih bulunsa da, eser genel olarak, hibiri zelde Aristotelesiymi gibi grnmeyen iki ana unsur ihtiva etmektedir. Bunlardan birincisi, aslnda Aristotelesin
lemin ezel olduu ynndeki tezine bir reddiyedir. Kindnin bu konuda getirdii
148
Farabi. deal Devletin Yurttalarnn Grlerinin lkeleri, ev. Ahmet Arslan, Kltr Bakanl Yay.,
Ankara, 1990, s. 1-14
149
Farabi, hsal-Ulum, ev. Ahmet Ate, Kltr Bakanl Yay., Ankara, s.38
150
Kind, a.g.e., s. 148
151
Kind, a.g.e., s.149
87
152
Adamson, Peter. Taylor, Richard C.,slam Felsefesine Giri, ev.Kaya Cneyt, Kre Yay.,2. Basm,
2007, stanbul,s.38
Ancak biz bu tekfirin tutarl olduunu dnmyoruz. Nitekim bn Rd bunun tutarsz olduunu net
bir ekilde Faslul Makalda verir. Daha ayrntl bilgi iin bn Rd, Faslul Makal, ev.:Bekir Karla,
aret Yay., stanbul, 1992, s.81-89.
153
Adamson ve Taylor, a.g.e., s.43-44
88
Kind, ayn ekilde lemin ezel olduu ynndeki iddiay, lemin yaratlmam
olduu iddiasyla e anlaml grmektedir. Dolaysyla lemin ezel olmadn ispat
etmek, Tanrnn mutlak esizlik ve birliini gstermekle dorudan ilgilidir.154
Ayrca bu nokta, Gazalinin, zellikle lemin ezellii konusundaki felsef
retiyi ret ve mahkm ediini anlamak iin olduka temel bir nitelie sahiptir. Zira
ayet lah sfatlar lah zat ile zde olursa bu durumda lah fiil de Tanrnn mahiyet
veya tabiatnn dorudan zorunlu bir sonucu olarak gerekleen, ilah ze ait bir fiil
olacaktr. bn Sinann Gazali tarafndan da benimsenen grne gre Tanr kendisinden pei sra sudur eden tm varlklarn, yani bir btn olarak lemin en stn
temel sebebidir. bn Sin asndan bu asl sebebin, etkisine olan ncelii zamansal
deil ontolojiktir. Asl sebep etkisiyle birlikte var olmaktadr. Dolaysyla bn Sin iin
ezel asl sebebin zorunlu klnm etkisi olarak lem de zorunlu olarak ezeldir.155
Bu sonu, Gazaliye gre ilah sfatlardan iradenin inkranlamnagelmektedir.
Gazali asndan ezel irade sfatnn setii ve karar verdii her ey mutlaka varla
gelmek durumundadr. Bu anlamda hakknda karar verilen eyin varl zorunludur.
Ancak yine de ilah zat tarafndan zorunlu klnm deildir. lah zle zde olmadndan, ezel irade lemin yaratlna karar vermek mecburiyetinde deildir. Tabir caizse
o, ihtiyara bal ezel bir fiil tarafndan zgrce gereklemektedir. Gazaliye gre bu
fiille o, lemin gemiten imdiye zaman iinde sonlu bir anda yoktan (ex nihilo)
yaratlna karar vermektedir.156
Bu noktann gnmz slam felsefesi asndan ne ifadeceini sorgulayalm: Bir
varln (eyin)
formunu/suretini (tr) bilmek gereklidir. Madde ile form, tmel ile tikelin bir arada
varlkta varoluunu gsterir. Bu sayede onun trn ve dier trlerinden ayran fasln
bilebiliriz. Bu ise arazlarn bilinmesi demektir ki, tamamlayc; yani gaye sebep de
bilinince tanmlanann hakikatine ulalabilir. lem yaratlmtr yada lem
sonsuzdur, nermelerinde lem doas gerei vardr, dolaysyla tanm yaplabilir.
Fakat leme yklenen yaratlmtk veya sonsuzluk un tanm yoktur, zira tzn
154
89
tanm olur, ama zneye yklem olarak yklenenin tanm olmaz.157Fakat burada Tanr
istisnai durum arz eder, zira o salt akli anlamda bir surettir (form), yani onun bir maddi
boyutu yoktur. Metafizik bu anlamda, tikele mesela leme bakarak, onun iindeki
evrenselin, zn kavranmasdr, yani lemin mahiyetinden hareketle Tanrnn varlna
ulamak sz konusudur. te bu nedenden dolay, slam Dncesinde kozmolojik bir
sorun olan lemin mahiyetine verilen cevaplar, son tahlilde, kiinin Tanr tasavvurunu
belirlemekte, dolaysyla itikad bir boyut arz etmektedir.158
Tanr ve evrenin ayn varlk olduunu syleyen, Tanrnn kendini
gerekletirdii yer olarak evreni gsteren159 Giordano Bruno unu syler: En yksek
varlk bilinemez; onu bilebilmek iin olaanst bir k gerek. Felsefeye den dev,
doay bilmektir; doann birliini kavramaya almaktr; Tanry doann dnda
deil, iinde aramaktr. Buna gre doay bilmek, Tanry bilmektir, dolaysyla da
doa bilgisindeki her ilerleme, Tanrnn bir ynn amadr, bilinmeyen bir ynn
kavramadr. te bu yzden Bruno, Kopernikus sistemini byk bir cokunlukla
benimseyip, yeni retiyi sonuna kadar dnmtr.160
Tanr bir eylerin toplam deildir. Sonsuz saydaki sonlu paracklarn bir araya
gelmesinden olumaz. slam felsefesinde Tanry tanmlayan en iyi sz basit
terimidir: O grlmez ve hareket etmez, fakat gerekte kendisi hareket etmeksizin
harekete sebep olur. Bu Onu dzgn kelimelerle anlayanlar iin verilmi bir tariftir: O,
ylesine basittir ki, daha basit olan bir eye blnemez; O paralanamaz, nk o
bileik deildir ve bileik olma ona yklenemez, ancak phesiz O, grlebilir
cisimlerin hareketinin sebebi olduundan, grlebilir cisimlerden ayrdr. 161 Tanrnn
sonsuzluundanbahsettiimizde matematiksel olmayan nicel olmayan bir kavramdan
sz ediyoruz aslnda. Buna nitel bir kavramda diyebiliriz. Yani Tanr nitel olarak
sonsuzdur ama nicel olarak sonsuz deildir.
Bu konuda Descartes yle yazar: Burada belirsiz ile sonsuz arasnda bir ayrm
yapyorum. Herhangi bir snrna rastlanmayan ey tam sonsuzdur. Bu anlamda, sadece
157
90
Tanr sonsuzdur. Ancak baz bakmlardan bir snrn gremediim eyler de vardr;
hayali uzamlarn yaylmas, saylar kmesi, niceliin paralarndaki blnebilirlik gibi
eylere, bunlara sonsuz deil, belirsiz diyorum; nk bunlarn her bir parasnda ne bir
snr vardr, ne de son. 162 Dier taraftan, felsefe profesr William Lane Craige163
gretemel olarak Tanrnn sonsuz olduu gr fikri mutlak mkemmel olduu fikrini
kapsyor. Tanrnn sonsuzluu fikri her eye kadir, her yerde olan ve her eyi bilen
olmasndan; ebedi elzem ve var olmasndan, ahlaki olarak da mkemmel olmasndan
kaynaklanyor. Bunlar tm nitel karamlar ve Tanrnn sonsuzluundan bahsederken
bunlara deinilir.164
O halde Tanr dnda herhangi bir sonsuzluk olamaz m? Aquinolu Tommasso
bu nemli soruya bunun zayf bir olaslk olduunu syleyerek yant verir. per
essentiam ya da simplicitier mutlak sonsuzluun sadece Tanrya ait olduu, ondan
farkl olan eyin de sonlu ya da greli sonsuz, yani onun zel doasna karlk olarak
baka bir ey olamayaca sonucuna varr. O halde mutlak (simpliciter) sonsuzun varl
biimler dnyasnn dndadr, infinitum secundum quid ise hala olanakldr ve
temellendirilmi olmasa da, kuku uyandran ey her tr sonsuzun varln yasaklayan
Aristotelesi uyarnn ihlal edilmesidir. Ancak Aquional infinitum secundum quidin
insann kavrayabilecei balamda, temelde infinutum ex parte materiae olarak
olanakl, yani var olmayan bir sonsuz olarak anlalabileceini syler.165
Summa Theologicada, mutlak sonsuz (yani infinitum simpliciter) olan bir
nesnenin muhtemel ilahi yaradltaki saf mantkszl aka belirtilir. Aquinolu
Tommaso yle yazar: Bu yaplm bir eyin doasnn mutlak sonsuz olmasna
kardr. Bu nedenle Tanr ki o sonsuz gce sahiptir, yaplmam bir eyi yapamaz,
nk bu, iki elikinin ayn anda doru olmasn gerektirir. Ayn biimde o, hibir
eyin mutlak sonsuz olmasn salayamaz.
Aquinolunun uslamlamas basit ve tutarldr: Tanr dilediini yapabilir, ama
onun yapmas, yaplm olan eyin varlna yol aar. Yaplm olan, yaplm olduu
162
Zellini,a.g.e.,s.99
BBC, Sonsuzluun Kefi, 2007
Professor of Philosophy at Talbot School of Theology, Biola University in La Mirada, California
164
BBC, Sonsuzluun Kefi, 2007
165
Zellini, a.g.e.,s.59
163
91
iin tamamen snrsz olamaz. Aquinolu Tommaso, Tanr dnda eyleyen mutlak
sonsuzun varln yadsyor ve Tanrnn her eye gc yeterlii bilgisiyle kurulan bir
uslamlamay bunun kant olarak ileri sryordu; nk bu her eye gc yeterlik ile
eyleyen simplicitier (mutlak) sonsuzun olanakszl birbiriyle elimiyordu.
Bu badamann dorulanmas nemlidir, nk tam da bu noktada
Aristotelesi-Tommasocu gelenekten kopuun ilk admlar atlmtr. 1277 ylnda Paris
Psikoposunun
bn
Rdc
savlar
lanetlemesi,
Tanrnn
sonsuz
bir
kme
166
167
Zellini, a.g.e.,s.57-58
BBC, Sonsuzluun Kefi, 2007
92
2.
168
93
varlklarn zleri olarak var olduunu savunur. O, tmellerin insan zihninde, soyutlama
ilemiyle elde edilmi kavramlar olduunu da savunmutur. Tmeller konusunu ele alan
son byk skolastik dnr Ockhaml Williamdr. Tmeller konusunda nominalist bir
bak as benimseyen Ockhamlya gre, tmeller, bireysel nesnelerin ve nesne
beklerinin yerini tutan terim ya da iaretlerden baka hibir ey deildir; tmellerin
nesnel bir varolua sahip olduu dnlemez.
yalnzca bireylerdir.173
171
94
Bayraktar, Mehmet, litam, Felsefe, Ankuzem Yaynlar, Ankara niversitesi Basmevi, Ankara,
2007, s.343
175
Bayraktar, a.g.e., s.344
Ockhaml William hakknda daha fazla bilgi iin bknz.:Bertrand Russell, Bat Felsefesi Tarihi, ev.
Muammer Sencer, Say Yay., stanbul, 1893, s :450-457
174
95
felsefeleriyle
beslenince,
Batnn
Ortaa
Anlaynn
Rnesans
ve
Reform
176
177
96
ne
sren
realizm karsnda
97
182
183
98
VI. BLM:
FZK VE METAFZK LKSNN KURULMASINDA
MATEMATKSEL BR KAVRAM OLARAK SONSUZLUK
Sonu olan insann sahip olduu akl, sonsuzluk gibi usuz bucaksz bir konuyu
nasl alabilir? 1974 Nobel dll Astro Fiziki Dame (Susan) Jocelyn Bell Burnelle184
gre (Visiting Professor of Astrophysics at the University of Oxford) bu hakikaten bir
sorundur. Aklamas u ekildedir: Deneyimlerimiz grece olarak snrldr. ok
sayda insann akl, sonsuzluk hakknda ciddi sorunlarla karmakarktr. Bazlar
evrenin boyutlarn kefedince depresyona girmektedir. nk kendilerini ok kk
ok nemsiz hissediyorlar. Profesyonel astronomlarn bu konu hakknda dndklerini
sanmyorum. Bunu dnmeyi engelliyoruz hatta. Kda bunu matematiksel bir
kavram olarak 10 zeri bir eyler olarak yazyoruz. Bylece sadece bir say oluveriyor
sonsuzluk. Ve onu sadece bir sayym gibi grerek sizin zerinizde brakaca insani
etkileri de nlemi oluyorsunuz. Bylece delirmeyi nlyorsunuz.185
limleri genel bir tasnife tabi tutarak alanlarn ve aralarndaki ilikileri
belirlemek bir filozofun bilim ve metot anlayn gsterdii gibi onun varlk anlayn
da gsterir. Eflatun, varlk ve bilgi trlerini aa, orta ve yukar olmak zere e
ayrarak fizii aa, matematii orta ve metafizii yukar diye nitelerken amac, zihnin
somuttan soyutun bilgisine nasl ykseldiini gstermektir. Aristotelesin ilimleri teorik,
pratik ve poetik eklindeki l tasnifi ise hocasnnkinden olduka farkldr.186Farabi,
hsaul-Ulum (ilimlerin snflandrlmas) adl eserinde, her hangi bir ilim renmek
isteyen, bu kitaba bakmak suretiyle, eitli ilimlerin mevzularn, kendisine neler
retebilip, kendisini nelerden mstani klabileceini anlayacan, hangi ilmin daha
faydal olacana karar verebileceini, bir ilmi renmek istedii takdirde, bu ie kr
krne girimeyip, bilerek girieceini anlatr. Bahsettii ilimlerin her birini mkemmel
bir ekilde anlatm, mevzularn, gayelerini, dayandklar prensipleri ok gzel bir
99
ekilde gstermitir. Farabi, bu eserinde, ilimleri ilk nce be byk ksma bler: 1. Dil
ilmi, 2. Mantk ilmi, 3. Ta'lim ilimler, 4. lahiyat, 5. Medeni ilimler. Sonra, bunlarn her
birinin iinde bulunan ayr ayr ilimleri makul bir sra ve tertip iinde gsterir; mesel
ta'lim ilimler unlardr: Saylar (hesap), hendese, menzr ilmi, yldzlar (n-cm) ilmi,
musiki (nk bu da tamamyla riyaziyeye dayanr) ilmi, cerr-i ekal ve tedbirler
(hileler) ilimleri (bunlarda da her birinin amel ve nazar ksmlarn gstermitir).187
Kindnin tasnifi ise bu filozoflarnkinden daha farkldr: ilimleri dini ve insani eklinde
ikiye ayrr ve insani ilimleri dorudan ilim (srasyla fizik, psikoloji ve metafizik) ve
alet ilimler (mantk ve matematik) olmak zere iki gruba ayrr.188
lk slam filozofu Kind, insan zihninin soyut (manevi) bir alan olan metafizii
kolaylkla kavrayamadn; ite bu konuda matematie nemli rol dtn syler.
nk matematiin temelini oluturan saylar, bir ynyle maddi varlklar gsterdii
iin fizie, soyut kavram olmalar bakmndan da metafizie baldr. O halde
matematik, fizikten metafizie ykselite arac bir role sahiptir. 189 Yine bn Sina,
metafizik, fiziksel ve matematiksel varln ve bu iki varlkla ilikili eylerin ilk
sebeplerinin, sebeplerinin sebebinin ve ilkelerin ilkesinin ki o, yce Tanrdrinceledii ilimdir190 diyerek matematiin nemine deinmitir.
Giordano Bruno ise temelde geometrik ekilleri ve saylar alrken, duyulur
dnya ile zihinle kavranan dnya arasnda bir iliki gren Platoncu eilimi dikkate alr
ve matematii, fizik ile metafizik arasna yerletirir.191
Gerekte evrenin snrsz olup olmad hakknda yapabildiimiz tek ey hesap
kitaplara dayal tahminlerdir. Ancak topolojide yani ok boyutlu cisimlerin geometrik
yaplarn inceleyen matematik dalnda heyecan verici gelimeler yaanyor. Rus
matematiki Grigori Perelmann 100 yllk bir matematik problemine evrenin eklini
anlamlandrmaya alan Poincar konjektrn zd syleniyor. Eer Perelmann
teoreminin doru olduu kantlanrsa o zaman beklide gelecekte iinde yaadmz
187
Farabi. deal Devletin Yurttalarnn Grlerinin lkeleri, ev. Ahmet Arslan, Kltr Bakanl Yay.,
1990, s.47-48
188
Kind, a.g.e., s.28
189
Kind, a.g.e.,s.28
190
bn Sina.lahiyat- ifa, Metafizik, ev. Ekrem Demirli, mer Trker, Vakflar Genel Md. Yay.,
2011, s.18
191
Zellini, a.g.e.,s.76
100
evren hakknda ok daha fazla ey bilmemiz mmkn olacak. Sonsuz ya da sonlu evreni
nasl bir gelecek bekliyor sorusu bu noktada nem kazanyor. Bu adan matematiksel
dnce asndan analizler yapmak gerekiyor. Bu analizleri blm ierisindeki Fizik
ve Matematikte Sonsuzluk bal ierisinde ve sonrasnda detayl bir ekilde
inceleyeceiz.
1.
FL SONSUZLUK
192
101
195
196
Zellini, a.g.e.,s.87
BBC, Sonsuzluun Kefi, 2007
102
197
198
103
tamamlanm bir dizi gibi bakmamalsnz. Bunun yerine tm saylar iine alacak ve bir
sonraki sayya geecek sonsuza dek byle devam edecek bir sre gibi dnmelisiniz.
Bu sre sonsuza dek srp gidebilir. Ama bu srecin hi bir annda elinizde sonsuz bir
dizi olumaz. Dolaysyla Aristotelesu izleyen matematikiler sonlu diziler hakknda
akl yrtebiliyorlard. Ama bu korkun sonsuzluk fikriyle bir trl yldzlar
barmyordu.199
Potansiyel sonsuzluk anlayna gre, ulalabilen belirli bir sonsuz bir
byklkten ya da herhangi bir saydan bahsettiimiz gibi sonsuz bir saydan
bahsedilemez. rnein 0,9999 devirli ondalk saysn ele alalm. Potansiyel
sonsuzlua gre, bu sayya istenildii kadar 9 yazlabilir ve 9 yazma sreci hibir
zaman bitmez. Reel saylar kmesinde bu say 1e eittir. Bu saynn nasl 1e eit
olduunu gsterelim:
A=0,9999olsun.
,
,
Fakat fiili sonsuzluk anlayna gre, gibi sonsuz bir miktarn niceliini ifade
eden bir deer varsa sonu bizi artabilir. Yani sonsuz byk says ve sonsuz kk
says ile elde edilen ve 11
0, 9 artn salayan 1
(ya da kabul edilirse) yukardakine benzer bir ilem yapldnda aadaki sonula
karlalmaktadr.
10A
10
199
BBC, Sonsuzluun Kefi, 2007 Peter Jephson Cameron , Half-Time Professor Of Mathematics At
The University Of St Andrews, And Emeritus Professor AtQueen Maryy University Of London
104
Gzlerimizle
grdmz
grn
alt
st
olmutu.
Biz,
kendi
200
Aztekin, Serdar, Matematiksel Bir Kavram Olarak Sonsuzluk ve tesi, Tanmlar ve Tarihsel
Geliimleriyle Matematiksel Kavramlar, Pegem Akademi Yay., 2013, s.505
201
BBC, Sonsuzluun Kefi, 2007
202
Gkberk, Macit, Felsefe Tarihi, Remzi Kitapevi, 6. Basm, 1990, s.252
105
kuruluunun, varlnn nedeni, insanlk tarihine bir ereve, bir sahne olabilmesi
iindir; gne, ay, yldzlar, bitkilerle hayvanlar, bunlarn hepsi insan iin vardrlar,
insann yz-suyu hrmetine bulunmaktadrlar. Hristiyanln bu dnya gr tam
anlamyla anthroposentriktir, yani insan asndan varlm olan bir grtr. Byle bir
grn insann barna olan, insanlk tarihinin zerinde gelitii alan olan yer
yuvarlan evrenin merkezi yapmas pek doaldr.203
3. Ortaan resmi felsefesi olan Aristoteles felsefesi alt st olmutur. Evrenin
sonsuz ve birlikli olduu dncesi, bu retinin Aristotelesi Skolastik doa felsefesini
de alt st etmeye yol amtr. Aristotelesin fiziine gre, doa zce birbirinden ayrlan
iki ksma blnr: Gkyz dnyas ile yeryz dnyasna ya da ayn stndeki dnya
ile altndaki dnyaya. Gkyz dnyasnda balanglar ile bitimleri olmayan dzgn
daire hareketleri vardr; bunlar balamalar iin dardan itilmee muhta olmadklar
gibi, sona da ermezler. Buna karlk yeryzndeki hareketler doru izgi
biimindekidirler; dardan bir itilme ile balarlar ve bir zaman sonra kendiliklerinden
bitip dururlar. Kopernikus retisi Aristoteles fiziinin doay bu ikiye blmesini
ortadan kaldrmt, nk bu retide yeryuvarlann kendisi de bir gk cismi
olmutu; bylelikle gkteki ve yerdeki hareketler zce ayr eyler olmaktan
kmlard.).204
Kopernikus retisi gkyz ile yeryz arasndaki ayrl, dolaysyla gkteki
hareketlerle yerdeki hareketlerin ayrln ortadan kaldrmakla Aristoteles fiziinin
kavramsal zleri belirtmee dayanan fiziinin temelini de sarsmt. Ama bu bakmdan
en kesin adm, Galileinin mekanii ile onun zellikle sredurum internia- yasasn
formllemesi ile atlmtr.
Bu yasaya gre, dardan bir kuvvet iin iine karmadka bir cismin hareket
durumunda ve dorultusunda bir deiiklik olmaz. Bu ilkeye gre, artk Aristotelesin
dnd gibi basz ve sonsuz olan daire hareketleri yoktur; kendiliklerinden bitip
kalan hareketler de olamaz; tersine olarak: kmldatlan bir cisim, kendisine srtme
kuvveti ya da baka bir kuvvet kar gelmeseydi, itildii dorultuda hareketini sonsuz
olarak srdrp giderdi; baka bir deyile: her hareket eden cisim bu, ister gkteki bir
203
204
106
cisim, ister yeryznde frlatlm bir ta olsun-, hareketine balad dorultuda doru
izgi eklinde yryp giderdi- u koulla ki, bir takm saptrc kuvvetler onu bu dz
izgiden ayrp bir daire ya da bir parabol hareketine zorlamasnlar.
Galileinin bu sredurum ilkesine bir de Newtonun genel ekim yasasn
eklersek, yeni fiziin Kopernikusten bu yana getii balca evrelerin ncsn de
grm oluruz. Genel ekim yasas gezegenlerin hareketleriyle bir tan dmesini,
yani Aristo fizii iin yaplar, zleri bakmndan baka baka olan iki ayr dnyada
geen bu iki olay, tek bir doa yasasna balar. Bu yasaya gre, iki cisim bunlar ister
iki gezegen, ister yer ile bir ta olsun- birbirlerini bir yandan ktleleriyle orantl olan,
br yandan da aralarndaki uzakln karesi ile orantl olan bir kuvvetle ekerler. Bu
yasa, hem yeryznn ktleleri miligramla llen, aralklar birka milimetre olan
cisimleri, hem de gkyznn milyonlarca kilogramlk, aralarndaki k yllaryla
tasarlanabilen cisimleri iin ayn kesinlikle geerliktedir.205
Brunoya gre eer evren sonsuz ise, kanlmas imknsz olan muhakeme
udur: iki sonsuz olamaz; imdi lemin varl inkr edilemez; u halde Tanr ve evren
bir ve ayn varlktr. Tanr tanmazlk itirazndan kurtulmak iin Bruno evrenle lemi
birbirinden ayryor: Tanr sonsuz Varlk veya Evren, lemin prensibi, ezeli ve ebedi
nedeni, natura naturanstr; lem, onun sonularnn yahut olaylarn hepsi, natura
naturatadr. Ona gre Tanryla lemi bir saymak Tanrtanmazlk olur, nk lem
bireysel varlklarn toplamndan baka bir ey deildir ve bir toplam ancak zihni bir
varlktr. Fakat Tanry evrenle bir saymak, onu inkr etmek deil, aksine ykseltmektir;
en yksek Varlk fikrini, onu baka varlklarn yannda bir varlk, yani sonlu bir varlk
sayanlarn, iinde tuttuklar snrlarn ok tesine kadar geniletmektir. 206 Brunonun
metafiziinde evrenin birlii, canl bir organizmann birlii diye dnlr: Evren ayn
ruhu tayan canl bir varlktr; gkyzndeki varlklar da, yeryzndekileri de
oluturan tek bir ruhtur, Tanrdr, evrenin ruhudur; btn hareketlerin nedeni de bu
ruhtur.207
205
107
208
Gkberk, a.g.e.,s.230
Gkberk, a.g.e.,s.230-31
Ronan Colin A.,Bilim Tarihi, ev: Ekmeleddin hsanolu, Feza Gnergun, Tbitak Yay., Ankara, 2003,
s.368-371
209
108
ayn kesinlikle btn doaya uygulanabilirler. Buna gre, doa gereini boydan boya
llebilen byklkler ile rlm gren niceliki (quantitatif) bir doa anlay ile
doa yasalarn matematik ile formlleme birbirine sk skya baldrlar.210
Aristoteles olas bir sonsuzluun yani potansiyel bir sonsuzluun olduundan
yle bahsetmitir. sonsuz, olanak halinde var. Ne ki burada olanak halinde olan
unun heykel olmas olanakl, yleyse o heykel olacak gibi sonsuz da etkinlik
halinde var olacak diye anlamamal. Var olmak ok anlamda olduundan gndz var,
yar var gibi, yani hep deiik srelerde olan bir ey gibi anlamal (aslnda bunlarda
hem olanakllk hem etkinlik sz konusu; nitekim olimpiyat oyunlar var demek hem
olmas olanakl demek hem de gerekten yaplmakta demek). O halde sonsuzluk bir
anlamda zamanda, bir anlamda insanlarn, bir anlamda da byklklerin blnmesi
asndan, bu aktr. 211 Yani Aristoteles sonsuzlua sadece yaklaabileceimizi onu
asla yakalayamayacamz sylyordu. Mesela 1, 2, 3, 4, 5 gibi dilediimiz gibi
saymaya balayabiliriz. Ama bu ekilde sonsuzluk noktasna ulamamz mmkn
deildir. Bunu daha iyi anlatabilmek amacyla Aristo yle bir rnekseme kullanmt:
olimpiyat oyunlarnn olduunu sylyoruz. Bunu hem gelecekte olaca hem de
aslnda u anda olduu anlamnda kullanyoruz. Aristotelesnun dedii u: olimpiyat
oyunlarnn olduunu biliyoruz ama oyunlar sadece her 4 ylda bir oynanyor.
Dolaysyla tam oyunlarn oynand anda deilsek olimpiyat oyunlar sadece potansiyel
olarak var diyebiliriz.
imdi fizik mekansal sonsuzluk iinde insanolunun lebildii, sonsuzun
yannda 0 says kadar mesabesi olan ama inceleyebildiimiz uzaysal objelerden
bahsedelim. Sonsuzun yannda 0 mesabesinde olan bu muazzam saylar unlar olacak:
trilyon (1012), katrilyon(1015), oktrilyon (1027), nonilyon (1030), novemdecilyon (1060),
vigintrilyon (1063), googol (10100).
Tm evrende 1024 yldz olduu tahmin ediliyor. Evrende Samanyolu gibi her
biri ortalama 100 milyar yldz ieren 100 milyar gkada olduu tahmin ediliyor.
Bunlardan bizim galaksimize en yakn olan, Andromedann bize uzakl 2.5 milyon
210
211
109
k yldr. Yani Andromedada bugn gzlenen bir olay 2.5 milyon k yl nce
gereklemi bir olaydr.
Gkyznde plak gzle grlebilen hemen tm yldzlar Gne Sistemimizle
birlikte byk bir disk eklindeki Samanyolu Galaksisinin iindedir. Gkadamz
oluturan, gaz, toz, yldz, yldz kmeleri vs. gibi tm gk cisimleri (yaklak 250
milyar yldz), 160 bin k yl (yeni verilere gre 650 bin IY ) apnda baska bir
krenin iinde yer alr.
Samanyolunun merkezinde, 5 milyon (5.106) gne ktlesinde (1O34 ton), 1/10
IY apnda byk bir kara deliin bulunduu tahmin ediliyor. Gne Sistemi
merkezdeki bu kara delikten 30 bin (3.104) IY uzaktadr ve bunun etrafnda 200 km/sn
hzla, 200 milyon (2.108) yllk periyotla bir sarmal koldan dierine geerek dner
(galaktik yl). Tm gkada, merkez etrafnda 250 km/sn hzla dnmekte ve Suylan
Takmyldzna doru saniyede 540 kmlik hzla hareket etmektedir. Gkadamzn ya
50 galaktik yl; ktlesi, 6.1011-2.1012, Gne ktlesi =6.1038-2.1039 tondur.212
Yine yukardakilere benzer bir incelemede Archimedes tarafndan yaplmtr.
Archimedes dnya ve gkyzn bir kre olarak yorumlayarak bunun ne kadar kum
tanesi tarafndan dolduracan hesaplamaya almtr. Her lineer (dorusal) inte 15
kum tanesi olduu varsayarak, her dzlemsel inte 15x15 kum tanesi ve her in kpte
15x15x15=153 kum tanesi olduunu varsayar. Her feette 12 in olduu iin her feet
kpte 153x123 kum tanesi olur. Her mil kpte ise 153x123x5,283 kum tanesi olur.
Krenin hacim formlnden (
10
x153x123x5,283
olarak hesaplar. Bu da yaklak 1054 kum tanesi eder. te bu tip ilemlere pratik
sonsuzluk denilebilmektedir.213
Yukarda astronomik saylarn bulunduu ksmda iinde bulunduumuz
maddesel evrenin, baz astronomik boyutlarndan sz ettik. Bu anlatlanlar, somut
olarak var olan cisim ve olaylar hakknda astronomi biliminin elde ettii sonularn bir
ksmnn zetinden ibarettir dieri ise varsaymlardan yola karak yaplan basit bir
212
Gney, Zekeriya, Uzamsal Sonsuzluk Ve Matematiksel Sonsuzluk zerine, Mantk, Matematik Ve Felsefe
III. Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi Yay., 2008, s.26-31
213
Paulos, John Allen,Herkes in Matematik, ev. Baak Yksel, Beyaz Yaynlar, 1998, s.29-30
110
SONSUZ BOYUTLAR
214
Gney, a.g.e.,s.31
111
izin vermeyen daha derin sebepler de vardr: Yaratlm olan her eyin doduu
kaynan sonsuz olmas halinde, asla olu ve bozulu olmazd, diye belirtiyor
Aristoteles. Ayrca snrlanm olan he ey, snrn baka bir eye gre bulur; bir ey
hep baka bir ey tarafndan snrlanmak zorundaysa, snrn olmamas gerekirdi. Ama
her eyden nce, balang ilkesi olan ve herkese zorluk yaratan ey, dncede asla
bsbtn alamad iin, say, matematiksel byklk ve gkyznn tesindeki
eylerin tamamnn sonsuz gibi grnmesidir.215
Matematikte fiili sonsuzluun aslnda var olduuna dair giderek byyen bir
kan olumaya balamt. Nihayet 19. Yzylda bir matematiki bu problemi aratrdve
set teori diye bilinen teoriyi gelitirdi. Harvard niversitesinde 1994 ylnda matematik
topluluunu kuran Robert ve Alan Kaplan216 teoriyi yle anlatyor: Set teorisi alman
matematiki George Cantor tarafndan kefedilen bir matematik bilimi. O da ayn
kendisinden 300 yl nce yaayan Bruno gibi fiili sonsuzluun mmkn olduunu
dnyordu. Tm saylarn, sayma saylarnn, kesirli saylarn, reel saylarn
dizilerinden bahsedilebileceini de. Bu sonsuz saydaki saylarn bir araya gelmesinin
tamamlanm bir dizi gibi yani fiili sonsuzluk gibi grneceini dnd iin bu
teoriyi ortaya att. Tamamlanm sonsuz dizilere bakma fikri sadece Aristotelesyla
deil gemiteki tm matematikilerin grleriyle ters dyordu.
Alan Kaplan bu konuyu yle ayor: artc olan ilk ey, diyelim ki sayma
saylarndan bahsediyoruz. 1, 2, 3 diye devam ediyor bunlar. Sonra ift saylara
bakyoruz ve onlar da 2, 4, 6,diye gidiyor. lk tahminimiz ift saylarn sayma
saylarnn yars kadar olduudur yle deil mi? Ama bu soruya hayr diye cevap
veriyoruz. ift saylar da sayma saylarn da iki uzun izgi gibi dnrsek bir srada
sayma saylar bir srada ift saylar sralanm ilerliyorlar. Byle yan yana kol kola
gidiyorlar. 1, 2nin elini tutmu, 3, 4n elini ve anlyoruz ki byle elele sonsuza dek
yryecekler. Yani bu iki sonsuz izgi ayn boyutta.217
Bunu u ekilde gsterebiliriz:
215
Zellini, a.g.e.,s.9
BBC, Sonsuzluun Kefi, 2007
217
BBC, Sonsuzluun Kefi, 2007
216
112
123456
24681012
Sayma saylaryla ift saylar arasnda birebir benzerlik kullanarak, Cantor ift
saylarnda sayma saylar kadar olduunu gsterdi. te bu set teorisinin de temelini
oluturdu. Bu teori bir grup ya da sonsuz uzunluktaki say dizilerinin aslnda bir btn
olarak dnlebileceini sylyordu. Ama set teorisi bununla kalmad. Cantor tm
saylarn bu birebir benzerlik iinde eletirilemeyeceini ne srd. Yani farkl
boyutlarda sonsuzluklar olabilirdi.218
Tm sonsuzluklarn yani sonsuz saydaki saylarn oluturduu farkl dizilerin
hepsinin ayn boyutta olacan dnebilirsiniz ilk anda. Ama Cantor reel saylarn
ondalk saylarn saysnn aslnda sayma saylarndan daha fazla olduunu kantlad.
Yani ilkinden daha byk ikinci bir sonsuzluk boyutu ortaya kt. Sonra 3., 4., 5.,
Sonsuz sayda boyutlar.
Cantor sonsuzluklar arasnda bir hiyerari olduunu sylyordu. Ancak hayat
boyunca teorisi ve almalar gerek matematikiler gerekse filozoflar tarafndan yerden
yere vuruldu.219
19. yzyln ikinci yarsnda saduyularmz alt st eden bir kuram geliti:
kmeler kuram. Aristotelesten beri bir nesilden dierine ament gibi intikal eden
mantk bilimini derinden sarst.220
Yukarda ki bire bir elemeyi bir rnekle aklayabiliriz. Bir salona girelim.
nmzde iki kme var: salonda hazr bulunanlar ve koltuklar. Bir anlk dikkatli bir
bakla bu iki kmenin eit olduu, eer eit deillerse hangisinin daha byk olduu
sonucunu karabiliriz:
1- Eer tm koltuklar doluysa ve hi kimse ayakta deilse, doru bir biimde bu
iki kmenin eit olduu sonucuna varrz.
218
113
2- Eer hibir bo koltuk yoksa ve ayakta insanlar varsa, tam bir kesinlikle
insanlarn koltuklardan daha fazla sayda olduunu anlarz.
Eleme, kmelerden birinin her oluturucu esinin, dier kmenin bir esine
karlk getirilmesiyle ve bunun kmelerden birinin ya da her ikisinin- elerinin
tketilmesine kadar devam edilmesiyle yaplr. Eleme iki nemli noktay ne karyor.
Bir yandan ift, ikili, do, duble, ikiz gibi bir ok eanlamlsn bulabileceimiz en basit
sayya, iki saysna dayanyor. te yandan, insan bilgisinin temel kavramlarndan olan
karlkl bamll artryor. Eleme yntemiyle iki kmeyi karlatrarak,
hangisinin daha fazla sayda olduunu, hangisinin kuvvetinin daha byk olduunu
anlyoruz.221
Sonsuzluk kavramna matematikte izin verilip verilmemesi gerektii zerine 19.
yy sonlarndan 20. yy balarna kadar byk bir mcadele yaand. Alman ve Hollandal
matematikilerin iinde olduu sert bir ekol vard. Sonsuzluun yasaklanmas
gerektiini, matematie dhil edilmesi durumunda konunun tm mantksal yapsn yok
edeceini sonsuz eylere dair bir sezgi olmad iin her tr yanlgya dlebileceini
sylyorlard. John D. Barrowa gre Cantor, zellikle alman matematiinde ok etkin
olan Kronecker gibi isimler fikirlerini tamamen kar kt, bu fikirleri matematiin
dnda tutmaya alt iin byk darbe ald. 1930larn 1940l yllarn ikinci dnya
savann sona ermesinin ardndan bu fikirler ortadan kalkt. Artk insanlar matematikte
sonsuzluk kavramna yer vermekten son derece honuttu.222
Hesaplarnn karmakl ve ardndan kar karya kald sert eletiriler
dnlnce Cantorun iddeti giderek artan bir depresyona srklenmi olmas
herhalde pek artc deil. Buradan yle bir soru douyor: sonsuzluk hakknda
dnmek psikolojik adan ne gibi tehlikeler yaratabilir? Danman Psikolog Doktor
Rush Perzuat: Londrann gneyinde bir hastanede alan bir psikiyatr olarak unu
syleyebilirim: gereklikle balarn yitiren ve bu yzden benim kouumdaki
yataklarn ounu igal eden psikozlu hastalarn en arpc ynlerinden biri metafiziksel
221
222
114
sorulara yani sonsuzluk ruhanilik gibi konulara dini fikirlere giderek artan bir ilgilerinin
olmas.223
Sonsuzluk hakknda dnmeye almann ok karmak bir ey olmas birok
insann korkunun penesinde kalmasna yol at. Sonsuzluk hakknda ok derin
dnmenin delilie neden olmasndan endieleniyorlard. Antik yunanllar bile buna
inanyordu. Hatta sonsuzluk korkusu iin rettikleri bir kelime dahi vard: apeironfobi.
Apeiron yunanca snrszlk demek. Sonsuzluunda tabi herhangi bir snr bulunmuyor.
Peki, Cantorun devrim niteliindeki teorileri matematikilerin hayatn kolaylatrd m
yoksa tam tersi mi oldu?224
Peter Jephson Camerona gre bu teoriler aslnda tuhaf bir biimde baz eyleri
ok daha kolay bir hale getirdi. Mesela byk bir sonlu dizi ele aldnzda her trl
karklk sz konusu oluyor. Bu karklklar zaten dizinin sonlu olmasnda
kaynaklanan eyler. rnein dizide ift saylar m var yoksa tek saylar m var bunu
btn diziyi saymadan bilemiyorsunuz. Ama sonsuz dizilerde bu tr zorluklar tamamen
ortadan kalkyor. Dolaysyla tuhaf bir ekilde ele alnmalar ok daha kolay oluyor.
Ayrca sonsuz diziler zerinde mantk yrtebiliyoruz ve bize byk sonlu dizilerin
nasl hareket etmesi gerektiini sylyorlar. Kimse artk sonsuz dizilerle almaktan
huzursuz olmuyor. Son derece doal bir ekilde yryor iler artk.225
Bu durumda geriye u soru kalyor: Eer matematikte fiili sonsuzluk kavramn
daha yeni kabullenmeye baladysak peki bu konuda bilinmesi gereken her eyi
kefettik mi? Belkide inandmz eylerde hala yanlyor olamaz myz?
Amerikal filozof William Lane Craige gre bu sonsuz set teorisi tamamlanm
deil. Craig u ekilde aklyor bunu: Bu teoriyle uyumlu olan baz hipotezler var ama
bunlarda sonsuz set teorisi temelinde kantlanamyor. Tabi ki u felsefi soru da havada
kalm durumda: Cantorun yaratt bu teori sadece matematikinin hayal gcnn bir
rn m yoksa gerek dnyada da var olabilecek gerek bir ey mi? Bu kesinlikle bir
eliki u an. Sonsuzluk kavramnn sadece aklda var olan hayal rn bir ey
olduunu
gerek
hayatta
ise
fiziksel
223
115
evrende
bir
karl
bulunmadn
3.
Teolojide ve gnlk hayatta sonsuz dediimizde neyi kastettiimiz pek iyi bir
ekilde bilinmemektedir. Ama matematikte sonsuzun anlam kesin bir ekilde
bellidir. Matematikte sonsuz bir sfattr, bir ad deildir.228 Adna sonsuz denilen bir
nesne yoktur. Yani o ne bir say, ne bir ilem ne de bir yerdir. O yalnzca bir sfattr.
226
116
( x
) [ x. (+ ) = + ] [ x.(-) = - ] [ x/0 = + ]
) [ x. (+ ) = - ]
[ x.(-)
= +] [ x/0 = - ].
ilgili
bir
tanm
vermeden,
asal
saylar
kmesininsonsuzluunu
kantlamtr. Bernhard Bolzano (1781-1848) ise, (0,1) aralyla, bunun iki kat
117
uzunluktaki (0,2) aralnn, bijektif (1-1 ve rten) f: (0,1) (0,2), f(x)=2x fonksiyonu
ile 1-1 elenmesindeki elikisel duruma dikkat ekmi, Bernard Bolzano (1781-1881),
ve Dedekind (1831-1916), sonsuz kmeleri sonlulardan ayran karakteristii bir z alt
kmesine denk olmak olarak tanmlamlardr. Bu tanm olduka nemlidir nk
matematikteki sonsuzluk kavramn saylardan syrarak tamamen kmeler zerinde
tanmlamlardr. Cantor (1845-1918) tarafndan gelitirilen kme teorisiyle, sonsuzluk
kavram matematikte yeni gelimelerin balangc olmutur.229
Kme Teorisinde, birebir (1-1) eleme esas alnarak, kmeler elemanlarnn
okluu bakmndan snflandrlmtr. Herhangi iki kmenin 1-1 elenebilmesi,
bunlarn birinden dierine en az bir bijektif (1-1 ve rten ) fonksiyonun bulunmas
demektir. 1-1 elenebilen kmelere elemanlarnn miktar bakmndan denk kmeler
denir.
Herhangi bir A kmesi iin Adan Aya 1-1 fakat rten olmayan bir fonksiyon
tanmlanabiliyorsa A kmesi sonsuzdur. Yani en az bir zalt kmesi ile 1-1 elenebilen
kmelere sonsuz kme denir.
Buna rnek olarak daha nce bahsettiimiz Hilbert Otelindeki mterileri
odalara yerletirme eklinden verebiliriz. Yani her yeni gelen mteriyi ilk odadan
itibaren yerletirmeye balayarak eski mterileri bir oda ileri kaydracaz.
f:
{1} ; f(x)=x+1
{1} kmesi
sonsuzdur.
Yukardaki gibi eer doal saylar kmesiyle herhangi bir kmenin eleman
okluu bakmndan denk olduunu gsterebiliyorsak, tanmladmz kmeye
saylabilir sonsuz kme denir. Cantor rasyonel saylar kmesi ile doal saylar
kmesinin denk olduklarn yani rasyonellerin de saylabilir sonsuz snfndan olduunu
1873de Richard Dedekind (1831-1916) e yazd bir mektupta aadaki 1-1 elemeyi
oluturarak kantlamt:
229
Gney, Zekeriya. 2008, Uzamsal Sonsuzluk Ve Matematiksel Sonsuzluk zerine, Mantk, Matematik Ve
Felsefe III. Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi Yay., 2008, s.32-33
118
6...
1/1
1/2
2/1
3/1
2/3
1/3...
x2-2x = 0,
karede,
ve
her
3x2=0,
olarak, yani 1x1, 1x2, 2x1, 3x1, 2x2, 1x3, ... eklinde sralayalm. Her bir gzdeki
denklemlerin sonlu saydaki gerel kklerini de, i. sradakinin 1.si, i-1. sradakinin
sonuncusundan hemen sonra gelecek ve ayn cebirsel say tekrarlanmayacak ekilde
sralayalm. Bylece gerel cebirsel saylarn bir dizisi elde edilmi yani gerel cebirsel
saylar doal saylarla 1-1 elenmi olur.230
Aslnda iki kmenin eleman okluu bakmndan denk olduunun gsterilmesi
Galileo Galilei tarafndan yaplmtr. 1600l yllarn banda sonsuza kadar
byyebilen srekli deikenleri olan uzay ve zamanla uraabilme abas Galileiyi
sonsuz ve blnmez paralarla urama abasna itmitir. Galileo bir uzunlua sonsuz
kk boluklardan sonsuz sayda eklenerek daha uzun bir uzunluk elde edilebileceini
ileri srmtr. Basit 1-1 eleme ilkesi ile kendinden sonrakilere k tutacak sonular
elde etmitir. Galileo paradoksu olarak biline eleme u ekildedir: doal saylar
kmesiyle doal saylarn karelerinden oluan kmenin eit sayda elemana sahip
230
Gney, a.g.e.,s.34
119
olduunu sylemektedir.231
1
6 ...
16
25
36...
Diolog adl eserinde, sonsuzluun tek trl olduunu, bunlar arasnda bir
byklk-kklk kyaslamas yaplamayacan savunmutu. Ama Cantor bunun
doru olmadn 1873 aralnda (Dedekinde yazd bir mektupta) kantlam ve
1874de yaynlamtr. Gerekte, ok doal gibi grnen bu sonu, yukarda
belirttiimiz ve sanki tm sonsuz kmeler birbirleri ile bir ekilde 1-l elenebilecekmi
izlenimi veren artc sonulardan sonra kant gerektiriyordu. Bunun iin (0,1)
aralndaki gerellerin doal saylardan ok olduunu gstermek yeter.
ncelikle bu durumu birka say zerinde inceleyelim. (0,1) aralnda saylar
alalm. Bu aralktaki saylar N ile birebir ve rten olacak ekilde elediimizi
varsayalm ki bu varsaym (0,1) aralnda saylabilir sonsuzlukta say olmas demektir.
0,1230569
0,2547864
0,7341678
0,5352167
0,3610345
imdi ilk satrda noktadan sonraki ilk sayy, ikinci satrda ikinci sayy, nc
satrda ncy, genel olarak ninci satrda noktadan sonraki ninci sayy alarak yeni
bir say oluturalm. Yukardaki saylara gre oluacak say u ekilde: 0,15423 Bu
yeni sayda, noktadan sonraki her sayya bir ekleyelim ve 0,26534 saysn elde
edelim. (eer noktadan sonra 9 gelirse,10 yerine 0 yazacak). Bu say yukardaki
oluturulacak btn saylardan farkldr. nk yukardaki saylarn her birinin bir
basaman deitirerek yeni bir say elde etmi durumdayz. Yani bu yeni say
231
Aztekin, a.g.e.,s.512
120
yukardaki listede hibir zaman belirmeyecektir. Ama oluan yeni say kesinlikle (0,1)
aralnda olacaktr. Bu durumda (0,1) aral saylabilir olamaz.
imdi bunun 1-1liini fonksiyonlar yardmyla inceleyelim:
(0,1) aralndaki gerel saylar ve doal saylarn,
g:N (0,1), g(n) = 0,an1 an2 an3...
fonksiyonu ile 1-1 elendiini varsayalm. Bu arada bir bi says tanmlayalm. yle ki,
virglden sonraki n. basamak 1 ise yeni sayda oraya denk gelen say yerine 1; eer
virglden sonraki n. basamak 1den farklysa yeni sayda oraya denk gelen say 1
alnacaktr. Yani biz 0,231056 saysn alrsak buna denk gelecek say 0,111011
says olacaktr.
0, ani = 1
bi =
1, ani 1
232
Gney, a.g.e., s. 35
121
Byk emberin iine merkezleri ayn nokta olacak ekilde daha kk bir ember
izelim. imdi bu durumu incelemeye alrsak byk ember 1 tam tur yaptnda C
noktas D noktasna gelecektir. Yani kk emberin her noktas CD doru
parasnn her bir noktasna deecektir. Bu durumda kk emberin evresi CD
doru parasnn uzunluuna eittir. CD uzunluu AB nin uzunluuna AB
de emberin evresine eit olduu iin kk emberin evresi byk emberin
evresine eit olmu olur ki bu bir paradokstur. 233
lk dnceleri Galileoya kadar uzanan yine buna benzer bir problem daha
vardr. Biri uzun dieri ksa olan iki doru izgi alalm. Her ikisinin de ularn
karlkl olarak birletirirsek bu birletirme izgilerinin ular bir noktada kesiecektir.
Bu noktay zerinden istediimiz kadar enine izgi geirebileceimiz bir balang
noktas olarak kabul edebiliriz. Bylece ekilde grld gibi ksa izgiyle uzun
izginin noktalar birebir elenmi olur.
Bu doru zerindeki nokta kmelerinin eit ve ayn kuvvete sahip olduklar
sonucuna ulamak iin, bu kmelerin elerini saymaya gerek yoktur. Galileonun
dedii gibi, uzun izgi ksa olandan daha fazla noktaya sahip deildir.
233
122
234
Nesin a.g.e.,s.90
123
235
Barker, Stephen F.,Matematik Felsefesi, ev. Ycel Dursun, mge Kitabevi, 2003, s.137
124
236
237
Nesin, Ali, Bertrand Russelln Paradoksu, Matematik Dnyas Dergisi, 2013 K, s.31
Gney, a.g.e.,s.37
125
z=[3,4]ve
tek
elemanl
bir
kme
olarak
dnlr.
nermeler
simgelerle
z (zxzy) x=y
(Extensionality)
2.
(Comprehension)
3.
f (f:xx) (f(x)x)
(Seme aksiyomu)
127
iin hareketine balayan bir kii nce yolun yarsn, sonra kalan yolun yarsn, sonra
tekrar yarsn alacak ekilde hareket ettiinde B'ye varamayacak, bu noktaya sadece
yaknsayacaktr. nk kalan yolun yarsn almaya devam ettii srece hi
durmayacak, gitmesi gereken hep yarm bir yol kalacaktr. Ancak fiziksel olarak byle
bir durum mmkn deildir. Fizikte ise A'daki hareketli bir ekilde B'ye
varacaktr. Zenon
Paradoksu'nun aklamasn
veren
bu
rnek,
matematik
hareketle
onlarn
ierdii
sonularn
ortaya
karlmasn
hedeflemektedir.241
Zenon paradokslarndan biri u ekilde:242 Yunan dnyasnn en hzl adam nl
tez ayakl Akhilleusun, yavaln darb mesellemi kaplumbaa ile bir yar
yapmasdr.
km
km daha ilerlemitir.
241
242
128
4.2. zm nerisi I
243
244
129
diziyse
nin
245
Akbulut, Krat. Akgn, Levent, Matematik ve Sonsuzluk, Kazm Karabekir Eitim Fakltesi Dergisi,
say 2, 2005, s.551
246
Arslan, a.g.e.,s.136
247
Aydner, Ekrem, Sonsuzluk, Grelilik Ve Zenon Paradokslar, Mantk, Matematik Ve Felsefe, Sonsuzluk
Ve Grelilik, III. Ulusal Sempozyumu, stanbul Kltr niversitesi Yay., 2008, s. 303-313
130
yapmann dier bir addr. Yani sonlu zaman aralnda sonsuz i yaplamaz! Bu
nedenle serileri matematiksel yoldan toplayarak fiziksel problemin zmn elde
etmek olas grnmyor. Matematikilerin pek sevdii bu zm teknii fizikiler
tarafndan baz problemlerin zmnde kullanlyor olsa da kanmca uzak durulmas
gereken bir yaklamdr. eklindedir.
syleyebiliriz. lki matematiksel bir zm yani soyut uzayda ele alnan bir problemin
zm deerlendirilmesi fizik uzayda yaplmtr. Sonsuz iin sonlu zaman aralnda
yaplamayacandan kast budur. Ama matematikte zaman kavram yoktur, zaman fizik
uzaya bal bir olgudur. kincisi sonsuzluk ve snrllk kavram kargaasndan
kaynaklanan bir problem olduunu dnyoruz. (0,1) say araln ele alalm ve bu
aral metre zerinde iaretleyelim. Bu aralkta sonsuz sayda reel say vardr ve
yukardaki fikre gre bunu lmemiz sonsuz zaman alr. Ama biz iki nokta arasndaki
mesafenin 1m olduunu rahatlkla lebiliriz. Bu durumda sonsuz reel saylar zerinde
mesafe hesab yapm oluruz. lm yapabilmemizin nedeni ise ele aldmz araln
snrl bir aralk olmasdr.
4.3. zm nerisi II
248
Uyank, Mevlt, Tmevarm Meselesi bn Sina Merkezli Yeni Bir Okuma, Hitit niv. lahiyat Fak.
Dergisi 2012/1, c. 11, say: 21, s.196
131
saylar
uygulama
giriiminde
karlatklar
zorluk,
249
132
tam saynn karesinin, baka byle bir saynn karesinin iki kat olamayacan
kantladlar. Yani kenarn ve kegenin uzunluklar ortak llemez saylardr. (Bu
Pythagorasc kantlama yle: eer olanaklysa bir karenin apnn kenarna oran m/n
olsun, m ve n ortak arpanlar olmayan tam saylardr. Demek m2=2m2dir. Bir tek
saynn karesi tek olur, ancak m2, 2n2ye eit olduundan ifttir. Demek m ift olmal,
ancak ift saynn karesi 4e blnebilir, demek m2nin yars olan n2ift olmal. Yani n
ift olmal. Ancak m ift olup nnin onunla ortak arpan bulunmadna gre n tek
olmal. Bylece n hem ift hem tek olur ki bu da olanakszdr. Buna gre apn kenara
oran bir gerek say olamaz.)
Bu olgu kimi felsefelerde byk glk gstermeden zmsenebilirdi ama
Pythagoras felsefesi iin kesinlikle ldrcyd. Pythagoras saynn her eyin z
olduunu savunuyordu, oysa bir karenin kenarnn kegenine orann gsteren iki say
bulunmuyordu. Grne gre, bir izginin uzunluunun onda bulunan atom saysyla
belirlendii, iki cm boyundaki bir izgide bir cm boyundakine gre iki kat atom
bulunduuna grnde olduunu kabul ederek, karlat gl daha da aabiliriz.
Ancak bu doru olsayd, herhangi iki sonlu uzunluk arasnda belirli bir saysal oran
bulunmas gerekirdi, nk her birimdeki atomlarn says, ne denli byk olursa olsun
sonlu diye kabul ediliyordu. Burada zlmez bir eliki vard.
Grld
gibi
bir
uzunluun
noktalardan
olutuu
kabul
edilince,
llemezlerin varl, her sonlu uzunluun sonsuz sayda noktalar ierdiini kantlar.
Baka deyimle, noktalar birer birer alp atmak istersek, bu sreci ne denli uzatrsak
uzatalm btn noktalar atmak olanakszdr. Demek ki noktalarn says saylamaz,
nk saymak, eyleri birer birer sayp gstermek demektir. Saylamaz olma zellii
sonsuz topluluklarn ayrt edici nitelii ve bunlardaki elikili zelliklerin ounun da
kaynadr. Bu nitelikler ylesine eliiktir ki, gnmze dek bunlarn mantksal eliki
oluturduklar sanlmtr. Zenondan Bay Bergsona uzun bir filozoflar izgisi,
metafiziklerinin ounu sonsuz topluluklarn szde olanakszl zerine oturttular.
Geni izgileriyle, glkleri Zenon ortaya koymu ve 1851de yaymlanan Paradoxian
des Unendlichen adl kk boyutlu yaptna dek somut hibir ey eklenmemitir.
133
Glklerin kesin zmn Bolzano deil, bu konudaki ilk yapt 1882de kan Georg
Cantor vermitir.250
Sreklilik kuram, inceliklerinin ve gelimelerinin byk blmyle salt
matematiksel bir konudur, ancak, titiz bir anlatmla felsefenin konusu olmad grlr.
Kuramn yalnzca mantksal temeli felsefeye girer. Sreklilik kuramnn felsefeye giri
yolu, geni izgileriyle yledir: Matematikilere gre uzam ve zaman, nokta ve
anlardan oluur, ancak bunlarn, duyumlanmas tanmlanmasndan daha kolay olan bir
baka zellikleri de vardr ki buna sreklilik denir ve filozoflarn ou uzam ve zaman
noktalar ve anlar olarak aklandklar zaman srekliliin yok edildiini kabul ederler.
Zenon, sonlu bir zaman ve uzam iindeki an ve nokta saylarnn da sonlu olduu kabul
ettiimizde, nokta ve anlarla zmlemeye olanak bulunmadn kantlamaya
almtr. Sonraki filozoflar sonsuz saynn, kendiyle elikili olduu kabul
ettiklerinden, burada bir mantksal atk (antinomy) grdler: uzamlar ve zamanlar,
Zenonun gsterdiine benzer sebepler yznden sonlu sayda nokta ve anlardan
oluamazlard, nk sonsuz saylar kendiyle elikili kabul edilmilerdi. Demek ki
uzamlara ve zamanlara, eer gerekseler, noktalardan ve anlardan oluurlar diye
baklamazd.251
Nokta ve anlarn, sonsuz sayda bile olsalar, duyularn bizi altrd gibi
przsz geiler deil, ancak, -Zenonun havadaki okun durmakta olduu elikisine
gtren trden- ayr ayr devimsizliklerin art arda sralanndan oluan sramal bir
devim verebilecei duygusundan kurtulunamyor. Bu duygu, srekli serinin
matematikte grnd biimiyle doasnn, soyut olduu kadar imgelemsel olarak da
anlalamamasndan geliyor. Bir kuramn mantksal olarak anlaldktan sonra
duyulabilmesi iin de ou zaman uzun ve ar bir aba gerekir; onun zerinde durmak,
daha allm ancak yanl kuramlarn yanltc esintilerini birer birer zihinden atmak
gerekir. Matematikilerin uzam ve zaman incelemek iin ortaya attklar nokta ve
anlarn, fizik alannda gerekte var olan nesneler olduunu kabul etmek iin bir sebep
gzkmyor. Ancak gerek uzam ve zamann srekliliinin, matematiksel sreklilikle
az ok benzeim iinde olduu grlecektir. Matematiksel sreklilik kuram, geerlilii
250
Bertrand, Russell, D Dnya zerine Bilgimiz, ev. Vehbi Hackadirolu, Kabalc Yay., 1996, s.148150
251
Bertrand, a.g.e., s. 119
134
bakmndan gerek uzam ve zamann hibir zelliine bal olmayan soyut mantksal
bir kuramdr.
252
253
135
bir rnekle basitletirmeye alalm: bir cetvel boyunca devinen bir k huzmesi
dnelim. Ik huzmesinin herhangi iki anda bulunduu herhangi iki konumunu gz
nnde tuttuumuzda, ara anlarda bulunulan baka ara konumlarn da bulunmasdr. ki
konumu birbirine ne denli yakn alrsak alalm, k birinden tekine birdenbire atlamaz,
ancak sonsuz sayda baka konumlardan geer. Her aralk ne denli kk olursa olsun,
k o araln bir ucundan tekine, aradaki sonsuz sayda konumlar serisinden geerek
varacaktr. Ancak huzmenin belli bir anda belli bir konumdan, hemen sonraki anda
hemen sonraki konuma geii olarak betimlenebildiini sylediimiz ya da
tasarladmz anda yanlla dm oluruz, nk ne hemen sonraki an vardr ne de
hemen sonraki konum. Eer bunlar olsayd Zenonun elikilerine dmek kanlmaz
olurdu. Eer huzme belli bir zamann tm sresinde cetvel boyunca devim iindeyse, iki
ardk anda ayn noktada bulunamaz. Ancak bir an ile ardl arasnda, bir noktayla ardl
arasndakinden daha ok yol alamaz, nk alabilseydi, ilk an ile ondan sonraki an
arasndaki ara konumlarnn karlnda bir an olmazd, oysa biz devimin srekliliinin
byle birden bire sramalara olanak vermediini batan kabul etmitik. Burada ki
sonu, k devindike, bir andaki bir noktadan, sonra gelen andaki sonra gelen noktaya
gemesi gereidir. Bu durumda ise btn hareketlerde yalnzca belli bir hz olmas
demektir. Bu karm sonucu yanl olduuna gre ardk noktalar bulunduu
varsaymn da atmamz gerekir. Yani hareketin srekliliinin, bir cismin ardk anlarda
ardk konumlarda bulunmas olarak kabul edilmemesi gerekir. 254
Demek ki srekli bir harekette, hareket eden cisim, belli bir anda belli bir
konumda, baka anlarda da baka konumlarda bulunur diyeceiz. Hareket eden cisim
hibir zaman bir konumdan tekine atlamaz, sonsuz sayda ara konumlar yoluyla
dereceli olarak geer. Belli bir anda, Zenonun oku gibi neredeyse oradadr; ancak o
anda durmu olduunu syleyemeyiz, nk an sonlu bir zaman srmez ve ann
aralarnda bir aralk bulunan bir bayla bir sonu yoktur. Durmak demek, ne denli ksa
olursa olsun, belli bir sonlu zaman sresindeki btn anlarda hep ayn konumda
bulunmak demektir, yoksa yalnzca bir cismin belli bir anda olduu yerde bulunmas
demek deildir. Burada ispatlanmas istenen ey, matematik dilinde, devinen bir cismin
konumu zamann srekli bir bants olmasdr diye anlatlabilir. Yani T annda P
noktasnda bulunan bir cisim alalm ve bu cismin getii yol zerinde kk bir P1P2
254
136
5.
SONSUZ KK KAVRAMI
d
d
255
137
Yani dy:dx oran, bildiimiz trigonometrik anlamda, P ve Q noktalarndan geen
c dorusunun x ekseniyle oluturduu ann tanjantdr.
Eer dx sfra yaklaacak kadar klrse, dy/dx oran ok kk iki byklk
arasndaki orana dnr. Eer dx tamamen kaybolursa, c dorusu sonsuz ara deerleri
aarak, C erisinin P noktasndaki tanjant olan t dorusuyla zdeleecektir. Leibniz
yle aklyor; y nicelii dx=0 olsa bile tanmldr, nk bu durumda
(d, t
iliki olarak yorumlanabilir ve dolaysyla hala bir ey ifade eder. Ama bu ey, dx e
tamamen hilik deeri atayarak ifade edilemez (ki bu, tanmszlk yaratarak problemi
belirsiz klacaktr), dzenli bir makroskopik durumda grnr olan sonucun
btnln korusa bile, sfra ulaan bir kavramla anlatlmaldr. Bu, sonsuz kk
kavramdr. Bu durumda, dx ve dynin iki sonsuz kk olduklar sylenecek ve sonsuz
kk, atanm herhangi bir sonlu nicelikten ok daha kk bir nicelik olarak
dnlebilecektir.
imdi sonsuz ke ulamay olanakl klan ileyii tanmlayabilmek iin
sreklilik ilkesinden sz etmek gerekir. dx=0 olan en ar durumda bile bir deikenin
(teet doru) kesin zmnn bariz grnrl sayesinde
orann anlaml
klan bu ilkedir. Sonsuz kklk tanmnda her zaman bulunan kavramsal belirsizlik,
bu ilkenin uygulanmasndan, belli bir konfigrasyonun ara durumlarnn sonsuz
138
olur.
y
f x x f ( x )
= lim
olur.
x 0 x
x 0
x
f (x)= lim
y
limiti
x 0 x
y
.
x 0 x
lim
1.90
1.95
1.99
1.995
1.999
2.001
2.005
2.010
2.15
3.90
3.95
3.99
3.995
3.999
4.001
4.005
4.010
4.15
lim
Ayrca, Arkhimedesin
durumda
says elde edilir.* Bu ilem ayn ekilde emberin dna izilmi bir
genle de yaplabilir.256
ekil A: Arkhimedesin
*
256
141
Aritmetik Ortalama
evresi
okgenlerin evresi
2,5980762
5,1961524
3,3971143
3,0000000
3,4641016
3,2320508
12
3,1058265
3,2151900
3,1606082
24
3,1326325
3,1596673
3,1461499
48
3,1393546
3,1460919
3,1427232
96
3,1410369
3,1427201
3,1418785
192
3,1414569
3,1418776
3,1416672
384
3,1415625
3,1416675
3,1416150
768
3,1415883
3,1416153
3,1416018
1536
3,1415918
3,1415946
3,1415932
ilem srdrl-
3,1415927
3,1415927
3,1415927
dnde
142
5.2.Sonsuz Kk Kavram
257
Gney, Ahmet Faruk, slam-Trk Matematik Tarihinde lk Eser: Salih Zekinin Asar- Bakiyesi,
Trkiye Aratrmalar Literatr Dergisi, Cilt 4, Say 2, 2004, s.681-683,
258
Taneri, Kemal Zlf, Trk Matematikileri, Derleyen Gven Taneri Ulukse, Cinius Yay., 2009, s.97102
143
1
z
cos x
fonksiyonlarndan her biri ayn mertebeden bir sonsuz kk gibi kabul edilir. nk
bunlar arasndaki orann limiti
lim
x
1 sinx
1 sinx
1
1
y
lim
lim
lim
2
2
z x cos x x 1 sin x x 1 sinx 2
2
fonksiyonu
cos x
y
1 sinx
1 sinx
1 sinx
lim
lim
lim
0
cosx
2
1 sinx
x z
x
x
x
1
sin
x
2
2
2
2
lim
144
miktar h artma
te h artma miktar, aslnda sonsuz kk bir nicelikten ibarettir. Asgari Nmtenh Asl (asli sonsuz kk) adyla anld gibi k artma miktarna da 1.
mertebeden bir sonsuz kktr denilir.
145
146
olacandan
h f x
bulunur ki burada f x trevi sfrdan farkl bir belirli deeri haiz bulunduu taktirde h.
f(x) arpm sonucu 1. mertebeden bir sonsuz kk olur.
imdi f x fonksiyonunun ardk trevleri x deikeninin birer belirli ve
srekli fonksiyonu olduu takdirde k artma miktar Taylor serisine uygun olarak
aldnda,
1
f x
1 2
f x
1 2 3
1 2
1 2
olur.
te deikenin h artma miktar asli sonsuz kk kabul edildiine gre bu
serinin 1. terimi 1. mertebeden; 2. terimi 2. mertebeden ve bylece (n+1). terimi
olan
ibarettir.
Bu takdirde
k
f x
1 2
Olacandan
f x
deerlendirmeye dayanarak
1
1 2
(ekil 1)
X deikenini apsis x ve y deikeni de ordinat kabul ederek (ekil 1)
denkleminin delalet eyledii eriyi izelim.
imdi x deikenine ML deerinden itibaren
h
LL
gibi sonsuz kk bir miktar arttrma verilecek olur ise y fonksiyonunda CLdeerinden
itibaren
148
orannn - limiti eriye C noktasnda izilen teet izgisinin x ekseni ile oluturduu
asnn tanjantna (trigonometrik teetine) eit bulunur. te
art miktaryla
f x
x
1x2
dikmesi indirilecek
149
f x
f
1
olacandan bu halde
x
2
dorusu ve bu yzden
dikmesi de nc mertebeden
150
Ancak
ve hasl
259
Akn, mer. Kten, Hacer, Salih Zekide Sonsuz Kk Kavram, Mantk, Matematik Ve Felsefe III. Ulusal
Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi Yay.,2008, s.46-53
151
VII. BLM
SONSUZLUK VE GRELLK KAVRAMLARI
1.
GRELLK TEORS
260
Taslaman, Caner.Modern Bilim Felsefe Ve Tanr, stanbul Yaynevi, stanbul, 2008, s.53
152
Relativity (1953)261
Grecelik, gzlemcinin grdnn bulunduu yer ve bak asna gre
deiecei anlamna gelmektedir. Escher bu resminde, genel bir grnm oluturmak
iin herhangi bir nesnenin farkl gzlem erevelerinden birka grnmn
birletirmenin ne gibi elikilere neden olduunu resminde ortaya koymutur. Escher,
matematiki
olmasa
da
almalar
pek
ok
matematikiyi
etkilemektedir.
261
153
aklamalar
tutarl
giderken
buraya
uymayan
gerek
kmeleriyle
karlayordu.263
Grelilik kavram mevzuu olunca elbette iin iine fizik girmektedir. Dnyann
gne etrafndaki yrngesi hesaplanrken bunun stnde olabilecek Mars veya Vens
gezegenlerinin etkisi ilk etapta dnlmez. Fizikte ilk prensip problemde cismi, izole
etmektir. Bu da fiziin lokal problemlere konsantre olmas demektir. Fiziin btn
temel yasalar sistemin evrimini tarif eden diferansiyel denklemlerdir. Dolaysyla fizik
yasalar lokaldir. Bunlarda ilk bata sonsuzlua ait hibir unsur yoktur. Zaten problemi
izole etmek demek cismin stnde sonsuza kadar baka etken olmadn varsaymak
demektir. Ancak sonsuzluk, bir nevi arka kapdan gene karmza kar: Acaba bu evrim
262
Taslaman,a.g.e., s.55
Ergn Mustafa, Bilim Felsefesi, Felsefeye Giri(Bilim Felsefesi),
http://www.egitim.aku.edu.tr/bilimfelsefesi.pdf(Eriim:27.01.2016), s.4-5
263
154
sonsuzluk.
Bunun
sebebi
evrensel
bir
sabit
olmasndan
264
NutkuYavuz,SonsuzlukVeGrelilik,MatematikDnyasDergisi,2010/4,S.5960
Nutku, Yavuz, Sonsuzluk Ve Grelilik, Matematik Dnyas Dergisi, 2010- IV, s.59-60
265
155
Michelson ve Morley her yne kolay dnebilsin diye cva iinde yzen bir
platform kurdular ve platform zerinde bir deney dzenei yaptlar. Bir k
kaynandan kan n, birbirlerine dikey dorultularda yerletirilen aynalara
ynlendirdiler. Aynalardan yansyan n bir interfometre ile gzlediler. Birbirlerine
dikey ynde gidip aynada yansdktan sonra dnen nlarn hzlar farkl olduunda,
Doppler kaymas denilen olayn interferometrede grnmesi gerekir. Yerin ethere gre
mutlak hzn hesaplamak mmkn olacakt. Bu hzn yerin gne etrafndaki teetsel
hz mertebesinde olmas gerektii aikrdr. Platform her yne hareket ettirilerek
yaplan deneylerde, beklenen kayma gzlenemedi. Yani n hz her ynde ayn
266
Detayl bilgi iin bkz: Zor Muhsin, Orhun nder, enyel Mustafa, Tanl Murat, Aybek A. enol,
Aksay Sabiha, Fizik, T.C. Anadolu niversitesi Yaynlar No: 1060, 1998, s.3-5
156
oldu. 267 Buradan kan sonu udur: Ya dnya hareketsizdir, ya da ether yoktur.
Dnyann hareket ettiine kukumuz olamayacana gre, ether yoktur sonucuna
varmalyz. Tabii, bu deneyin verdii asl sonu, n her ynde ayn hza sahip
olduudur.268 Bu denli kk hz deiimlerini lebilecek hassaslkta olmasna karn,
bu deneyde en kk bir fark bile llememiti. Bir anlamda, btn deneyler
Dnyann hareket etmediini, yerinde durduunu; yani Dnya ve Gne sistemi
konusunda edindiimiz salam bilgilerin tam tersini sylyordu.
Yani bir aracn yere gre 0,9c hzyla (yani k hznn %90) hareket ettiini
dnelim. Bu aracn hareket dorultusuyla ayn ynde, yine yere gre c hzyla
ilerleyen bir k n gnderelim. Bu durumda n araca gre 0,1c hzyla ilerlemesi
beklenir. Buna karn, yaplan btn deneyler beklentimizin yanl olduunu, n
hznn yere gre de, araca gre de ayn c deerine sahip olduunu sylyor. Bu olduka
garip bir ey: n peinden ne kadar hzl gidersek gidelim, o hala bizden ayn hzla
uzaklamaktadr.
Einstein, zm 1905 ylnda buldu: eer aracn iindeki saatler daha yava
iliyorsa, o zaman n araca gre hznn hala c deerine eit olmas mmkndr.
Fakat grelilik ilkesini ihlal etmemek iin, arataki gzlemcinin saatlerin gerekten
yava ilediini fark etmemesi gerekir. Bu da ancak alma ilkesi ne olursa olsun btn
saatlerin ayn oranda yavalamasyla mmkn olabilir. Ancak bu koul altnda arataki
gzlemci, saatlerinin yavaladn fark edemez ve dolaysyla aracn hzyla
ilikilendiremez; yani grelilik ilkesi gvendedir.
Grelilik kuram, doru olduunu dndmz, ama sorgulamay aklmzn
ucundanbile geirmediimiz baz varsaymlarn yanl olabileceini gsteriyor. Doal
olarak, grelilik kuramn ilk renmeye balayan birinin karlat en nemli glk,
bu varsaymlardan hangisinin yanl olduunu renmek. Daha nce bahsi geen
paradoks konusuyla ve yeni bir paradoksla konuyu amaya alaym. Hatrlarsak
paradokslarn amalarndan biri de rencinin elikiyi grmesi salandktan sonra, bu
Yerin ethere gre mutlak hznn hesaplanmas iin: zemre Ahmet Yksel, ada Fizie Giri,
stanbul niversitesi Yaynlar, 3. Bask, 1983, s.12-14
268
Turgut Sadi, Einsteinn Mucize Yl/zel Grelilik, Bilim Teknik Dergisi, 2005/2, s.39
zemre Ahmet Yksel, ada Fizie Giri, stanbul niversitesi Yaynlar, 3. Bask, 1983, s.12-16
267
157
269
158
Tren1
Tren2
Peki, ayn olay ayn anda gzlem yapan iki kii iin iki ayr sonu verir mi?
Ayn anda gzlem yapan kiilerden biri iin patlama olurken dieri iin olmayacak. Bu
paradoksun bir zm var m acaba?
Birok kii bu paradoksla ilk defa karlatklarnda grelilik kuramnn temel
iddialarn sorgulamayayneliyor. rnein, trendeki gzlemcinin(trenin gerekten
hareket ediyor olmasndan dolay) nden gelenn daha hzl, arkadan geleninsedaha
yava gittiini grmesi gerektiisylenir. Ama bu doru deildir. Grelilik kuramnn
temel iddialarnda herhangi bir sorun yoktur. Gerekten de her iki gzlemci n,
hangi
yneolursa
olsun,
ayn
hzla
yayldn
grrler
(bukuramn
temel
159
geerli. Yani trendeki gzlemci, trenin yerinde durduunu, aksine aslnda Dnyann
hareketli olduunusylerken bir hata yapmyor. Buradan yola karak yapaca fiziksel
yorumlarn da kesin doru olmas gerekir. Dikkat ederseniz burada, grelilikkuramnn
dayand iki temel varsaymnarasndaki grnr eliki daha ak bir ekildegz
nne seriliyor.
elikinin ortaya kmasna neden olan, flalarn patlama zamann belirtmek
iin kullandmz ayn anda ifadesidir. Einsteinn elde ettii konum-zaman
dnmleri incelendiinde, birgzlemciye gre ayn anda olan iki olayn, bakabir
gzlemciye gre farkl zamanlarda gerekleebildii grlebiliyor. Nasl iki olay
arasndakizaman sresi greliyse (farkl gzlemciler farkl buluyor), ayn anda olmak da
grelidir. Buna e zamanlln grelilii deniyor. Grelilik kuramndaki bir
gzlemcidendierine yaplan dnmlerde yer ve zamanbirbirine baml olduu iin,
ayn zaman kavramnn da greli olmas olduka doaldr. Yani flalarn ayn anda
patlatldn sylerken, bunlarn hangi gzlemciye greayn anda olduunu belirtmemiz
gerekir.
Buradabunlarn trendeki gzlemciye gre ayn andaolutuunu dnp, analizi
ona gre yapacaz. Bu nedenle, trendeki gzlemcinin analizinde birkusur yok. Tren
havaya umaz. Yerdeki gzlemciye greyse ilk nce arkadakifla patlar, biraz sonra da
ndeki. Her iki n hareket etmekte olan alglaycya ayn andaulamas iin bu
olaylarn zaman sralamasnnbu ekilde olmas gerektiini rahatlkla grebilirizama
ayn sonu grelilik kuramndaki yerzamandnmleri kullanlarak da elde edilebilir.
ndeki fla patlad anda, hem arkadan gelenk hem de tren bir miktar yol almtr.
Doal olarak, bu anda arkadan gelen k alglaycya ndekinden daha yakndr. Bir
sre daha getiktensonra, trenin hareketi de gz nne alndnda her iki n
alglaycya ayn anda arpt grlr. Patlayc atelenmez ve tren gvendedir! Dikkat
edilirse, arkadan gelen k daha uzun bir yol kat etmesine karn daha nce belirdii
iin, her ikisinin de ayn anda alglaycya ulamas gerekleir. Bu paradoksun zm
yntemlerinden birini, hatta paradoksun temelini oluturan bulguyu, ileriki blmlerden
biri olan zel grelilik teorisi ierisindeki Lorentz dnmnde matematiksel
notasyonlar ve eitliklerlei ele alrken tekrar inceleyeceiz.
160
fizii.
ekirdek
dnmlerinde
ortaya
yksek
enerjili
fotonlar
270
161
mantk yrtmeleri de saf d brakabilmek nedensellik merkezl iiin yeni bir mantk
kurgusu sunmaktadr. 271
Biri dierinin olmasna yol aan ikiolay dnelim. Bunlardan nedenolarak
adlandrdmz bir tanesininolumas, kanlmaz olarak sonuolarak adlandrdmz
dierinin de gereklemesineyol ayor. Eer nedengereklemezse, sonu da
gereklemiyor. Bu tip olaylarn birbirine neden sonuilikisiyle bal olduunu
sylyoruz. Nedensellik ilkesinin sylediiolduka basit: Zaman asndan neden,
sonutan nce meydana gelir. Bu ilkenin, felsefede kullanlan nedensellik ilkesinden
daha farkl bir anlam olduunu, yani ayn adama farkl ilkelerden bahsedildiini
hatrlamak gerekir.
Nedensellik ilkesinin temeli udur: bugn gerekleen bir olay dnk bir
olaynolumasna neden olabilir mi? Genele yayarsak, acaba herhangi bir anda
gereklemi olan bir olayn olumasnn nedeni bu olaydan sonra m gelmektedir? Eer
k hzndan hzl olunsayd, nce gol olurdu sonra ut ekilirdi. Burada neden ut;
sonu ise goldr. Bunu biraz da irdeleyelim: Eer utu gerekten ktan hzl
ekiyorsak, o zaman bize gre hareket eden baz gzlemciler sonucun nedenden nce
olutuunu grrler. Yani bunlara gre nce gol olmu, sonra da biz ut ekmiizdir.
Byle bir ey nedensellik ilkesine aykr, nk btn gzlemcilere gre neden
sonutan nce olumaldr.272
Einstein, 1907 ylnda zel grelilik kuram hakknda bir bilimsel dergiye
yazd makalede, yeni bir dncesi olduunu, dayand grelilik ilkesinin ok daha
genel bir baka ilkenin sadece zel bir hali olduunu belirtiyor. Einstein bu dncenin
belirmesini hayatmn en mutlu an szleriyle nitelendiriyor. Denklik ilkesi olarak
adlandrdmz bu yeni ilke de ok sayda yeni sonucu retebilecek potansiyele sahip.
1905 ylnda temelleri atlan kurama zel grelilik, denklik ilkesinden yola karak
oluturulan ve tm matematiksel detaylarla ancak 1915-16 yllarnda tamamlanacak
yeni kurama da genel grelilik ad veriliyor. Genel grelilik bu defa Newtonun bir
271
Einstein, Albert. a.g.e., s.22-25
272
162
273
Turgut,Sadi,GenelGrelilik,BilimTeknikDergisi,2005/3,s.39
Einstein, Albert. a.g.e., s.88-95
274
Peterson, Michael. Hasker William. Reichenbach Bruce. Basinger David, Akl Ve nan, ev. Rahim
Acar, Kre Yay., 2012, s.92-95
163
164
3.
Grelilik
Kuram'nn
Einsteinin
ortaya
koyduu
yntemle
275
165
hzla giden bir arabann iindeki insan bizi sabit duruyormuuz gibi grr. te Galileo,
bu gzlemlerin sonucunu u grelilik postulatyla verir:
Birbirine gre sabit hz ve dorultuda hareket eden iki gzlemci btn mekanik
deneylerde ayn sonucu elde eder.277
Burada hareket yasalarndan bahsedelim ve birden fazla hareket yasasnn
olduunu hemen belirtelim. Newton Mekanii diye adlandrlan bilim dalna esas olan
Newton hareket yasalar, bilimde atlm en byk admlardan birisidir. 18. ve 19.
yzyllarda Newton Mekanii sayesinde muazzam bir teknoloji yaratld, gk
cisimlerinin hareketleri belirlendi. Bu gn bile Newton Mekanii yok saylrsa,
elimizde 20. yzyl teknolojisi yok olur. Bu oluumu yaratan ve bu gn Isaac Newton
(1643-1727) adyla anlan hareket yasalar yle ifade edilir:
1.
2. Ktlesi m olan bir cisme uygulanan F kuvveti ile a ivmesi arasnda F=m.a
bants vardr.
3. Her etkiye kar ona eit bir tepki vardr.278
M ile m iki ayr cismin ktleleri, r aralarndaki uzaklk, G gravitasyon katsays
olmak zere, iki cisim arasndaki F ekim kuvveti F= G.m.M /r2bantsyla verilir.
Euler, Newton gravitasyon yasasnn analitik biimini verdikten sonra Lagrange,
Hamilton, Jacobi, Clairaut, Laplace ve Poisson gibi nl matematikiler, gravitasyon
yasasnn matematiksel temellerini salamlatran teoremleri kurdular. Bu arada
potansiyel gibi yeni kavramlar da ortaya kardlar. 20.yzyl balayana dek, hareketle
ilgili her eyin Newtonun hareket yasalaryla hesaplanabilecei dnlmtr. Ama
Newton Mekanii ya da klsik mekanik denilen ve teknikte muazzam bir uygulama
alan bulan bu yasalarn uygulanamad durumlar da ortaya kmtr ve bu durumlar
aada sralanmtr:
1. 10-8 cm den kk uzaklklar.
277
278
166
yazldn
Klkaya Selami, Temel Fizik, T.C. Anadolu niversitesi Yaynlar No: 674, 1996, s.27-28
Zor Muhsin, Orhun nder, enyel Mustafa, Tanl Murat, Aybek A. enol, Aksay Sabiha, Fizik, T.C.
Anadolu niversitesi Yaynlar No: 1060, 1998, s.148-151
279
167
gravitasyonu etkisiyle
eitlii kar. Bu
da gsteriyor ki, m ktlesinin dnya (M) tarafndan ekilmesi esnasnda doan a ivmesi
ekilen m ktlesine bal deildir. te buras yukardaki yasann matematiksel
kantdr.280
Eer Newtonnun eylemsizlik yasalarndan sz konusuysa, bu Eylemsiz
Konulanma Sistemidir (nertial Frames) ve ivmesiz bir koordinat sistemidir. Yani
Eylemsiz Konulanma Sistemi, bir referans noktasna gre sabittir ya da dzgn
dorusal hareket eder. inde eylemsizlik yasasnn geerli olmad konulanma
sistemlerine ise Eylemli Konulanma Sistemi (Noninertial Frames) denir. Bu sistemler,
eylemsiz sistemlere gre bir ivmeye sahip sistemlerdir. zel Grelilik kuram, fizik
yasalarnn eylemsiz konulanma sistemlerinde ayn olduunu syler. Genel Grelilik
Kuram ise, bunu genelletirir ve fizik yasalarnn eylemli sistemlerde de ayn olduunu
syler. Btn eylemsiz sistemlerde fizik yasalarnn ayn olduunu sylemitik. Yani
bir eylemsiz sistemdeki kurallar dier eylemsiz sistemlerde de geerlidir. Eylemli
(ivmeli) sistemlerde Newtonun ikinci hareket yasas (Ktlesi m olan bir cisme
uygulanan F kuvveti ile a ivmesi arasnda F=m.a bants vardr.) geersizdir. Uzayda
yerkre etrafnda dnen bir uzay gemisini dnrsek, gravitasyon gemiye ve gemi
iindeki her eye etki eder, ama gemi iindeki hi bir cisim gemiye gre ivme
kazanamaz.
Grelilik kavramnn douunu Galileiye kadar gtrebiliriz yani Einsteindan
ok daha ncesine. Newton, grelilik kavramn bilinle kullanm ve hareket yasalarn
mutlak uzay ve mutlak zamana gre ifade etmitir. Einsteinin zel grelilik kuramnn
Galilei ve Newton greliliinden fark, uzayn ve zamann mutlak olamayacam
sylemesidir. Matematiksel adan baknca, Galilei dnmleri yerine Lorentz
280
168
dnmn kullanmas ve kan sonuca yepyeni bir fiziksel yorum getirmesidir. Tabii,
imdi basite ifadeettiimiz bu i, o gn iin hayal edilmesi zordu ve Einsteinin bu
byk hayali 20. yzyl balarnda fizie bakmz btnyle deitiren byk bir
bilimsel bulgudur.
4.
aklamakta
yetersiz
kald
konulardan
bazlarn
ekilde
sralayabiliriz:281
1.
2.
3.
281
Topdemir, Hseyin Gazi, Isaac Newton Ve Bilim Devrimi, Bilim Teknik Dergisi, 2010/10, s.91
169
4.
5.
Newton fiziine gre, sabit sdaki bir ocan sonsuz enerjisi olmalyd.282
zm ynnde ilk adm Lorentzden, ikinci nemli adm ise, zamann nl
282
283
170
sistemde
ayn
olmamas
deil,
gzlemcinin
eylemsizlik
171
yoktur denilebilir. Ama ortada ciddi bir problem vard: In hz neden her eylemsiz
sistemde ayn grnyordu? Bunun fiziksel yantyla ilgilenmeyen matematikiler
sorunu kolayca zdler. Galilei dnm yerine, k hzn koruyan bir dnm
tanmladlar. Hendrik Antoon Lorentz (1853-1928) k hzn deimez (invariant)
klan bir dnm tanmlad. Henri Poincare, Einsteinin zel Grelilik Kuramn
yaynlamasndan nce, 1904 ylnda, ayn ii yapan dnm gruplarn tanmlad ve
sorunu matematiksel adan btnyle zd. Hebert Minkowskinin kurduu
geometri, henz ortaya kmayan greliliin geometrik modeliydi. Bylece, grelilik
kuramnn matematiksel dayana hazr duruma gelmiti. Ama k hzn sabit gsteren
deneylere ve o hz sabit klan matematiksel yaplara fiziksel bir yorum getirilmeliydi.
Bu yorumu 1905 ylnda Einstein, zel Grelilik Kuramn ortaya atarak yapt ve
bylece fizikte yepyeni ufuklar at. Bu ufku aklayabilmek iin Lorentz
dnmlerini ya da daha genel olarak Poincar gruplarn incelemek gerekir. Genellii
ve estetii bakmndan ikincisi tercih nedenidir. Ama ksal nedeniyle burada Lorentz
Dnmlerini ele alacaz.287
lkin Galileo dnmlerinden bahsedelim:
O ve O' iki eylemsiz konulanma sistemi olsun ve O' sistemi O ya gre sabit v
hzyla Ox dorultusunda hareket etsin. Bir P noktasnn bu iki sisteme gre
koordinatlar, srasyla, (x,t) ve (x',t) olsun. Bu koordinatlar arasnda
x' = x-vt , t'=t
bants vardr. Burada, her iki sistemde zaman koordinatlarnn (saatlerin) ayn
olduunu varsayyoruz (t = t'). O sistemi iindeki bir gzlemciye gre bir t annda bir
cismin yatay eksendeki konumu x = x + vt dir. O' sistemi iindeki bir gzlemciye gre
ise ayn t = t'annda cismin yatay eksendeki konumu x' dr. Yukardaki bantdan
x = x' + vt , t = t'
yazabiliriz. Galileo dnm denilen bu bantlar kullanarak, cismin bir eylemsiz
sistemdeki konumunu biliyorsak, teki sistemdeki konumunu daima bulabiliriz.288
287
288
172
)
x
289
173
z
1
290
174
1
forml geerli olmaktadr. imdi, yerdeki bir gzlemciye gre v hzyla giden bir
arabadan ileriye doru bir k n salnsn. v1= c (k hz) ve v2=v (arabann hz)
konulursa
1
eitlii elde edilir.291
Dolaysyla hibir cisim ktan hzl gidemez. Yukardaki ilemler sonucunda
Einsteinin
postulatnn
salam
bir
matematiksel
dayanaa
sahip
olduunu
291
292
Einstein,a.g.e., s.81-82
Karaay Timur, a.g.e., s.211-212
175
kavramn
anlamann
zorluklarndan
birisi,
gzmzde
canlandrmamz zorlatran drt boyutlu olmas zelliidir. ki boyut (bir uzay ve bir
zaman), bir ok amaca pekala hizmet edebilir, ama biz boyuta (iki uzay ve bir
zaman) kalm. boyut ok iyi bir tablo izmemizi salayacak ve ilke olarak fikirler,
fazla deiiklie uramakszn drt boyuta genellenebilecektir. Bir uzay-zaman
emasyla ilgili olarak aklmzdan karmamamz gereken husus, emadaki her noktann
bir olay temsil ettiidir; baka bir deyile, her nokta sadece bir an iin varolur ve bu
nedenle uzaydaki bir noktann anlk bir varl vardr. emann tm, gemii, imdiki
hali ve gelecei ile btn tarihi gsterir. Bir parack zaman ierisinde srekli olduu
iin bir noktayla deil, paracn dnya izgisi ad verilen bir eriyle temsil edilir.
Parack ivmesiz hareket ediyorsa dorusal, ivmeli hareket ediyorsa eri olan bu izgi
paracn varlnn tm tarihesini belirler. Aadaki ekilde, iki uzay ve bir zaman
boyutlu bir uzay-zaman tasarmlanmtr. Dikey ynde llen standart bir zaman
koordinat t, ve yatay llen iki uzay koordinat /
176
ve / olduunuvarsayyoruz.
Penrose Roger, The Emperor's New Mind - Concerning Computers, Minds, And The Laws of Physics,
Fiziin Gizemi (Kraln Yeni Usu II), ev: Tekin Dereli, Tbitak Popler Bilim Kitaplar 95,2004s.57-58
293
177
srece belirleyemez. Bunun anlam, saatin, emada 'dikey' olarak gsterilen bir dnya
izgisine sahip olacadr. Demek ki 't', yalnz 'durgun' (yani, 'dikey' dnya izgili)
gzlemciler iin 'zaman' bildirir. Hareketli (O merkezinden sabit hzla uzaklaan) bir
gzlemci iin 'doru' sre lm, zel grelilie gre, OP nicelii tarafndan
salanr. Bu lm, lm sonucu koordinat deeri t ile verilen 'sa duyuya' uygun
Galilei-Newton grelilii anlamndaki lmden ok farkldr. Greli (Minkowski
anlamnda) zaman lm sonucunun, herhangi bir hareket sz konusu olduunda,
daima t'den biraz kk olduuna dikkat edelim. Hareket, (yani, OP'nin tekseni boyunca
yer almamas) koordinat sistemimizde llen t ile kyaslandnda, saatin 'geri
kalmasn' salama eiliminde olacaktr. Bu hareketin hz, c'den ok daha kkse, bu
durumda, OP ve t hemen hemen ayn deeri alacaklardr ve bu hareket halindeki
saatlerin neden geri kaldklarnn' dorudan farkna varamamamzn nedenini
aklayacaktr. Minkowski geometrisinin, fiziksel saatlerle llen (veya 'yaanan')
zaman olarak yorumlanan ilgin 'uzunluk' lm dahil ana yaps, zel greliliin
gerek zn ierir. zel olarak, greliliin 'ikizler paradoksu' ad verilen rnein
zm metodu yine Minkowski geometrisine dayanmaktadr. 294
Eanllk kavramnn greli oluunun sonulardan birisi udur: Bir konulanma
sistemi iinde eanlatrlan (senkronize edilen) saatler baka bir sistem iinden
eanlamam (senkronize olmam) grnr. Yani farkl eylemsiz konulanma
sistemlerinde zamann ak hz farkldr. Buna zaman genilemesi (time dilation)
diyoruz.
Ayrca eanszlk kavramnn sonularndan birisi de uzunluklarn gzlemciye
baml
olarak
deimesidir.
Hareket
eden
bir
vagonun
uzunluunu
nasl
294
178
trenin boyu normalden uzun hesaplanr. Ayn ilemi n taraftan yapmaya alrsak bu
defa da normalden ksa hesaplanr. Eer ayn koordinat sistemindeysek bir problem
olmadan lm gerekletirebiliriz, yani pratik hayatta bu lm olduka kolaydr.
nk vagonun iki ucunu da eanllkla lebiliriz. Ama farkl koordinat sistemlerinde
eanllk yoktur, lm bu kadar basit deildir.
Vagon iindeki gzlemci, vagonun n ve arkas arasndaki uzunluu, kendi
koordinat sistemi gre, vagonun n ve arka duvarlarn ezamanl olarak eksen zerine
izdrerek, vagonun uzunluunu L' olarak lsn. Yerdeki gzlemci de kendi kon
sistemine gre, vagonun uzunluunu L olarak lsn. Trenin hz v ise, Lorentz
dnmne gre L ile L' arasnda
1
gzlemci hareketli treni daha ksa grecektir. Bunun nedeni, farkl gzlemciler arasnda
eanllk olamaydr. Bu etkiye Lorentz Daralmas (Lorentz contraction) denir.
Hareketsiz iken cismin uzunluuna onun doal uzunluu diyoruz. Bir cismin doal
uzunluu, hareket halindeki uzunluundan daha byktr. Baka bir deyile, hareket
eden cisimler (hareket ynnde) daha ksa grnrler. Lorentz Dnm bu
daralmann orann vermektedir.295
5.
GENEL GRELLK
295
296
179
bu
deney
http://vesuvius.jsc.nasa.gov/er/seh/feather.html
gerekletirilmitir.
(Eriim
14.08.2015)adresinde
bu
yapt
gzlemler,
sanki
asansr
uzaydaym
izlenimini
uyandracaktr.297
Newtonun mutlak uzay varsaym eylemsizlik ivmesine (direncine) ve merkezka
kuvvetlere dayanr. Newton Mekaniinin, bir cismin mg gravitasyon ivmesi ile mi
eylemsizlik ivmesini kuramsal adan farkl grdn, ama Etvsn 108 de bir
duyarllkla yapt deneylerde ikisi arasnda pratik adan bir fark grlemediini
sylemitik. Buna ek olarak, Galilei yasas uyarnca ar ve hafif cisimler ayn hzla
297
180
bantsyla bulunur. Bu
metrik kat dnmler altnda deimez. Kat dnm deyiminden, teleme (paralel
kayma) ve dnme dnmlerini anlalmaldr. Kat dnmler uzunluu ve ay
deitirmez. klit geometrisinde geerli olan bu kurallar baka geometrilerde baka
biimlere girebilir. rnein, Lizbondan Newyorka gidecek gemi ya da uak, en ksa
yoldan gitmek isterse, iki kentten geen paralel daireyi izlemez. Kaptanlar bu iki
kentten geen byk ember zerinde giderler. Bu nedenle, yolcular nce kuzeye doru
kld sonra gneye doru inildii izlenimini edinirler. nk kre zerindeki P
noktasndan bir O noktasna giden en ksayol P ve Odan geen byk ember yaydr.
klit uzayndaki P O dorusunun yerini krede byk ember yay almtr.299
Uzay-zamanda her olay bir nokta ile gsterirsek iin iine zaman girdii iin,
uzay-zamanda iki nokta arasnda klid geometrisindekine benzer bir uzaklktan
szedemeyiz. Noktalar arasndaki uzaklk terimi yerine, iki olay arasndaki uzay-zaman
aral terimini kullanacaz. Buna gre, t sresi iinde uzay koordinatlarndaki
deiim x, y ise, uzay-zaman aral aadaki bant ile tanmlanr:
298
299
181
PO
b) Minkowski metrii300
a) klid metrii
Bu bant Minkowski Metrii 301 diye bilinir. klid metrii negatif deer
alamazd ama Minkowski metrii negatif ve pozitif deerler alabilecei gibi, farkl
olaylar (noktalar) iin sfr deerini bile alabilir. Burada c bir dnm sabitidir ve
pratikte onu k hz olarak kabul edeceiz. Bu metrikte nemli olan ey, fotonlarn c
hzyla gitmesinden ok, koordinat dnmleri altnda uzay-zaman araln deimez
klan bir c sabitinin varldr. Baka bir deyile, (t,x,y,z) eylemsiz sisteminden
(t,x,y,z) eylemsiz sistemine geilirse aadaki eitlii salayan bir c sabiti vardr:
PO
182
303
304
Einstein,a.g.e., s.94
Karaay, a.g.e., s.223-227
183
VIII. BLM
EBU SHAK EL KNDNN LEMN SONLU OLMASI
TEZNN SPATININ MATEMATKSEL ANALZ VE
MANTIKSAL TUTARLILII
ki litre saf suya iki litre saf alkol eklendiinde sonu drt litre alkoll su
deildir. (Arlklar ve ller Genel Konferansnn sekizincisinde 150 C scaklnda
2000cm3+2000cm3=3955cm3 olarak alnmtr).
amper
daha
drt
amper
etmemektedir.
(gen
balama
fazl
motorda
305
184
306
307
185
308
309
186
sonsuz say sonlu saylarn bitmeyen btn serisinin tesindedir. Denilebilir ki, ancak
bitmeyen btn bir serinin arkasnda bir ey bulunamaz ki. te bu, Zenonun yar
yolu ve Akhilleus karmlarnda dayand ilkenin ta kendisidir diyebiliriz.
Akhilleusun nnde, koaca uzakln henz yarsnn bulunduu an var, bylece tam
bir bitmez seri bulunuyor. Bu serinin tesinde biti ucuna ulat nokta grnyor.
Ancak bu olgunun beklenenin dnda bir ey olmad gstermek gerek.310
Yukardaki
paragrafta
aritmetik
aksiyomlarn
oluturabilecei
zihni
trigonometrinin
formlleri
dz
izgi
trigonometrisinin
187
veya fonksiyon, daire veya gen yaratr; tanmn ona verdii gerekten baka bir
geree gereksinmeden onu tanmlar; tanmn kavranabilir olmas yeterlidir. Daha
sonra, tanmlamak iin setii kavramdan mantksal olarak kaynaklanan dier tm
zellikleri ortaya kararak kuram ina eder. Bunu hibir zaman deneysel bir kant
kullanarak yapmaz nk emprik olarak doru olan ey bundan dolay matematiksel
olarak doru deildir. Aslnda deney, bir eyin aa yukar doru olduunu,
duyularmzn ve aralarmzn tad yaklaklk derecesiyle doru olan pekala
gsterebilir; ama matematiki ileri srd nermelerin mutlak olarak doru olmasn
ister. Bunun dnda, deney yalnzca bir nermenin doru olduunu kantlar;
matematiki iin ayrca nermenin kavranlabilir olmas gerekir.
O halde matematiki, dncesinin dnda hibir ara olmadan nesnelerin
yalnzca dncesinde gerek olduu bir bilimi ina etmitir. genin geometrisi
genlerin var olduunu varsaymamaktadr. stelik hibir duyarl dnya olmasayd,
geometrinin bunun iin doru olma olgusu sona ermezdi.
Fiziki, varolan, maddi ve duyarl bir varla sahip eyleri inceler ve durum
elverdiinde tmdengelimsel karm yapsa ve kantlasa da, kantlamas tmevarmsal
biimde kantlanm yasalar olan ilkeleri uygulamaktan ibaret olduuna gre, ileri
srd gerek her zaman sonunda olaylarn gzlemlerine dayanmaktadr.
Yani
fizikinin nesnesi, olaylardan ok olaylar yneten dzendir. O halde saf matematik ile
doa bilimleri arasndaki kartlk mutlak grnyor.312
Ama ileri srld gibi, matematiksel gerek ile deneysel gerek arasndaki
ztln hibir mutlakl yoksa bundan deneysel gerein, byk bir oranda,
oluturulmu bir gerek olduu sonucu kmaz m?
Buradan birka sonu karabiliriz: matematiksel analiz nesneler zerinden
deil, dnce yoluyla yaplr ve yukarda Kindnin bahsettii yntem acaba
matematiksel bir yntem midir?
durumda ise oluturulmu bir gereklikle kar karya gelmi olmakta myz?
312
188
Bu tez konusu zerinde karar klp bizi almaya tevik eden nedenlerden birini
de burada aklamak isteriz. Sonsuzluk konusunun ele alnd st dzey akademik
almalarda bile ciddi hatalar bulunmaktadr. Bu konuda, doktora tezi olarak hazrlanp
daha sonra kitap haline getirilen bir almay ele alalm.313 Kindnin alem anlaynn
ele alnd blmn alt bal olan Alemin Sonluluu Meselesi blmnde,
Kindnin alemin sonsuz olamayacan matematik yntemiyle akladn ve bunu
yaparken cismin ezeli ve bilfiil sonsuz olamayacan, sonsuzluun ancak bilkuvve
olacan izah ederek, vastasz idrak edilebilen aksiyomlardan yola kt iddia
edilmektedir. Ardndan Gerekte ise bu aksiyomlarn delile ihtiyac yoktur. nk bu
aksiyomlar kendiliinden apak olan ve byle olduu iin dier mukaddimelere n
dayanak olan nermelerdir. 314 eklinde yaplan aklamayla bir matematikci olarak
genel anlamda grlen yanlln tekrarlandn belirtelim. Bu balamda, vastasz
idrak edilebilen ve delile ihtiyac olmayan aksiyomlar olduu iddia edilen bu
nermelerin gnmz matematii asndan tutarl olmadn gstereceiz. Nitekim
nceki blmlerde Milli Eitim Bakanl Talim Terbiye Kurulu Bakanlnn
incelemesinden gemi matematik kitabndaki sonsuzluk zerine yaplan hatalara iaret
etmitik. 315 Bunun doktora seviyesinde yaplan bir almada olmas, artk fizik ve
metafizik konularn almann disiplinler aras ibirlii iinde olmasnn elzem
olduunu dndrmektedir.
imdi btn bunlar Kindnin nermelerini ve kantlamalarn nceleyerek
inceleyeceiz. Tabi ilerlerken belli bir yntemimiz olacak ve matematiin alt
dallarndan (soyut cebir, analiz ve topoloji) yardm alacaz. ncelikle denklik
bantsnn
tanm
yaplacaktr
nk
Kind
kantlamasnda
dorulardan
189
olduunu gsterip bunun ayn zamanda bir doruya denk olabileceini grp
incelememizi reel saylar zerinden srdrp konumuzu sonlandracaz.
Bu aamadan sonra Kindnin kantlamasndaki aksiyomlar gz nne alarak
analizimize balayabiliriz:
Kindnin Birbirinden byk olmayan ayn cinsten nicelikler eittir.
nermesinde geen eitlik kelimesi eviriden kaynaklanan bir problem olabilir. nk
eitlik yerine denktir kavram daha uygun dmektedir. Hatta Eit nesneler benzer
snrlar itibariyle boyutlar eit olanlardr.316 cmlesiyle ve Eitlik cismin snrlar
iindeki boyutlarn bilfiil ve bilkuvve ayn olmasdr. 317 Cmlelerinde geen, eit
niceliklerin benzer snrlara sahip olmas gereklilii eklindeki, koul da yine bir
denklik bants belirlemektedir.
Neden bu kavramn daha uygun deceini aklayalm. Matematikte ve baka
bilim dallarnda birbirine eit olmayan, ama eitlie benzer niteliklere sahip nesnelerle
sk sk karlarz. Bu tr nesneleri inceleyebilmek iin, eitlik kavramn genileterek,
denklik kavramn tanmlyoruz. Eitlik iki ya da daha fazla cmlenin hem niceliksel
hem de niteliksel ynden birbirlerinin tpa tp ayns demektir. Denklik ise niteliksel
ayn olma durumudur.
Yansma, simetri ve geikenlik zelliklerine sahip bantlara, denklik bants
denir. Bunu simgesel olarak u ekilde aklayabiliriz:
X kmesi zerinde aadaki zelliklere sahip bants bir denklik
bantsdr:
x X xx
(yansmal)
x,y X xy yx
(simetrik)
x,y,z X xy yz xz
(geiken)
316
317
190
Bo olmayan bir A kmesi zerinde tanml bir denklik bants olsun. (x,y)
ise x ve y eleri, bantsna gre birbirine denktirler denir ve xy ya da x~y
simgelerinden biriyle gsterilir.
Bu tanmlamadan sonra u iki teoremi inceleyelim:
1- ki denklik snf ya birbirlerine eittir ya da ayrktrlar:
x, y X [(
ispat:
[x] ve [y] gibi herhangi iki denklik snf alalm.
a [x] [y] ax ay xa ay olacaktr. imdi
b (b [x] ) b [y] [x] [y]
olacan grebiliriz. nk b [x] demek bx demektir. te yandan xy
olduunu grdk. u halde,
b (b [x] ) bx xy by b [y]
dir. Tamamen benzer ekilde [x] [y] olduu da gsterilir. u halde, arakesitleri
bo olmayan her [x], [y] denklik snflar zde olarak eittir.
imdi X kmesinin herhangi bir {
tanmna gre:
, I
191
spat:
X bo olmayan bir kme olsun. Bunun zerinde,
= {(x,y) x = y}
Bantsnn bir denklik bants olduunu gstermeliyiz. Eitlik Belitinden
(a) Her e kendisine eittir; yani x X x = x olduundan bants
yansmaldr.
(b) (x, y X) ve x = y ise y = x olduundan bants simetriktir.
(c) (x, y, z X) iin x = y ve y = z ise x=z olduundan bants geilidir.
yazlabilir.
Bu durumda, eitlik bants ayn zamanda bir denklik bantsdr (2. teorem).
Yani Kindnin nicelikleri eit almasnda bir problem yoktur ama doru olan eitlik
yerine denklik kavramdr. Bunu u ekilde aklayabiliriz: Dzlemde ynleri ayn
olan dorular (paralel dorular) nereye yerlemi olursa olsunlar birbirlerine denk kabul
edilirler. Eit olduunda akk dorulardan yani tek bir ekilden bahsetmi oluruz.
Ama bu bizim iin zorluk tekil edebilir. Bu yzden 1. teorem denklik snflarnn eit
ya da ayrk olabileceini sylemektedir. Bunun gibi birok rnek verilebilir ve bu
durum matematiksel olarak denklik bants kavramyla temellendirilir. Bu durumda
El Kindnin bahsettii dorular paralel kabul edebiliriz. Paralellik bantsnn denklik
bants olup olmadn inceleyelim.
Analitik dzlemdeki btn dorularn kmesi zerinde, simgesiyle
gstereceimiz paralellii
x y [(x = y) (x y = )]
biiminde tanmlayalm. Paralellik bantsnn bir denklik bants olduunu
gsterelim.
, dzlemdeki btn dorularn kmesi olsun.
= {(x,y) (x,y ) D (x y) } bantsn tanmlayalm. nn denklik
bants olduunu grmek iin, yansma, simetri ve geime zelliklerine sahip
olduunu gstermeliyiz.
192
318
Tadelen, skender, Kind, Sonsuz Nicelikler, Matematik Ve Felsefe likisi zerine, Felsefe
Tartmalar 33, Boazii niversitesi Yaynlar, 2004, s.28
193
ve
den 0 atlm
1 ,
,
den
319
X sonsuz bir kme olsun. Her kme en az bir ordinale elenik olduuna gre X bir ordinaline
eleniktir. : bir eleme olsun. Ya ya da . Ama X sonsuz olduundan ikinci k olamaz
dolaysyla olur. imdi
, Xin saylabilir sonsuzlukta bir alt kmesidir.
194
,
,
olarak tanmlayalm.
ortadadr.
Yukardaki teoremimizde Xten bir eleman atarsak kalan kme Xe elenik olur
mu inceledik. Peki ya daha fazla eleman atlrsa elenik olur mu? Yani
ile
arasnda
ile
Btn bunlardan iki sonsuz kme arasnda bir eleme (denklik) olamayabilir
diyebiliriz.
Yukarda dorularn paralelliinin denk olduunu grdk ve Kindnin
kantlamasn dorular zerinden srdrdn biliyoruz. Acaba biz dorulara denk
olan reel saylar kmesini ele alarak yolumuza devam edebilir miyiz?
Daha nce sonsuzluun matematik teki ve fizikteki tanm blmnde
bahsettiimiz Aristotelesten kalma, yaklak 2350 yllk ember paradoksu ve
Galileonun uzun izgi ksa olandan daha fazla noktaya sahip deildir paradokslarn
tekrar ele alalm. Galileo bu paradoksunu aadaki izimle aklyordu. Ayrca Galileo
her tam saynn sadece bir tam karesinin olduuna ve her tam karenin sadece bir pozitif
tam saynn karesi olduuna iaret etti. Bylece bir bakma ne kadar pozitif tamsay
varsa o kadar da tam kare vardr. Bu bizi derhal mantksal bir elikiye gtrr. Bu,
btnn, kendisini oluturan paralardan daha byk olduu aksiyomuyla eliir, nk
tm pozitif tamsaylar bir tam kare deildirler ve tm tam kareler tm pozitif
tamsaylarn bir parasn olutururlar. Bu konuya tekrar dnmemizin nedeni gerel
saylarla aralklarn elenik olup olmad konusunu incelemektir. nk Kindnin
ispatn bu adan da ele almamz gereklidir.
320
spat uzun olduu iin ve bu teorem ile ispat herhangi bir kmeler kuram kitabnda rahatlkla
bulunabilecei iin burada verilmemitir.
195
f(x)
a
[a,b] gibi kapal ve snrl aralklar arasnda da bir eleme olduu anlalr. (0,1]
aralyla [0,1) arasnda da bir eleme vardr:
196
1. u ekilde de grlebilir:
1
2
1
2
fonksiyonu
arasnda bir
Evet vardr:
(0,1) ~ (-1,1) = (-1,0){0}(0,1) ~ ( ,0){0}(0,)=
Baka bir zm de udur:
| |
elemedir.321
Buradan da tm bo olmayan, snrl ve ak aralklarn topolojik olarak denk
olduklar kar. Ayn nedenden, bo olmayan tm kapal ve snrl aralklar topolojik
olarak birbirlerine denktirler.
R'de bo olmayan tm ak aralklar topolojik olarak birbirlerine denktirler. Ayn
ey kapal (ya da yar kapal yar ak ), sonsuz ve snrl aralklar iin de geerlidir.322
(X, ) bir tam sralama olsun . Yani ikili ilikisi her x, y, z X iin, u zellikleri
salasn:
x x;
x y ve yx ise x = y,
321
322
197
x y ve yz ise x z,
x y ya da y x.
rnein X =
, ,
'nin klid
323
324
198
her biri sonlu olan niceliklerin tamamnn sonlu olaca aklanmt. Buna gre sonlu
olann sonsuz olmas gerekir ki bu bir elikidir. Eer o para ayrldktan sonra geriye
kalan sonsuz ise alnan geri iade edilince nceki haline dner. Oysa yukarda iki cismin
toplamnn, kendini meydana getirenlerden daha byk olduu aklanmt. Buna gre
sonsuz olan, ona katlan snrl parayla birlikte tek bana sonsuz olandan daha
byktr. kisi birlikte sonsuz olduuna gre, sonsuz olan sonsuz olandan daha byk
demektir. Hlbuki sonsuz cismin sonsuz cisimden daha byk olmasnn imknszln
ve biri brnden byk olmayan ayn cinsten iki niceliin, artrlmazdan nceki
durumuna eit olmad aklanmt. Bu durumda miktar artrlanla artrlmayan,
nicelik bakmndan hem eittir, hem eit deildir. Bu ise imknsz bir elikidir.325
Sonsuz bir kmeden eleman alnca geriye kalan kmenin yine sonsuz olduunu
grmtk. Yani kalan ksmn sonlu olmas mmkn deildir. Ama en nemli ksm
sonsuz bir kmeye alt kmesi eklendiinde sonsuzun daha byk olmas konusudur
kiKindnin teoreminin temeli budur. Bu temel de iki cismin toplamnn, kendini
meydana getirenlerden daha byk olduu zerine kuruludur. Eer matematiksel olarak
bu ifade doruysa ve altmz kme
yaklak
olan
nermeler
deildir.
Eukleides
geometrilerin
Kind, a.g.e.,s.199-202
Boll, a.g.e., s.63
325
326
199
327
Boll, a.g.e.,s.110
200
SONU
hkm
balamnda
Kindden itibaren
201
slam dncesi asndan bir de evrenin sonu meselesi, yani sonsuz olmad
meselesi vardr:
sonsuz kavramnn tanmna dayand bellidir. Yani sonsuz kavramn ontolojik olarak
m yoksa epistemolojik olarak m ya da epistemik ontoloji kavramyla ele almamz
gereklii bizi her iki nermenin tutarlln mukayese etme hususunda biraz daha fazla
bilgi verebilir. nk fizik ve metafizik ilikisinin kurulmasnda anahtar kavram olan
Sonsuzluk kavramnn insanlarda mthi, muazzam, aklmzn alamayaca kadar
byklk duygusunu uyandrd bir gerektir. Bununla birlikte belirli bir bilgi
sistemine ierisine girdiinde sonsuzluk kavramna yklenilen anlamn deitiini
grdk. Hatta tanmn yapmaya alrken bunu farkl alanda yani matematikte,
fizikte ve metafizikte ayr ayr yapmamz gereklilii ortaya kt.
Eer Evren yaratlmtr ve sonludur denilirse, ontolojik olarak bir ncelik ortaya
kar, Evren yaratlmamtr ve sonsuzdur denilirse de, epistemolojik durua gre bir
nerme ortaya konulur ki, her iki durum da Kantn antinomi/atk anlay tekrar
devreye girer. Ama epistemolojik ontoloji anlayn ne karabilirsek, yani hangi
alanda ve hangi dnce modeline gre bu kavramsallatrma analiz ediliyor sorusunu
mzakere edebilirse, bu paradokslara biraz ara verme imkn ortaya kabilir. Zira btn
bu alanlar kapsayacak ekilde bir sonsuzluk tanm ararken; bir tek alana indirgenmi
sonsuzluk tanmnn olmas durumunda karmza ciddi problemler ktn tezimizde
gzlemledik. nceleme konusu yaptmz iki her iki yntem de bizi net bir zme
ulatramad. Bununla birlikte evrenin sonsuz olup olmadn konusunda yaplan
almalara gre evrenin bir balangc olduunu anlayabildik.
Bu aama da matematik disiplini bizlere olduka geni bir alan salamaktadr.
nk matematik, evrenin dilidir ve metafizik kavramlar alglamamzda iyi bir ara
olarak karmza kmaktadr. Ama yine sonsuzluk sz konusu olduunda matematikte
de baz zorluklar karmza ktn gzlemledik. Aslnda matematikte, sonsuzluu
grmenin ne kadar mmkn olabileceini inceleyebiliyoruz. Tezin kanaatimize gre
alanna en nemli katks bu noktada ortaya kmakta, matematikteki sonsuzlukla fizik
dnyadaki sonsuzluu karlatrarak ayn eyler olmadn gstermesidir. Bunu Eleal
Zenonnun teoremlerini analiz ederek net bir ekilde ifade ettiimiz kanaatindeyiz.
202
KAYNAKA
Abbott Edwin A. ev. Bar Bak, Aklamal Dzlke -ok Boyutlu Bir Macera,
Ayrnt Yay., stanbul, 2008
Adamson, Peter. Taylor, Richard C., slam Felsefesine Giri, ev. Cneyt Kaya, Kre
Yay., 2. Basm, stanbul, 2007
Akbulut, Krat. Akgn, Levent. Matematik ve Sonsuzluk, Kazm Karabekir Eitim
Fakltesi Dergisi, Say 2, Erzurum, 2005
Akam, Merih. Teker, Ayegl F., Grsel Sanatlarda Sonsuzluk Dncesi, Mantk,
Matematik Ve Felsefe III. Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr
niversitesi Yay., stanbul, 2008
Akn, mer. Kten, Hacer. Salih Zekide Sonsuz Kk Kavram, Mantk, Matematik Ve
Felsefe III. Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi
Yay., stanbul, 2008
Akyol, Aygn. slamda Akli Dncenin Kriz Dnemi -Felsefe Kartl ehristani
ve bn Teymiyye, slam Felsefesi Tarihi, Ed.: Bayram Ali etinkaya, Grafiker Yay.,
Ankara, 2012
Akyol. Aygn , ehrezr Metafii, Aratrma Yay., Ankara, 2011
Akyol, Aygn. ehristaninin Filozoflarla Mcadelesi, Aratrma Yay., Ankara, 2011
Akyol. Aygn, "ehristn ve Felsefe Eletirisi", Dou'dan Bat'ya Dncenin
Serveni -slam Dncesinin Altn a-, Proje Ed.: Bayram Ali etinkaya, Cilt Ed.:
Eyp Bekiryazc, c. 7, nsan Yaynlar, stanbul, 2015
Aygn Akyol, "ehrezri ve Metafizik", Dou'dan Bat'ya Dncenin Serveni -slam
Dncesinin Altn a-, Proje Ed.: Bayram Ali etinkaya, Cilt Ed.: Eyp Bekiryazc,
c. 7, nsan Yaynlar, stanbul, 2015
Aristoteles. Fizik. ev. Saffet Babr, Yap Kredi Yay., 2. Bask, stanbul, 2001
Aristoteles. Metafizik, ev. Ahmet Arslan, Sosyal Yay., stanbul, 3. Bask, 2012
203
Mehmet,
204
Ficciones Hayaller Ve
205
Farabi. hsal-Ulum, ev. Ahmet Ate, Kltr Bakanl Yay., Ankara, 1990
Farabi. Kitabul-Huruf, ev. mer Trker, Litera Yay., 2. Bask, stanbul, 2008
Fazlolu, hsan. slam Ansiklopedisi, TDV Yaynlar, 1997, stanbul, c. 16
Gazzali. Filozoflarn Tutarszl, ev. Mahmut Kaya, Hseyin Sarolu, Klasik Yay.,
2012, stanbul
Goblot Edmond. Le Systme Des Sciences (Bilimlerin Sistemi), Armond Colin, 1922
Gkberk, Macit. Felsefe Tarihi, Remzi Kitabevi, 6. Basm, stanbul, 1990
Guedj, Denis. Saylar mparatorluu, ev. mer Aygn, Yap Kredi Yaynlar, Ankara,
2009
Gney, Ahmet Faruk. slam-Trk Matematik Tarihinde lk Eser: Salih Zekinin Asar-
Bakiyesi, Trkiye Aratrmalar Literatr Dergisi, Cilt 4, Say 2, 2004
Gney, Zekeriya. Korkmaz, Nebiye. Georg Cantorun Sonsuzlar, Mula Stk Koman
niversitesi Eitim Fakltesi Dergisi, Cilt 1, Say 1, Mays 2014
Gney, Zekeriya. Uzamsal Sonsuzluk Ve Matematiksel Sonsuzluk zerine, Mantk,
Matematik Ve Felsefe III. Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr
niversitesi Yay., stanbul, 2008
Grnberg, Teo. Onart, Adnan. Vd., Mantk Terimleri Szl, Metu Pres, 3. Basm,
Ankara, 2003
Hacsaliholu, H. Hilmi. Yksek Boyutlu Uzaylarda Dnmler Ve Geometriler,
Bilecik niversitesi Yaynlar, Bilecik, 2010
Hanerliolu Orhan.
206
bn Rd. Faslul Makal, ev. Bekir Karla, aret Yay., stanbul, 1992
bn Sina. Drdnc Makale Birinci Fasl, nce, Sonra Ve Hudus,
Metafizik,
King, Jerry P. Matematik Sanat, ev. Nermin Ark, Tbitak Yay., Ankara, 2010
Koin, Abdlhakim, Psikofizyoloji Biliminin Kurucusu: El Kind, Bilim Ve Teknik
Dergisi, 1990 Ekim
Kranz, Walther. Antik Felsefe: Metinler Ve Aklamalar, ev. Suat Yakup Baydur,
Sosyal Yaynlar, 3. Bask, stanbul, 2009
Matematik Dnyas Dergisi, Gerel Saylarla Aralklar Eleniktir, 2006-3
Musayev, Binali. Alp, Murat. Mustafayev Nizami. Analiz II, Sekin Yaynclk, 2.
Bask, Ankara, 2007
Nesin, Ali. Analiz 1, Nesin Yaynclk A..,stanbul, 2012
Nesin, Ali. Analiz IV, Nesin Yaynclk A.., 2. Bask, stanbul, 2012
Nesin, Ali. Bertrand Russelln Paradoksu, Matematik Dnyas Dergisi, 2013 K
Nesin, Ali. Matematik Ve Sonsuz, Nesin Yaynclk A.., stanbul, 2011
Nutku, Yavuz. Sonsuzluk Ve Grelilik, Matematik Dnyas Dergisi, 2010- IV
ncel, Ali Osman. Alptekin, mer, Fraktal Dalm Ve Sismolojideki Uygulamalar,
Jeofizik Dergisi, 1-2 1995 / Mart-Eyll, 1995
ner, Necati. Klasik Mantk, Ankara niversitesi Basm Evi, Ankara, 1986
zalp, Hasan. Galileo Galilei, Dou'dan Bat'ya Dncenin Serveni, Ed. Bayram
Ali etinkaya, nsan Yaynlar, 1. Bask, 2015, c.2
zemre Ahmet Yksel. ada Fizie Giri, stanbul niversitesi Yaynlar, 3. Bask,
stanbul, 1983
zkan H. Esra. Kompleks Analiz 1, stanbul Kltr nv., Udes (rgn Eitimde
Uzaktan retim Destei) http://udes.iku.edu.tr/(Eriim 03.12.2015)
zlem Doan. Felsefe Ve Doa Bilimleri, Doubat Yay., Ankara, 2008
208
stanbul, 1998
Penrose Roger. The Emperor's New Mind - Concerning Computers, Minds, And The
Laws of Physics, Fiziin Gizemi (Kraln Yeni Usu II), ev: Tekin Dereli, Tbitak
Popler Bilim Kitaplar 95, Ankara, 2004
Peterson Michael. Hasker William. Reichenbach Bruce. Basinger David, Akl Ve nan,
ev. Rahim Acar, Kre Yay., stanbul, 2012
Poincar Henri. La Science et lhypothse (Bilim Ve Varsaym), Flammarion, 1909
Polatolu, Yaar. en, Arzu. Yavuz, Emel. zkan, Esra. Matematiksel Sonsuzluk Ve
Grelilik, Mantk, Matematik Ve Felsefe III. Ulusal Sempozyumu, Sonsuzluk Ve Grelilik,
stanbul Kltr niversitesi Yay., stanbul, 2008
Ronan Colin A. Bilim Tarihi, ev. Ekmeleddin hsanolu, Feza Gnergun, Tbitak
Yay., Ankara, 2003
Saban G. Analize Giri, . . Fen Fakltesi Basmevi, stanbul, 1989
Sezgin, Erkut. Sonsuzluk Kavramnn cadndan nce Ve Sonra, Mantk, Matematik Ve
Felsefe III. Ulusal Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi
Yay., stanbul, 2008
Sunar, Cavit. slam Meai Felsefesinde lk Adm, Ankara niversitesi Dergisi, Cilt17,
Say 1, Ankara, 1969
erif M. M. slam Dncesi Tarihi, Cilt 2, nsan Yay., stanbul, 1990
uhubi, Erdoan S. D Form Analizi, Trkiye Bilimler Akademisi Yay., Ankara, 2008
ulul, Cevher. Kind Metafizii, nsan Yaynlar, stanbul, 2003
Taslaman, Caner. Din Felsefesi Asndan zafiyet Teorisi, 2011
209
Taylan, Necip. Ana Hatlaryla slam Felsefesi, Ensar Yay., stanbul, 2011
Taneri, Kemal Zlf. Trk Matematikileri, Derleyen Gven Taneri Ulukse, Cinius
Yay., stanbul, 2009
Taslaman, Caner. Modern Bilim Felsefe Ve Tanr, stanbul Yaynevi, stanbul, 2008
Tadelen, skender. Kind- Sonsuz Nicelikler, Matematik Ve Felsefe likisi zerine,
Felsefe Tartmalar 33, Boazii niversitesi Yaynlar, stanbul, 2004
Topdemir, Hseyin Gazi. Isaac Newton Ve Bilim Devrimi, Bilim Teknik Dergisi,
2010/10
Turgut, Sadi. Einsteinn Mucize Yl - zel Grelilik, Bilim Teknik Dergisi, ubat
2005/2
Turgut, Sadi, Genel Grelilik Bilim Teknik Dergisi, 2005 Mart
Ufuktepe, nal. Aslan, smail, Fraktal Geometriden Bir Kesit, Matematik Dnyas
Dergisi, 2002, C:11, S:1
Unat, Yavuz. Ortaa slm Astronomisinde Kre Katmanlar Sistemi ve Gkyz
Hareketlerin Fiziksel zah, XIII. Ulusal Astronomi Toplants, 2-6 Eyll 2002, Antalya,
TBTAK Ulusal Gzlemevi
Ural, afak, Sonsuzun Kavranlmas, Mantk, Matematik Ve Felsefe III. Ulusal
Sempozyumu, Sonsuzluk ve Grelilik, stanbul Kltr niversitesi Yay., 2008
Uyank, Mevlt. Akyol, Aygn, slam Ahlak Felsefesi, Elis Yay., Ankara, 2013
Uyank, Mevlt. Akyol, Aygn. Farabi'nin Medeniyet Tasavvuru Ve Kurucu Metni
Olarak hsaul-Ulum. Medeniyet Dnr Farabi Uluslararas Sempozyumu,
Eskiehir,13-15
Kasm
2014.
https://www.academia.edu/9393626/Mevl%C3%BCt_Uyan%C4%B1k_Ayg%C3%BCn_Akyol_Farabinin_M
edeniyet_Tasavvuru_ve_Kurucu_Metni_Olarak_%C4%B0hs%C3%A2ul
Ul%C3%BBm_Medeniyet_D%C3%BC%C5%9F%C3%BCn%C3%BCr%C3%BC_Farabi_Uluslararas%C4%B1_S
empozyum_Eski%C5%9Fehir_1315_Kas%C4%B1m_2014(Eriim05.01.2016)
210
Uyank, Mevlt.
http://www.mcescher.com/(Eriim:27.01.2016)
http://www.tdk.gov.tr/index.php?option=com_bts&arama=kelime&guid=TDK.GTS.567e6bb9a
b2477.73398675(Eriim:27.01.2016)
http://en.wikipedia.org/wiki/National_Film_Registry(Eriim 12.01.2016)
http://gsf.akdeniz.edu.tr/tr.i226.yrddocdroguzhanersumersoylesi(Eriim
11.12.2015)
http://www.robertsmithson.com/earthworks/spiral_jetty.htm(Eriim 14.08.2015)
http://www.miasanat.com/SimpleViewer_yagliboya/yagliboya.html(Eriim:27.01.2016
)
211
http://www.egitim.aku.edu.tr/bilimfelsefesi.pdf
212