Professional Documents
Culture Documents
Georges Ifrah - Rakamlar - N Evrensel Tarihi 8 - Hesab - N Destan
Georges Ifrah - Rakamlar - N Evrensel Tarihi 8 - Hesab - N Destan
I F R A H
Hesabn
Destan
VIII
R A K A M L A R IN
E V R E N S E L
TBTAK
T A R H
H ESABIN DESTANI
Georges
Ifrah
Hesabfn Destam
RAKAMLARIN EVRENSEL TARH-VIIIGeorges Ifrah
eviri: Kurtulu Diter
Lizzie Napolinin izimleri [ekil 1.30-136, ekil 2.101 dnda, bu yaptta bulunan btn aklayc
mimler, levhalar, kaligrafiler-gravrlerin, mimlerin ve belgelerin yeniden izimleri dahilyazann kendisince yaplmtr.
ISBN 975-403-037-5
ISBN 975-403-182-7
1. Basm
TBTAK
Atatrk Bulvar No: 221 Kavakldere 06100 Ankara
Tel: (312) 427 33 21 Faks: (312) 427 13 36
e-posta: kitap@tubitak.gov.tr
nternet: kitap.tubitak.gov.tr
Atlm Kt rnleri ve Basm San. A.. - stanbul
G E O R G E S
I F R A H
Hesabn
Destan
EVR
K u rtu lu D in e r
VIII
RAKAMLARIN
EV R EN SEL
T B T A K P O P L E R B L M K TA P L A R I
TARH
indekiler
ikinci Ksm
Balangcndan Bilgisayarlarn
Ortaya kma Dek Yapay Hesabn Tarihi
kinci Ksm
akl Talarndan Bilgisayara
Hesabn Destan
28. Blm
lan kullanan zihince art arda biribiri iine geen sradzenli bir dizge
olarak kavranabilecek ekilde dzenlenmi olmas; ikincileyin, ilevi
bir st basaman bir birimini oluturmak iin belli bir basamak iin
de beklenmesi gereken birimlerin saysn belirtmek olan, nceden
belirlenmi sabit bir saynn varolmas gerekir (buna, sz konusu diz
genin taban denir (bkz. 2. Blm).
zetle, saysal bir gsterim, insann ok belirli bir anlam olan ve
saysal bir dili temsil eden uylamsal imler kullanarak iletiimini
salayan ok zel bir dizgedir; (rakam denen) bu imler iletilebilir ve
alnabilir, iki dinleyici tarafndan ayn ekilde anlalr ve hem geri
dn ilkesiyle hem de taban ilkesiyle ynetilen dnsel bir yapya
uygun olarak doal tam saylar dizisinin ardk terimlerine balanr.
Elbette, ilk yazl saylamann douundan bu yana geen 5000 yl
boyunca, insanlar tek bir tip dizge dnm deildir. Ama, 23. B
lmde yaptmz, dnsel bakmdan konuuldukta, uzakln ve za
mann neredeyse mutlak olarak biribirinden ayrd dizgelere yakla
mamz salayan Tarihin Yazl Saylamalarmm Snflannn gs
terdii gibi, bu saysal gsterimler snrsz sayda olmamtr.
Bu blmn sonunda, sz konusu her saylamann matematiksel
yapsn zetle ortaya koymak ve btn gerekli karlatrmalar yap
ma olanan salamak zere, bu snflamann balca sonularn, bireimsel olarak, art arda izelgeler biiminde yeniden bekleyeceiz.
Bundan tr, bu izelgedeki dizgeler salt zamandizinsel bir srayla
deil, deyim yerindeyse, tarihin eitli yazl saylamalann en ilkel bii
minden balayp en gelimiine kadar uzanan bir evrime gre ele almay
salayan mantksal-zamandizinsel bir srayla biribirini izlemektedir.1
Bu snflama, tarihin eitli saysal gsterim dizgelerinin gerekte
her biri birok alt tre ayrlan byk kategoriye blndn orta
ya koymaktadr (ek. 28.40):
A. Toplamal saydamalar kategorisi: Toplama ilkesine dayanan,
her rakamn betimlemelerdeki konumundan bamsz, kendine zg
bir deer tad saylamalar (ek. 28.14-28.16). Bunlar aslnda ok
daha arkaik olan somut saymanlk dizgelerinin yazl evriyazlarn
dan baka birey deildir (ek. 28.12-28.13).
B. Melez Saydamalar Kategorisi: Betimlemelerde toplama ile arp
may birarada kullanan, kark bir ilkeye dayal saylamalar (ek.
28.28-28.32). Bunlar aslnda az ok iyi dzenlenmi szl saylamalann yazl evriyazlarndan baka birey deildir (ekil. 28.20-28.27).
C.
Son olarak konumlu saydamalar kategorisi: Rakamlarn deerle
rinin saylarn yazlndaki konumlaryla belirlenmesi ilkesine daya
nan (ek. 28.33-28.36) ve sfr kullanmay gerektiren saylamalar
(ek. 28.37). Bundan tr bunlar bu alandaki en son soyutlama dere
cesine iaret eder, dolaysyla da saysal gsterimin son aamasn
oluturur (ek. 28.38 ve 28.39).
Bu blmn izelgelerinde A, B ve C harfleri srasyla toplamal
saylamalar (A kategorisi), melez saylamalar (B kategorisi) ve ko
numlu saylamalar (C kategorisi) gsterecektir. Bunlara elik eden
rakamlara gelince, onlar da ilgili alt kategorileri (A l: birinci trden
toplamal saylamalar, B2: ikinci trden melez saylamalar...) belir
tecektir.
Bylece bu snflama bugnk yazl saylamamzn2 gerek kilit ta
n daha iyi grmemizi, bununla da bu yetkin saylamamn icadndan
sonra artk saylarn gsteriminde hibir gelimenin gerekli de olanak
l da olmadn anlamamz salayacaktr: Bu yetkin saylama onbe
yzyl biraz akn bir sre nce, byk fikrin olmayacak bir biim
de biraraya gelmesiyle (yani iyi tasarlanm, konum ilkesine uydurul
mu ve ilevi yalnz belli bir basaman birimlerinin olmadn belirt
mek deil, yok saysn da dile getirmek olan bir sfr imiyle tamam
lanm rakamlar) Hindistanda domutur.
Bylece bu eit bir zaman mant insanlk kltrnn derin birli
ine ak bir tanklk oluturur.
Zaten, ardll yine bu snflamann kendine zg mantksal ve ma
tematiksel yapsyla bozulmu bulunan, zamann kendisinin ortaya
koyduu bir sra sz konu deildir.
Byle bir sunu, gerekte yalnz sz konusu uygarlklarn her birine
zg zinciri deil, ayrca ve zellikle bir kltrn bir kavramnn ba
ka kltrlere aktarm zincirini ve bu tarihte hem st ste ylmalara
hem de biribirini amalara neden olan olgularn gerek zamandizinini
gzden uzak tutmaktadr. nk, bu alanda kimi kltrler her ada
kimilerine gre ok nde olmutur. Gerekten, biliyoruz ki, kimi halk
lar yetersiz saylamalar tarihleri boyunca korumu, bunu da kendi ilk
dizgelerine hapsolduklar iin ya da tutuculuklar onlar yine kt ta
sarlanm geleneksel dizgelere balayarak kanlmaz bir biimde en
gelledii iin yapmlardr.
Dolaysyla zamandizinsel bir zet de gerekmektedir ve mantksal-zamandizin anlayn olabildiince koruyacak olan aadaki
- 2350. [E]. Mezopotamyal Smiler kendi yazlann kayda geirmek iin Smerlerin ivi yazs karakterlerini alr: Akad yazs byle doar; buradan da
Babil ve Asur yazlan kacaktr.
- 2350. [E], Eblada (Suriyede, Halepin gneyindeki Teli Mardihte yerleik
bir Smi krallnn bakenti) kil tabletler zerinde yaznn grl: Bu ya
z, Ugariteye, Fenikeceye ve braniceye yakn bir Bat Smi lehesini kayda
geiren bir ivi yazsdr.
- 2300. [E]. Inds vadisinde, Mohenjo-Daroda ve Harappda (bugnk Pakis
tan) proto-Hint yazsnn grl. Bu, eski nds uygarlnn (- XXV./XVIII.
yzyllar) yazsdr. Bu yazy asl Hint dili ve yazsyla yazlm ilk metinler
den ayran iki bin yl akn bir kopukluk vardr. Bu boluun, eer kapatldysa, nasl kapatld henz bilinmiyor.
- III. binyl sonu. Mezopotamyal Smiler ncellerinin yaratt ivi yazs saylamasm yava yava ondalk bir tabana uyarlarlar (bkz. 13. Blm). Bu
dizge bundan byle gnlk kullanmda Smer altml dizgesinin yerini ala
caktr (ama Smer kkenli 60 taban Babil bilginlerinin konumlu dizgesinde
korunacaktr). Ayn zamanda Smiler eski Smer rksnn tasanmm da
kkten bir biimde deitirirler: Bilyalar ya da aa yongalan kullanmak ye
rine, ivi yazs rakamlann birim basamaklannm smrlann izen ardk
stunlann iine yazarlar; bylece hesaplar artk ilemlerin ara sonularn
elde ettikten sonra art arda silme yoluyla yaplr (bkz. 13. Blm).
- 2000/-1660. [E], Giritte (Knossos ve Mallis sitlerinde), byk bir olaslkla
saymanlk belgeleri olan belli sayda paralelyzl kalp ve kil tablet zerin
de, Minos uygarlnn hieroglif yazsnn grl (bkz. 15. Blm).
- 2000/-1660. Girit hieroglif rakamlannm grl (Minos uygarl; bkz. 15.
Blm).
- 1900. [E], Giritte (Haghia Triada, Mallia, Phaestos, Knossos sitlerinde),
kukusuz eitli dkmlerin sonulanm tayan kil tabletler zerinde, Mi
nos uygarlnn dorusal A denen yazsnn grl. Pek zensiz izgeleri olan bu yaz yalnz ynetim birimlerinde deil, tapmaklarda ve ola ki ev
lerde de yaygndr.
-19 00 . Dorusal A denen Girit rakamlannm grl (Minos uygarl; bkz.
15. Blm).
- 1900/-1600. [E], Mezopotamyal Smilerin ivi yazs yava yava Smer
yazsnn yerini alr, Yakn Douya yaylr ve mhrdarlann yazs haline
gelir.
- 1900/-1200. Mezopotamyal Smilerin ondalk ivi yazs dizgesi Yakn Douya yaylr.
- 1900/-1800. Bugn bilinen en eski konumlu saylamann grl: Babil bil
ginlerinin altml saylamas (ivi yazs izgeli dizge). Ancak bu dizge henz
sfr iermez (bkz. 13. Blm).
- XVII. yzyl. [E]. Bilinen ilk alfabetik yaz giriimi: Sin zerinde Msrl
larn hizmetinde bulunan Smiler Msr hierogliflerinden tretilmi baz
yaln sesil imler kullanrlar (Serabit al Kadimin proto-Sin denen yazt
lar).
- XVII. yzyl. Msrllar, yazl saylamalannn ok ilksel yapsna karn,
aritmetik ilemler yapmak iin hieroglif ya da hieratik rakamlarm kullan
may bilirler (bkz. 14. Blm). Bu yntemler hesaplayclann bellee bavur
maktan kurtulmalarn salayacaktr (nk toplamay ya da 2yle arpmay
bilmek yetecektir); ancak bunlar esneklikten ve birlikten yoksundur, bugn
k yazl hesap yntemlerimizle karlatrldnda ise ok yava ve ok kar
maktr.
- XVI. yzyl. Msr hieratik saylamas izgesel evriminin sonuna gelmitir
(bkz. 14. Blm).
- XV. yzyl. [E], Suriye-Filistin kylarnda yaayan Kuzeydou Smileri, k
saltma kaygsyla ve Yakn Douda kullanlmakta olan Msr ya da Asur-Babil tipi karmak yazlardan kurtulmak iin, tarihin tmyle alfabetik olan
ilk yazsn gelitirir: Bu, alfabenin icaddr. Szn aktarmnn en stn bii
mi olan ve herhangi bir eklemli dilin bknlerine uyarlanabilen bu icat, her
hangi bir dilin tm szcklerini harf denen ok az sayda sesil im kullana
rak yazma olana salar (bkz. 17. Blm).
- XV. yzyl. [E], Anadoluda Hitit uygarlnn hieroglif yazsnn grl:
Bu yaz yalnz ayin ve adak amalan iin deil, aynca ve zellikle laik ama
lar iin de kullanlacaktr (bkz. 15. Blm).
- 1350/-1200. [E], Giritte (Knossos sitinde) ve kta Yunanistannda (Pylos, Miken... sitlerinde) Girit-Miken uygarlnn dorusal B denen yazsnn gr
l: Dorusal Ann biraz deitirilmesinden doan ve arkaik bir Yunan
lehesini yazya geirmeyi salayan bir yaz (bkz. 15. Blm).
- 1350/-1200. Dorusal B denen Girit rakamlannm grl (Girit-Miken uy
garl, bkz. 15. Blm).
- XIV. yzyl. [E], Ugaritte (Suriyede, Halep yaknndaki Ras amra) bu
lunmu tabletler zerinde, bugn bilinen en eski tam alfabetik yaznn g
rl: Fenikece ve braniceyle akraba olan bir Smi dilini kayda geirme
ye yarayan alfabesinde yalnz otuz kadar harf bulunan ivi yazs (bkz. 17.
Blm).
-X IV . yzyln sonu. [E], Xiao dunda Arkaik in yazsnn bugn bilinen en
eski rneklerinden birinin grl: Bunlar kemik ya da baa zerindeki ya
ztlardr; bu yaznn asl ilevi, kukusuz, o an anlayna gre, khinlik
uygulamalar ve dinsel uygulamalar araclyla, canllar dnyas ile tanrlar
ve ruhlar dnyas arasnda iletiim kurmay salamasdr (bkz. 21. Blm).
- XIV. yzyln sonu. Bilinen en eski in rakamlarnn grl (Xiao
dundaki kemik ya da baa zerine yaztlarda grlen arkaik in saylamas;
bkz. 21. Blm).
-X I I . yzyln sonu. [E], Fenikelilerde, modern alfabelerin habercisi olan,
Bat Smi dorusal alfabesinin bilinen ilk rneklerinin grl (bkz. 17.
Blm). Bu byk tccarlar ve gzpek denizciler, ok eitli halklarla ok
eitli ilikilere girdikleri iin, alfabenin icadnda ve yaylmasnda nemli
katklar olacaktr. Onu ilkin aralarnda Aramilerin de bulunduu yakn
komularna (Moabllara, Edomlulara, mmonoullarna) aktaracaklar,
onlar da Suriyeden Msra ve Arabistana Mezopotamyadan Hint alt-ktasnm en cra yerlerine dek yaylmasn salayacaklardr. M.. IX. yzyl
dan balayarak, bu icat btn Akdenize yaylacak, yava yava onu kendi
dillerine uyarlayan, birka im ekleyerek deitiren bat halklarnca benim
senecektir.
- IX. yzyl. [E]. Dorudan doruya Fenikelilerin 22 harfinden treyen, paleobrani karakterleriyle yazlm bilinen en eski srail yaztlarnn grl
(bkz. 17. Blm).
- IX. yzyl. braniler Msr hieratik rakamlarn alr, zellikle yazmalarn
da kullanrlar (bkz. 18. Blm).
- DL/-VIII. yzyl. [E], Fenike kkenli alfabetik yaznn Yakn Douya ve Do
u Akdenize (Aramiler, braniler, Yunanllar...) yayl.
- IX. yzyln sonu. [E], Yunanllar Fenike kkenli alfabenin nszlerine n
ller ekleyerek modern alfabetik yaznn ilkesini tamamlarlar. Yunan yazs,
nllerin kesin ve tam bir gsterimini ieren ilk alfabe olacaktr (bkz. 17. B
lm). O da talik (Osk, Umbria, Etrsk) ve Latin alfabelerini esinleyecek, ar
dndan, ok daha sonra, Kpt, Gotik, Ermeni, Grc ve Kiril (Rus) alfabeleri
ni douracaktr.
- VIII. yzyl. [E]. Msr hieratik yazsnn blgesel bir dalndan kan, ondan
daha ksa ve ilek olup gnlk kullanmda bundan byle onun yerini alan
Msr demotik yazsnn grl (bkz. 14. Blm).
H./+III. yzyl. Hintli hesap adamlar, aritmetik ilemlerim, bir kaz kalemi
ya da bir ubukla nceden yere izilmi ardk stunlarn iine Brahmi gsteri
minin dokuz rakamm yazarak yaparlar. Ayn ilem tr daha sonra Arap arit-
IV. yzyln ba [E]. Ermenistan ile Kafkasya arasndaki lkenin ilk kral
Phamavar, Yunancadan esinlenerek Grc alfabesinin atas olan mhedruli
alfabesini icad eder (bkz. 17. Blm).
IV. yzyl. Abisinya krallnn Aksum yaztlarnda Etiyopya rakamlarnn
grl (bkz. 19. Blm).
IV. yzyl. [E], incenin ki sh izgesinin (bugnk in yazsnn biimi) ilk
grlleri (bkz. 21. Blm.)
IV. yzyl (E], Piskopos Wulfila, bir Cermen dili olan Gotlann dilini yazya ge
irmek iin, Yunan yazsndan esinlenerek Gotik alfabeyi icat eder (bkz. 17.
Blm).
IV./V. yzyl. [E]. Kuzey Hindistan, Nepal, Tibet ve in Trkistannn tm
yazlarnn kendisinden treyecei, Gupta denen Hint yazsnn ilk bireysel
lemi biimlerinin grl (bkz. 24. Blm).
IV./V. yzyl. Kuzey Hindistan, Nepal, Tibet ve in Trkistannn tm yazla
rnn kendisinden treyecei, Gupta denen Hint yazsnn ilk bireysellemi
biimlerinin grl (bkz. 24. Blm ve Szlk).
IV./V. yzyl Brahmi gsteriminden kan ilk dokuz Hint rakamnn ondalk
bir tabana gre konumlu bir deer kazand, bunlarn sfr temsil eden k
k daire ya da nokta biiminde bir imle tamamland a: Bugnk yazl
saylamamzn atas olan Hint ondalk konumlu saylamas bu ada do
mutur (bkz. 24. Blm).
IV./VL yzyl. Hint hesap adamlan, eski tozlu rklerinin stunlarn kald
rp dokuz temel birimi temsil eden rakamlara ondalk konumlu bir deer yk
leyerek, geleneksel hesap yntemlerini kkten bir biimde deitirirler. Mo
dem saylama byle doar. Ama bu aama ayn zamanda ve zellikle bugnk
yazl hesabmzn doduu aamadr. (Balangta, sz konusu teknikler, rknn stunlarndan kurtulmu olmasna karn, eski hesap yntemlerinin
tpatp aynsyd; eskiden olduu gibi kullanl olmayan tozla kapl levha ze
rinde ilem yaplyor, ara sonular durmadan silinip dzeltiliyordu. Bu da in
san belleini epey snrlyor, ara hesaplarda yaplan hatalarn grlmesine
engel oluyordu. Hint bilginleri, onlardan sonra da Arap bilginleri bu teknie
rakip olarak, silmenin olmad, ara sonularn ste yazld bir ilem ynte
mi gelitirdiler. Ara ilemler srasnda yaplm hatalar grmeyi salad
iin gerekli salamalar yapmakta tam bir stnlk tayan bir yntemin, so
nular yazdka levhann fazla dolmas ve ilem aknn grlmesini engelle
mesi gibi bir sakncas da vard. te bu tr karmaklklardan tr, ilem
pratii, dokuz rakam ve sfrl hesap yntemleriyle bile, lmllerin ortak kul-
lammma uzun sre uzak kald. Rakamlar tebeirle bir kara tahta zerine
yazmak, ara sonulan koruyarak ya da daha iyisi bir bezle silerek ara hesap
lar yapmak: Bu, ty ile kdn yaygnlam kullanmndan nce, Hint hesap
adamlarnn istedikleri gibi davranmalarn, hayalglerini zgrce kullan
malarm salayan, sonunda da bugnk yazl hesap sanatn douran teknik
lere yol aan ok elverili ve zellikle az zahmetli bir yntem olacaktr). (Bkz.
24. Blm; 25. Blm; aynca bkz. *Hirt Hesap Yntemleri, Szlk).
TVJVL yzyl [E], Gney Hindistan ile Gneydou Asyann tm alfabetik ya
zlanm treyecei Hint Bhattiprolu ve Pli yazlanmn ilk bireysellemi bi
imlerinin grl (bkz. 24. Blm).
IV jTX. yzyl. Maya uygarlnn rahip-gkbilimcilerinin 20 tabanl konumlu
saylamas ile sfmnn grld olas dnem. Bununla birlikte, (nc ko
numdan balayarak, 20 tabannn kullanmnda bir kuraldlk gsteren) bu
saylama, tamamen Maya takviminin gereklerine uyarlanmasndan tr,
hem kendi sfinndan hem de her trl ilem olanandan yoksun kalacaktr
(bkz. 22. Blm).
V. yzyl. [E]. slm-ncesi yaztlarda Arap yazsnn bilinen ilk rneklerinin
grl: lek slplu olan bu yaz sonradan slmn ilk yzyllan boyunca
eitlenerek bir yandan Kfi denen yazy, bir yandan da Nashi denen yazy
douracaktr (bkz. 19. Blm; 25. Blm).
V. yzyl. [E]. Rahip Mesrop Machtots Yunancadan esinlenerek Arami alfabe
sini icat eder (bkz. 17. Blm).
V./VII. yzyl. [E]. Ogharn yazsnn (rlandann ve Galler lkesinin Kelt yaztlannn) tarihi.
510. Hint gkbilimcisi ryabhata ok zel bir saysal gsterim icat eder. Bu
gsterim s&nn ve ondalk tabana dayal konum ilkesinin bilinmesini gerek
tirir (bkz. 24. Blm; Szlk). ryabhata aynca kare ve kp kkleri hesapla
mak iin ilgin bir yntem kullanacaktr. Bu yntemin, sz konusu saylan
dokuz ayn rakam ve sfinn yerini tutan zel bir onuncu im yardmyla ko
num ilkesine gre yazl olarak dile getirmeden uygulanmas olanakszdr
(bkz. Szlk).
628. Hintli matematiki ve gkbilimci Brahmagupta dokuz rakam ve sfr ara
clyla ondalk konumlu gsterimde byk bir ustalk sergileyen Brahmasphutasiddhntasn yaymlar (bkz. 24. Blm; Szlk ve 25. Blm).
VII. yzyl. [E] Kuzey ve Orta Hindistann yazlanmn (Bengli, Gucarti,
Oriy, Kaithi, Maithili, Manipuri, Marathi, Marwari... bkz. 24. Blm ve Sz
XII./XIII. yzyl. [E]. Gotik denen yaz yava yava Caroline yazsnn yeri
ni alr.
XII./XIII. yzyl. [E] Kolombncesi Meksikada Aztek yazsnn grl (bkz.
22. Blm).
XIL/XVI. yzyl. Bat Avrupada rkcler (Roma rakamlar ya da Yunan sa
y harfleri gibi arkaik saylamalara bal kalarak stunlu rk zerinde je
tonlarla hesap yanllar) ile Algoristler (Hint kkenli rakamlar ve sfr kulla
narak hesap yapmay savunanlar) arasndaki kavga dnemi (bkz. 26. Blm).
XII./XVI. yzyl. Arap rakamlan izgesel olarak Bat Avrupaya yerleir ve
bugn tad biimi kazanr (bkz. 26. Blm).
1202. Daha ok Fibonacci adyla bilinen Italyan matematiki Pisal Leonardo,
Kuzey Afrika ile Yakn Douya yapt bir yolculuk srasnda rendii Hint
kkenli dokuz rakam araclyla hesap sanatn LiberAbaci (rk zerine
inceleme) adyla yaymlar. Bu kitap sonraki yzyl boyunca, Bat Avru
pada aritmetik ile cebirin gelimesinin ok verimli bir kaynan olutura
caktr (bkz. 26. Blm)
XIII. yzyl. Bugnk in say boncuunun (suan pan) kullanmndan sz
eden, halen bilinen ilk belgelerin grl: Say boncuu her birine yedi
tahta boncuk dizilmi belli sayda iten oluan dikdrtgen eklinde bir er
evedir. Boncuklar, ikisi hep stte, bei de hep altta kalacak ekilde ere
veyi ikiye blen enine bir ubukla biribirinden ayrlabilir. letin ilerin
den her biri onlu bir basamaa karlk gelir; bu demektir ki, bir iin solun
daki i, her zaman tekinden on kez daha byk bir deer tar. Bu let
her trl aritmetik ilemi kolayca ve abucak gerekletirmeyi salayan tek
lettir. Batllar, say boncuunu kullanmay renmi olanlarn ustalnn,
kimi zaman ok karmak hesaplar nasl rekor sreler iinde yapmalarn
saladn grnce genellikle pek amlardr. Ayn let modern ada h
l kullanlmaktadr: Rusyadaki ad otidir; ran ile Afganistanda koreb
adyla bilinir; Ermenistanda ise kulba adn tar; ancak bu say boncukla
rnn yaps in suan panndan farkldr. Buna karlk Japon soroban
nemli bir gelime gsterecektir: XIX. yzylda bu say boncuu stteki ikin
ci boncuunu, ikinci Dnya Savandan itibaren de her iin alt ksmndaki
gereksiz beinci boncuu kesin olarak yitirmitir. Ancak Japon say boncu
una bir tamlk getiren bu dnm uzun ve zor bir hazrlk gerektirmi,
ok daha dakik, ok daha kesin bir el uzluu kazanmay zorunlu klmtr
(bkz. 21. Blm).
XIVJXV. yzyl. [E], Italyan bilginler IX., X. ve XI. yzyllarn Caroline yaz
s modeline gre yeniden yaratlm bilgin yazs olan Hmanist yazy ge
litirirler.
1440*3 doru [E]. Hollandada ahap zerinde oyun ktlarn, sonra da tam
metinli sayfalan sanatsal bir biimde kazyan Laurens Janszoon (Loster de
nir), ahap stne ayn ayn harfleri kazyarak ilk tipografik bask denemele
rini yapar ve Horarium adl sekiz sayfalk kk bir kitab basar.
1540a doru. Batda matbaann yeniden icat edilii: Bu ilerlemeyi Alman
yada, Mainzda Gutenberg denen Johannes Gensfleish gerekletirmitir.
Ahaptan yaplm hareketli karakterlerin elverisiz olduunu, iyi bir bask
iin uygun olmadn anlayan Gutenberg tipografi tekniine tamamen uy
gun olan modem karakterleri kullanr. Bu deiikliin en az iki sonucu ola
caktr: ilkin, bask yntemlerinin hzla yaylmas eski gotik ve hmanist ka
ligrafilerin yerini alacak, el yazmas yazlannn evrimini hzlandracak, bu
yazlar gittike daha standartlam ana rnekler halinde sabitlemesini
salayacaktr; ikincileyin (kukusuz bu tekinden daha nemlidir) her trl
yaznsal, bilimsel, felsefi yaptn istendii kadar oaltlmasna olanak sala
yacak, bu da Bat Avrupada bilginin giderek daha hatm saylr lde yayl
masn salayacaktr. Bylece bu, insan topluluklannn kkten dnm
nn balangc, Avrupada yeni bir an al olacaktr.
XV./XVI. yzyl. Arap rakamlan, grnte kkten olan, ama aslnda h
manist yaznn genel eilimlerine balanan eitli dnmler geirdikten
sonra, Bat, Avrupada matbaann ykselii sayesinde, bir daha deimeye
cek ok belirli ana rnekler halinde sabitlenir (bkz. 26. Blm).
XV./XVI. yzyl. Arap rakamlan ve sfr araclyla hesap yntemlerinin gi
derek genellemesi. Avrupada algorizmaclarn zaferinin, rkclerin boz
gununun balangc. Jetonlu rk zerinde hesap yine de tccarlar, banker
ler, kuyumcular arasnda kullanlmaya devam edecek, bu arkaik yntemlerin
tamamen ortadan kaldmlm grmek iin Fransz Devrimini beklemek gere
kecektir (bkz. 26. Blm).
1478. Bir aritmetik ilem kitab olan, yazan bilinmeyen, zellikle Bat Avru
pada Arap rakamlanmn yaylmasna ve yazl hesap yntemlerinin gittike
daha ok kabul grmesine tanklk eden Trevise Aritmetikmi yaymlan.
1654. Fransz matematiki Blaise Pascal, mnin 2den byk ya da 2ye eit
herhangi bir tam say olduu m tabanl saylama dizgelerinin ilk kez bir tan
mm yapar (bkz. ek. 28.39).
ZETLEYC ZELGELER
MISIR HEROGLF SAYILAMASI
Grl: ~ M.. 3000-2900
Tip : Al (1. trden toplamal saylama: ek. 28.14). - Taban: 10.
Sfr imi gerei: Yok - Sfir imi: Yok.
Betimleme olana: Snrl (bkz. 14. Blm).
Taban rakamlar
10
100
( = 10*)
1 000
( = 103)
rnek: 7659
10 000
( = 10*)
Y ' Y i
100 000
( = 10=)
1 000000
( = 100
(f)
D ff
600
50
m
7 000
1000 +
1000 +
1000 +
1000 +
1000 +
1 000)
+ (10 + 10 + 10 + 10 + 10)
+ (1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1).
ekil 28.1
PROTO-ELM SAYILAMASI
EZ3
10
100
1000
rnek: 7659
EZ3
EH
EZ3
10 000
0 0 0
0 0 0
BBS
9 9 8 0
7 000
600
50
9
------------------------------------------------------------------------->
Toplama ilkesine dayanan betimleme, u ayrtrmaya gre yaplr:
7 659 = (1000 +
1000 +
1000 +
1000 +
1000 +
1000 +
1 000)
GlRlT SAYILAMASI
(Hieroglif dizgeler ile dorusal A ve B)
Grl : = M.. 1900 (dorusal A).
= M.. 1700 (hieroglif).
~ M.. 1350 (dorusal B).
Tip : Al (1. trden toplamal saylama: ek. 28.14). - Taban: 10.
Sfir imi gerei: Yok - Sfr imi: Yok.
Betimleme olana: Snrl (bkz. 15. Blm).
O
0
10
(=
100
102)
1000
( = 103)
10 000
( = 104)
rnek : 7659
O
O
oooo O
ooo ooo
7000
1 11
---------------
600
81
50
1000)
ekil 28.3
HlTlT HEROGLlF SAYILAMASI
Grl: = M.. 1400
Tip : Al (1. trden toplamal saylama: ek. 28.14). - Taban : 10.
Sfr imi gerei: Yok - Sfr imi: Yok.
Betimleme olana; Smrlj (bkz. 15. Blm).
Taban rakamlar
!
1
10
K
100
( = 102)
i
1 000
( = 103)
rnek: 7659
11 i
U
m
7 000
K K K
K K K
600
1
50
11 1
9
i 1 1
s
9
5>
1 000)
A ZTE K SAYILAMASI
Grl : M.. 1200
Tip : A l (1. trden toplamal saylama: ek. 28.14). - Taban: 20.
Sfr imi gerei: Yok - Sfr imi : Yok.
Betimleme olana: Snrl (bkz. 22. Blm).
Taban rakamlar
rnek: 7659
20
400
8 000
(= 20*)
(= 201)
7 600
40
_
Toplama ilkesine dayanan betimleme, u ayrtrmaya gre yaplr:
7 659 =
19
400 + 400
+ 400 + 400
1 + 1 + 1
+ 1).
ekil 28.5
SMER SAYILAMASI
Grl : = M.. 3300
Tip : Al (2. trden toplamal saylama: ek. 28.15). - Taban: 60.
Sfr imi gerei: Yok - Sfir imi: Yok.
Betimleme olana: Snrl (bkz. 8. Blm).
Taban rakamlar (arkaik izgeler)
10
60
600
10 x 60)
(=
3 600
( = 60*)
36 000*
( = 10 x 60:)
(J (J (J
SS!
9
OO
0 0 9
30
30!
420
+ (10 + 10 + 10)
+ 0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1)-
7 200
i r i I"
1
rn
10
50*
100
500*
1000
5 000*
10 000
( = 5 x 10) ( = 10!) ( = 5 X 10J) ( = 10>) ( = 5 x O1) ( = 10*)
* 10un, 100n, 1000in imlerini 5 saysnn imiyle birletirerek (arpma yoluyla
birletirme) oluturulan rakamlar.
rnek: 7659
P1 XX P H P1 Pilli
5 000
2 000
500
100
50
----------------------------------------- ->
ROM A SAYILAMASI
Grl : = M.. 500
Tip : A2 (2. trden toplamal saylama: ek. 28.15). - Taban: 10.
Sfir imi gerei: Yok - Sfir imi: Yok.
Betimleme olana: Snrl (bkz. 16. Blm).
Taban rakamlar (arkaik izgeler)
1 A X
1
10
l>)
50
( = 5 x 10)
100
( = O2)
500
( = 5 x O2)
1 000
( = 10J)
5 000
( = 5 x 10J)
rnek: 7659
B C i IX
I)
5 000
2 000
500
100
50
(10 - 1)
-----------------------------------------
Hem toplama hem karma ilkesine dayanan betimleme, u ayrtrmaya gre yaplr:
7 659 =
5 000 + (1 000 +
1 000) + 500 +
10
100
20
200
U|
30
300
M|
40
50
1 000
2 000
A .
3 000
4000
-A
400
500
60
600
70
yi
700
7 000
80
800
'H
8 000
90
900 -------
9 000
'S
5 000
AJk
III
35
9 V
6 000
rnek: 7659
V
_______________________*
7 000
9
50
600
<S--------------------------------------------------------------
7 000 + 600 + 50 + 9.
10
100
1 000
20
200
2000
30
300
3000
40
400
4 000
50
500
5000
60
600
6 000
*l
70
" >
700
7 000
'l *
80
' S
800
8 000
900
9000
90
\*y
"7
Ja
-A
50
3- 3
'6 0 0
7000
7 000 + 600 + 50 + 9.
Y UN AN (ALFABETK) SAYILAMASI
Grl : * M.. IV. yzyl
Tip : A3 (3. trden toplamal saylama: ek. 28.16). - Taban: 10.
Sfr imi gerei: Yok - Sfr imi: Yok.
Betimleme olana: Snrl (bkz. 17. Blm).
Taban rakamlar
A
1
I
10
p
100
K
20
2
A
30
T
M
40
Y
N
50
4>
200
300
400
500
70
n
80
n
90
700
800
900
r
6
tr
Z
7
O
60
X
600
rnek: 7659
N 0
--------------------- >
7 000
600
50
9
Toplama ilkesine dayanan betimleme, u ayrtrmaya gre yaplr:
7659 =
7000 + 600 + 50 + 9.
(7000 saysnn gsterimi 7 saysnn iminin sol stne ayrc bir kk im konarak elde
edilmitir).
ekil 28.11
BRAN (ALFABETK) SAYILAMASI
Grl : = M.. II. yzyl
Tip ; A3 (3. trden toplamal saylama: ek. 28.16). - Taban: 10.
Sfr imi gerei: Yok - Sfr imi: Yok.
Betimleme olana: Snrl (bkz. 17. Blm).
M
a 1 n T t n t:
*.
9 D ; D 7 fi 3
p "1 2? n
: 1 n t
Taban rakamlar
10
20
30
40
50
60
70
80
90
100
200
300
400
rnek 7659
50
200
400
7 000
UJ
Ik
1
&
T
9*
7*
A*
40
50
C
%
<
4
70
2
80
90
<y
/V
10
20
L
30
100
200
300
400
500
600
700
Ut
h
1000
u
2 000
60
4000
&
800
S
3 000
5
5000
6 000
7000
t
*
0
8000
rnek : 7659
Kk harfle :
Byk harfle:
0*
7000
600
50
9>
900
9 OOC
(=
10 X 60*)
Arkaik rakamlar
(=
600
10 X 60)
(=
36 000
10 X 602)
r
5
F
50
( = 5 X 10)
P*
500
( = 5 X 10*)
F1
5 000
( = 5 X 10)
Yunanllar rnei
Bu fikir Eskian alfabetik saylamay kullanan Yunanl matematikilerince gelitirildi.
Yunanllar onbinden sonraki saylan dile getirmek istediklerinde M harfinin (onbinin
Yunanca ad Mvpioiin ba harfi) zerine dile getirilecek onbinin saysn koyarak arpma
kuralm kullanyorlard (bkz. 17. Blm):
M
(=
OOOO
1 x 10 000)
ili
20 000
( = 2 x 10 000)
30 000
( = 3 x 10 000)
120000
( = 12 x 10000).
Araplar rnei
Araplar alfabetik saylamalannn 28 harfi yardmyla ayn eyi yapyorlard, ama daha
kk lde: 1000den sonraki saylan dile getirmek iin, 1000 deerinde olan ve dizge
nin en byk taban rakam olan gaym harfinin sana birleri, onlan, yzleri temsil eden
rakam yazmalan yetiyordu.
e
2 000
( = 2 x 1000)
&
3 000
( = 3 x 1000)
10 000
( = 10 x 1000)
c
50 000
( = 50 x 1000).
W
400
T f
7*
4 000
6 000
(-T + )
(=
100 x 4)
( = 1000 x 4)
(-7 > )
(=
1000 x 6)
10000
(-T o r )
( = 1 000 x 10)
Cn
mnm
Ptolemaios andan
n fi
77n
Eski
mparatorluk
70 000
Orta
imparatorluk
Yeni
imparatorluk
&
A*
et
90 000
200 000
700 000
*./*
1 000 000
2 000 000
tt
10 000 000
*
ta
ta*ua>
A
/t
__
10000 100000
800 + 4000 + x + x
- --------------------------- -------------- ---
1 stizgi kural:
Bu kural zerinde yatay bir izgi bulunan tm ifadeleri 1000le arpmakt:
X =
OOOO
C =
100 000
CXXVII =
2 ereve kural:
Bu kural, eksik bir dikdrtgenle erevelenmi tm ifadeleri 100 000le arpmakt:
I X
I=
1000000
I CCLX1V
3 arpma kural:
Mild takvimin ilk yzyllarna ait Latince el yazmalannda kimi zaman, Avrupa
Ortaann saymanlk belgelerinde ise ok sk rastladmz kural. 100 ile 1000in katr
lann belirtmek iin nce dile getirilecek yzlerin ya da binlerin says yazlr, sonra da
katsay ya da s yerine uygun harf (c ya da m) konur (Ref. G.H.F. Nesselmann, s. 90).
100
1000
200
300
II.C yada 11
III.C yada III'
900
V n.C yadaV l
2 000
3 000
Pliniusun Doa Tarihnden (M.S. I. yzyl) alnan rnekler (Ref. kitap VI, 26; kitap
XXXIII, 3):
LXXXIII.M
CX.M
83 000
110 000
Ortaada, zellikle kral Philippe le Belin bize ulaan en eski Hazine belgelerinden
biri olan Hazine kaytlannda ayn kullanm grlr (bu kaytlarda saymanlar Hzinenin
gelir ve giderlerini gn gnne belirtiyor, demeyi yapan ya da alan kiinin adm, gelirin
ya da giderin nasl gerekletiini yazyorlard) (M. Prou). 1299 tarihli bir kitapta, aa
daki gibi Latince kaleme alnm u ifadeyi gryoruz (Extraits du Rgistre du Trsor de
Philippe le Bel [1299], BN, Paris, Lat. el yazm. 9783, f. 3v, st. I, satr 22; ref. M. Prou,
lev. XXVII):
10
100
1 000
(= 10>)
( = 103)
1 000
1?
--------- -------
6
100
50
yp - Cjt
-cjp -<]t>
10000
100000
1000000
( = 10 X 1 000)
( = 100 x 1 000)
( = 1 000 x 1 000)
ytt y-
^ y>< t
--------------- >>
ARAMI SAYILAMASI
Grl : M.. yaklak 750
Tip : B 1 (1. trden melez saylama: ek. 28.28). - Taban: 10.
Sfir imi gerei: Yok - Sfr imi: Yok.
Betimleme olana: Snrl (bkz. 18. Blm).
Taban rakamlar (Elephantine papirs izgesi)
10
100*
1000*
10000**
( = 10*)
( = 100
( = I04)
-< > * // m
, ( 1 1 // w
50
100
______
1 000
+ (1 + 1 + 1 + I + 1 + 1) x 100
+ (10 + 10 + 10 + 10 + 10)
+ (14-1 + 1 + 1 + 1 + 1 + 1 + 1 + 1)*
ekil 28.21
Gi
1
31
10
G\d
2
6^
G0
Q t\0
g i
ic a
40
50
60
70
&
20
30
100
(-
rnek: 7659
8
80
8
90
1000
(- 103)
1
8
<38
g l
(3 1
- ->
1000
100
50
MARI SAYILAMASI
(Mezopotamyadaki Mari kenti)
Grl : M.. yaklak 2000
Tip : B 3 (3. trden melez saylama). - Taban: 100.
Sfr imi gerei:
- Melez ilke kesin olarak uygulandnda, yok.
- Aadaki yalnlatrma kural uygulandnda, var.
Sfir imi: Yok.
Betimleme olana: Snrl (bkz. 13. Blm; 23. Blm).
Taban rakamlar
T < V
1
10
<b
100
(=
1000*
10 x 100)
10000**
( = 1001)
rnek; 7659
Kurall yaz
v-
----------------------------------------7
1 000
100
50
1
9
Tmyle melez ilkeye dayanan betimleme, u tip bir ayrtrmaya gre yaplr.
7 659 = (1 + 1 + 1 + 1 + 1 + 1 + 1) x 1000
+ (1 + 1 + 1 + 1 + 1 + 1) X 100
+ (10 + 10 + 10 + 10 + 10)
+ (1 +
1 + 1 + 1 + 1 +
1 + 1 + 1 +
1).
Ksaltlm yaz
Yukardaki betimleme ou kez 100n rakamnn alnmad u yalnlatrlm
biime sokulur:
4 (1 ^ ff
76
59
--------------------------- >
/o + o + o + o + o + o + o\ /o + 1 0 + 1 0 + 1 0 + 1 0
Vi + + t + + 1 + 1
M + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1.
Baka deyile, gsterim ksmen, konum ilkesinin yz tabanna gre
uygulanmasna ynelir.
ETYOPYA SAYILAMASI
Grl : = M.O. 350
Tip : B 4 (4. trden melez saylama). - Taban: 100.
Sfr imi gerei: Yok - Sfr imi: Yok.
Betimleme olana: Snrl (bkz. 19. Blm).
Taban rakamlarn deeri
TW
r -
T
10
TW
30
20
40
TT
T
e
70
60
50
5 ?
Tr
80
90
100
10000
( = 1002)
rnek: 7659
f-T
?
10 x 100
r -r
r-
100
50
i-
Tmyle melez ilkeye dayal olan betimleme, u tip bir ayrtrmaya gre yaplr:
7 x 10 x 100 + 6 x 100 + 50 + 9
ekil 28.24
- r H H S n - t A i
1
10
100
1 060
M
10 000
-t
^
A
S
+
----------------------------------------7
1000
100
10
t
9
\_ 3 l
6
10000 =
100000 =
1 wn =
10 wn =
1 x 10 000
10 x 10000, ...
B l A f - t l H
(4 x
10* +
8 x
105 + 7 x
+ d
3 x
10 +
9) x
A B r + f
10* + 6 x
101 + 2 x
10 + 9)
TAML SAYILAMASI
Grl : M.. yaklak 600-900
Tip : B 5 (5. trden melez saylama: ek. 28.32). - Taban: 10.
Sfr imi gerei:
- Melez ilke kesin olarak uygulandnda, yok.
- Aadaki yalnlatrma ilkesi uygulandnda, var.
Sfr imi: Modem dnemden nce yok.
Betimleme olana: Yalnlatrlm olmayan dizgede snrl (bkz. 24. Blm; 23. Blm).
Tamil lkelerinde (Gney Hindistan, Palicattan Comorin Burnuna, Ghatlardan Bengal
Krfezine kadar) kullanlan dizge.
e.
rfn
ff1 (b
4 '
ffh
<sr
U)
10
100
1000
(=
(=
w
8
to3)
rnek: 7659
Kurall yaz
<sr
ffh m @ u)
----------------------------------------7
1 000
100
10
ffm
9
100 + 5 x 10 + 9
OT ffh (5 f t)
---------------->
7
<P
1
o .
2
ca
3
(3 )
5
&
4
"D
6
Od
9
7
XV
rtj
ccy*
10
100
( = 100
1 000
( = 10-)
nrt>
9
rnek: 7659
Kurall yaz
5
"3
nrt>
xu
-
1 000
100
10
)
" D ( 3 ) rrt>
--------------->
7
T T n r r ^ H ff
1
<
...
10
20
30
...
59
(Biri 1 saysn, teki 10 saysn betimleyen iki temel imden yola karak toplama ilke
siyle oluturulmu imler.
Konum deerleri
1.
2.
3.
4.
5.
am :
a m :
a m :
a m :
a m :
1
60
602
3 600
603
216 000
60* = 12 960 000
rnek: 7659
TT
2
^
;
39
[ 1+ 1 ; l + l + l + l + l + l + l ; 10+ 1 0 + 1 0 + 1 + 1+ 1+ 1+ 1+ 1+ 1+ 1+ 1 ]
* Bu, tarihin ilk konumlu saylamasdr.
IN BLGN SAYILAMASI
Gorl : ~ M.. 200
Tip : C 1 (1. trden konumlu saylama: ek. 28.37). - Taban: 10.
Sfr imi gerei: Var - Sfr im i: Var, ama ancak ge bir dnemde
(Hint etkisiyle + VIII, yzylda).
Betimleme olana: Snrl.
Temel rakamlar
1
ya da
III
ya da
ya da
ir
UT
im
ya da
ya da
ya da
IHI
II
ya da
ya da
ya da
(Biri 1 saysn, teki 5 saysn betimleyen iki temel imden yola karak toplama ilkesiyle
oluturulmu imler).
Konum deerleri
1.
2.
3.
4.
5.
a m :
am :
am :
am :
am :
1
10
10! =
10 =
104 =
100
1000
10 000
rnek: 7659
ffl
------------------------------------------7
(7 659 =
7 x 10] + 6 x O2 +
9
5 x 10 +
9)
9 1 9
1 %
10
11
12
S22&
19
...
(Biri 1 saysn teki 5 saysn betimleyen iki temel imden yola karak toplama ilkesiyle
oluturulmu imler).
Konum deerleri
1
20
18 x 20
18 x 202
18 x 201
rnek: 7659
1
1
4
lli
(7 659 =
360
7 200
144 000
1 x 7 200 +
'O
1. a m :
2. a m :
3. a m :
4. a m :
5. a m :
'
1 x 360 + 4 x 20 +
19)
MODERN SAYILAMA
Grl: * M.S. IV. yzyl.
T ip : C 2 (2. trden konumlu saydama: ek. 28.38). - Taban: 10
(nc basaman birimlerinden itibaren bir kural diilik var).
Sfir imi gerei: Var - Sfir im i: Var.
Betimleme olana: Snrl (bkz. 23. Blm; 24. Blm; aynca bkz. *Hint rakamlar, Szlk).
Taban rakamlar (bugnk izgeler)
1
2
3
4
5
Her trl dolaysz grsel algdan uzak imler
Konum deerleri
1. a m :
2. a m :
1
10
3. a m :
4. a m :
102 =
101 =
100
1000
rn ek : 7659
7659
----------------------------------------------- ->
(7 659 = 7 X 10J +
6 x O2 +
5 X 10 + 9)
SIFIRLAR VE DZGELER
BABL
HNT
MODERN
Yirmi taban. 3. ba
sam aktan itibaren
bir kural diilik
Altm taban
On taban
On tabam
mmm
<
10
yada^S yada^
Hereyden nce bo un eanlamls olan bu im, rakaml betin lemelerde belli bir
basaman birimlerin in yokluunu belirtir.
- Orta konumda
MM
- Orta konumda
- Orta-konumda
- Orta konumda
9 I
0 ]
4 ^ 0
f<W F
9
9 0 0 7
^ l o o ' l
9
0 0
JS. 7 V
9
* 7 200 +0 - MO0 * 20 7
- Son kodumda
- Son konumda
(y a ln z ca B ab illi
gkbilimcilerde)
a s
0 * 10 + 0 10 + 7
- Son konumda
- Son konumda
- t- 6
4 .
9
-^ o *
MM
9 * 10*
9 6 0 ' * 0 * 6 0 3 +060 +7
* 7 260 4 360 9 * 20 +0
^ s r e io
6
6 4 9 0
6 10* 4 x 102 9 * 10 + 0
6 - 605 * 4 - 6 0 3 * 9 ' 6 0 * 0
<V
'
640
64
10
- - >
- >
-$>
Sfr deerini ya
da yok saysn
b e tim le y e n im
(bkz. *Sfr, Sz
lk).
Tm cebirlerin ve
bugnk tm ma
tem a tiin te m e
linde bu sfr var
dr.
v e son)
Taban
Taban
m - 10
m T A B A N L I K O N U M L U S A Y IL A M A L A R IN T E M E L
M A T E M A T K S E L Z E L L K L E R
1.- Rakamlarn says (sfr dahil) mye eittir.
2.- Her x tam says, hepsi mden kk olan katsaylarla, deikeni m taban olan k -1 de
receli bir okterimli biiminde ayntrabilir. Baka deyile, herhangi bira: says
= U f a U k _ j . . . u4u3u2u!
3.- Aritmetiin drt temel ilemi (toplama, karma, arpma, blme) byle bir dizgede sz
konusu m tabanndan tamamen bamsz yaln kurallarla kolayca yaplr.
4.- Bu konumlu gsterim bir virgl yardmyla paydas tabann bir kuvveti olan lekelere
ve oranl oransz tm saylara glk ekmeden uygulanabilir.
Yardmc taban
M ISIR hieroglif
A TP
TOPLAMALI
SAYILAMALAR
PROTO-ELMGRT-------------
A l KATEGFORS
m tabanl dizgeler.
Rakamlar 1 m m2m m .
karlk gelir.
HTT ------------hieroglif
YUNAN----------orkaik
A ZTE K ZAPOTEK-
20
YU N AN akrofonik
10
-k = 5 -
ETRSK----------
-k = 5 -
ROM A-------------
-k = 5 -
GNEY ARAP -
-k = 5 -
SM ER-----------
- k = 10-
A2 KATEGFORS
m tabanl dizgeler.
Rakamlar 1 k km m2km2...ye
karlk gelir.
(k : m tabannn bleni)
Rakamlar
tamamen
serbestir.
Yan yana
konunca
deerleri
toplanr.
BRANI----------YUNAN----------KIPTI-------------Rakamlar
alfabenin
harfleridir.
10
H N T --------Brhm
10
10
ARAMI---------FENKE-------NEBATI-------PALMtRA-----HATRA----------
A3 KATEGFORS
m tabanl dizgeler.
Rakamlar u deerlere
karlk gelir:
1 2 3 ... (m - 1)
m 2m 3m ... (m -l)m
m2 2m13m '... (m-1) m2
ilek rakamlar
B1 KATEGFORS
m tabanl dizgeler.
m m'm1m m'..,
iin rakamlar. m2den kk
saylar iin toplamak gsterim.
m2m3m*...n katlan iin
arpmal gsterim.
BTP
MELEZ SAYILAMALAR
En azndan belli bir
basamaktan itibaren kark
bir ilkeye {hem toplama hem
arpma ilkesine) dayanan ve
ardk birim basamaklarnn
betimleniinde arpma
kuralm uygulayan dizgeler.
v e son )
BTP
MELEZ
SAYILAMALAR
(devam)
En azndan
belli bir
basamaktan
itibaren kank
bir ilkeye (hem
toplama hem
arpma
ilkesine)
dayanan ve
ardk birim
basamaklarnn
betimleniinde
arpma kuraln
uygulayan
dizgeler.
CTPl
KONUMLU
SAYILAMALAR
Say imlerinin
deeri saylarn
yazlndaki
konumlaryla
belirlenir. Bu
saylamalar
sfr
kullanmay
gerektirir.
Uygunluk izelgesi
(Snflama - Zamandizin)
Dizgeler
Tipler
A-B-C
ekiller*
Tarihler
Tipler
Al
A2
28.14
28.1
28.2
28.3
28.3
28.4
28.3
28.19
28.5
28.15
- Smer saylamas
28.6
28.7
16.19
16.35
28.8
A3
Yunan saylamas
Gney Arap saylamas
Etrsk saylamas
Roma saylamas
28.14
28.9
28.10
28.11
24.70
28.12
17.48
17.50
28.13
17.51
19.1
19.4
-3 0 0 0
-2 9 0 0
-1 9 0 0
-1 7 0 0
-1 4 0 0
-1 3 5 0
- 450
+ 1200
-3 3 0 0
- 500
- 450
- 650
- 500
-2 5 0 0
- 750
- 350
- 260
- 180
+ 270
+ 300
+ 410
+ 370
+ 550
+ 750
ekil 28.41A
* Soldaki iki rakam blm numaralarn, sadaki rakamlar ise ekil numaralann gstermektedir.
Uygunluk izelgesi
(Snflama -> Zamandizin)
Dizgeler
Tipler
81
B2
B3
B4
B5
Cl
C2
ekiller
Tarihler
28.28
28.20
28.21
18.2
24.54
18.2
18.2
18.2
28.29
Singhala saylamas
28.22
28.30
Mari saylamas
28.23
28.31
Etyopya saylamas
28.24
28.32
in saylamas (yaygn)
Maya saylamas (uzun vadeli tarihler)
Tamil saylamas (Gney Hindistan)
Malaylam saylamas (Gney Hindistan)
28.25
28.38
28.33
28.34
28.35
28.39
28.36
28.39
28.26
28.27
- 2350
- 750
- 550
- 260
- 150
+ 100
+ 100
+ 600/900
2000
350
- 1350
292
+ 600/900
+ 600/900
- 1850
200
+ 400/900
+ 458
Uygunluk izelgesi
(Snflama -> Zamandizin)
Tarih
Dizgeler
-3 3 0 0
-3 0 0 0
-2 9 0 0
-2 5 0 0
-2 3 5 0
-2 0 0 0
-1 8 5 0
-1 8 0 0
-1 6 0 0
-1 4 0 0
-1 3 5 0
-1 3 5 0
- 750
- 750
- 650
- 550
Smer saylamas
Msr saylamas (hieroglif)
Proto-Elm saylamas (2. dizge) (ran)
Msr saylamas (hieratik)
Asur-Babil saylamas (yaygn)
Mari saylamas
Babil saylamas (bilgin)
Girit saylamas (dorusal A)
Girit saylamas (hieroglif)
Hitit saylamas (hieroglif)
in saylamas (yaygn)
Girit saylamas (dorusal B)
Msr saylamas (demotik)
Arami saylamas
Etrsk saylamas
Fenika saylamas
500
500
500
450
350
260
260
200
180
150
100
Roma saylamas
Zapotek saylamas
Yunan saylamas (alfabetik)
Karoti saylamas (Kuzeybat Hindistan)
Brhm saylamas (Hindistan)
in saylamas (bilgin)
brani saylamas (alfabetik)
+
+
+
+
+
+
+
+
100
270
292
300
350
370
410
458
400-900
+ 550
600 - 900
600 - 900
600 - 900
+ 750
+ 1200
Nabati saylamas
Hatra saylamas
Palmira saylamas
Kipti saylamas (alfabetik) (Msr)
Maya saylamas (uzun vadeli tarihler)
Grc saylamas (alfabetik)
Etyopya saylamas
Gotik saylama (alfabetik)
Ermeni saylamas (alfabetik)
Modem Saylama (Hint kkenli)
Tamil saylamas (Gney Hindistan)
Sryani saylamas (alfabetik)
Maya saylamas (bilgin)
Singhala saylamas
Malaylam saylamas (Gney Hindistan)
Arap saylamas (alfabetik)
Aztek saylamas
Tip
Tr
A
A
A
A
B
B
2
1
1
3
1
3
1
1
C
A
A
A
B
A
A
B
A
B
A
A
A
A
A
B
A
C
A
B
B
B
A
B
A
B
A
A
C
B
A
C
B
B
A
A
1
1
5
1
3
1
2
1
2
2
2
1
3
1
3
1
3
1
1
1
3
5
3
4
3
3
2
5
3
1
2
5
3
1
1- Aada gnderme olarak verilen ekiller bazan bu kitabn 23. Blmndeki izelgelerle bazan da
bu blmn sonundakilerle ilgilidir.
2- Aada, m odem saylama deyiminden, yalnz (kullanm ksa bir sredir tm gezegene yaym
olan) bugnk yazl saylamamz deil, ayn zamanda onunla ayn yapy ve ayn olanaklar tayan
ve bugn Yakn Douda, Orta Asyada, Hindistanda, Gneydou Asyada kullanlmakta olan btn
yazl saylamalan anlyoruz. Bkz. *Yazl Hint saylamalar (~nm matematiksel snflan), Szlk.
3- Soru iaretiyle belirtilen aamalar birok ada ilkel halkn ve kk yataki ocuklarn davra
nlar zerinde yaplm budunbilimsel ve ruhbilmsel aratrmalarn sonucu olan akla yatkn yeni
den kurmalardr.
4- Mezopotamyah Smiler, kukusuz szl saylamalanmn yapsndan etkilenerek, arpma ilkesini
teki birim basamaklarna yaymay dnp, bylece tarihin ilk melez saylamasn yarattlar.
29. Blm
Aritmetikten Cebire
ya da Tekilden Ortaklaaya
30. Blm
Ayrca,
- kurallar bir vektr uzaynn elerini birletiren ya da dnt
ren vektr hesabndan;
- satrlar ve stunlar halindeki izelgelerde gerek ya da karmak
saylar zerindeki ilemlerle ilgili olan m atris hesabndan-,
- herhangi bir ilgin (afin) uzayda tanmlanm, ok bileenli, ger
ek, karmak ya da ok daha genel yapdaki matematiksel varlklarla
ilgili olan tansrel hesaptan ;
- amac iyi tanmlanm bir fonksiyonlar snfnn her esini ok
belirli bir fonksiyonla karlkllk iine sokan yntemleri incelemek
olan matematik dal fonksiyonlar hesabndan ;
- amac bir ya da birok gerek deikenli fonksiyonlarn tretme
ve trevleme kurallarn incelemek olan tretke hesabndan (diferansi
y el hesap)',
- amac bir ya da birok gerek deikenli fonksiyonlar tretkelerine gre belirlemek ve tretik denklemleri zen deikenler arasnda
ki ilikileri aratrmak olan integral hesabndan-,
- XVI. yzyl. Bu dnemde Msrllarn ilksel bir cebiri vardr. rnein yiye
cek ve eyann pay edilmesiyle ilgili, birinci dereceden denklemlerin zm
n gerektiren zmeceleri zmeyi bilirler. Ayrca temel bir cebirsel gsterim
kullanrlar. rnein hau (y111! kme) hieroglif bu zmecelerde her za
man bilinmeyeni gsterir. Bacan resim-yaz imi ise sk sk kh toplama imi
kh karma imi anlamnda (bacak simetrik biiminde olduu zaman) gerek
bir matematiksel im olarak kullanlr; ayn imge kimi zaman da karesini al
ma eylemini dile getirmek iin kullanlacaktr.
- V. yzyl. Eskia Yunan dnyasnn byk matematikilerinin ncs olan,
ancak gizemci ve gizlici bir felsefeye dalm bulunan Yunan matematiki filo
zofu Pythagorasm a. Rivyet, birinin karesi tekinin karesinin iki kat
olan iki say bulmann olanakszlnn kefediliini ona atfeder; baka deyi
le, bir karenin kegeninin kenaryla hibir ortak leinin bulunmadnn
kefediliini. Bu ise lekde olmayan saylarn kefedilii anlamna gelen,
V2wn oranszlnn kefi demektir. Modem terimlerle sylersek, oransz say
larn kefi (bunlar ne tam saydr ne de lekeli). Pythagoraslann teki
olumlu katklar ise tek ile iftin incelenii, ekilli saylar (jetonlarla ya da
boncuklarla yaplan betimlemeleri bir zeminde ya da uzayda geometrik bir bi
im alabilen saylar: kare, gen, kbik, piramit saylar...) kuramdr.
- III. yzyl. Yunan saylamasm ok byk saylarn gsterimine kadar ge
niletecek olan byk Yunan matematikisi Arkhimedesin a (Arkhimedes
rnein evrendeki kum tanelerinin saysn dile getirmek iin bu saylamay
kullanacaktr; bkz. 17. Blm). Arkhimedes ayrca n(pi) saysnn 3,14084 (=
3 x 10/71) ile 3,14285 (= 3 x 10/70) arasnda bulunduunu kantlayacak, em
berlerin iine ve dna izilmi, n ve 2n kenarl dzgn okgenlerin alanlar
n ve evrel uzunluklarn lerek n saysn belli bir yaklaklkla hesapla
may salayan geri dn bantlarn elde edecektir (bu yntem bugn Ark
himedes algoritmas adyla bilinir).
- III. yzyl. Klasik geometrinin temellerini atacak olan byk Yunan matema
tikisi Eukleidesin a. Eukleides ayrca eler adl yaptnn IX. kitabnn bir
blmn tek ve ift saylarn, asal saylarn ve yetkin ift saylarn incelenme
sine, VIII. kitabn ise lekelerin tam kuvvetlerine ya da daha iyisi, eski anla
ya gre, geometrik dizili tam saylara (nk lekeler o ada yalnzca tam
saylar arasndaki bantlar ya da oranlar olarak grlyordu) ayracaktr.
M ild takvimin dolaylan. inlilerin nemli yapt Wiu zhang suan shu (Do
kuz Blmde Hesap Sanat) adl derlemenin dnemi. Bu yapt inlilerin bu
dnemden itibaren farkl trden denklemleri ve denklem dizgelerini, fili r-
XV. yzyl.
- Islm bilginlerinin hazrlad en tam saysal cetveller arasnda bulunan tri
gonometri cetvellerinin yazar, Semerkantm aydn hkmdan Ulu Beyin;
- cebir, altml hesap ve aritmetik zerine, zellikle de ikiterimlinin dile geti
rilii, ondalk lekeler hesab, tam sl kuvvetler, ninci kkler, oransz sa
ylar... zerine nemli almalar yapan ranl matematiki Gyaseddin
Cemid al Knin a.
1478. Yazar belirsiz, klgn bir aritmetik el kitab olan, zellikle Arap ra
kamlarnn Bat Avrupada yaylna ve Hint kkenli hesap yntemlerinin
grd giderek artan ilgiye tanklk eden Trevise Aritmetikinin yaymlan. Bu yapt ayn zamanda, o gne dek szcklerle dile getirilen temel arit
metik ve cebirsel ilemler iin ksaltlm bir gsterim yaratmay amalayan
bilinli bir abay aa vurur.
1484. Fransz matematiki Nicolas Chuquet yalnz Hint kkenli sfr ve hesap
yntemlerini deil, ayrca ve zellikle negatif saylan da ustalkla kullanr
(kukusuz negatif saylar Bat Avrupaya getiren ilk kiidir). Saylamann
kullanmn kolaylatrmak iin binlerden balayarak 10un katlarnn gs
terimi iin iyice gelitirilmi bir teknik terminoloji nerir. Ayrca pozitif ya
da negatif sleri de kulland, bizim kullandmza biraz benzer bir sl
gsterim de getirir.
1487. talyan Lucas Pacioli nemli bir aritmetik ve cebir yapt yaymlar ve
orada kendisine kimi kez ikinci bir bilinmez, quantita ekledii ayrcalkl bir
bilinmezi, cosay (eyi) kullanarak, Hint kkenli hesabn balca yntemle
rini ve saysz cebirsel denklemin zm kurallarn sergiler.
1696. Marquis
kesin ispatn getirir: Bu teorem daha nce dile getirilmi, ama Gausstan nce
ispatlanmamtr. Ayrca bu teoremin sreklilik kavram, zmleme ve topolo
ji gibi saf cebire yabanc alanlara bavurmas da kendine zgdr.
1799. lev dizgesinin tm dnyada benimsenmesi sorununu tartmak zere
ilk uluslararas konferansn Pariste toplanmas. Ancak bu dizge an tm
uluslarnn benimseyemeyecei lde devrimci bulunacaktr.
1800. Alman matematiki Kari Friedrick Gauss bir gerek saylar kmesinin
en kk alt (ya da st) snrm ve eks (ya da ebas) limitini kesinlikle ta
nmlar.
1807-1822. Fransz matematiki Joseph Fourier kendi adm tayan ve mate
matik ile fiziin ykseliinde hatr saylr bir rol oynayacak olan trigono
metrik dizileri inceler.
1821. Temel fonksiyonlara ilikin kesin bir kuramla birlikte ilk kez sreklilik
kavramnn ak ve dizgeli bir aklamasn veren Fransz matematiki Au
gustin Cauchynin Cebirsel zmlemesinin yaymlam.
1821-1893. Cauchy tretik (diferansiyel) denklemler ile tikel trevli denklemle
rin zmleri olduunu ispat eder. Tretik denklemler kuramn sonradan
Lipschitz (1877) gelitirmi, ardndan Picardm (11893) ardk yaklaklar
yntemiyle kesin olarak iyiletirilmitir. Buna karlk tikel trevli denk
lemlerin zm yntemlerini biimsel bir kuram halinde Pfaff (1814-1815)
getirecek, bunlan daha sonra Hamilton (1834-1835) ile Jacobi (1837, al
malar 1866da dzeltilip biraraya getirilmitir) daha da gelitirecektir.
1826. Norveli matematiki Niels Henrik Abel eliptik fonksiyonlar kavramn
douracak olan nemli bir keifle bulunur.
1826-1829. Niels Henrik Abel ve Fransz matematiki variste Galois cebirsel
saylarn (tam katsayl cebirsel bir denklemin zmleri) kefedilmesiyle
sonulanacak olan nemli almalar yaparlar.
1828. rlandal matematiki William Rowan Hamilton karmak saylarn ilk
kesin tanmm yapar.
1829-1854. Rus matematiki Lobaevski (1829), Macar matematiki Bolyai
(1833) ve Alman matematiki Riemann (1854) Eukleidesci olmayan geomet
rileri yaratrlar.
1829. Fransz matematiki Peter Gustave Lejeune-Dirichlet kendi adn ta
yan almlarn varln ispatlar.
1- Aadaki izelgeler hibir biimde matem atik tarihinin bir zamandizini olarak grlemez. Bunlar yalnzca b
uzun evrime ilikin kk bir fikir vermee ynelik ana admlardr.
31. Blm
? insanolu bir saylama dizgesinin taban ilkesini icat ederek saylan simge
letirme sorununu zer.
- IV. binin sonu. Smerler 60 tabanl (konumlu olmayan) yazl bir saylama
icat eder.
- 1900. Mezopotamyadaki Mari kenti sakinleri ksmen konum ilkesine dayal
100 tabanl yazl bir saylama yaratr.
- 1900/-1800. Babil bilginlerinin altml konumlu saylamasnm grl (Bu
nunla birlikte bu saylamada -III. yzyldan nce sfr bulunmayacaktr.
- V. yzyl. Zapoteklerin 20 tabanl (konumlu olmayan) saylamasnm grl
. (Tamamen benzer dizgeler daha sonra Orta Amerikann baka Kolombncesi halklannca, zellikle Mayalar, Mixtekler ve Azteklerce de kullanla
caktr).
- IV. yzyldan nce. inde yin ve yang felsefesinin gelimesi.
Nota bene. - ou kez sanldnn tersine ikili hesap inin yin ve yang felsefe
siyle birlikte domu deildir.
Yin-yang dizgesinin iki enerjiyi kartlk, almama, btnleyicilik ya da et
kileim iine sokan bir kavrama dayal olduunu zetle hatrlatalm:
- bunlardan diil olan, yin, izgesel olarak kesik bir izgiyle betimlenir:------ ;
- eril olan, yang ise izgesel olarak kesiksiz bir izgiyle betimlenir: .
retiye gre, bu ilkeler Yce Tanrnn, yer ile g oluturduu dnlen
somut grnmlerinden, iki kutuplu grnmnden baka birey deildir.
Bunlann betimsel izgilerinin biraraya getirilmesi yoluyla, lemeler (rne
in 469. sayfa) yahut altlamalar (alt izginin st ste konmas) halinde do
ann nesneleriyle karlkllklar kurulmutur. rnein kesiksiz izgi et
kin taml, g, Gneyi, yaz, yaratc enerjiyi, erili ve Gnei betimlerken,
kesik izgi Yerin, Gneyin, kn, alcln, diilliin ve Ayn edilgin taml-
m betimler. Ayn ekilde iki kesiksiz izgi arasndaki bir kesik izginin olu
turduu birleim yldrm, Kuzeydouyu, bahann geliini simgelerken, tersi
rzgrn, Gneybatmn, yaz sonunun simgesidir;... (bkz. R. Wilhelm; M. Granet; K. Friedrichs, I. Fischer-Schreiber, F.K. Erhard ve M.S. Diener; J. Cheva
lier ve A. Gheerbrant).
Bu dizgeyi ilk kez daha ok Yijing (ya da bugn kullanlmayan evriyazlara
gre Yi King yahut I Ching) adyla bilinen geleneksel in kitab olan Deime
ler Kitab getirmitir. Bu kitabn derlenii ve ilk kaleme alm ise (M.. 1000
tarihini verenlerin en hayalci kabullerine karn) M.. IV.-III. yzyllardan
teye gitmez.
Bununla birlikte bu gsterimin ikili saylamayla hi ilgisi yoktur, ilgisi olma
s iin, inlilerin sfr biliyor ve bu dizgeyi yazl saylama biimi olarak kulla
nyor olmas gerekirdi, imdi, inliler saylan dile getirmek iin ondalk dizge
den hi de farkl olmayan birok baka dizge kullanmlardr. Ancak, inlilerin
konumlu bir saylamalan olduu biliyorsak da, tarihlerinin ge bir dnemine
dek bu saylamada sfr bulunmadm da biliyoruz (bkz. 21. Blm).
Zaten aada da greceimiz gibi saylamamn ve tam anlamyla ikili arit
metiin tarihi gerekte ancak M.S. XVII. yzylda balamtr.
Aynntlara girmeden, ikili saylamada saylann 0 ile 1 yardmyla yazld
n, 10, 100, 1000, 11001 ... gibi bir yazmda rakamlann bizim ondalk dizge
mizdeki gibi 10un kuvvetlerini deil, iki saysnn ardk kuvvetlerini betim
lediini syleyelim. Balca sakncas ondalk dizgeden ok daha fazla sayda
rakaml betimleme gerektirmesi olan bu saylamamn birok kolayl da var
dr ki, bunlardan biri son derece yaln bir gsterim olmasdr.
Alman filozof ve matematikisi Gottfried Wilhelm Leibnizin Omnibus ex
nihil ducentis sufficit unum (Hiten hereyi karmaya bir yeter) diye yaz
masna neden olan da kukusuz bu dizgenin yalnl ve inceliidir. Leibniz
iin bu ok nemli birok felsef gelimenin hareket noktas olacaktr.
XIV.
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0
1 0
0 0 0 0
1 1
0 0 0
1 0 0
0 0 0
1 0
1908. Ingiliz Herbert McLeod 1771 ile 1900 arasnda ondalk olmayan sayda
malar kullanm olan bilim adamlarnn bir listesini yaymlar.
1919. Ingiliz W.H. Eccles ile F.W. Jordan flip-flop adyla bilinen elektronik dev
reyi icat ederler: Bu, girilerinden birine bir gerilim uygulandnda ani ola
rak bir halden brne geen iftkararl devredir. Bu icat daha sonra ilk ikili
elektronik devrelerin yaplmasn salayacaktr.
1925. Anton Glaser (1971de gzden geirilip dzeltilecek olan) History o f binary and other nondecimal numration adl yaptn yaymlar.
1930-1940 yllan. zmleyici hesabn (calcul analytique) gelimesiyle birlikte
Batl lkelerin teknisyenleri ile mhendisleri 10 tabannn elverisizliinin
farkna vanrlar; iki halli fizik dizgeleri gerekletirmenin kolaylndan t
r de yava yava otomatik saysal hesap makinelerinin dzenlenmesinde iki
tabannn pratik stnlklerini kefederler.
Nota bene. Bu makinenin dzenleniinde taban bir saylama dizgesinin dzenleniindekiyle ayndr. Teknik adan 2 taban ondalk tabandan daha el
verilidir, nk byle bir hesap makinesinde tabann oluturucularnn say
s (on yerine iki) nemlidir. Ancak ikili saylamann en hatr saylr stnl
arpm cetvelindedir, nk arpm cetveli ondalk dizgedeki gibi on satr
ve on stundan oluan iki girili bir cetvel yerine, una indirgenmitir:
X
32. Blm
Balangcndan Bilgisayarlarn
Ortaya kna Dek Yapay Hesabn Tarihi1
yle bir say bulun ki, kbne 84 eklendiinde 37le arpmna eit
olsun.
Fark 133 olan iki kare bulun.
Ayanca hesap yeteneklerini Burkhardtn 7 000 000 ile 10 000 000
arasndaki saylann asal blenleri izelgesinin belirlenmesi iin kulla
nan Zacharia Dahseyi unutmayalm.
M. dOcagne ayn trden birok nlnn bir listesini verir: Sekiz
yandayken, Floransada, talyaya nc yolculuu srasnda (1664)
Balthasar de Monconysi hayran brakan gen Lorrain Mathieu Le Coq;
Mme de Genlisin dediine gre, Restauration salonlannda, konuma
grltleri arasnda en karmak ilemleri zihinden yapan Mme de
Lingr; XVIII. yzyln sonunda krk be yanda okuma yazma bilme
den len, Virginia Eyaletinden zenci kle Tom Fuller; Tyroll oban Pi
erre Annich; ngiliz harmanc Judeiah (ya da Zerald) Buxton; Viktoriadan Londraya uzanan doklan yapan, Instution of Civil Enginersin
bakan olan ve hesap yeteneklerini ksmen olu Georgea aktaran Bid
der; hesabn yan sra dil renmeye de byk bir yatknl bulunan sicilyal oban Vito Mangiamello; Rus Ivan Petrov ile Mikhail Cerebriakov; Oxford niversitesi nnde ilgin bir deneye konu olan Vinler...
M. dOcagne unlar ekler: ocukluunu hayvan srlerini gde
rek geirmi olaanst hesaplayclann saysna amamak olanak
lan zme sanatn, yaln alm her sorunun zm iin gereken btn denk
lemleri veren genel formllere indirgemeyi nerdim... Bu yaptn baka bir ya
ran olacaktr: Mekaniin sorunlannn zmn kolaylatrmak iin o zamana
dek bulunmu farkl ilkeleri ayn bak asyla ortaya koyacak, karlkl balann ve bamszlklann gsterecek, doruluklan ve yaygnlklan konusunda
yargda bulunmay olanakl klacaktr.
Bylece koca bir retiler btn olarak kurulan kuramsal mekanik son
olaanst atlmn gsterebilmitir (bkz. Bouveresse, Itard ve Sall; T. de
Galiana).
Elbette mekanik tekniklerinin ilerlemesi hesabn mekaniklemesinin geli
mesine yol amtr. Ancak bu koullarda, kuramsal mekaniin ilerlemesininin
bu eitli mekanik elemelerin bilimsel olarak incelenmesine ne lde izin
verdiini, hesabn glkleriyle kar karya kalan insann, yzyllar nce, ma
tematik ilemlerini yaparken kendi zihninin yerine ok belirli yntemleri koy
maya altn da grm oluyoruz.
Tarihin lk Toplayclar
Bununla birlikte Pascalin aritmetik makinesi ile Schickardn He
sap Saati dorudan doruya rakamlar kullanan ilk mekanik aygtlar
rnein bir yaya bu leti kemerinin sol yanma takyor, kolu da bir
iple sa dizine balyordu. Att her admda alt kadrann dili bir biri
mi gsteriyordu. Sonra 9dan Oa geildii anda onlar kadrannn dili
kendiliinden bir sonraki dereceye geiyordu. Bu dil de 90dan Oa ge
erken yzlerin kadran bir derece ileri gidiyordu...
Her basaman birimlerinin mekanik olarak aktarlmasn sala
yan admlerler hem Schickard ile Pascalin makinelerinin, hem de
gnmzde evde ya da sanayide kullandmz sayalarn, taksimet
relerimizin, bilet aygtlarmzn, damga aygtlarmzn gerek atalar
n olutururlar.
Ama bu Schickard ile Pascalin baarsnn deerini hi azaltmaz, n
k bu aygtlar gerek hesap makineleri deildir, bir birimden tekine
gemek gibi ok ilkel dzeyde tek bir ilem yapan aygtlardr. zetle sy
lersek, eitli ilkel saym ve dkm teknikleri aritmetik hesabn tarihin
de neyse, admlerler de yapay hesabn tarihinde bir bakma odur.
Leibnizin Makinesi
1673te tasarlanan, ama ancak 1694te yaplan Leibnizin makinesi
tm temel aritmetik ilemlerini tamamen mekanik yollardan yapabi
len ilk hesap makinesidir.
Ancak onun makinesi, Pascalinkinin tersine, 1704te ikinci bir r
neinin yaplm olmasna karn, hibir zaman ticarlememitir. Le
ibnizin makinesinin hibir zaman iyi ilemediini de ekleyelim: Saat
mekanii o ada gvenilir ve amaz bir hesap makinesi yapmak iin
gerekli yksek tamlk derecesine henz ulamadndan, Pascalinkinden ok daha karmak olan dzenekleri byk retim glkleriyle
karlamtr.
Ama elbette Leibniz, mekanik hesabn gelimesine Pascalden ok
daha fazla yol am bir kiidir. Teknik dzeyde ok sayda yeni kav
ram getirmitir: Toplamadan nce bir sayy yazmaya yarayan kayde
dici', bir kayt gezi\ bir srekleyici; sabit konumda toplama ve karma,
sola dnk hareketli konumda arpma, saa dnk hareketli konumda
blme yapmaya yarayan bir aryo; her biri kendi ekseni zerinde gidip
gelen ve on bamsz arkn yerini deitiren farkl uzunluklarda di
lerden olumu bir kasnaklar dizgesi;...
zetle, Leibnizin katks byk olmutur, nk XX. yzyln ba
na dek uzanan srekli bir icatlar dizgesinin kkeninde o vardr.
Bir sonraki kuaktan itibaren birok mucit yava yava Pascalin fi
kirlerinden uzaklaarak onun izine dm, onun yaptna az ya da
ok nemli ayrntlar olan iyiletirmeler getirmitir. unlar sayabili
riz: talyan Giovanni Poleninin 1709da gelitirdii, eitli saylarda
dileri olan dili arkn icadna damgasn vuran makine; AvusturyalI
Antonius Braunun makinesi (1727); Alman Jacob Leupoldun 1727de
kendisinin tasarlad, 1728de Antonius Braunun gelitirdii, 1750de
de Vayringe adnda bir mekanikinin yapt makine; Alman Philipp
Matthas Hahnn 1770de gelitirip 1774den 1820ye'dek dizi halinde
yapt makine; ngiliz lord Stanhopeun iki hesap makinesi (17751777); Alman Johann Hellfried Mllerin makinesi (1782-1784);...
Feltin Saycs
Gerekten ie yarar ve halk tarafndan kullanlabilir olan ilk tulu
toplama makinesi, Amerikal sanayici Dorr E. Feltin 1884-1886 ara
snda icat edip yapt makinedir. ok rakaml saylarla hzl ve gve
nilir hesap yapabilen bu makine 1887den itibaren Chicagodaki Felt
and Tarrand Manufacturing Company tarafndan retilip ticarileti
rildi ve o tarihten balayarak XX. yzyln bana dek dnyada ok b
yk bir baan kazand.
yan iki paraya ayrmay zorunlu klar). Sfra geri dnmek iin bir
halkann kaldrlmas yeter.
Bollenin Makinesi
lk benzinli otomobilin mucidi (kardei Amade ile birlikte) ve
Mansm 24 saati adyla bilinen ilk spor gsterilerinin dzenleyicisi
olan Fransz Lon Bollenin 1888de tasarlayp yapt bu makine en
ok tannan, en ok dikkati eken, en yaygn makinedir.
Gerekten ilevsel bir dzenekle donanm olan bu makine ok
rakaml saylar zerinde alabilen ilk dorudan arpma makine
sidir. Doal olarak toplama ve karma, blme ve hatt faiz hesab
-ya da kare kk hesab yapabiliyordu. Ancak arpma iin ann s
radan hesap makinelerine gre ortalama %80 zaman tasarrufu
salyordu.
Bollenin incelikli fikri, bir arpm cetvelini betimlenen birimlerle
oranl byklklerde org borular gibi, maden kulaklar gibi elik bir
levha zerine akarak maddletirmekti. 5 mm uzunluunda olan en
kk uzant birime, 10 mm uzunluundaki ikinci uzant 2ye kar
lk geliyor, bu byle 5 x 9 = 45 mm uzunluunda olan dokuzuncu biri
me dek geliyordu. 9 satr ve 9 stuna blnm olan levha duruma
gre bir ya da iki kulak araclyla l den 9a kadarki eitli arpm
larn sonucunu veriyordu. Bundan tr, eitli ara arpmlar iin,
makine, bir dme ve dili hareketiyle ve levhann tamamen kald
rlmas sayesinde arpmay gerekletirerek kendi Pythagoras cet
velini biraz arpm cetvelini okuyan bir kr gibi okuyordu.
Dnemin cidd bir kitapnda unlar gryoruz: Aadaki r
neklerde grld gibi, makine, usta bir iletmenin almasyla, 100
blmeyi, 120 kare kk ya da 250 arpmay tam olarak yapabiliyor:
10 000 000 000 000 000 000:1000 000 000 = 10 000 000 000
da Alman irketi V.E.B. Bromaschinen Werk Smmerdann Leipzigde rettii, iki grlr toplaycs olan nl Superautomatic Sasl
IIc de bunlar arasnda bulunur. (Jacques Chauvinin bize ilettii ka
taloga gre bu makinenin kimi zellikleri unlardr: Tam otomatik
arpma, 10 tulu zel bir klavye zerinde arpann yazl, arpan
yineleyen ve bylece bir dizi ardk arpma yapmay salayan bir
aygt; tam otomatik blme; blnenin aygttaki belirli yere otomatik
yazlmas; arpma ve blmede hesaplaycnn otomatik silinmesi;
arpma ya da blme bittiinde klavyenin otomatik silinmesi; aryo
nun otomatik olarak balang konumuna dnmesi; eitli ara ar
pmlarn tam otomatik toplanmas; dorudan karma; istenirse, virgll bir saynn ondalklarnn tam otomatik olarak yuvarlanmas;
nakil;...)
zetle, elektromekanik bylece en iyi sonu veren, en hzl, en ke
sin, en gvenilir hesap makinelerini yapmay ve aritmetik hesabn
mekanik olarak gerekletirilmesindeki glklerin en yaln, en elve
rili, en ho biimde zmn olanakl kld.
zenei ve bir ya da daha fazla hesap aygt. Bunlarn ana amac, doru
dan klavye zerinde gerekli komutlar vererek, basit bir toplama liste
sinden daha karmak saymanlk belgeleri karmakt. Bundan tr
fatura kesme makineleri ile yazar kasalardan tretilmi saymanlk ma
kineleri ok zel makinelerdi (bkz. J. Favier ve R. Thomelin).
- lk n ed en , m a te m a tik s e l z m le m e d e h a tr sa y lr e itlilik te
fon k siy on b u lu n m a s, b u n la r zm ek iin y a p a y m od elletirm ey i g er
ek letirm e g ere in in olm asyd;
- kincisi, fizik te k a rla la n fon k siy on la r z m ley ici b ir b iim d e
ta n m la m a n n o u k ez o la n a k sz olm asyd;
- n c s , d ifera n siy a l y a d a tik el t rev li ceb irsel den k lem lerin ,
m a tem a tik in in k a rsn a b iim sel y n tem lerle z lem ey en soru n la r
k a rm a sy d .
B ilim a d a m la n g l a m a k iin b irib irin d e n ok fa rk l ik i a r a
trm a y o lu tu ttu rd u la r. B ilim ile te k n o lo jin in ile rle m e si sa y esin d e de
so n u n d a b irib irin in k k te n k a rt o la n ik i h e sa p tek n i i g elitird iler:
- b ir y a n d a a n a lojik h e s a p ;
- te y a n d a y a p a y sa y sa l h esap.
ok kesin bir yapay hesap teknii kullanmay giderek daha byk bir ge
reksinim haline getiren bilimsel sorunlarn durmadan artan bir biimde karma
klamas analojik yntemi otomatik saysal hesapla birlemeye gtrmtr.
Analojik bir hesap makinesinin iki dizgenin biribiriyle bilgi alveriinde bulu
nabilmesi iin uyulmas gereken birtakm kurallara uygun olarak bir bilgisaya
ra baland melez denen hesap otomatlar byle domutur.
Grece yakn bir zamana dek bu hesap makineleri zellikle simlasyon ala
nnda, rnein kimyasal srelerin aratrlmasnda ya da uu simlasyonu
problemlerinde yahut uzay motorlarnda hl bir uygulama alan buluyordu.
Ancak elektroniin ykseliiyle birlikte, zellikle de yksek younluklu mikroilemciler teknolojisinin gelimesinden beri, saysal hesap makineleri ve bil
gisayarlar bugn btn pratik uygulamalaryla analojik makinelerin ve melez
yntemlerin hepten yerini alma eilimindedir.
bir hesap yapmak iin elbette ilk olarak yaplmas uygun olan 175 +
123 toplamnn verilerinin girilmesi gerekiyordu; sonucu aldktan son
ra bu sonucun kbn almak iin onu yeniden makineye girmek gere
kiyordu. Sonra 146 - 23 karmasnn verilerini girmek, sonucu almak
ve bu sonucu karesini almak zere makineye girmek gerekiyordu. Ar
dndan yeni sonucu not etmek, blmeyi gerekletirmek zere nceki
iki sonucu yeniden girmek gerekiyordu; son sonu alnnca problemin
zm elde edilmi oluyordu.
Thomasn aritmometresi zerinde basit bir blme iin birok ilem
yapmak ve dzenei birok kez dndrmek gerektiini bildiimize g
re, byle bir ilem de onlarca mdahale ve onlarca dzenek turu ge
rektirecekti.
Dolaysyla bu srekli bir hata kayna oluturuyor, ilem aknda
hatr saylr bir zaman kaybna neden oluyordu.
Bu byk kusur nasl giderilir? Byle bir makine en kk hareket
lerini yneten bir kumanda sistemi kullanarak nasl kendi kendini i
leten bir makine haline getirilir? zetle, tek bana, yani insann hi
bir mdahalesi olmadan, nceden belirlenmi bir sreci izleyerek zin
cirleme ilem yapabilen bir makine nasl tanmlanabilir?
Bu, kabaca, gnmzn terimleriyle, XIX. yzyln banda kimi
bilginlerin girdikleri mantksz bahisti, ite bu iinden klmaz soruna
zm aray, sonunda bilgisayarlarn icadna giden yolu amtr.
Elbette bu bir gnde olmamtr. Biribirinden ayr birok giriimin
sonucudur. Bu giriimlerin ilki de insann ok eski zamanlardan beri
her parasyla canl bir varlk, baka deyile, insann ya da hayvann
hareketlerini yapay olarak taklit edecek bir varlk yaratma ddr.
lk Yapay Otomatlar
Dorusu, ortaya konan soruna ilk zmler, grnte hesapla ba
olmayan bir alanda, insan tarafndan yaplm ve kendi kendine hare
ket etme yeteneiyle donanm fizik sistemler ya da yapay otomatlar
alannda bulunmutur.
Kendi hareketleriyle kendiliinden tepki gsterme eilimi bulunan ay
gtlar Eskiadan beri inlilerce gelitirilmiti. skenderiyeli Yunan mekanikileri de byle aygtlar gelitirmiti. skenderiye okulunda Ctesibios, Arkhytas, Bizansl Heron, skenderiyeli Heron gibi saygn adlar vard
ve bunlar ok ileri mekanik teknikler kullanmlard (bkz. 25. Blm).
mekanik bir saat de alm. Suyun akyla ileyen bu saatte her saat
banda oniki kk tun kre alttaki bir tasa derek tnlama yarat
yor, oniki kapdan oniki atl karken teki oniki kapy kapatyormu.
Bu saatin varr varmaz kurulup iler duruma getirilmesi iin, halife
nin elileri arasnda teknik bilgileri olan birinin bulunmas gerekiyor
mu (bkz. Woepcke).
Yine, saati Al Horasnnin (XII. yzyln sonunda byk am Ca
misinin Cmle Kapsna yapt saatle nl) baarsndan da sz ede
lim: Bu saat, zel olarak uyarlanm dzenekler sayesinde, yalnz g
nn saatlerini deil, (bu bir yeniliktir) gecenin saatlerini de gsteren
bir su saatiydi.
Szn ettiimiz devrim zellikle baka tip bir otomatta gerekle
mitir ve bu da tamamen Iranl mekaniki Al Cazzarinin katklar sa
yesinde olmutur. Al Cazzarinin yukarda andmz yapt, yle gr
nyor ki, o gne dek bilinmeyen aygtlardan sz ediyordu. Bu yapt as
lnda bir eit delgi kolunun dairesel hareketini datm organlarnn
alternatif bir hareketine dntren ve zellikle dili aa kullanarak
ynetilen gerek otomatlarn betimini yapar. Bu otomatlar, teknik d
zeyde, Yunan-Roma geleneinden gelen otomatik hareketli basit aygt
larn kavramyla gerek bir kopuklua iaret eder.
Bir kumanda dzeneiyle nceden belirlenmi bir srece uygun bi
imde otomatik olarak -dolaysyla insann hibir mdahalesi olmadan- zincirleme ilemler yapabilen letler olan Al Cazzarinin otomat
lar Avrupada Ortaa sonunun otomatik saat alglar ile an vurgu
larnn atalaryd ve uzaktan da olsa, bir lde XVIII. yzylda Bat
Avrupada ortaya kacak olan ok gelimi otomatlarn ilk biimlerini
oluturuyordu.
Avrupada bilinen ilk otomatik saat algs 1321de yaplm olan
Rouendeki Sainte-Catherine manastnndakidir. Avrupada bilinen ilk
an vurgularna (bir kuleye yerletirilmi, bir an, bir rs ya da baka
bir nesne zerinde saatleri vurmak iin bir kumanda organyla yneti
len heykelcikler) gelince, onlar da 1332de Courtraide yaplmtr. Bo
urgogne Dk Philippe le Hardi onlar 1383te Dijona gtrmtr ve
bugn hl oradaki Notre-Dame Kilisesindedirler.
Ayrca 1340a doru Cluny manastrnda yaplan nl gkbilim saati
ni de belirtelim. P. Lorain bu saati yle betimliyor bize: Bu koca maki
nede yl, ay, haftay, saati ve dakikalar gsteren bir takvim grlyor
du; bayramlar, her gnn ayinlerim, Gnein hareketlerini (sic), yldz-
lk Kalan Makineleri
Ancak otuz yldan daha ksa bir sre sonra, fikir onu gerekle
tirmeye kendini verecek olan byk bir mucitin kafasnda yeniden
canland.
Vaucansonun Otomatlar
Sindiren rdek (1738de yapld, 1879da bir yangnda yok oldu) ko
nusunda birok tank, Vaucansonun kendisinin geree ok yakn bir
rdek yapmak istediini anlatmakta olduunu doruluyor:
Eldeki yemi almak iin boynunu uzatyor, yutuyor, sindiriyor, haz
medilmi olarak bilinen yollardan dar atyor; yemi telala yutan ve
midesine indirmek iin boaznn hareketini hzlandran rdein tm
jestleri gereinin ayn (bkz. A. Doyon ve L. Liaigre).
Yine de unu belirtelim ki, Vaucanson fiziksel hareketleri taklit et
meyi baardysa da sindirimin taklidinde birtakm hileler vard.
Ancak bu, Vaucansonun otomatlarnn yeni kavramlar uygulama
ya sokan ok ilgin yaratlar olduu gereini deitirmez. J. Perriault
yle diyor:
Bunun bo bir elence olduu dnlse de, aratrma politika
larnda kesinlikle nc olan Vaucanson ile koruyucusu XV. Louisnin byk bir tasarlar vard: Kan ve lenf dolamyla, solunu
muyla tam bir insan yapmak. Elbette bu giriim baarszla ura
yacaktr ama byk modelin damarlarn oluturan boru biiminde
kauuk kullanmn o icat etmitir. Bilgisayar biliminden henz ok
uzak isek de, bu baarlarn bu konu zerinde dnceyi beslediini
syleyebiliriz.
Vaucansonun yaratt hayvanlarn olaanst bir gereklii var
dr. Bu ite yle ustadr ki, Marmontel ondan, oyunlarndan biri iin,
trajik anda kahramann gsn sran bir engerek ylan yapmasn
istemi. Btn Paris oyunu deil ylan grmee gelmi...!
Bu geree yaknlk yaznsal betimlemeye ok elverilidir, ama -bu
bize ok nemli grnyor- bir mekanik kurmaya hibir zaman izin
vermeyecektir. Vaucanson yaznsal betimlemenin yerini tutan ve ma
kineler yapmna izin veren zmleyici bir betimleme tarz yaratr, ya
da daha iyisi, gelitirir.
te yandan bu ykde karanlk kalan bir nokta vardr. Vaucanson
soylu bir aileden geliyordu ve makinelerini kendisi yapmyordu. Bu ii
Jaquet-Drozun Otomatlar
nsan biimli otomatlar alannda Aydnlanma anda gerekletiri
len baka bir ilerleme de 1770e doru isvireli Pierre ve Henri-Louis
yun makinesinin ibresi delikli bir karttan geerek bu tpe girince oto
matik olarak kalkar. O zaman grevli btn gzler kapalyken bir ta
nesinin tamamen ak olduunu grr ve otomatik olarak seilen kart
araya yerletirir...
Makinenin ve kartn roln grdmze gre imdi ilemin bt
Knutsenn dakikada 120 satrlk bask salayan yazc aygt; alfasaysal bask bei.
00000
00000
99999
00000
00000
99999
00423
00511
99912
Babbagen Makinesi:
Teknik Bilgiye Gerek Meydan Okuma
zmleyici Makinede ierilen dncelerin somutlatrlmasna
dnersek, Babbagen yaad teknik glkleri kolaylkla tasarmla
yabiliriz. nl ncelinin almalarna gerek deerini vermeyi her za
man bilmi olan spanyol mhendis Leonardo Torres y Quevedo (15821936) 1914te Babbage hakknda unlar sylemitir:
Gz nne alnmas gereken ok sayda dzenek, bunlar arasnda
kurulmas gereken bir sr ba, bu balan her an deitirmeyi sala
yan aygtlara sahip olma gereklilii, dzenekler biribirini rahatsz et
meksizin btn biraraya getirme gl, sayabileceimiz bir sr
baka pratik glk sorunu yanma yaklalmaz klmaktadr.
O sorunun zerine gitmek iin Babbagem mekanik dehs gerek
mitir ve Babbage sorunu zmek iin zeksn ve gcn, kendi paras
n ve lkesinin parasn harcam olmasna karn, cesaret verici sonu
lar elde edememitir.
Babbagen, zmleyici makine tasansna giritii zaman, tama
men olaan d bir kuramsal hazrl vard... Mekanik bir gsterim
dizgesi hazrlamt; bu dizge byk bir almay temsil ediyordu.
hibir zaman bilemeyeceiz. Buna karlk bildiimiz u ki, Reichsfhrer ve onun korkun Gestapolan Alman bilimsel ortamn ksrlatr
m, yok etmilerdir.
Ne mutlu bize ki III. Reichn barbarl ngrld gibi binyllarca srmedi! zmleyici hesabn tutkunu olan Zuse ile meslektalan
lkelerinin yetkililerinden bekledikleri etkili destei gerekten alm
olsalard gerekleecek olan felket senaryosunu dndke tir tir
titriyoruz...
Elektronik Devrim
Elektroniin tarihi Alman Heinrich Geissler (1815-1879), Julius Plcker (1801-1868) ve Johann Hittorfun (1824-1914) katklaryla belirlenen
zorunlu hazrlk almalaryla birlikte balamtr. ngiliz William Crookesin (1832-1919), Fransz Jean Perrinin (1870-1942), ngiliz Joseph
Thomsonun (1856-1940) ve rlandal George Stoneyin (1826-1911) al
malaryla devam etmitir. Bu aratrmalar elektron denen parack fizi
inin gelimesini salamtr.
Ancak, 1897de Alman Kari Ferdinand Braunun (1850-1918) yapt
katot nl sahmmlerin kefi dnda, tam anlamyla elektronik tekno
lojisinin tarihi 1883te Amerikal mucit Thomas E. Edisonun (18471931), bo bir tpn iinde scak bir elektrottan souk bir elektrota akm
geebildiim (tersinde olmaz) ve ince bir metal tel zerine akm gnderil
diinde telin snarak serbest elektronlar yaydm kefetmesiyle balad.
NAZ ALMANYASI
A lm a n m etin leri (em irler, yn ergeler,
b ilg ile r ,...) ak yazyla
NGLTERE
Alman ifreli mesajlarnn
ngilizlerce alnmas
___________ \____________
RADYO ALICI STASYONLARI
-------------^
------------------
___________ ____________
E N IG M A m akineleri (Alm an ifrelem e
dizgelerinin anahtarlaryla ilem ter
sine doru yaplr ve N azilerin gnder
dii ifreli m esaj ak yaz haline
getirilir)
i
Alnan Alman mesajlarnn
yeniden beklenmesi
i
Metinlerin uzakyazclarla
aktarlmas
A lm an m esajlarnn ifresinin zm
i
M ttefiklere aktarlan bilgiler
e k il 3 2 .1 - k in c i D n y a S a v a n n s o n u n d a r a d y o la r la v e e le k t r o n ik h e s a p
m a k in e le riy le ifre sava. Y a z a rn R. L ig on n ieree [1] d a y a n a ra k y a p t izelge.
Code and Cipher Schoolun bir ekibi, M.H.A. Newman ve T.H. Flowersin ynetiminde Colossus adyla bilinen ifre zc gl makine
leri yaptklar zaman gerekletirildi (bkz. R. Ligonnire, in: In Pr, no
24, Haziran-Temmuz 1984, s. 97 vol.; ayrca bkz. Good; Lavington (2);
Metropolis, Howlett ve Rota; Michie; Randell [1]).
1943ten itibaren byk bir asker gizlilik iinde retilen bu maki
neler yapsal bakmdan Alman ifre dizgelerinin kod anahtarlarn be
lirlemek ve ifreli metinleri ak metin haline getirmek zere mantk
problemlerini zmek iin tasarlanm tam elektronik zmleyici ikili
hesap makineleriydi. Ama, Nazilerin aralarnda nl Enigmanm da
bulunduu gizli yaz makineleri alannda gsterdii ilerlemeyi hzla
yakalamakt (bkz. ek. 32.1).
Baka zelliklerinin yan sra bu makinelerin u zellikleri vard:
- kili mantksal hesaplar yapabiliyordu;
- koullu atallanmalarla donatlmt;
- ilem sonularn otomatik olarak (elektrikli) yaz makineleriyle
yazabiliyordu;
- nceden verilmi ilevleri yerine getirmek zere belirlenmi prog
ramlar kaydedebiliyordu;...
Ayrca belirtelim ki, atma srasnda ngilizler aldklar 75 000
mesajn ifresini zmlerdir. Btn asker harektlar elde edilen
bilgilerin ilenmesiyle yaplmtr. Savatan sonra kimi lkeler ifrele
me iin hl Enigmaya benzer makineleri kullandndan, ngilizler
bu eit ifre zmnn elektronik [zmleyici] hesap makineleriyle
yaplabildiini aa vuran her trl bilgiyi yasaklamlardr (R. Li
gonnire; in: Ordinateurs, 19 Kasm 1984, s. 42).
kaldrmak amacyla ilk balamndan koparlan, Yunan ve Arap mekanikilerinin baarlarndan XX. yzyln Batl uzmanlarnn baarla
rna dek uzanan otomat teknikleri bilimi;
2- madd gerekliin farkl dzeylerde gzlenmesinden yola kan,
mantk ve matematik temeller zerinde genel ve soyut olarak kurulan
insan zeks ilemlerinin modelletirilmesi',
3- ilk kez Aydnlanma yzylnn Avrupal mucitlerince (Vaucanson,
Von Knaus, Jaquet-Droz ...) mekanik olarak gerekletirilen, kumanda
kurallaryla ykl organlar btn olarak tasarlam ve matematiin
daha sonra daha biimsel ve ok daha kesin bir stat kazandraca
dizgeler olmutur.
Bylece otomatik yapay hesap yolunda hereyden nce aritmetik
hesaplarda uzmanlam birok otomatik hesap makinesi yaplm
tr.
Ancak bu makinelerin yine de byk bir kusuru olmutur, nk
zincirleme bir ilem srasn gerekletirmesi gereken kii birok kez
ilem akna mdahale etmek zorunda kalmtr: Verilerin dnda
btn ara sonulan da art arda elle yazmak ve bunlan aama aama
yeniden makineye geirmek gerekiyordu.
Elde edilen makine sral trden olduu iin bu yol iyi deildi: Gk
bilim saatlerinde, otomatik saat dzeneklerinde kullanlan kavramla
ra geri dnmek gerekiyordu.
te en az insan mdahalesiyle, nceden belirlenmi bir kumanda
organ srecini izleyerek zincirleme ilemler yapabilen otomatik ve s
ral hesap makineleri fikri buradan dodu.
Ancak sabit ynergeli hesap makinelerinden kanmak gerekiyordu.
Bunlar Babbagen kalan makineleri gibi i dzeneklerle btnleik
bir iletim organ tayordu. Bu dizgelerde esneklik olmadndan an
cak tek bir ilem tipini (yapsal olarak hangisi iin tasarlandlarsa
onu) yapabiliyorlard; stelik yaplacak her ilem sras iletim aygt
nn nceden ayarlanmasn gerektiriyordu.
Ama ayrca kumandas i dzenein maddi yapsndan bamsz
olmayan deiebilir ynergeli hesap makinelerinden de kanmak ge
rekiyordu: rnein XX. yzyln ilk yarsnn klasik elektromekanik
hesap makinelerinden (Monroe, Mercedes-Euklid ya da Supermetal)
yahut 1930 ve 1940 yllarnn (Logabax tipi) otomatik saym maki
nelerinden ve yine programlanabilir olmayan drt ilem makinele
rinden...
ekil 32.2A*
Otomatik mekanik
tekniklerinin gelimesi
Elektrik tekniklerinin
gelimesi
Mekanik ve elektromekanik
teknolojilerinin gelimesi
izelgeleleyiciler
Ayklayclar
Smflayclar
oaltclar
Delgi
makineleri
Delikli kartl
hesap makineleri
eviriciler
Veri salama
makineleri
Mekanografik makinelerin
yetersizlikleri
mas gereken ilemi, ikinci say ilemin ilgili olduu niceliklerin bel
lekte bulunduu konumu, nc say ise sonularn yerletirilmesi
gereken bellein tam yerini belirtir. Bu say ynergede biribirinin
yanna yerletirilir. Dolaysyla ynerge kendini tek bir say olarak
gsterir ve bir veriyi dile getirir. Bellek kapasitesinin artmas ise y
nergeleri bellee yerletirme yollarn geniletecektir.
Bu zmn saysz yarar vard, ilki hesaplar hzlandrmasyd.
Dorusu [elektronik bir zmleyici makinede] bellek ile hesap birimi
arasndaki aktarm elektrikle salanrken, makinenin giriinde rne
in delikli bir kart zerindeki okumada ok daha yava olan mekanik
yntemler kullanlr.
Baka bir stnlk de ynergelerin artk veriler gibi ilenebilmesiydi. Gerekten, bir programn ayn parasn bellein farkl yerlerine
yerletirilmi farkl verileri ilemek iin birok kez yeniden gerekle
tirmek olanakl hale geliyordu. Artk her ilemde bellekteki yerlerinin
ne olduunu belirterek ynergeleri makineye yeniden girmek gerekmi
yordu. Her temel ynergede ilenecek niceliklerin deerinin bulundu
u bellek adresini deitirmek, dolaysyla bu yere karlk gelen say
y deitirmek yetiyordu. Bir nesneye bir bellek adresi vermek anla
mna gelen adrese gnderme ve bu eylemi gsteren adresleme (ngiliz
cede: adressing) buradan gelir.
Bellekte ynerge kullanmnn baka bir stnl de bir progra
mn kimi paralarn otomatik olarak atlamann bundan byle olanak
l hale gelmesiydi.
Bylece makineye verilen incelii anlamak kolaydr. rnek ola
rak 1 + 2 + 3 + .. , n = n ( n + 1) / 2 formln kullanmadan ilk 100
tam saynn toplamasnn [programlanabilir olmayan] hesap makine
siyle yapldn dnmek yeter. Durmadan toplama komutu ver
mek, elle yeni verileri yazmak gerekir ki, bu, kaytl program olan
bir makinede tamamen otomatik olarak yaplacaktr...
[Zaten] Bilgisayar, kaytl programl evrensel [zmleyici] bir he
sap makinesidir. nsann mdahalesi olmadan -Babbage makinesin
den treyen teki makinelerden temel fark budur- kendisine iletilen
her algoritmik ilemi kendi kendine yapar.
Bir bilgisayarda kumanda biriminin iletim programnn akn
denetleyebilmek, gerekli adres deiikliklerini yapmak, gerekletiri
lebilir ynerge admlarn aramak iin hatr saylr lde gelimi ol
mas gerekir.
lk Temel Dzenek:
Sfr ve Konumlu Saylama
Kendimizi yineleyecek olsak da, ilkin bu baarnn Hint kkenli konumlu saylamanm dnda aklanamayacan vurgulamak yerinde olur. Bu saylamann kefedilmesi, saysz temel sonularnn yan sra, grnte biribirinden
ayr olan ok sayda kavram birletirmeyi, dolaysyla da bu temeller zerinde
o zamana dek tasarlanmakta olan genel kuramlar kurmay olanakl klmtr.
Bu ok nemli yenilikte, yalnzca saylarn konumlu yazlnda eksik olan
konumlarn boluunu dile getirmekle kalmayan, bir szck, bir izge ya da sim
geden daha fazla birey olan sifinn kefinin byk nemini belirtmeden geemeyiz. Sfir, ayrca ve zellikle hem saysal bir kavram ve aritmetik ilemci olarak
hem de matematiksel sonsuzun tamamen tersi olan ve ayn zamanda tam say
lar, lekeli saylar, gerek saylar, karmak saylar... kmesine ait olan bir sa
y olarak tasarlanm bir kavram yaratmtr, (bkz. 27., 28. ve 30. Blmler).
Bu temel kavram bugnk matematiin btn dallarnn kavutuu nokta
da yer alr. Doal olarak da fizik, gkbilim, gk fizii, istatistik, iktisat bilimin
den, biyoloji, kimya, genetik, dilbilimi, bilgisayar bilimi ve sibernetie kadar
btn teki bilimsel disiplinlerde temel bir rol oynar.
zetle, sfinn kefi insanoluna olaanst bir g vermitir. Baka hibir
insan yarats insan dncesinin gelimesi zerinde byle bir etki gsterme
mitir (Bkz. *Sfr, Szlk).
Zaten yapay hesabm tarihi ile cebirin tarihi arasnda arpc bir benzerlik
vardr.
Yapay hesapta, genel kavram erevesinin olmay, bu alan uzun sre ok
zel aritmetik ve matematiksel ilemler yapmak iin rastlantyla gelitirilmi
yntemlere dayanan zel i] evi i bir makineler bolluu yaratmaya gtrmtr.
Harfle gsterimin kefedilii nasl modem cebiri yarattysa, Babbagen zm
leyici Makinesinin getirdii kavramlar da yapay yollardan hesabn tarihinde
yepyeni bir a amtr.
Ksacas, Babbagen at aama, baka deyile zmleyici hesabn kefi,
zel ilevli saysal hesap makinelerinde, tam saylar aritmetiinden byklk
ler cebirine geiin baya aritmetiin ilemleri ile gsterimlerinde yaratt e
yi yaratacaktr.
Ne ki, doal olarak, bu devrim bilgisayarlarn kavram erevesine ulamak
iin yeterli olmamtr; bir aamay daha gemek gerekmitir ki, ileride ona ye
niden dneceiz.
Elbette Babbage makinesinin getirdii simgesellik kavram erevesinin ge
nelliinde bir ilk aamaya karlk gelmitir.
Bu kavram erevesi bilgisayarlarn hesaplayc ilevlerinin gerek evrensei' liinde son derece aa bir dzeyde yer alsa da, zmleyici Makineye verilen
genellik fikrinin kendisi, Babbagem kafasnda daha st bir derecede soyutlama
yapmadan aklanamaz.
nk oraya ulamak iin Babbagen zihinsel olarak bireimini yapt
kavramlarn her birini tek tek ayrmas, her birinin tekil zelliklerini belirle
mesi, onlar ayr ayr dnp ayn ekilde balamlarndan soyutlad baka
zelliklerle birletirmesi gerekmitir.
Gerekten dnemin mekanik deneyiminin henz genelleyici olmayan kav
ram erevesinde, bir duvar saati ya da bir saat algs ile Vaucanson, Von Knaus ya da Jaquet-Drozunkiler gibi bir otomat arasnda nasl bir iliki vardr?
Jacquardm dokuma tezgh trnde bir otomat ile otomatik olmayan ve henz
teknik bakmdan tam olarak gelimemi ok zel ilevli mekanik hesap maki
neleri arasnda ne gibi ortak noktalar grebiliriz? Henz aynlamam, gerek
likte de ayrlamaz olan ayrmay bilmi olan Babbagedan baka hi kimse
bunlar grmemitir.
Gerek anlamda soyutlamann benzerlik ile farkn bilinciyle balad do
rudur. Soyutlamak birok nesnedeki ortakl ya da bir nesnenin farkllm se
ip ayrmaktr (A. Burloud, Pense conceptuelle, s. 163). Soyutlamadan sz
nc Temel Dzenek:
Mantksal Dncenin Gelimesi
Uslamlama kuramlarnn gelimesinde, dolaysyla biliim ve sibernetik
kavramlarnn ortaya knda gzden uzak tutulamayacak baka bir dn
sel dzenek mantksal dncenin yzyllar boyu gelimesiyle kendini gste
recektir.
Burada bu bilimle ilgili btn ayrntlara girmeden birka temel adm ve
birka nemli dnceyi anmsatmak yerinde olur.
lkin etimolojik olarak mantk (logique szcnn Yunanca logike tekhne
(sz syleme, uslamlama sanat ya da bilimi) deyiminden, onun da logikostan
(logosla ilgili olan, yani sz, akl ya da uslamlamayla ilgili olan) dan geldii
ni belirtelim.
Bundan tr, mantk insanolunun onlarsz hibir bilginin olanakl olma
d tm dnsel sreleriyle ilgilidir. Bunlar sradan, yaygn, kendiliinden
dnme sreleri olabildii gibi, tartlm, iyi irdelenmi bilimsel dnce s
releri de olabilir.
bir varlksal anlam bulunmayan bir fiil olan dr fiiliyle, bir koala biribirine
balanm, znesi ve yklemi olan bir nerme oluturur.
Mantk nermeleri nitelik bakmndan (nermeler ya evetleyici ya deilleyicidir) ya da nicelik bakmndan (nermeler ya tmeldir ya tikeldir) ele alr.
rnekler: Hava gzel (evetleyici nerme); hava gzel deil (deilleyici ner
me); btn insanlar lmldr (tmel nerme); baz insanlar bilgedir (tikel
nerme).
nermelerde dile getirilen ilikiler zne ile yklem arasnda uygunluk, ay
rlmazlk, ierme ya da darda brakma ilikisidir.
Bir yarglar zinciri bir uslamlama oluturur. Aristotelese gre, temel bir
rol oynayan akl sayesinde, ilkelerden zorunluluu ve genel geerlii tartlamayan sonulara geilir.
Akl, bir algdan gelen bilginin tersine, tantlayc denen bilgiyi ralayan
karmlar ya da uslamlamalar salar.
Verilerden dorudan doruya sonuca gemeyi salayan dolaysz uslamla
malar ve sonucun zdelik ya da elimezlik ilkesine uygunluuyla temellendirildii bir ara ileme bavuran dolayl uslamlamalar vardr.
Dolayl uslamlama tr tasarmdr. Bu, iki ey verilince ncnn onlar
dan zorunlu olarak kt bir uslamlamadr.
Bir tasm nermeden oluur; ilk iki nermeye ncl, ncye sonu de
nir. ncllerin ilki en byk kaplaml terimi ierir ve buna byk terim denir;
kincisi kaplam en kk olan terimi ierir ve buna kk terim denir. Ayrca
iki ncl arasnda ba kuran bir orta terim vardr ki sonu onun sayesinde ge
erli olur.
rnek: Btn insanlar lmldr (byk ncl); Soktates insandr (k
k ncl); o halde Sokrates lmldr (sonu).
Sonu ncllerde ierildiinden, tasmsal uslamlamann yapt yalnzca
onu aka ve kesin olarak dile getirmektir. Bu sonu dorudur ve tartlmaz
bir hakikattir.
Ancak biimsel bir tmdengelim olan tasmsal uslamlama, bilginin zengin
lemesini salayan bir tantlama olan matematiksel tmdengelimin verimlilii
ni tar.
Deeri bilim alannda uygulanm bilgin mantnn deeriyle karlatr
lamaz olan biimsel mantk, btn Eskia boyunca, bilimi tasmn kurallarna
uygun olarak bir tabula logicaya, kavram birleimlerine indirgemitir. Ortaa
boyunca skolastik, biimsel mantn kurgulayc tartmalarm srdrm, ye
ni mantk ancak Bacon ve Descartesla birlikte, yeni bir bilim anlayna uygun
olarak yaratlmtr.
O zamandan beri mantk yeni dnmler geirmi ve Aristoteles ile sko
lastiin mantndan uzaklap bir yandan da onlarla ban koruyarak simge
sel mant, bilim mantn, sezgisel mant, okdeerli mant, diyalektik
mant yaratmtr (E. Bloncourt, op. cit.).
Bylece bilim bir yandan amac ussal dncenin yasalarna uygun dn
sel sreleri incelemek olan ok daha genel bir felsef manta, bir yandan da
son derece daha soyut kavramlara dayal matematiksel manta doru geli
mitir.
Byle anlaldkta, felsef mantk sonunda unlar da iine almaya balam
tr: Tek tek bilimlere ilikin bir mantk oluturan ve sradan bilginin tesine ge
ip bilimsel bilgiyi dzenlemeyi olanakl klan metodoloji (yntem bilgisi); ama
c eitli bilimlerin yntemlerini, ilkelerini, kurallarn, varsaymlarn ve var
dklar sonulan incelemek ve bunlann geerliliklerini, nesnelliklerini incele
mek olan bilim kuram-, amac insan bilgisinin koullann, deerini ve smrlann incelemek olan epistemoloji (bilgi felsefesi).
1886. Amerikal mantk Charles Peirce, Boolen cebiri ile elektrik devreleri
arasnda eyapllk ilikisi zerinde durur (ayn yl eski rencisi Allan
Marquanda gnderdii 30 Aralk tarihli mektup buna tanktr).
1903. Italyan mantk Annibale Pastore tasmn kurallarna dayanan, ma
karal (biri zneyi, kincisi yklemi, ncs terimi temsil ediyor) bir dze
nekten olumu bir uslamlama makinesi yapar.
1910. Ispanyol Leonardo Torres y Quevedo elektronik olarak yaplm tama
men otomatik bir makine olan satran oynayan otomatn yapar. Satran
tahtas zerindeki talarn yerini saptamasn salayan elektrikli alglayc
larla ve talann yerini deitirebilen mekanik bir kolla donatlm bu oto
matn programlama dizgesi hep matla biter, insann hilebazln bilen bu
satran oyuncusu ilk hile giriiminde bir lmba, ikinci giriimde yine bir
lmba yakar, ncde oyunu sona erdirir; dolaysyla belli durumlarda
kendisi karar verebilen ilk mantk otomatdr bu.
1936. Amerikal Benjamin Burack karmak tasmlar zmeyi amalayan
elektrikli bir mantk makinesi yapar.
1943. Ingilizler, ok byk bir asker gizlilik iinde, Nazi birliklerinin ifreleme
makinelerinin gnderdii gizli kodlan zmek amacyla, zellikle mantk
problemlerini zmek iin tasarlanm olan ve elektronik hesaplar yapabilen
ilk Cotossuslarm yaparlar. Bu hesap makineleri yapsal olarak ikili mantk
ilemleri yapmak iin tasarlanmtr ve koullu atallanmalarla donatlmtr.
1946. Amerikal Theodore A. Kalin ile William Burkhart, elektrikli, programla
nabilir, verileri paralannn birinden tekine otomatik olarak aktarabilen
ve mantksal ilem srasn izlemek iin otomatik bir kumanda organ bulu
nan kk bir mantksal dorulamal hesap makinesi yapar (bkz. R. Ligonnire [3]).
Hilbert bir gn yle demiti: Cantorun bizim iin yaratt cennetten kim
senin bizi koyamamas gerekir. Gerekten Hilbert, Cantorun fikirlerinin en
ylmaz savunucularndan biriydi. Deimezler kuram zerine ilk almalar,
bireim yapan ve bu alanda daha nce elde edilmi kavramlar genelletiren,
ancak ynla hesabn genel dncelerden uzaklamaya glkle izin verdii
sergilemesinin yalnl bakmndan yeterince devrimci nitelikteydi. Sonra in
tegral denklemler kuramm ele ald. Ama 1899da en nemli yapt olan, belli
sayda ilksavdan yola karak temel geometrinin ilkelerini gelitirdii Grundla
gen der Geometriesini (Geometrinin Temelleri) yaymlad.
Bylece Cantor nasl kmeler iin ilksavllatrmay yarattysa, Hilbert de
geometri iin ilksavllatrmay yaratm oldu. Birok matematikinin sonradan
yeniden ele alarak tutarl bir matematik kurmak zere iyiletirip inceltecei
yeni fikirler getirdi.
Hilbertin kavram erevesinin temelinde simgeler ile bu simgeler zerinde
ki ilemlerin matematiin indirgenemez ekirdeini oluturduu uylam bulu
nur. lksavl bir dizgenin gerekle tirilebilirlii, her durumda bunlardan birinin
gereklemesini sergilemekten ibaret olan yntemle ortaya konabilir. Buradan
da tutarl bir tantlamaya, yani ilksavlardan hibir elimenin tretilmemesi
olgusunun tantlanmasna bavurma gerei doar. Bu, Hilbertin bir biimde
matematiin temeli denen problemle zdeletirecei ana problem haline ge
lecektir: Matematiin her dal iin, o dalda kabul edilen tantlama ilemlerinin
teorem olarak hem bir nermeyi hem de onun deillemesini retmeyecei olgu
sunun bir tantlamasn yapmak. Hilbert bu program gerekletirmek iin ta
ntlama kuram dedii eyi oluturur. Bu kuramn ilkesi udur: Her matema
tik kuram bugn sk bir ekilde biimselletirilmi bir dizgenin, yani allm
matematiksel formllerden sradan simgelere ek olarak birtakm mantksal
simgeler iermesiyle ayrlan bir formller kmesinin biimine sokulabilir. Bir
tantlama, her biri ya bir ilksav olan ya da nceki formllerden nceden belir
lenmi karm kural yardmyla elde edilmi bulunan bir dizi simgesel forml
dr. Buradan, tantlamalarn kendisini matematiksel bir inceleme nesnesi yap
ma olana doar: Allm matematie, onun admlarnn yalnzca yazl bi
imler zerindeki ilemleri temsil eden ilemler olarak grld yeni bir ma
tematik eklenir (Bouveresse, Itard ve Sall).
Bylece yeni bir disiplin, amac matematiin temelini, tantlamalarn yaps
n incelemek olan ve matematiin biimsellemi dilini deil, iyi kt byle bir
biimselletirmeye elverili gnlk dili kullanan matematik gelitirilmi olur.
Klasik mantk anlayna gre parack kuram ile dalga kuram arasnda
ikiye blnen Louis de Broglie, byle bir yoldan yryerek, dalga mekaniim
gelitirmesini salayacak olan bireime ulat.
Louis de Broglie bu konuda yle der:
elimenin burada uygun bir terim olmadm belirtmek ok nemli.
Ik olgusu bir dalga olgusudurun eliii k olgusu bir dalga olgusu deil
dir nermesidir ve biribirinin antitezi olan bu iki nermenin sentezi olanak
szdr; dolaysyla elime ilkesi tm deerini korumaktadr. Sentez ancak
Ik dalgalardan oluur ve k paracklardan oluur gibi farkl nerme
lerle yaplabilir.
Bu da greci aklclkta (buna modal aklclk da denebilir), insan dncesi
nin srekli bir evrimle kar karya olduunu gsteriyor. Bu evrimde (akln de
imezliini kabul eden klasik aklcln tersine) yeni edinimler en ilkel veri
lerde bile kendini gsterir. rnein Louis de Broglienin durumu, akim en te
mel ilkelerinden birini, yeterli neden ilkesini ineyen kuantum belirsizliine
almaya baladn ok iyi gstermektedir (bkz. P. Foulqui).
Ancak matematikilerde ve ada mantk kuramclarnda bu bilim yle ge
nilemitir ki, neredeyse bir olanakl ynler sonsuzluuna ynelmitir15.
Bu genileme, S. Kanger, S. Kripke ve J. Hintikka gibi mantklar, doru
ile yanln arasna (n - 2) ara deerlerini sokarak n deerli mantklar (klasik
mantn n = 2 olduu zel bir durumunu oluturduu okdeerli mantklar),
yani doru ile yanl arasnda sonsuz sayda deerin bulunduu mantklar n
gren matematiksel kipli mantklar gelitirmeye gtrd. (Bu mantklarn da,
zellikle bilgisel ve anlambilimsel mantk alanlannda, kendi kipli mantn ge
rektiren her kuramn ilgili biimsel yap stne kendi damgasn vurduu fizik
alannda nemli uygulamalara gtrdn belirtelim).
Sonra, birok baka ynde, tpk matematikte bir geometriler ve kme ku
ramlar okluu dnlmesi gibi, ruhun gerek etkinliinin ve dilin yapsn
dan soyutlama yaparak bir mantk kuramlar okluu yaratld. Yalmz i tutar
llk ltne uymas zorunluluu gzetilerek keyf bir biimde seilmi ilksavlar kmesinden varsaymsal-tmdengelimli dizgeler oluturuldu.
Bylece, tmdengelimli bir kuramn ilkelerinin ve teoremlerinin apakl
ltnn yerini [herhangi trden] simgeler arasndaki bantlar biiminde di
le getirilmi bir ilksavlar dizgesinin i tutarll ltnn ald biimselleti
rilmi matematiklere ve mantklara ulald (L. Rougier, Trait de la connais
sance, s. 34).
Bir mantksal btn, yani ussal olarak dzenlenmi bir kme oluturarak
bu tutarll arayan ada mantknn yapt ii tam olarak dile getirmekte
dir bu (bkz. Lamouche, in : Logique de la simplicit, s. 162).
Denebilir ki, deimez mantklar yoktur. Her trl tmdengelimli kuramda
olduu gibi mantkta da simgeleri her trl n algsal anlamdan kurtarmak ge
rekir: Simgeler ilk nermelerin [yani ilksavlann] koyduu kurallara gre biraraya getirilecek imlerden te birey olmamaldr. Matematik gibi bo [her trl
somut gereklikten uzak] olan mantk da, yine onun gibi keyf hale gelir. Her
biri kendini -y a da kendilerini- istedii gibi kurabilir: Tm gereken, dizgenin
eliik olmamas [baka deyile mantka tutarsz olmamas] ve aka dile geti
rilmi olmasdr (R. Blanch [1], s. 116-117).
Bu durumda XIX. yzyln, zellikle de XX. yzyln, mant giderek ana
sndan, felsefeden ayrp her gn biraz daha fazla bilime ve matematiksel d
nceye balad aka grlyor.
ada felsef mantn, mantk felsefesiyle birlikte bugn yeniden yap
lanma eilimi iinde olduunu ve bu yeni genel mantn ortaya kmasn sa
lad felsef ve epistemolojik gelimelere gre mantn u ya da bu paras
zerinde younlamaya baladn grmek ok daha ilgintir.
gerekli olduu bir bilimdir. Ancak bir algoritma gelitirildii andan itibaren ar
tk dnce gerekli deildir; nk algoritma zel olarak bu kullanma uyarlan
m bir makine tarafndan, yani bilgisayar tarafndan bir program biiminde
gerekletirilebilir.
ada mantn en nemli ve en verimli dallarna unlan da ekleyebiliriz:
Modeller kuram, yinelemeli fonksiyonlar kuram, dzenleyici mantk, balantl
mantk, hcresel mantk, otomatlar ve biimsel diller mant... Bunlar matema
tiksel yapntlar alannda, sibernetiin, yapay zeknn ve ada dilbilimin ge
limesinde ok nemli bir rol oynam, bu alanlara yepyeni bir k getirmitir.
Otomatlar kuramnn, zellikle, belli bir snftaki mantksal ya da aritmetik
problemlerin aama aama zmnde, zorunlu ilemlerin zincirlenmesini d
zenlediini belirtelim. Bu kuram aynca yaps bilgi ilem makinelerine uygula
nabilen modeller ile daha temel zmleme dzeyindeki sral otomat zerinde
yaplan hesaplar iin yntemler verir...
Bylece bilgisayar biliminin kuruluu ile gelimesinde vazgeilmez olduu
ortaya kan dnce dzeneklerini daha iyi kavryoruz.
Bu durumda insanolunun bu kendiliinden etkinliinden, tmdengelimli
dncesini kullanarak uslamlamasndan da sz etmek gerek. Burada sz ko
nusu olan dnsel sreler, insann yzyllar boyu edindii bilgi ve deneyim
zerine saysz eletirel dnmeyle gelitirilmitir. Bunlar sonradan, akla yal
nz hatalar ve tutarszlklar gidermek iin yollar salamakla kalmayan, ayn
zamanda gereklikle bir ba olan ya da olmayan etkinliklerin gerektirdii e
itli ilemleri her trl gvenilirlik iinde gerekletirme olana da veren e
itli bilimlerin, tekniklerin ve yntemlerin gelimesine katlmtr.
Bu ilemlerin temelinde, amac uslamlamay oluturan eler arasnda va
rolan mantksal ba ortaya koymak olan dnce dzenekleri vardr.
Felsef ve matematiksel dnceler tarihinde unlar olmutur:
- Aristotelesle balayp Ortaa skolastik filozoflarndan geerek modern
a dnrlerine uzanan klasik biimsel mantk;
- sonra Leibniz ile Booleden balayp ada mantklarn en ileri alma
larna uzanan, son derece daha genel ve daha tam olan bugnk simgesel man
tk.
Elbette bu iki aama arasnda birinin ok kendine zgln tekinin en
son noktadaki genelliiyle kar karya getiren kkten bir fark vardr.
Gerekten, [klasik] biimsel mantn nermelerden, yani onlarn gerekle
uyumasndan soyutlama yaptn belirtelim. O yalnz biimsel dorulukla,
p. Babbagenkinden son derece daha genel olan bir mantk aamasna gel
mek iin zorunlu olan soyutlamay yapmak gerekmitir.
Bilgisayarn temel kavramlarna ulamak iin de,
1- nceki iki cebirin kurallarn kmeler cebirine (ilk ikisinden olabildiince
daha genel olan ve artk matematiksel varlklarn -saylar, byklkler, ner
meler...- kendine zg yapsyla uramayp yalnzca kmelerle ilgilenen cebir)
geirmek,
2- herhangi trden bir kmede deien karmaklktaki simgelerle oynan
masna dayal son derece soyut bir simgesel mantk aamasna gelmek,
3- ok genel ierikli mantksal kurallarla ynetilen varsaymsal-tmdengelimli kuram halinde soyut bir yap ortaya koyabilmek amacyla, yapay bir leti
fizik gerekliklerinden ayrmak iin zorunlu olan soyutlamay yapmak gerek
mitir.
Bu simgeler olabildiince genelleecei iin de bilgisayarlar gerek bunlarn
saysz olanaklaryla gerekse hesap alanndaki evrensellikleriyle donatlabilecektir.
Algoritma Nedir?
Algoritma, ayn snfa ait problemlerin zm iin, gerekletirilebilir tr
den kimi ilemleri, sk bir zincirlenme iinde, adm adm yapmay salayan, ke
sin ve birrnek bir ynergeyle ynetilen sonlu bir temel kurallar ardlldr.
Yemek tarifi ok basit bir algoritma rneidir.
Ancak ayn zamanda bir sayy baka bir sayyla arpma ilemi, bir sayy
baka bir sayya blmedeki blmn belirlenmesi ilemi, iki tam saynn en b
yk ortak blenini ya da en kk ortak katn bulmay salayan ilem gibi i
lemler de vardr.
Algoritma dncesi, aslnda bir yntem dncesidir, bir zihin ileminde
her zaman dzenli olarak izlenen, tanmlanabilir bir yntem dncesidir (M.
Bems, in: Vocabulaire, Lalande). Tersinden sylendiinde, bir yntem, piyano
renme, ngilizce renme... yntemleri gibi) belirli bir sonucu ksa yoldan el
de etmeye ynelik bir algoritmadr.
te yandan, bir uslamlama yntemi bir algoritma deilse nedir? Deyim ye
rindeyse, mekanik olarak ve dnmeden gerekletirilebilen, ama nceden d
nlm ve belirlenmi bir zemin zerinde ortaya konan bir etkinliin yanss
n oluturan bir ilemdir.
Paul Valrynin dedii gibi, her defasnda zahmeti azaltma ve her probleme
bir zm icat etme zoruyla birrnek (kimi zaman otomatik bir biimde) bir i
lem bulma niyeti... Bir yntem aramak, zihnin iini zihinden daha iyi yapan d
arlk bir ilemler dizgesi aramaktr (Varit, IV, s. 220).
te yandan, psikolojide de her biri belirli bir psikolojik problemler snfna
uygulanabilen ve sonlu sayda aamada zm elde etmeyi salayan yntemler
biiminde saysz algoritmalar kullanlr. Kimi durumlarda algoritma bir hesa
ba indirgenir, kimilerinde daha ok bir ilem programna karlk gelir, kimile
rinde ise bir kurallar btn gsterir: Bunlar ada simgesel mantk asn
dan ayn eydir. Ayrca bir psikolojik problemler snfn tanmlamay salayan
tan algoritmalar ile bu problemlere are bulmay salayan zm algoritmala
r vardr (bkz. H. Pieron).
Ayn kavram psikopedagojide, zellikle retim malzemesini renciye e
ler halinde paral olarak, rencinin ilkece doru yantn tamamen ya da ks
men kendisinin bulabilmesi gereken bir dizi soruyla sunmaktan oluan prog
raml retim tekniklerinde kullanlr. yle ki renci yant bulduu zaman
bir sonraki soruya geebilir.
Dolaysyla renci, ilkece her admda kendini denetleyerek kendi kendine
renebilir.
elerin sunulu ve zincirlenme biimine, hatalarn dzeltili biimine...
gre eit eit programlar [algoritmalar] vardr (H. Pieron).
teki rnekler; kare kk alma ilemi, integral belirlemek iin hesap algorit
malar...
Ancak elbette, daha karmaklan da vardr: rnein birtakm geometrik bi
imler oluturmak iin kullanlanlar, bir saynn belli bir say snfna belli bir
ralayc bantyla ait olduunu belirlemek iin kullanlanlar, farkl nermele
rinin deerlerine gre bir fonksiyonun deerlerini hesaplamay salayanlar...
ok genel bir biimde denebilir ki, bir algoritmann tanm ya da anlatm,
karlk geldii problemler snfnn tam olarak snrlarn izmeli ve bu snfn
problemlerinin kesin zmn salamak zere btn zorunlu temel kurallar
ve aamalar iermelidir.
Btn bu irdelemeler bizi Turingin algoritma kavramndan yola karak ge
litirdii matematik kuramndan ve Turing makineleri adyla bilinen matema
tiksel varlklardan sz etmeye gtryor.
ting Engine baln tayan Turingin raporu (E 882 kodlu rapor) ger
ek bir elektronik bilgisayarn yapm iin ayrntl bir tasan oluturu
yordu. Ne ki Pilot ACE ancak 1950de, Turingin ilk grlerinde epey
ce ksaltmalar yapldktan sonra ortaya kacaktr. Turing 1948den
beri NPLden istifa etmi durumdadr. ok yeni ve ok gzpek kav
ramlar getiren ok ilgin bir projeydi bu (bkz. B.E. Carpenter ve R. W.
Dorant).
Von Neumann kendi dev bireimini gerekletirirken, bu byk n
giliz matematiki ve mantknn fikirlerinden sahiden ok etkilen
miti.
Von Neumannn Alan Turingle kii olarak karlatn belirtme
miz gerek: lk kez Turingin 1937den 1938e kadar Princetonda kald
srada; kincisi ise, sava srasnda (zellikle 1943te, Turing Birle
ik Devletler ile ngiltere arasndaki stratejik telefon grmelerini
ifrelemek iin bir dizge gelitirmek zere Bell Telephone laboratuvarlanna almaya geldii zaman). Ayrca onun almalann da derin
den biliyordu. Turingin dnsel yeteneklerinden etkilendii iin, onu
bir yllna yanma asistan olarak almay bile nermi, ancak Cambridgee dnmeyi yeleyen Turing bu teklifi reddetmiti.
Akla gelen soru Alan Turingin, von Neumannn yaynndan nce
ya da sonra kaytl program kavramna ulap ulamaddr.
lkin, sava ncesi yllar hakknda, Turingin dncelerinin tari
hinden, onun yanl ve abartl olarak bilgisayar biliminin gelimesini
nceden gren ufuk sahibi, 1936dan itibaren bilgisayar kavramnn
ieriini derinden kavrayan kii olduunu ileri sren bir eitlemeyi
vermi olduumuzu belirtelim.
Evet, gerekten Turing bu yldan itibaren gelitirdii kavramlann
ok nemli olduunun yava yava bilincine varm, aratrmalannn
nesnesine, evrensel makineye apayn bir dikkat gstermitir. Bylece
giderek kafasnda matematiksel varlklann dnsel trden birok ii
stlenme yeteneiyle donatlabilen makinelerce fizik olarak modelletirilebilecei, bunun iin uygun programlar gelitirmenin yeterli olaca
fikri olumutu (bkz. ereveli ksm).
Ancak bu kaytl program kavramn onun bulduu anlamna gel
mez. Kendi ideal makine kavramyla okilevli zmleyici hesap ma
kinelerinin maddi gereklii arasndaki ilikiyi de ortaya koymas ge
rekiyordu. Evrensel Turing makinesinde program ve reni kav
ranlan edeerliydi ama bu edeerlik sava ncesi dnemde ancak
1945e gelindiinde, Turingin tasansnn von Neumannn Draftmdan birka ay nce olduunu, von Neumannnkinin 1945in 30 Hazi
ran tarihli olduunu biliyoruz. Zaten Turing kendi ilk tasansnn kay
naka notlannda bu rapora aka gndermede bulunmaktadr.
Kimileri Turingin getirdii gelimelerin von Neumannnkinden ba
msz olduunu ileri srerek, Turingin kendi tasarsnda von Neumannn ortaya koyduklarndan ok daha gzpek, ok daha ileri
kavramlar gelitirdiini sylemilerdir.
Ancak Turingin raporu ile von Neumannmkini biribirinden ayran
zaman aral gz nne alndnda, bu hibir eyi kantlamaz.
Kimi yazarlar da Turingin von Neumannm Draftna gndermede
bulunduunu, ama bunu, uluslararas alanda kredilendirilmesi gere
ken kendi projesine mal kaynak salamak amacyla, taktik nedenler
le yaptn ileri srmlerdir. Onlara gre Majestelerinin Hkmeti
nin Atlantik tesi rakiplerden geri kalmasn nlemek iin projenin
mutlak zorunluluu gsterilmek istenmi olabilir.
Bu da doru olabilir, ama yine tahminden teye gemez, nk hi
bir zaman dorulanmamtr.
te yandan, Turing bir bilgisayar plan yapmak iin niye dokuz yl,
tam olarak 1945 yl sonunu beklemi olsun ki? Bir zamanlar kskan
lkla gizlenen, bugn ise iyi bilinen ikinci Dnya Sava hakkndaki
Ingiliz arivlerinde niye Turing imzal baka hibir plan bulunmad?
Kaytl program fikrini sava srasnda akl ettiydi de, niye o fikri
Colossus tipi zmleyici hesap makinelerinde uygulamaya koymad?
Durum byle olsa kefinden elde edilecek yararlar konusunda stleri
ni ikna ederdi ve zel olarak ayn i iin tasarlanm Babbage makine
lerinden son derece daha etkili olabilecek olan, gizli ifre zmekte uz
manlam bilgisayarlar yaplrd.
Bizce, en inandmc varsaym terazi hareketi varsaymdr; von Neumann Turingin evrensel makinesinin kuramsal incelemesinden etki
lenmi, Turing de kaytl program kavramnn Turingin evrensel ma
kine kavramyla matematiksel edeerliini ortaya koyan tantlama
dan etkilenmitir. Dorusu bu varsaym, von Neumannn sonulannn
ok ksa bir zaman aralnda kendisinde yaratt kvlcmla von Neumannm ngrmedii noktalara, onun fikirlerinden ok daha ileri fi
kirlere ulaabilecek lde olaanst dnsel yeteneklerle, dnce
diriliiyle donatlm, kendi grlerinin, tekniklerinin, zellikle de
kuramlannn efendisi olan bir Turing hayal etmenizi salyor. (nk
Turing alt-yordam sradzenleri, istifleme, evrik dil kullanm, mikroprogramlama kavram... gibi yeni ve gzpek kavramlar getirmiti).
Ancak bu alanda Turingin etkisi kk ngilterenin snrlan iin
de, hatt ngiliz gizli servisinin ifre zme blmnn drt duvan
arasnda kalrken, von Neumann, aratrmalannn sonulann duyu
rarak onlan bilimsel olarak aktanlabilir, gcl olarak tm dnyann
bilim adamlannca kullanlabilir bir e haline getirmitir.
Zaten von Neumannn Draft neredeyse hemen otomatik hesap
alannda yaplan btn aratrmalar kesin bir biimde esinlemi, bu
ada Babbagen fikirleri ynndeki btn ynelimleri ksa zamanda
hemen hemen tmyle geerlikten kaldrmtr.
Turingin 1942den 1944e kadarki fikirleri Mttefiklerin hem At
lantik savan hem de ifre zme savan kazanmasn saladysa
da, onun incelikli ve verimli keiflerinin byk ksmn 1975e dek
hapsetmi olan da ayn Devlet simdir.
Bundan otuz krk yl ncesine dek, hi kimse gnn birinde bir bilgisayarn
avu iine sacan aklndan geirmezdi. Ne ki, XX. yzyln sonunda, bilgisa
yarl hesap makinelerinin ortaya k sayesinde gerek oldu bu. Dolaysyla,
hesap makinelerinin balca tarihsel aamalanm zetle de olsa anlatmadan ya
pay hesap bahsini kapayamayz.
Yaklak yirmi yldan beri kk elektronik hesap makineleri uluslararas
pazarlan istil etti. Bu makineler, en kk bir hata yapmadan, olaanst bir
kesinlikle, yz kadar rakaml hesaplan yapabiliyor, ok karmak problemleri
zebiliyor.
Bu kk makinelerin artc yetenekleriyle, gleriyle, hzlanyla, dakik
likleriyle nasl donatldklann anlamak iin, ortaya klann ve gelimeleri
nin byk bir ksmn borlu olduklan elektronik teknolojisinde yakn zaman
larda grlen ilerlemelere bakmak yerinde olur.
Bu ereveli ksm bir bakma klasik hesap makineleri tarihinin sonucunu
oluturacak ve bu yaptn erevesi iinde ele almadmz elektronik bilgisayarlann teknolojik evrimine ilikin kk bir fikir vermeyi salayacaktr.
varlarnda 1942 ylnda yapt elektronik deneysel drt ilem hesap makine
siydi. Ne ki bu makinenin ardndan gerek bir ticar retim ancak on yl kadar
sonra geldi ve rnein nl National Computronic ile National Multitronik
retildi.
Asl ilevi temel aritmetik ilemleri gerekletirmek iin elektrik sinyalleri
ni iletmek olan bo tplerin kullanmna dayanan bu hesap makineleri 1930 ve
1940 yllarnn elektromekanik makinelerinden binlerce kez daha hzlyd.
Ancak bu teknolojinin yetersiz ve zayf olduu bir sre sonra anlald: Lam
balar knlyor, fazla yer kaplyor, fazla elektrik tketiyor ve zellikle pahal ol
mak zere, soutulmalan gerekiyordu.
geler; girilmesi gereken verinin adn bilmeyi salayan gstergeler (zellikle iki
deikenli istatistikler iin); frekans gstergeleri; hesaplarn anlalmas iin
gereken her trl bilgi gstergeleri; pencereli men dizgeleri; oklu programla
ma dzeyleri;....
Matematiksel hesap alannda hesap makinelerini byle bir evrensellikle do
natmak iin teknik bilgiden ve elektronik alannda o zamana dek gerekletiril
mi byk teknolojik ilerlemeden yararlanlmtr elbette, ama, zellikle, gele
cek blmde ok genel bir tanmla balca zelliklerini ortaya koyacamz
elektronik bilgisayarlarn yapsndan esinlenilmitir.
1. unu belirtelim ki, burada btn bu tarih boyunca ortaya konmu aygtlarn, letlerin ya da maki
nelerin hatr saylr eitlilii konusundaki tm ayrntlar verme amacnda deiliz. Dolaysyla aa
da sylenenler klasik, analojik, mekanografk, analitik hesap makinelerinin ilkelerine genel bir gi
ri niteliinde grlemez: Byle bir girie ciltler yetmez; aynca yazarn uzmanl da bunun iin ye
tersiz kalr.
Biz yalnzca, birtakm ana kavramlara, kimi temel bilgilere ve son derece kesin bir terminolojiye da
yanarak, sk tanmlarla, okura yapay hesabn tarihinin balca aamalarn, aritmetik ve matematik
gsterimlerin ve hesabn tarihindeki mantksal ilerlemeyi izletmek istiyoruz.
Bununla birlikte, aada otomatik hesabn tarihine ilikin daha nce hi yaplmam bir sunuun
yan sra bilgisayar biliminin ve bugnk bilgisayarlarn kkenine ilikin ok daha zengin bir sunu
bulacaksnz. Bu sunu, birok bilim ile tekniin kavak noktasnda yer alan okdisiplinli yapsndan
tr, tarihsel olgular st ste ymakla yetinmeyecektir. Tam tersine, tamamen zamandizinsel ve
ou kez kstlayc olan dorusal bak asndan tr insan dncesinin gerek ilerlemelerini hi
bir zaman kavrayamam, dolaysyla bu okbiimli evrimin karmakln hibir zaman ortaya ko
yamam klasik sunulardan daha anlalr, zellikle de tarihsel gereklie daha uygun bir tarih
oluturmak iin, bu olgulan yeniden bekledii ve biribiriyle ilikilerini kurduu iddiasndadr.
2. Bize ayrlan yer gz nne alndnda, aadaki sayfalarda sz edilen tm aygtlarn, letlerin,
makinelerin, hesap makinelerinin, otomatlarn ya da bilgisayarlarn resimlerini koymamz olanak
szd. Bunlar o denli oktur ki nesnel, anlaml ve betimleyici bir bltrme kaygsna yant verebil
mek iin gerek bir albm oluturmak gerekir. Bizim amacmz bu deildir; bundan tr merakl
okuru kendisine istedii btn ynlendirmeleri salayacak olan Kaynakaya gnderiyoruz.
Bu vesileyle, yapay yollardan yaplan hesabn incelik dolu ve karmak tarihine ilikin bu blmn
hazrlan srasndaki tm yerinde ve yapc dnceleri, gzlemleri, uyanlarndan, tm deerli ki
isel grlerinden tr, Alain Brieuxge, Jacques Chauvine; I. Bernard Cohene, Erik Lamberte,
Robert Ligonniree, Maurice Margensterne, Ren Moreauya, Pierre Mounier-Kuhna, FranoisHenri Raymonda, Morce Shutzenbergere, Jean-Claude Simona, Grard Verrousta ve Remo Vesciaya kranlarm dile getirmek isterim.
3. Bu arada bu tr aygtlar ile say boncuu ya da stunlu rk trnden antik letler arasndaki
u temel fark da belirtelim: Say boncuu ya da rk Eskiadan beri ilem yetenei olmayan yazl
saylamalann yetersizliklerine are olarak tasarlanm olduu halde, bizim burada szn ettiimiz
letler Hint kkenli dokuz rakam ve sfirla -bilinli olarak- yaplan insan hesabnn yetersizliklerine
are olarak dnlmtr.
4. Bugn Avrupada bilinen ilk tam mekanik saatler unlardr: Milano San Gottardo apelinde bulu
nan, 1335te Guglielmo Zelandinonun yapt; Southwarktaki (Ingiltere) Saint-Paul) katedralinde
bulunan, 1344te yaplm olan saat; Pavie atosunda Giovanni de Dondinin 1364te yapt, daha
karmak ve ok daha dakik olan saat.
5. Bu konudaki ayrntlar iin J. Favier ile R. Thomelinin ok belgeli yaptna baklabilir.
6. Etimolojik olarak, analojik teriminin, Yunanca orantl anlamna gelen analogos ile matema
tiksel orant, uygunluk ve genileme yoluyla eitli anlamlarnda analoji demek olan analogiaan
geldiini belirtelim.
Bu terim, gnlk dilde, farkl eylere uygulandnda ne zde bir anlam olan ne de tamamen farkl
bir anlam olan szcklere karlk gelir; analog durumlar, analog yaplar, gibi... rnein ou kez
farkl terimleri analojiyi aka gsteren bir eretilemeyle kullanrz: Masann aya, hayvann aya,
kprnn aya, kazn aya, yarmann aya... Ba ile bakan arasnda bir analoji ilikisi vardr,
nk ba bedende ne ise bakan da toplulukta odur; gz ile kulak arasnda bir analoji ilikisi vardr
nk k iin gz ne ise ses iin kulak odur; barometre ile termometre arasnda bir analoji ilikisi
vardr, nk ilki atmosfer basncyla, kincisi scaklkla ayn iliki iindedir;... (bkz. P. Foulqui).
Buna karlk, matematiksel anlam sz konusu olduunda iki ya da daha ok iftin terimlerini ikier
ikier birletiren bantlarn zdeliinden baka birey olmayan orantlln analojisi karsnda
yz. Ancak, bu ekilde uygunluk iine sokulan terimlerin zde olduu sonucunu karmamak yerin
de olur: 1/3, 2/6, 3/9... lekeleri arasnda matematiksel eitlik varsa da, analojik olan bu betimleme
ler biimsel bakmdan zde deildir.
zetle, analojik diyen, zde demi olmad gibi benzer de demi olmaz:
Bir kol saati bir voltmetreye benzer, ama kesinlikle onunla analog deildir. Bir voltmetre bir elekt
romknatsla analogdur, ama onunla zde deildir. Kadranl bir barometre bir duvar saatine benzer,
ama burada hibir analoji yoktur; buna karlk, kadranl bir barometre cival bir barometreyle ana
logdur, ama aralarnda benzerlik yoktur. Btn bu rneklerden kan sonu, anlk dzeyinde, ben
zerliin ok stndedir... Analojiyi eksik bir benzerlik olarak dnmek bir hatadr (Alain, lments
de philosophie, s. 112).
7. Aynca analoji yoluyla akl yrtmenin her zaman tamamen zel bir dnce biimi olduunu sy
lemek gerekir.
Geri, analojik sonu kat bir mantk asndan her zaman kukulu kalr... Ancak analoji yoluyla
akl yrtmenin salad uylam duygusu karsnda amamak olanakszdr... Analojinin yaran,
hereyden nce anlamay salamas, az ya da ok sk bir biimde, anlald izlenimini uyandrma
sdr (M. Dorolle, Le raisonnement par analogie, s. 170 ve 176-177).
ite analoji yoluyla akl yrtme bilimin yntemleri arasna, bir tantlama leti olarak deil, keif
leti olarak tam da burada girer (bkz. R. Delteil, in: F. Le Lionnais, s. 48).
Gerekte analoji yoluyla akl yrtme, E. Rabiernin dedii gibi, nceden yaplmas gereken bir tmevanma dayal bir tmdengelimdir tLeon de philosophie, 7. d., s. 248).
J. Maritainin dedii gibi, kukusuz onu Tmevanm + Tasm olarak zmleyebiliriz... Bununla bir
likte analoji yoluyla akl yrtmede evrensel bir yasadan deil, sz konusu iki durumun benzerliin
den geerek, tikelden tikele doru sonu kanlr (Petite logique, s. 335).
ite analojik hesapta mutlak bir tkanmaya yol aan, tam olarak ondaki bu dnce tarzdr...
8. Yine
lerini yineliyordu. Bu cebir iki rakam -btn nesneler kmesini gsteren 1 (bir) ve bo kmeyi gs
teren 0 (sfr)- ve iki ilem kullanr: Boole toplamas ve arpmas denebilen ve ile veya. Bu cebir
yaymlandnda pek baanl olmad, ama zmleyici hesap makineleri gerekletirilirken byk
bir pratik yaran oldu. Gerekten, veriler ikili olarak kodlanrsa, ak (0) ve kapal (1) zincirlerle b e
timlenebilir ve hesab modelletirmek iin Boole cebiri kullanlabilir. Bu tip kodlamann baars
buradadr.
10. Bu arada bu kongreye biliim tarihinin iki byk isminin katlacan belirtelim: John W. Mauchly ile Norbert Wiener. lki, tamamen elektronik olan ilk okilevli zmleyici hesap makinesi
ENIACn yaratclarndan biri olacak, daha sonra da tarihin ilk ticar bilgisayar olan UNIVACm
kaynanda bulunacaktr; 1948de Pariste yaymlanan yapt gerek makinede gerek hayvanda g
dm ve iletiim kuram alannda hatn saylr bir rol oynayacak olan kincisi ise bu yaptn balyla
tanmlanan ve bugn kullanlmakta olan sibernetik szcn icat edecektir.
11. "Gerekte problem nedir? 27 saysn alalm. Hesap makinesinin kaytlar iki deimez halden bi
rini alabilen elerden oluuyorsa, bu sayy hesap kaytlarna girmesi iin ikili bir alfabeyle kodla
mak gerekir, ki tip olanakl kodlama vardr. Mark IFden beri, ondalk makinelerde, her ondalk ra
kam en az 4 bitlik [yani en az 4 ikili rakaml] bir kodla betimlenir. Balangta en sk kullanlan kod
kili Ondalk Kod idi. Bu daha ok ngilizce Binary Coded Dcimal (BCD) adyla bilinir. rnein 27,
0010 0111 diye yazlr, nk 0010 BCD ile 2 saysn, 0111 ise 7 saysn kodlamaktadr. lemler
hesap makinesinee sanki ondalk rakamla alyormu gibi yaplr. kili makinelerde her ondalk sa
y ikili edeerine dntrlr, bylece 27, 11011 olur. Makine de 22 tabanna dntrlen bu sa
ylar zerinde alr. Mark / / d e BCDyi kullanan ondalk bir makinedir (Moreau [4]).
12. Tplerden biri bir konumda sfrdayken teki maksimum gerilimdedir; teki konumda ise tersi
olur, ilk tp maksimum gerilime karken teki sfrdadr: Yani birindeki elektrik gerilimi tekindeki
. durumu deitirir.
13. Bylece makineler ve yapay otomatlar konusundaki dncelerin evriminde Torresin katksnn
ne denli byk olduunu gryoruz.
Ren Descartesn Yntem zerine Konumasmdan bu yana yrnen yolun uzunluunu da lm
oluyoruz. Torres y Quevedo Descartesn bu konudaki dncelerini yle zetliyor:
Bir hayvann bedeninin, Tanrnn ellerinden km olduu iin, ltriilemeyecek kadar daha iyi
ileyen ve kendi iinde insann icat edebildii makinelerin hepsinden daha hayranlk verici hareket
leri olan bir makine olarak grlebileceini glk ekmeden kabul eder.
Bir maymunun ya da akl olmayan baka bir hayvann organlar ile biimini tayan makineler ol
sayd, bu makinelerin her bakmdan bu hayvanlarla ayn yapda olmadn kabul etmek iin hibir
gerekemiz olamazd der.
Ancak Descartes Hereye Gc Yetende bile akln ynettii insan eylemlerini taklit edebilen oto
matlar yapma gc bulunmadn syler.
rnein, bir otomatn szckleri ya da baka imleri en sekin insanlarn bile yapabilecei gibi sy
lenecek hereyi yantlamak zere kullanabilmesi metafizik bakmdan olanakszdr der.
Otomatlarn konuabileceini gnlden kabul eder ama ussal olarak konuabileceklerini aklndan
bile geirmez...
[son olarak], Descartes otomatn ussal olarak konuabilmesi iin kendi kendine akl yrtmesi ge
rektii, oysa btn teki durumlardaki gibi bu durumda da bir yapcnn onun yerine akl yrtecei
dncesiyle yolundan sapmtr.
Bununla birlikte, bugn sibernetik ile bilgisayar alanlarndaki keiflerin gereklii Torres y Quevedonun bilimsel kurmacalanm amak zeredir.
14. Kendisinin 1869da Mantksal karmn mekanik bir gereklemesi olarak yapt ve 1870te
PTRSI no 160, s. 497-518de yaymlanan ayn balkl makalesinin konusunu oluturan Mantksal
Piyanosu.
15. Bunlar, aralarnda G. Frege, G. Peano, B. Russel, A.N. Whitehead, D. Hilbert, E. Zermelo, E. Steinitz, R. Camap, E. Artin, K. Gdel, E. Post, S.C. Kleene, A. Touring, A. Church, A. Markov, P.S. No
vikov ve birok bakas ile 1930lu yllarda bugn Nicolas Bourbaki sahte adyla bildiimiz grubu
oluturan Fransz matematikileri H. Cartan, C. Chevalley, J. Delsarte, J. Dieudonne ve A. Weilin
bulunduu XX. yzyl mantk ve matematikilerinin temel katklardr.
16. Burada son derece karmak matematiksel sorunlarla ilgili temel, ama ok hassas bir mantk
kavram sz konusudur. Ancak burada onu tanmlayacak deiliz. Sunuumuz gz nnde bulundu
rulursa, zaten gerekli de deil. stelik bu tanm burada nemli de deil; byle fonksiyonlarn varol
duunun ve matematiksel olarak saylabilir ok belirli bir snf oluturduklarnn bilinmesi yeter.
Fiyat:
9 789754 031829
1.
TL (KDV DAHL)
Basl f i y a t n d a n farkl sa t la m a z