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 19 Mart 2024
İmsak 05:37
Güneş 07:02
Öğle 13:17
İkindi 16:40
Akşam 19:22
Yatsı 20:41
Puan Durumu
Takımlar O P
1. Galatasaray 30 81
2. Fenerbahçe 30 79
3. Trabzonspor 30 49
4. Beşiktaş 30 46
5. Kasımpasa 30 43
6. Başakşehir 30 42
7. Rizespor 30 42
8. Antalyaspor 30 41
9. A.Demirspor 30 39
10. Alanyaspor 30 39
11. Sivasspor 30 38
12. Samsunspor 30 36
13. Kayserispor 30 36
14. Ankaragücü 30 33
15. Hatayspor 30 33
16. Konyaspor 30 33
17. Gaziantep FK 30 31
18. Karagümrük 30 30
19. Pendikspor 30 29
20. İstanbulspor 30 13
Takımlar O P
1. Eyüpspor 27 64
2. Göztepe 27 56
3. Sakaryaspor 27 47
4. Ahlatçı Çorum FK 27 45
5. Kocaelispor 27 45
6. Bodrumspor 27 44
7. Boluspor 27 43
8. Bandırmaspor 27 41
9. Gençlerbirliği 27 40
10. Erzurumspor 27 37
11. Ümraniye 27 33
12. Keçiörengücü 27 32
13. Manisa FK 27 31
14. Şanlıurfaspor 27 27
15. Tuzlaspor 27 27
16. Adanaspor 27 27
17. Altay 27 15
18. Giresunspor 27 7
Takımlar O P
1. Arsenal 28 64
2. Liverpool 28 64
3. M.City 28 63
4. Aston Villa 29 56
5. Tottenham 28 53
6. M. United 28 47
7. West Ham United 29 44
8. Brighton 28 42
9. Wolves 28 41
10. Newcastle 28 40
11. Chelsea 27 39
12. Fulham 29 38
13. Bournemouth 28 35
14. Crystal Palace 28 29
15. Brentford 29 26
16. Everton 28 25
17. Luton Town 29 22
18. Nottingham Forest 29 21
19. Burnley 29 17
20. Sheffield United 28 14
Takımlar O P
1. Real Madrid 29 72
2. Barcelona 29 64
3. Girona 29 62
4. Athletic Bilbao 29 56
5. Atletico Madrid 29 55
6. Real Sociedad 29 46
7. Real Betis 29 42
8. Valencia 28 40
9. Villarreal 29 38
10. Getafe 29 38
11. Las Palmas 29 37
12. Osasuna 29 36
13. Deportivo Alaves 29 32
14. Mallorca 29 30
15. Rayo Vallecano 29 29
16. Sevilla 29 28
17. Celta Vigo 29 27
18. Cadiz 29 22
19. Granada 28 14
20. Almeria 29 13