Gödel İle Hanefi Avcı'nın Eksiklik Teoremi...

“Herkes aynı fikirdeyse, hiç kimse yeterince düşünmüyor demektir.” Mevlana

Bilim & Teknoloji 13.01.2017, 11:57 13.01.2017, 11:58 Emre
Gödel İle Hanefi Avcı'nın Eksiklik Teoremi...

Eksiklik Teoremi, Kurt Friedrich Gödel’ in1931 yılında doktorasında verdiği “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme.” (Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine) başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin tutarlı olması dahilinde eksik olması gerektiğini bildirir. Bu bildiri matematik dünyasında büyük yankıya neden olup, bundan sonra matematiğin yönü değişmiştir.

Gödel buradan şu iki sonuca varmıştır:

“1. Elementer aritmetik içeren aksiyomatik bir sistem tutarlı ise eksiksiz değildir.

2. Elementer aritmetik içeren aksiyomatik bir sistemin tutarlılığını sistemin kendi içinden (sistemin kendi formüllerini ve işlemlerini kullanarak) ispatlamak mümkün değildir.”

Başka bir deyişle :

1. Sistem aynı zamanda hem tutarlı hem de eksiksiz olamaz. (Bu genellikle eksliklik teoremi olarak bilinir).

2. Belitlerin tutarlılığı sistem içerisinde kanıtlanamaz.

Ayrıca Albert Einstein’ e maledilen bir söz vardır : “Bir sorun’ un çözümü, o sorun’ un meydana geldiği paradigma içinde kalarak, o paradigmanın verileri ile elde edilemez.”

Einstein’ nin bu sözü de Gödel’ in 4. üncü teoremini açıklamaktadır. Ancak Hanefi Avcı “Haliçte Yaşayan Simonlar” başlıklı kitabında, bilerek ya da farkında olmadan Gödel’ in sözü edilen teoremine, matematiksel değil, ama sözel olarak büyük bir açıklık getirmektedir. Bunun için kitabın ilgili bölümüne bir göz atalım. Hanefi Avcı diyor ki :

“İstanbulda görev yaptığım 1992 – 1996 yılları arasında görev yerim Gayrettepedeydi. Her gün akşam geç saatte, özellikle saat 23.00 sularında Gayrettepeden çıkıp evimize giderken Haliçten geçiyorduk. Haliç o zamanlar inanılmaz kötü kokuyordu, tam olarak lağım kokusu duyuluyordu ve ben bu kokuya dayanamıyordum. Arabanın bütün camlarını kapatıyordum. Koku gelmesin diye burnumu parmaklarımla kapatmama rağmen Haliçten gelen hafif bir koku bile midemi bulandırmaya yetiyordu. Haliçten geçmek benim için bir ölümdü, daha yaklaşmadan Ok Meydanında burnumu kapatmam gerekiyordu, ta ki tüneli geçinceye kadar. Fakat Haliç’in etrafında yaşayan insanlara bakıyordum; onlar parklarda geziyor, yemek yiyor, hatta bir kısmı piknik yapıyordu, bu kötü kokudan sanki hiç rahatsız değillerdi. Bu durum bana tuhaf gelmişti. Demek ki, kötü bir ortamda bulunan insanlar bir müddet sonra oraya uyum sağlayıp alışıyorlar ve bu ortamın çirkinliğini göremiyorlardı. Ne kadar kötü ve sağlıksız bir ortamda bulunulursa bulunulsun bir süre sonra kişinin bünyesi bu duruma uyum sağlayarak kötülüğün farkına varamıyordu..

Bir an için düşündüm. İnsanın içinde bulunduğu koşullara gösterdiği uyum, pis kokan bir ortama bile uzun süre kalınca alışması, bunu kabullenmesi sadece fiziki ortamla mı ilgiliydi? Yoksa düşünceler, sosyal davranışlar, etik kurallar gibi toplumsal hayatı etkileyen unsurlar için de geçerli miydi? Aynı şekilde ortama uyum sağlama anlayışını toplumsal hayatın bütün alanlarına yansıtarak, içinde yaşadığımız çok kötü ortamı bile normalleştirmiştik, dolayısıyla hiçbir rahatsızlık duymadan yaşıyorduk.

İnsanlar uzun süre kaldıkları ortamda yanlışlıklara, hatalara ve bütün anormalliklere alışıyor, uyum sağlıyor. Türkiye için de aynı şey söz konusu. Hürriyetlerin kısıtlandığı, baskının hakim olduğu, yanlış ve mantığa uygun olmayan bir Türk idari sistemi, Türk toplum yapısı ve özellikle kirli, yozlaşmış bir kamu sistemi içersinde uzun süre kalan ve bu atmosferi teneffüs eden insanlar, bizler hepimiz, bu ortamın kötülüğünü, pisliğini artık algılayamıyoruz….”

Hanefi Avcı böyle söyleyerek aynı ortam ya da küme içindeki insanlar ile onların düşünebilecekleri yöntemlerle var olan sorunlara bir çıkar yol bulunamıyacağını anlatmaya çalışıyor. “Zira küme içindekiler sorunların farkında bile değillerdir” diyor.

O halde ne yapmalı?…

Çözümleri getirebilmek için, ya ortamın (kümenin) dışında olarak gerçekleri gözlemleyebilmeli, ya da ortamın (kümenin) içinde olduğumuz halde, zihnen dışına çıkıp gerçekleri açıklıkla görebilmeliyiz.

Bunun ikincisine en güzel örnek Mustafa Kemal ATATÜRK’ tür. O Osmanlı düzeni içinde yetişmiş olduğu, bir Osmanlı paşası olduğu halde, zihnen içinde bulunduğu kümenin dışına çıkarak, gerçekleri açık bir biçimde görmeyi başarmıştır. Bundan ötürü de ulusu düşmüş olduğu derin uçurumun dibinden çıkarıp, dağların doruklarına yükseltmeyi başarmıştır.

Bunun tersi durumda olan Osmanlı Padişahı ile çevresidir. Bunlar içinde bulunulan korkutucu durumun hiç farkında olmadıklarını, Sevr Antlaşmasını kabul edip, işgal kuvvetlerine gösterdikleri kolaylıklarla, ulusun kurtuluş yolu olan Kurtuluş Savaşını devlete karşı bir isyan gibi algılayıp, ilan ederek gösterdiler. Onların önerdikleri çözüm yolları geçerli olsaydı bu gün Türk ulusu yok olup gitmişti.

Birinciye örnek ise 21 Şubat 2001 tarihinde başlayan ekonomik kriz sonrası, dışardan Kemal Derviş’ in getirilerek soruna çözüm aranmasıdır. Kemal Derviş yurt dışında çalışan bir bürokrat olduğundan, sorunu dışardan gözlemleyerek ekonomik çözümleri getirmeyi başarmıştır.

Bütün bunlardan anlaşılıyor ki, metematiğin en karmaşık teoremleri (Kurt Gödel’ in Eksiklik Teoremi gibi) bile, sade bilimsel araştırmalarda değil, günlük yaşam içinde de işe yarayabiliyor. Sorunların çözümlerine ışık tutabiliyor.

Bu durum, “Matematikte dört işlemden ötesi yaşamda ne işe yarar ki…” diyenlerin kulaklarına küpe olmalıdır!!…

Kurt Friedrich Gödel Kimdir ? (28 Nisan 1906 – 14 Ocak 1978)

Mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılan Gödel’in Eksiklik Teoremi ile tanınır.

Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlamıştır. Bunun için ise Gödel numaralandırması ismi verilen bir metod geliştirmiştir. Meşhur teoremini Viyana Üniversitesindeki doktora çalışması sırasında 1931 yılında ispatlamış, bununla 20. yüzyıl matematiğinin yönünü değiştirmiştir.

1940′larda Princeton Üniversitesi İleri Araştırmalar Enstitüsünde Kurt Gödel, Einstein’ın kütle çekimi alanı denklemlerine, ekseni etrafında dönen bir evreni tanımlayan bir çözüm getirdi. Evrenin dönüşü ışığı (ve dolayısıyla cisimler arsındaki nedensellik bağlarını da) birlikte sürükleyecekti. Dolayısıyla maddi cisimde, ışık hızını aşmaya gerek kalmaksızın uzayda ve zamanda kapalı bir halka çizecekti. Gödel’in modeli, zamanda geriye gitmenin görelilik kuramınca yasaklanmadığını ortaya koydu. Kurt Gödel, Einstein’ın alan denklemlerini kullanarak, bir evren modeli tasarladı. Tasarım Einstein’ınkine benziyordu ama Gödel’in yaklaşımında kozmolojik sabitlere negatif bir değer veriliyordu. Einstein da kuramının bazı durumlarda geçmişe yolculuğa izin verdiği düşüncesinden rahatsızlık duyduğunu ifade etmiştir. Yalnız Gödel’in bu modeli gökbilimcilerin gözlemlediği kütleçekimsel kızıla kayma tarafından yanlışlanmaktadır.

İçine kapanık bir kişiliği olan Gödel, son yıllarında zehirleneceği paranoyasına kapılarak hiçbir şey yememeye başlamış, bunun sonucunda beslenme eksikliğinden 14 Ocak 1978′de Princeton’da ölü bulunduğunda cenin pozisyonundaydı ve sadece 29.5 kiloydu.

Yorumlar (0)
15
açık
Günün Anketi Tümü
En Çok Sevdiğiniz Renk Hangisi?
Namaz Vakti 21 Kasım 2024
İmsak 06:22
Güneş 07:52
Öğle 12:55
İkindi 15:25
Akşam 17:48
Yatsı 19:12
Puan Durumu
Takımlar O P
1. Galatasaray 11 31
2. Fenerbahçe 11 26
3. Samsunspor 12 25
4. Eyüpspor 12 22
5. Beşiktaş 11 21
6. Göztepe 11 18
7. Sivasspor 12 17
8. Başakşehir 11 16
9. Kasımpasa 12 14
10. Konyaspor 12 14
11. Antalyaspor 12 14
12. Rizespor 11 13
13. Trabzonspor 11 12
14. Gaziantep FK 11 12
15. Kayserispor 11 12
16. Bodrumspor 12 11
17. Alanyaspor 11 10
18. Hatayspor 11 6
19. A.Demirspor 11 2
Takımlar O P
1. Kocaelispor 12 25
2. Bandırmaspor 12 24
3. Erzurumspor 12 22
4. Karagümrük 12 21
5. Igdir FK 12 21
6. Ankaragücü 12 19
7. Ahlatçı Çorum FK 12 19
8. Boluspor 12 18
9. Şanlıurfaspor 12 18
10. Manisa FK 12 17
11. Esenler Erokspor 12 17
12. Ümraniye 12 17
13. Pendikspor 12 17
14. Keçiörengücü 12 15
15. Gençlerbirliği 12 15
16. İstanbulspor 12 14
17. Amed Sportif 12 14
18. Sakaryaspor 12 13
19. Adanaspor 12 7
20. Yeni Malatyaspor 12 -3
Takımlar O P
1. Liverpool 11 28
2. M.City 11 23
3. Chelsea 11 19
4. Arsenal 11 19
5. Nottingham Forest 11 19
6. Brighton 11 19
7. Fulham 11 18
8. Newcastle 11 18
9. Aston Villa 11 18
10. Tottenham 11 16
11. Brentford 11 16
12. Bournemouth 11 15
13. M. United 11 15
14. West Ham United 11 12
15. Leicester City 11 10
16. Everton 11 10
17. Ipswich Town 11 8
18. Crystal Palace 11 7
19. Wolves 11 6
20. Southampton 11 4
Takımlar O P
1. Barcelona 13 33
2. Real Madrid 12 27
3. Atletico Madrid 13 26
4. Villarreal 12 24
5. Osasuna 13 21
6. Athletic Bilbao 13 20
7. Real Betis 13 20
8. Real Sociedad 13 18
9. Mallorca 13 18
10. Girona 13 18
11. Celta Vigo 13 17
12. Rayo Vallecano 12 16
13. Sevilla 13 15
14. Leganes 13 14
15. Deportivo Alaves 13 13
16. Las Palmas 13 12
17. Getafe 13 10
18. Espanyol 12 10
19. Real Valladolid 13 9
20. Valencia 11 7