Öklid yanlış olabilir mi?

öklid1
Öklid, Öğeler, 1. Kitap, 1. Önerme’nin figürü.

Bu yazı, Öklid’in 1. Kitap, 1. Önermesinde kesişen iki dairenin, 19. yüzyılda tanımlanan devamlılık ilkesine göre, kesişip kesişmeyeceğinin bilinemeyeceği için “Öklid yanlış” diyen resmi matematik görüşüne karşı bir yazıdır.

***

19. yüzyıla kadar matematikçiler Öklid’in aksiyomlarını “kendiliğinden doğru gerçekler” olarak algılamışlardır. 19. yüzyılda yeni aksiyomlar tanımlayarak yeni geometriler tanımlayabileceklerine uyanınca bu sefer yeni geometrilerin doğru Öklid’in yanlış olduğunu iddia etmişlerdir. Ama Öklid’in aksiyomları “kendiliğinden doğru gerçekler” değildir; sadece ve sadece Öklid’in işine geldiği gibi yaptığı tanımlamalardır. Her isteyen yeni tanımlamalar yapıp yeni geometriler uydurabilir. Önemli olan bir geometrinin kendi içinde tutarlı olmasıdır. Doğru veya yanlış geometri yoktur. Bütün geometriler temel bir tanımlama üstüne oturur ve hepsi de kendi içinde tutarlı ve kendi alanlarında geçerlidirler.

Öklid de kendi alanı içinde geçerlidir. 19. yüzyıl devamlılık kavramları Öklid geometrisinin alanına girmez.

Matematikçilerin, Öklid’in tanımladığı aksiyomların yanlış ve eksik olduğunu iddia edip yeni ve gelişmiş son model aksiyomlar tanımlamaları, aksiyomun herhangi bir tanımlamadan başka bir şey olmadığını anlamadıklarını gösterir. Başka bir deyişle, aksiyom bir tanımlamadır ve matematikçiler bunu tam anlayamamışlardır. Aksiyomların gerçeği yansıttığını zannetmişlerdir. Tam tersine, aksiyom bizim için gerçeği tanımlar.

Aksiyomun bir tanımlamadan başka bir şey olmadığını anlamakta zorluk çeken matematikçilerden biri de David Hilbert idi. Hilbert’in son model aksiyomları kendisinin uygun gördüğü yeni tanımlamalardır. Öklid’i bağlamaz. Yeni model aksiyom derken alaycı olmak değil amacım, matematikçilerin bir aksiyomun tanımlama olduğunu ve eskisi yenisi veya doğrusu yanlışı olmadığını ve daha iyisi daha kötüsü olamayacağını anlatmak istemiştim.

Günümüzde bile, Öklid aksiyomlarının yanlış veya eksik olduğunu söyleyen matematikçiler olabiliyor. Hilbert’ten beri bu matematiğin resmi görüşü olarak tekrarlanıp durur. Yazının devamı matematikçi E. Mehmet Kıral’ın bu konudaki paylaşımı hakkında olacak.

 

kıral-twit

Matematikçiler matematik dallarının devamlı bir bütün meydana getirdiğini varsayarlar. Bu varsayıma göre, Öklid geometrisi ile mesela 19. yüzyıl matematiği kopuksuz ve aralıksız bir bütün teşkil eder. Matematiğin bütünlüğüne inanmak demek, matematiğin içinde tanımlanmış olan hiçbir aksiyomun diğer bir aksiyomla çelişmediğine inanmak demektir. Ama bunun doğru olmadığını biliyoruz. Yani, genel olarak, A geometrisinin aksiyomları kullanılarak B geometrisinin aksiyomlarının yanlış olduğu söylenemez.

matematik-agac
Her dal ayrı bir ağaç olmalı.

Öyleyse, matematik dalları kendi aksiyomları olan bağımsız alanlardır. Her bölüme kendi içinde tutarlı bir karakutu olarak bakabiliriz. Bu karakutulardan ne dışarı bir aksiyom sızar ne de dışardan bir aksiyom içeri girer. Matematik dalları, matematik ağacının dalları değil, her biri bir ağaçtır.

O zaman neden matematikçiler 19. yüzyılda geliştirilmiş bir “devamlılık” kavramını kullanarak Öklid’in yanlış olduğunu söyleyebiliyorlar? Mesela, bir matematikçi, 1950 model bir arabayı inceledikten sonra “bu arabanın GPS sistemi ile uyumu yok, bu araba yanlış” diye bir hüküm verse bu sözü ciddiye alabilir miyiz? Peki bir matematikçi, bir at arabasına bakıp “bu araba yanlış çünkü motoru yok” dese o matematikçinin doğru ve yanlış kelimelerinin anlamı hakkında doğru bilgisi olmadığını anlarız, öyle değil mi? O zaman neden bir matematikçi, Öklid geometrisini 19. yüzyıl kavramları ile mukayese edip onun yanlış bir geometri olduğunu söyleyebiliyor? Bu matematikçinin de yanlış kelimesine kabul edilmiş anlamı dışında bir anlam yüklediğini görüyoruz.

topoloji
Topolojide kupa ile donat aynıdır. Öklid’te değildir.

Topoloji aksiyomlarını kullanarak Öklid’in aksiyomlarının yanlış olduğunu söylemek yanlış bir tutum olurdu. Öklid’i ondan sonra geliştirilmiş matematikle eleştiremezsiniz. Öklid kendi içinde tutarlıdır. Bir geometri kendi tanımlamaları içinde istikrarlı ise, dışardan aksiyomlar taşıyarak o geometrinin eksik veya yanlış olduğunu söyleyemeyiz. Öklid’i sadece kendi içinde tutarsızlıkları varsa eleştirebiliriz.

Konumuz olan 1. Kitabın 1. Önermesi için gerekli bütün tanımları Öklid önceden yapmış. Mesela, bu önerme için çizgi çizmemiz gerektiği için Öklid 1. Postülat ile çizgi çizmenin mümkün olduğunu farzetmiş:

[Postulat olarak] rica edilmiş olsun: [1] herhangi bir noktadan herhangi bir noktaya bir doğru çizgi iletilmesi.

Bu tanımlamaya göre çizginin devamlı olmak veya olmamak gibi bir özelliği yoktur.

Öklid’in çizgi kavramı bir tanımlamadır. Öklid “bir noktadan bir noktaya çizgi çizmeyi farzediyorum” diyor ve bunu bir tanımlama ile resmi olarak kayda geçiriyor. Çizgiyi de 2. Hudut olarak tanımlamış:

Ve bir çizgi, genişliksiz uzunluktur.

Genişliksiz uzunluk ne demek? Genişliksiz uzunluk diye bir şey gerçek hayatta yok. Öklid soyut bir matematik tanım yapmış; Öklid çizgiyi genişliği olmayan bir uzunluk olarak absürd bir şekilde tanımlamış çünkü işine öyle gelmiş.

Konumuz olan 1. Önerme bağlamında 19. yüzyıl matematikçileri Öklid’i eleştirmişler. Öklid’in çizdiği iki dairenin bir noktada kesişeceğini garanti altına almak için bir aksiyom tanımlaması gerekirmiş. Yani 19. yüzyıl mantığına göre Öklid’in iki dairesinin kesişmeme imkanı varmış.

Kesişme ne demek önce ona bakalım. Öklid’e göre çizgi soyut bir şey, salt uzunluk, başka bir özelliği yok. Bu sebepten Öklid’in çizgileri kesişebiliyor. Çizgi cisim değildir. Gerçek dünyada kesişme diye bir şey yoktur çünkü gerçek dünyada soyutlamalar değil cisimler vardır. Cisimler ise kesişmez. İki çıtayı bir X şeklinde ancak üst üste koyabiliriz, iki ayrı parça olarak kalıp kesişemezler. Öklid’i devamlılık üzerinden eleştirenler önce Öklid’te kesişme nedir onu anlamaları gerekirdi.

Öklid’in çizgi tanımından başka çizgi tanımları yapılabilir. Galileo bir çizginin noktalardan mı meydana geldiğini yoksa hareket eden bir nokta mı olduğunu sormuştur? Bir çizgi sonsuz olarak bölünebilir mi diye de sormuştur. Bu gibi soruların Öklid geometrisi içinde bir anlamı yoktur. Zaten Galileo da Öklid’in çizgi tanımlamasından değişik çizgi tanımlamaları yaptığı için “Öklid yanlıştır” dememiştir.

Öklid’in kendi geometrisi içinde çizgi, ne noktalardan meydana gelmiştir ne de hareket eden bir noktadır. Kalkül kavramlarını ihtiva etmiyor diye Öklid’in yanlış olduğunu söylemek ona haksızlık olurdu. Öklid geometrisini koordinat geometrisine uygulayıp “Öklid yanlıştır” demek de doğru bir tutum değildir. Her geometri kendi içinde doğrudur.

1. Önermede daire çizmemiz gerektiği için de Öklid, 3. Postülat’ta daire çizebileceğimizi varsayıyor.

[Postulat olarak] rica edilmiş olsun: [3] Ve her merkez ve uzunluğa bir daire çizmek

Bu basit ve güzel daire tanımlamasının da devamlılık kavramı ile bir ilgisi yok.

Daireyi, bir merkezden eşit uzaklıkta olan noktalar olarak tanımlıyor. Bu da devamlılık kavramından bağımsız bir tanımlamadır.

1. Önerme için sadece 1. ve 3. Postülatlar gerekiyor. Öklid de zaten bu iki postülatı vermiş. 1. Önerme için dışardan aksiyomlar getirip iki dairenin kesişmeyeceği gibi bir ihtimali incelememiz gerekmiyor. At arabası at arabasıdır ve otomobille mukayese edildiğinde yanlış değildir. Öklid Ökliddir ve 19. yüzyıl kavramları ile mukayese edildiğinde yanlış değildir.


Notlar:

— Öklid’in Öğeler’inden alıntılar Öğeler’in Özer Öztürk & David Pierce tarafından yapılan çevirisinden alınmıştır. Öğelerin 13 Kitabından Birinci Kitap.

— 19. yüzyıl devamlılık ilkesini Öklid’e uygulanmasını anlatan tipik bir yazı: Proofs, Pictures, and Euclid, John Mumma May 2007

“The general observation here, if accepted, is fatal to the legitimacy of Euclid’s diagrammatic proofs. Again and again, Euclid takes intersection points to exist because they appear in his diagrams. Indeed, he does this right away in proposition I,1 when he introduces the intersection point of two constructed circles. The only thing Euclid offers as justification is a diagram where two circles cross. Nowhere do we find the articulation of a continuity principle which by modern standards seems necessary to secure the point’s existence.”

— David Hilbert tanımlamalarını Geometrinin Temelleri diye iddialı bir şekilde sunmayı tercih etmiştir. David Hilbert, The Foundations of Geometry.

— Aksiyomları çelişen matematik alanlarının birbirlerinin aksiyomlarını kullanarak yanlışlanamayacaklarını göstermek için başka bir örnek: Komütativ cebir, cebirin komütativ olduğu aksiyomuna dayanır. Komütativ olmayan cebir de, cebirin komütativ olmadığı aksiyomuna dayanır. Bu iki aksiyom birbirleri ile çelişir ama hiçbir matematikçi “komütativ cebir doğrudur, komütativ olmayan cebir yanlıştır” (veya tersi) gibi bir hüküm veremez.

Bir Cevap Yazın

Aşağıya bilgilerinizi girin veya oturum açmak için bir simgeye tıklayın:

WordPress.com Logosu

WordPress.com hesabınızı kullanarak yorum yapıyorsunuz. Çıkış  Yap /  Değiştir )

Google+ fotoğrafı

Google+ hesabınızı kullanarak yorum yapıyorsunuz. Çıkış  Yap /  Değiştir )

Twitter resmi

Twitter hesabınızı kullanarak yorum yapıyorsunuz. Çıkış  Yap /  Değiştir )

Facebook fotoğrafı

Facebook hesabınızı kullanarak yorum yapıyorsunuz. Çıkış  Yap /  Değiştir )

Connecting to %s