tag:blogger.com,1999:blog-50232295419276077602024-03-19T06:19:42.971+03:00ZarîraHer insan mantık eğitimi almadan mantıklı düşünebilir, ancak her insan mantık eğitimi almadan sistemli akıl yürütmelerle sistematik genellemelere ulaşamaz.(Zarîra, Zazaca 'içten, yürekten' anlamına gelmektedir.) Mustafa AkdenizZarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-5023229541927607760.post-52786509192987170452018-06-11T12:51:00.001+03:002018-06-11T12:51:04.314+03:00Ortaöğretim Matematik Öğretmeni Adaylarının Matematik Okuryazarlığı Hakkındaki Görüşleri<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<b><span style="font-family: Times, Times New Roman, serif;">Özet</span></b></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Matematik ve teknolojideki gelişmelere bağlı olarak günümüzde uygulama ve
modellemeye dayalı matematik okuryazarlığı kavramı giderek önem kazanmaktadır.
Matematik okuryazarlığı, “bireyin düşünen, üreten ve eleştiren bir vatandaş
olarak bugün ve gelecekte karşılaştığı sorunların çözümünde matematiksel düşünme
ve karar verme süreçlerini kullanarak çevresindeki dünyada matematiğin oynadığı
rolü anlama ve tanıma kapasitesidir” (OECD, 2006). Bu çalışmada matematik
öğretmen adaylarının matematik okuryazarlığı hakkındaki görüş ve
değerlendirmeleri incelenmiştir.</span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"> Araştırmanın çalışma grubunu bir devlet
üniversitesinin ortaöğretim matematik eğitimi anabilim dalında öğrenim gören 95
öğretmen adayı oluşturmaktadır. Öğretmen adaylarının dört açık uçlu soruya yazılı
olarak yanıt verdikleri dokümanlardan elde edilen veriler içerik analizi yöntemiyle
analiz edilmiştir. Çalış ma sonucunda öğretmen adaylarının matematik
okuryazarlığı kavramının anlamına ilişkin sınırlı bilgiye sahip oldukları
belirlenmiştir. Herkesin matematik okuryazarı olması gerekmediğini belirten
öğretmen adaylarına rağmen, bu kavramın anlamına ve geliştirilmesine yönelik değerlendirmelerinden
çeşitli kategoriler belirlenmiştir.<o:p></o:p></span></div>
<span style="font-family: Times, Times New Roman, serif;"><br /></span>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Özgün ŞEFİK† ve Şenol DOST</span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Hacettepe Üniversitesi, Ankara, TÜRKİYE<o:p></o:p></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Makale Gönderme Tarihi: 08.03.2016 Makale Kabul Tarihi: 09.08.2016</span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<a href="http://dergipark.gov.tr/download/article-file/259253"><span style="font-family: Times, Times New Roman, serif;">http://dergipark.gov.tr/download/article-file/259253</span></a>Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-43494225468756108702018-06-11T12:41:00.001+03:002018-06-11T12:54:13.850+03:00MATEMATİK ÖĞRETMENİ ADAYLARININ DERSLERİNDE KULLANDIKLARI LİMİT KAVRAMINA ÖZGÜ ÖĞRETİM STRATEJİLERİ <div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Özet</span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Bu
çalışmanın amacı, matematik öğretmeni adaylarının derslerinde kullandıkları limit
kavramına özgü öğretim stratejilerini incelemektir. Bu amaç doğrultusunda nitel
araştırma yöntemlerinden biri olan özel durum çalışması deseninden
yararlanılmıştır.<o:p></o:p></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Çalışma
son sınıf dört ortaöğretim matematik öğretmeni adayı ile gerçekleştirilmiştir.
Veriler, katılımcıların limit kavramına yönelik hazırladıkları ders
planlarından, derslerinin video kayıtlarından ve yarı-yapılandırılmış
görüşmelerin ses kayıtlarından derlenmiştir. Katılımcıların öğretimlerinde kullandıkları
limit kavramına özgü öğretim stratejileri konuya özgü gösterimler ve konuya
özgü etkinlikler bağlamında incelenmiştir. Limit kavramına özgü kullanılan
gösterimler (a) şekilsel, (b) sayı doğrusu, (c) tablo, (d) grafiksel, (e)
cebirsel ve (f) sözel gösterimler şeklindedir. Konuya özgü etkinlikler ise (a)
oyun, (b) günlük yaşam örneği, (c) animasyon, (d) görsellerle desteklenmiş senaryo,
(e) analoji, (f) Escher’in resimleri, (g) farklı bilim dalları, (h) polinom fonksiyonlarda
limit değerini tartışma ve (i) limite ilişkin özelikleri pekiştirme olarak gruplandırılmıştır.
Katılımcıların sıklıkla kullandıkları gösterim şekilleri sözel ve cebirsel gösterimler
olmuştur. Katılımcılar limit kavramını ağırlıklı olarak ilk derslerinde günlük
yaşamla ilişkilendirmişler ve kendileri ile yapılan görüşmelerde bu stratejiyi
tercih etme sebeplerini, öğrencilerin limit kavramını daha iyi
anlayabilmelerini sağlamak olarak belirtmişlerdir.<o:p></o:p></span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;">Semiha KULA- Esra BUKOVA GÜZEL</span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<div class="MsoNormal">
<span style="font-family: Times, "Times New Roman", serif;">Milli Eğitim Dergisi Bahar 2015 Sayı 206; sayfa 160</span></div>
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><br /></span></div>
<span style="font-family: Times, Times New Roman, serif; font-size: medium;">
</span><br />
<div class="MsoNormal">
<span style="font-family: Times, Times New Roman, serif;"><a href="http://dhgm.meb.gov.tr/yayimlar/dergiler/Milli_Egitim_Dergisi/206.pdf">http://dhgm.meb.gov.tr/yayimlar/dergiler/Milli_Egitim_Dergisi/206.pdf</a><o:p></o:p></span></div>
<span style="font-family: Times, Times New Roman, serif; font-size: medium;"><br /></span>
<br />
<span style="font-family: "times" , "times new roman" , serif; font-size: large;"><br /></span>
Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-30713270236261215462011-09-02T02:29:00.003+03:002012-09-22T20:34:53.009+03:00Önermeler Mantığı; Akıl Yürütme’de İlkel Zamanlar/ YazıDers 6Merhaba,<br />
<br />
İlginç, tuhaf konsantrasyon yöntemleri vardır. Bazı insanlar, konsantrasyon (Yoğunlaşma, diğer etkenlerden arınarak belirlenmiş olan hedefe bilişsel odaklanma) sorunun çözümünde kendilerine özgü bazı yöntemler bulduklarını düşünürler. Oysa bilinenlerin aksine bulunan yöntem ne kadar kişiye özgü olursa olsun, kişi genel insan formasyonu içerisinde yeni ve farklı bir yöntem geliştirmiş olmaz.<br />
<br />
Neden? Her insan farklı olduğu halde neden kendine özgü konsantrasyon yöntemleri geliştiremez? Bu her insanın beslenme-sindirim-boşaltım zinciri gibi temel işlerlik ilkelerine bağlılıkla ilgili basit bir durumdur. Yöntem farklılıkları, kişiye özel genetik yapı ile yine kişiye özel psişik metamorfozlardan doğarlar, ancak yine de kişiye özgülüğün sınırları, genel insan mekaniğinin sınırları ile örtüşmek dışında başka bir durumla/olasılıkla karşılaşamazlar.<br />
<a name='more'></a>Konsantre olunacak konunun işlerlik mekanizmasını kurmak, konunun bağıllıklarını, derinliğini, genişliğini ve uzunluğunu belirlemeyi gerekli kılar. Bu dört ana eksen, tematik bir ışın kılıcı gibi zihnin ellerinde başlangıç noktalarını birleştirmek zorundadırlar. Bu zorundalık dört ana eksenin nesne olmasına bağlı olarak güçlü bir özneye ihtiyaç duyar. O güçlü özne zihninin ellerindeki tematik ışın kılıcını kullanabilecek olan insandır. Ve insanın konsantrasyon sorunlarının tümünün çözüm aralığı mantıksal devinimlerdir. Düşlerindeki prensese konsantre olacak olan veya olan prensin ihtiyaç duyacağı en temel şeyler, nesne-özne ilişkisinden dolayı mantıksal devinimlerden beslenen kurgulardır.<br />
<br />
İlk insanlar, yani Adem ve Havva (aksi düşüncelerin genelgeçerlik özellikleri henüz kanıtlanmamıştır) yasak olan meyveden habersizken, yasak meyve ile ilgili herhangi bir kurgu üretemezlerdi. Yasak meyve ile ilgili konsantrasyon sorunlarının ortaya çıkması için yasak meyveden haberdâr olmaları gerekliydi. Konsantrasyon konusunun bağıllıkları bilinmeliydi. ‘Yasak’ın sahibi Allah, ‘yasak’ın çiğnenmesini sağlamayı hedefleyen İblis ve ‘yasak’ın muhatapları olan ilk iki insan ‘yasak’ın bağıllıklarını biliyorlardı.<br />
<br />
İblis, İnsan’ın açık rakibiydi. Bu rekabet, İblis’in, Adem’e secde etmesini emreden Allah’a itaat etmemesi ve bu itaatsizliğini analojik bir mantıksal devinime bağlaması ile başlamıştı. Yasak meyveden tatmamak, insanı Allah’a itaat etmek gibi mantıksal devinimlerin son durağına taşıyacaktı. Ne yazık ki; İnsan, yasak meyveyi yememekle ilgili konsantrasyon sorunlarını aşmayı başaramadı. Konunun bağıllıklarını bilmesine karşılık, bilgisi ona yetmedi. ‘Yasak’a uyulmadığı zaman nelerin olabileceğini düşünmedi; konunun derinliğini, genişliğini ve uzunluğunu belirleyemedi.<br />
<br />
Adem ile Havva’nın yasak meyveden haberdar oldukları anda ‘yasak’ın gerekçelerini merak etmeleri ile başlayan mantıksal süreç, İblis’in, ölümsüz olmalarının önündeki en büyük engelin ‘yasak meyve’ olduğunu, ‘yasak’ ın sahibi olan Allah’ın onların ölümsüz olmalarını istemediği için ‘yasak’ koyduğunu söyleyerek yaptığı ‘yanlış yönlendirme’ ( yanlış yönlendirme de insanın mantıksal devinimlerine uygun bir sonuçtur; İblis, insanın mantık mekanizmasını kullanmıştır) ile devam etmiş ve insan, genetiğindeki ‘yememek’ le ilgili konsantrasyon sorunlarını çözemeyerek ‘yasak meyve’yi yemiştir.<br />
<br />
Ne yazık ki; insan, aynı anda ‘yemek’le ilgili konsantrasyon sorunlarını da hızla çözmüştür. Bağıllıkları bilmesine rağmen, bir ölümlü için geçerli olan, derinlik, genişlik ve uzunluğun önemsiz olacağını kurgulamıştır.<br />
<br />
Bu girişi neden yaptım?<br />
<br />
Sıkıntılı insan mazisinde sıkıntıların kaynağı insanın mantığı olduğu için bu giriş gerekliydi. Biliyordum ki; insanın konsantrasyon sorunları için yeni ve farklı yöntemler geliştirmeleri bu kısa öyküden dolayı mümkün değildi. Başlangıç’ta, yani akıl yürütmede ilkel ilk zamanda insanın yaptıkları ile modern zamanlarda yaptıkları arasında hiçbir fark yoktu. İnsan akıl yürütmede herhangi bir zaman aralığında daha farklı bir mekanizma kullanmamıştı ve doğal olarak mantıksal kurguları da sınırlıydı.<br />
<br />
Zor bir girişti benim için; umarım sizin için de zor olmamıştır. İnsanın varoluşuna gitmek ve orada ontolojik-mantıksal çözümlemeler yapmak kolay değildir mutlaka. Gidip geldik; oradaki de bizdik çünkü. Zarîra’da da olsak; bizde insandık ve sizlerden farklı değildik. Biz de bu mekanizmayı kullanıyoruz. Genetik yapımız ve psişik metamorfoz düzeyimiz size göre daha doğal, daha düşük katsayılarda kaldığı için tematik ışın kılıcımızla biraz daha fazla zaman geçirebiliyor; konsantrasyon sorunlarımızı aşarken konu ile ilgili bağıllıklara daha fazla değer veriyor; konunun derinliğini, genişliğini ve uzunluğunu düşünmekte siz Dünyalılar kadar ihmalkâr davranmıyoruz.<br />
<br />
Daha açık bir dille şunu da söyleyebilirdim: Analojik çıkarsamaların dışlanma gerekçelerini bazılarınızın yaptığı gibi İblis’e isnad etmiyoruz; aksine İnsan’a isnad ederek bir gerçeği bilmemiz gerektiğini düşünüyoruz. İblis’e isnad etme kolaylığı, sizi mantıksal devinimlerden kaçarken rahatlatıyor; ancak sorumluluktan ve mantıktan uzak çözümlemelerinizden kaynaklanan sorunlardan kaçmanızı sağlamıyor; aksine sizi o sorunlarla boğulmaya götürüyor.<br />
<br />
Unutmamalısınız; mantığı ilk kullanan, ateşle toprağı kıyaslayarak ateşten yaratılanın daha üstün olduğunu iddia eden İblis değildir; İnsan’ı yaratarak mantığı genetik bir özelliğe dönüştüren Allah’tır. İblis de bir yaratılmış olduğu için kendisine bahşedilen bu özelliği kullanmıştır. Tartışılması gereken İnsan’ın mantıksal devinimlerinin İblis’in mantıksal devinimleri karşısında yaşadığı yenilgidir.<br />
<br />
Teselli edici olan, insanın yaşadığı yenilgi sonrası yine mantıksal devinimlerle çare araması ve Allah’ın öğreticiliğine ihtiyaç duyduğu çıkarsama ile İblis’e karşı yaşadığı yenilgiyi telafi etmeye karar vermesi ve tövbe etmesidir. Modern zamanlarda da insan tövbe konulu konsantrasyon sorunları yaşamaya devam etmektedir. Belki de mantığı tövbe edebilmek için de öğrenmek zorunda olduğumuzu bilmemiz gerekiyor.<br />
<br />
Geçen derste mantığın ilkel zamanlarından bahsetmiştik. İlkel önermeler mantığının, modern sembolik mantıkla genişlemesi ve yüklemler mantığı ile matematiğe devredilmesi sürecini hatırlamış, türetilen gri mantıkla ilgili zihinsel egzersizler yapmıştık. Gri mantık birbirimizi anlamamıza yarayacak ve birbirimizden sorun üretmemize engel olacaktı. Mantığın tümünü öğrendiğimizde de, ateist kurguların aksine belki tövbe etmeye konsantre olmakta zorluk çekmeyecek, ilk atamızın yöntemlerini kullanmayı başarabileceğiz.<br />
<br />
Önermeler mantığına geçmeden önce ‘Mantık’la ilgili biraz teknik bilgi tedarik etsek nasıl olur? Çok geniş bir bilgi altyapınız var ve ben bu altyapıyı incelemeyi seviyorum.<br />
<br />
Mantık kelimesi Arapça ntk -nutk, nutuk- kökünden türetilmiş; Nutk, söylemek, konuşmak, dile getirmek anlamlarına geliyor; son durumda mantık; söylenen/söylenmiş demek. Mantığın batı dillerindeki karşılıklarının kökü ise Grekçe Logos sözcüğü. Logos, ilke, düşünce, doğanın ve aklın yasası, söz, vb. anlamlara geliyor. Terim olarak düzgün, tutarlı düşünme tarzına ve türüne verilen ad veya düzgün ve tutarlı düşünme tarzını konu edinen disiplinin ya da bilimin adı.<br />
<br />
Logos sözcüğünü mantığı ya da logic’i kuşatıcı bir bakışla incelersek. 1) Mantık; doğru düşünme kurallarının ve formlarının bilgisidir. 2) Mantık; düşünme yasalarının bilimidir. 3) Mantık; dilsel ifadelerin, dile getirmelerin, dilsel anlatımların formel koşullarının öğretisidir. 4) Mantık; doğru önerme formlarının, kesin ifade kalıplarının kuramıdır.<br />
<br />
İlk iki tarifte düşüncenin dil ile olan ilişkisi dile getirilmemiş. Bu bakımdan eksik sayılabilir. Çünkü biz düşüncelerimizi ancak dil ile açığa vurabiliriz. Dil ile düşünce özdeş olmasa bile birbirinden ayrılmaz bir ikili oldukları tartışılmaz. Bu bakımdan mantık dile getirilmemiş düşünceyi (o düşünce açığa çıkmadığı, çıkamayacağı için) inceleyemeyeceği için, tersinden yine aynı anlamı verecek şekilde söylersek; Mantık, sadece dile getirilmiş düşünceleri yine dilsel kalıplar içinde inceleyebileceğinden, aslında düşüncenin bizatihi kendisini değil, ancak ve sadece ifadelendirilmiş şekli olan dilsel formunu inceleyebilmektedir. (Mantık; söylenen/söylenmiş demekti zaten)<br />
<br />
Mantık disiplini, düşüncenin her türlüsünü kendine konu almaz, o, düşüncenin içeriğiyle değil, sadece formu, biçimi, şekli ile ilgilenir; düşüncenin nasıl oluştuğuyla da ilgilenmez, işlevleriyle, neden ve sonuçları ile de ilgilenmez, o sadece birden fazla düşünce arasındaki akıl yürütme ilişkilerini ele alır ve akıl yürütmeleri kendi içlerinde geçerlilik ve geçersizlik yönleriyle inceler. Buradan anlaşılan o ki Mantık, sadece, Akıl Yürütmeler sonucu ortaya çıkan düşüncelerin geçerli ya da geçersiz olduğuna hükmeder.<br />
<br />
Mantık akıl yürütme değil demek ki. O halde Akıl Yürütme nedir? Herhangi bir şey hakkında kesin bir kanaatiniz vardır ve bu kanaatinizi bazı ön kanaatler sonucu elde etmişsinizdir. “O şöyleyse bu böyledir, o halde şu da şöyle olur” şeklinde düşünür ve bunlardan hareketle bir sonuca varırsınız. Dikkat ediniz ortada birden fazla düşünceniz vardır ve bu düşüncelerinizden birisini, sonra gelenin kanıtlayanı durumuna sokmuşsunuzdur. Buradan da bir sonuca vardığınız zaman akıl yürütmüş olursunuz.<br />
<br />
Netleştirmeye çalışalım. Akıl Yürütme; en az iki düşünce arasında, bu düşüncelerden birini diğerinin kanıtlayanı yaparak buradan bir sonuca ulaşmaktır. Ancak bu tarif eksiktir. Neden? Çünkü dedik ki; düşünceler kendisini ancak dil aracılığıyla dışa vurur, belli eder, dolaylı olarak incelenebilir hale getirir. O halde yukarıdaki tarifte 'en az iki düşünce arasında' ibaresinden kaynaklanan boşluğu doldurmak gerekir. Bu boşluğu ise 'Önerme' kelimesiyle doldurabiliriz.<br />
<br />
Doğru ya da yanlış bir hüküm bildiren ifadelere önerme diyorduk (Bakınız; YazıDers 3). Akıl Yürütme’yi önermeyi kullanarak yeniden açıklayalım mı? Akıl Yürütme: en az iki önerme arasında bu önermelerden birini diğerinin kanıtlayanı yapıp bir sonuç, bir yargı, bir hüküm çıkarma işlemidir. Bu ‘En Az İki Önerme’den önce gelenine 'Öncül', bu öncül sayesinde kanıtlanan, gerekçelendirilen önermeye ise 'Sonuç' ya da 'Sonuç Önermesi' denir. İşte mantığın asıl konusu burada ortaya çıkar.<br />
<br />
Mantık, öncül ile sonuç arasındaki kanıtlama bağıntısını inceler. Öncülden böyle bir sonuç çıkar mı, bu çıkan sonuç öncülün sonucu mudur, öncül sonucu gerçekten kanıtlıyor mu, vs. gibi durumları inceler. Hatta mantığın temel konusu için; ‘Bir akıl yürütmede öncül veya öncüllerin sonucu kanıtlayıp kanıtlamadıklarını denetlemek’ fikrini ileri sürenler de var. Bu önermelerin mutlaka Öncül ve Sonuç sırasını takip etmesi gerekir.<br />
<br />
Bir akıl yürütme işleminde, sonucun/sonuç önermesinin, öncülden/öncüllerden zorunlu olarak çıkmasına geçerlilik denilir. Yani sonuç önermesi, öncüllerden zorunlu olarak çıkıyorsa, Son önerme, öncüllerin zorunlu sonucuysa, Öncüller, sonucu zorunlu kılıyorsa, bu akıl yürütme geçerli bir akıl yürütmedir. Diğer taraftan bir akıl yürütmede öncüller sonucu zorunlu kılmıyorsa geçersizlik söz konusudur.<br />
<br />
Unutmadan belirtmeliyim. Biz o hoş duruşlu önermeleri biraz sonra sembolleştireceğiz. Her önermeyi, p, q, r, s, t,…gibi harflerle sembolleştirdikten sonra iki veya daha fazla önermeyi birbiri ile birlikte düşünmemize yarayan sevgili bağlaçlarımızı (ve, veya, ise, ancak ve ancak) ve değil’ i sembolleştireceğiz. Önermelerin ‘Doğruluk Değerleri’ var; hükmü doğru olan önermenin doğruluk değeri 1, yanlış olanın doğruluk değeri 0. Bir önerme doğru veya yanlış dışında bir durumda olmuyor en açık haliyle… Siyah - beyaz zıtlığı gibi.<br />
<br />
Fakat bu sıkıntılı kabuller; çatışmalara kaynak olarak hizmet ettiği için, insanlar önce önermelerde değişkenler kullanmışlar, değişkenlerin aldıkları değere göre önerme doğru veya yanlış olmuş, buna da yüklemler mantığı demişler; sonra sıkılmış ve 0 ile 1 arasındaki değerlerin de mümkün olacağını düşünerek gri mantığı bulmuşlar…<br />
<br />
Bir şey, yani bir önerme doğru ile yanlış arasında bir yerde de olabilir, değil mi? Bebek neden sadece ya var ya da yok olsun ki? Anne karnında iken ne haldedir? Anne karnındaki ‘şey’ e bebek denip denmemesi sorunu da bir tanım sorunudur; o da kolaylıkla aşılabilir, değil mi?<br />
<br />
Mantık ve akıl yürütme arasındaki ilişkiyi daha iyi anlamamız için aşağıdaki analizi dikkatle ve üşenmeden okumakta fayda var.<br />
<br />
p: Bütün insanlar kuştur.<br />
<br />
q: Ali de bir insandır.<br />
<br />
r: O halde Ali de bir kuştur.<br />
<br />
Burada öncüllerden hareket edilerek elde edilen sonuç (çıkarım=r) önermesi mantık bakımından geçerlidir. Çünkü taşıdığı anlam, şekil (form) bakımından birebir öncül önermelere (p ve q) uygundur. Ancak sonuç önermesi (çıkarım=r), öncül önermeler (p ve q)' e bilgi (epistemik) bakımından uymadığı için (öncül önermeler de epistemik bakımdan yanlıştır) yanlıştır. Ancak mantık içerikle ilgilenmediğinden bu önermeyi geçerli olarak ele alacaktır.<br />
<br />
Demek ki mantıkta bir önermenin doğruluğu ile geçerliliği arasında bir ilişki yok; yani geçerlilik, doğruluk değerinden bağımsızdır. Önermelerin içeriksel (epistemik) doğrulukları bir ‘Bilgi’ konusudur. İçeriği doğru önermeler elde etmek bilimin işidir, mantığın değil. İşte mantığın ‘Formel’ özelliği burada ortaya çıkar. Mantık, ne bilimler gibi önermelerin içeriksel doğruluğuyla ne de felsefe gibi mahiyetleri ile ilgilenir. Sadece formlarını ele alır ve inceler.<br />
<br />
Mantığın bu form hastalığı Adem ve Havva’dan beri gelen bir hastalık değil mi? Ölümsüz olmakla ilgili düşünüldüğünde ‘meyveyi yemek’ teki ve ‘ölümsüz olmak’ taki yanlışlık, epistemik bir yanlışlıktı; ancak buna bakmadı ilk insan ve mantık, yürütmenin geçerliliğini kontrol etti(Yasama, yürütme ve yargı üçlüsünden, yürütme ve yargı arasındaki ilişki gibi; mantığın yaptığı sadece yargısal bir denetim). ‘Yasak Meyve’ yenir (p) ise ölümsüz olunacaktı (q). Formel olarak bu doğruydu. Ama öncül önerme’deki epistemik bilgi doğru değildi ve doğal olarak sonuç önermesi de doğru olmayacaktı. p ise q da önermelerin doğruluk değerleri sıfır (önermenin doğruluk değeri) bile olsa, yürütülen mantık doğruydu(0 ise 0 denktir 1). Onların ‘yasak meyve’yi yemelerindeki konsantrasyon sorunlarını bu formel mantık gidermişti.<br />
<br />
Aynı içerik hatasını antik çağ mantıkçıları da yaptılar ve bilgi’nin bağıllıklarını, derinliğini, genişliğini ve uzunluğunu, yani dört ana ekseni ihmal ettiler. İlk insanın konsantrasyon sorunlarını farklı ve zıt yanlışlıklarla yeniden ikame ettiler. Doğal olarak tepki topladılar. Önermelerdeki bilgi sınanmadan sistematize edilen mantığın sonuçlarının doğru olup olmadığı bir çok insan için önemli değildi.<br />
<br />
Evrensel duruşların ihtiyaç duyduğu en önemli mantıksal devinim, çağlara ve insanlara hitap eden mantık ürünlerinin mutlak doğruya ulaştırma gücü idi. Formel Mantık bu yüzden zamanla alay konusu oldu. Sembolik mantık benzer hataları tekrarlasa da, doğru ve yanlış önermelerden elde edilen bileşik önermelerin sonuçlarına bakmayı öğrendi. Bileşik önermedeki tüm durumlar için daima yanlış (0) sonuçlar çıkıyorsa, bileşik önerme bir çelişki idi ve içeriği ciddiye alınamazdı. Tam aksine bileşik önermedeki tüm durumlar için daima doğru(1) sonuçlar çıkıyorsa o zamanda bileşik önermeye totoloji dediler ve sonuçları önemsediler.<br />
<br />
Her şeye rağmen ‘Yanlış ise yanlış, denktir doğru’ olduğu yerde duruyordu. Mantık iki yanlıştan bir doğru çıkarmayı başarıyordu, ancak insanları ikna etmekte yetersiz kalıyordu.; anlatamıyordu iki yanlıştan bir doğru çıkarmadığını; “Öncülü yanlış olanın çıkarımı da yanlış olur.”, diyorum, ve yaptığım bu akıl yürütmeye mantık, “doğrudur”, der”,diye bas bas bağırıyor ve kendisini anlatabilmek için matematiğe sarılıyordu sonra, ‘İki kere iki dörttür ise Dört bölü iki ikidir (p ise q; 1 ise 1, denktir 1; doğru ise doğru, denktir doğru)” Örneğindeki gibi, “İki kere iki dört değildir ise dört bölü iki de iki değildir. (p’nin değili ise q’nun değili; 0 ise 0, denktir 1”, örneğinde yapılan akıl yürütme geçerlidir ve doğrudur demeye devam ediyordu.<br />
<br />
Formel ve sembolik mantıktaki birliği önermeler, bağlaçlar ve doğruluk değerleri üzerinden analiz edelim ve mümkünse bittikten sonra dersi yeniden okuyunuz. Yaşadığınız bazı kopmalar, boşluklar dolacak emin olunuz. Zaten yukarıdaki harfler kombinasyonu az sonra işleyeceğimiz ve matematik mantığını kavramakta kullanacağımız temel konular için üretildi; yani esas meselemiz aşağıda.<br />
<br />
Önerme’nin tanımını vermiştik. Şimdi de ‘önerme’nin değili’ ni anlatalım. Basit önerme’nin hükmünün olumsuzu ile değiştirdiğimizde, önermenin değili’ni almış oluyoruz; “İki kere iki dörttür.” Matematik önermesinde; “İki kere iki dört değildir” şeklinde yaptığımız değişiklik, bize önerme’nin ‘değili’ ni kazandıracaktır. Doğal olarak; önermemizin 1 olan doğruluk değeri bu sefer 0 olacaktır. Hemen belirtmeliyim; bir önermenin değili,’nin değili kendisine eşittir. Bileşikönerme’nin değili basit önermenin değilinden biraz daha farklıdır. Bunun için bileşik önermeyi tanımlamamız gerekiyor.<br />
<br />
Bileşik önerme, iki veya daha fazla önerme’nin ve, veya, ise, ancak ve ancak bağlaçları ile birleştirilmesi sonucu elde edilen yeni önermedir. İşin içine bağlaçlar girdiğinde, yüklemlerle birlikte bağlaçları da değillemek zorunda kalacağız. ‘Ve’nin değili ‘veya’, ‘veya’ nın değili ‘ve’. Basit bir örnekle konuyu indirgeyelim. “Türkiye’nin başkenti Ankara’dır ve İki kere iki dörttür.” Bileşik önermesinin değili, “Türkiye’nin başkenti Ankara değildir veya İki kere iki dört değildir.” önermesidir.<br />
<br />
‘İse’ ve ‘ancak ve ancak’ bağlaçlarının değillerini doğrudan doğruya elde edemiyoruz. Yeni dönüşüm formüllerine ihtiyaç duyuyoruz. ‘p ise q’ bileşik önermesi, p veya q’nun değili’ önermesine denktir. ‘p ise q’ önermesi, ‘p veya q’nun değili’ önermesine denk olduğundan, ‘p veya q’nin değili’ bileşik önermesinin değili de,’ p’nin değili ve p’ önermesine denktir. Aynı dönüşüm zorunluluğu ‘p ancak ve ancak q’da da var. ‘p ancak ve ancak q’ önermesi, ‘(p ise q) ve (q ise p)’ önermesine denktir. Buradan ise veya dönüşümü yaparak, ‘p ancak ve ancak q’ önermesinin değilini bulabiliriz.<br />
<br />
Sıkılmadınız değil mi? Umarım sıkılmamışsınızdır; bu derste yaptığımız her şey matematik derslerinde bir olguya nasıl bakmamız gerektiği konusunda zihnimize olgunlaşmış deneyimler kazandıracaktır; bundan emin olunuz. İki bin beş yüz yıllık bir süreci derli toplu bir şekilde analiz etmek kolay değil; zihni bununla meşgul etmek hiç kolay değil. Değil mi? Kolay-zor ile ilgili görelilik işçiliğimizi hatırlayın lütfen. Tembelleşmeyi kolay sanıyoruz, ama en zor şey tembelleşmek. Ancak henüz bütünleşik analizimizi tamamlamış değiliz, Adem ile Havva’nın ilkel ilk zamanlarındaki mantıksal çıkarımları ile antik çağ dönemi insanlarının mantıksal çıkarımları arasındaki ‘aynılığı’ az sonra fark ettikten sonra dersimizi bitireceğiz.<br />
Önermeler, basit halde iken doğru veya yanlış bir hüküm bildiriyorlar, o kadar. Daha karmaşık anlamlar ifade edebilmeleri için onların bileşik önermelere dönüşmesi gerekiyor. Önermelerin doğruluk değerlerini de kullanarak birleşik önermelerle ilgili basit tablolar yapalım.<br />
<br />
Bir önerme tek başına iken iki doğruluk değerine/durumuna sahiptir; ancak iki önerme bağlaçlarla birbirlerine bağlandıklarında, yani bileşik önermeye dönüştüklerinde dört farklı durum ortaya çıkmaktadır. Biz bu durumlara tabloda satırlar diyoruz; sütunlara da basit ve bileşik önermelerimizi yerleştireceğiz. Eğer 3 basit önerme varsa üçünün birbirlerine göre durumları 8’e çıkıyor; 4 ise 16’ya. Tablo’daki basit önerme sayısı, tablodaki satıların sayısını belirliyor. 2‘nin önerme sayısınca kendi kendisiyle çarpılması sonucu elde edilen bir sonuç bu.<br />
<br />
2 önermelik basit bir tablo yapalım:<br />
<br />
p q (p veya q) (p ve q) ( p ise q) (p ancak ve ancak q)<br />
<br />
1 1 1 1 1 1<br />
1 0 1 0 0 0<br />
<br />
0 1 1 0 1 0<br />
<br />
0 0 0 0 1 1<br />
<br />
Tablomuzu yukarıdaki analizimizin bize verdiği güçle ve keyifle inceleyelim.<br />
<br />
Tabloya baktığınızda 5 satır 6 sütün görüyorsunuz. İlk satır’da önermeler var, diğer satırlarda ise önermelerin birbirine göre durumları. İlk iki sütunda basit önermeler var ve p doğru iken q ne oluyor, q doğru iken p ne oluyor dikkat ediniz. İkisi aynı anda doğru veya yanlış olabildiği gibi, biri doğru iken diğeri yanlış olabiliyor; işte bu yüzden 2 önermede 4 durum/satır var.<br />
<br />
2. satır’a(daha doğrusu 1.durum satırına) bakalım. p ve q önermeleri veya, ve, ise, ancak ve ancak bağlaçları ile bileşik önerme oluşturuyorlar. 1. ve 2.sütunlarda sadece p ile q önermelerinin doğruluk değerleri var.Burada önermenin içeriği yok, sadece doğruluk değerleri var. Belirsiz bir önerme doğru veya yanlış olabilir, kabulü baz alınmıştır. Gri yok anlayacağınız, duygusal ve mantıksal çatışmaların yoğun olarak yaşandığı evrendeyiz. Önerme ya doğrudur ya da yanlıştır; ikisi arasında başka bir durum yok; cenin yok. Çok sonra, 20. yüzyılda bunu değiştirecek insanoğlu; merak etmeyiniz.<br />
<br />
3.sütun, p ile q önermelerini ‘veya’ bağlacı ile bileşik önerme yapıyor. 3. Sütuna dikkatle baktığınızda en alt satırdaki durum hariç tüm durumların 1’e denk olduğunu görüyorsunuz. 1veya 1, 1’e denk, 1veya0, 1’e denk, 0 veya 1, 1’e denk, ama 0 veya 0,’ 0’a denk. ‘veya ‘ bağlacı iki önerme doğru iken doğru veya iki önermeden biri doğru iken bileşik önerme doğru oluyor, fakat iki önerme yanlış ise bileşik önerme o zaman yanlış oluyor. ‘veya’ bağlacı biraz hoşgörülü anlayacağınız. İki önerme aynı anda yanlış değilse bileşik önermeyi bütün olarak doğru kabul ediyor. “Türkiye’nin başkenti Ankara’dır veya İki kere iki dört değildir” gibi.<br />
<br />
4.sütun, p ile q önermelerini ‘ve’ bağlacı ile bileşik önerme yapıyor. 4. Sütuna dikkatle baktığınızda da ilk durum hariç, diğer durumların/satırların hepsinin 0’a denk olduğunu görürsünüz. 1ve 1, 1’e denk, 1ve 0, 0’a denk, 0 ve 1, 0’a denk, 0 ve 0,’ 0’a denk. ‘ve’ bağlacı iki önermenin ikisi de doğru değilse asla taviz vermiyor. Daha net görelim mi? “Türkiye’nin başkenti Ankara’dır ve iki kere iki dörttür.” Mantık bu akıl yürütmeyi yanlış buluyor.<br />
<br />
5.sütun, p ile q önermelerini ‘ise’ bağlacı ile bileşik önerme yapıyor. Buradaki p, öncül önerme; q ise sonuç(çıkarım) önermesi. 5.sütuna dikkatle baktığınızda 2. Satır dışında tüm durumların 1’e denk olduğunu görürsünüz (buna tek yönlü gerektirme denir). 2. Satırda p öncül önermesi doğru (1) iken q sonuç önermesi yanlış(0)tır. ‘ise’ bağlacı bize der ki, “öncülün doğru ise çıkarımının yanlış olması senin akıl yürütmeni yanlış yapar.” 1. Satır 5. Sütunda 1 ise 1, 1’e denktir. Öncülü doğru olanın sonucu da doğru ise bu doğru bir akıl yürütmedir. 3.satır 5.sütunda ise öncülü yanlış olanın sonucu doğru ise akıl yürütmeyi doğru bulur, mantık; 0 ise 1, 1’e denktir.<br />
<br />
İşte geldik Adem ile Havva’nın konsantrasyon sorununa; son satır 5 sütun; 0 ise 0, 1’e denktir. Mantık, yanlış öncülden yanlış sonuç çıkaran akıl yürütmeyi doğru bulur. Yasak meyve yenir ise ölümsüz olunur. Yasak meyveyi yemek yanlıştır, ölümsüz olmak da yanlıştır; ama akıl yürütme doğrudur. Fakat cennetten kovulan bu akıl yürütmeyi doğru kabul eden insandır. 20. Yüzyılda ve sonrasında tövbe edebilmek için matematiksel kesinliğe ulaşmak istemesinin, bir daha aynı yanılgı ile sonsuza dek bedel ödemek istememesinin öyküsü budur insanın. Yüklemler mantığı, açık önermeleri, denklemleri, gerektirmiştir bu arayışta. Evrenin kesin bilgisine ulaşmak ve yanlış akıl yürütmemek için bunu yapmak zorunda olduğunu biliyor insan. Önermelerin epistemik kökenini önemsiyor; ölümsüz olamayacağını biliyor.<br />
<br />
6. sütun’un analizi ile dersimizi bitirelim mi, ne dersiniz?<br />
<br />
6.sütun, p ile q önermelerini ‘ancak ve ancak’ bağlacı ile bileşik önerme yapıyor; yani ((p ise q) ve (q ise p)) çift yönlü analiz yapıyor. Doğal olarak geri dönüşte 3. Sütun da ise’nin mantığına uymadığı için yapılan akıl yürütme yanlış oluyor. Ama 1 ve 4. Satırlarda durum 1’e denk( yani çift gerektirme). Son satır yine bitiriyor insanoğlunu; 0 ancak ve ancak 0, 1’ denktir. Akıl yürütme geçerlidir; yine iki yanlıştan bir doğru elde ediliyor.<br />
<br />
Hoşça kalınız.<br />
<br />
Mustafa Akdeniz, 12.12.2010Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-26519250101938977022011-09-02T02:28:00.006+03:002011-09-02T16:46:36.153+03:00Mantık; Siyah, Beyaz ve Gri/ YazıDers 5Merhaba,<br />
<br />
İnsanların birbirlerini aşırı mantıklı veya aşırı duygusal gibi sınıflandırıcı ve dışlayıcı eleştirilerle suçladıklarını duyduğumda şaşırıyorum. Ve merak ediyorum; bu suçlamada eleştiri okları ‘aşırı’ ek sıfatına mı yapılmakta, yoksa mantıklı, duygusal sıfatlarına mı? Eğer eleştiriler ‘aşırı’ ek sıfatına yönelikse ve bu ‘aşırılık’ suç ise; insanlar ‘aşırı olmayan’ mantıklılığı veya duygusallığı eleştirerek birbirlerini suçlamıyorlar, demek gerekecektir. Yani; bir insan mantıklı iken, diğer bir insan duygusal olabilir ve bu durum eleştirilmez; bu durumdan suç üretilmez/üretilemez, öyle mi?<br />
<br />
Gerçekten ilginç bir durum. Fakat büyük bir sorununuz daha çıkıyor ortaya; bir insan sadece ‘aşırı olmayan’ mantıkla veya sadece ‘aşırı olmayan ‘ duygusallıkla davranış formlarını düzenliyor olabilir mi? Önünüze ek bir sıkıntı daha çıkacak; ‘aşırı’lığın görelilik açılarına göre sınırlarını da belirleyemeyeceğinizi fark edeceksiniz.<br />
<a name='more'></a>Düşünelim ve bir soru daha soralım, belki asıl sorunu saptayabiliriz. Eleştirileriniz ‘aşırı’ ek sıfatından daha çok bu teknik ayrıma yöneltilmiş olmasın? Galiba biriniz mantıklı, diğeriniz duygusal olmaktan kaynaklanan etkilerle, ötekini ‘aşırı’ bulmaktasınız. Aksi halde sınırlarını belirleyemediğiniz ‘aşırı’lığı ‘günah keçisi’ olarak kullanmazdınız. Biz Zarîrâlılara göre sizin sorunuz bu: siz bir insanın sadece duygusal veya sadece mantıklı olabileceğini zannediyorsunuz. Bu zandan hareket ederek, doğrudan mantıklı veya duygusal olmakla suçlayamayacağınız ötekini ‘aşırı’lıkla suçluyor, sorunu daha da karmaşıklaştırıyorsunuz.<br />
<br />
Size yardım etmek istediğimi söylersem, bana kızar mısınız? Biliyorum; sorunlarınıza müdahale edilmesinden hoşlanmıyorsunuz. Ayrıca; çözüm önerilerimizi kendimize saklamamız gerekiyor da olabilir. Fakat anlatmamda bir sakınca yok değil mi? Belki bir işe yarar söylediklerim. Sorunlardan aldığınız hazzı azaltacak da olsam, olası çözümlerden alabileceğiniz hazların olduğunu da gösterebilirim size. Ne dersiniz? Her durumda karar sizin zaten; kaybedecek neyiniz var ki?<br />
<br />
Aslında insanlar tüm duygu ve düşüncelerini birbirinden ayrı/ayrık ve bağımsız sanarak hata yapıyorlar. Bu bir konumlama hatası ve bu hata giderildiğinde, ilgili eleştiriler ve bu eleştirilerden üreyen suçlamalar anlamsız kılacak. Bu türden sorunlarınız ortadan kalkınca birbirinizi kolaylıkla anlayabileceksiniz. Zaten en büyük sorununuz da birbirinizi anlayamamanız.<br />
<br />
Duyguların her türü, siz farklı ad/tanım blokları oluştursanız da tastamam düşüncelerden ibarettir. Sade bir anlatımla; duygular aynı zamanda düşüncelerdir, diyebiliriz. Ya da duygular düşüncelerin alt kümeleridir. Bu alt kümeler, korku, ümit, öfke, kin, heyecan, kıskançlık, hırs, sevgi, sevinç, özlem, gibi kategorik benlik baskılarından aşırı bir şekilde etkilenen düşünceleri içeriyorlar.<br />
<br />
Yeni açıklamamızı koyulaştıralım mı? Duygular, benlik baskılarından etkilenen düşüncelerdir, diyelim. Dinî terminolojiyi kullanarak şöyle de söyleyebiliriz; nefs, cin, şeytan ve diğer insanların veya canlıların, doğa olaylarının baskılarından/kışkırtmalarından (benlik baskıları) etkilenen düşüncelere duygu denir. Nasıl? Açıklayıcı oldu mu?<br />
<br />
Benlik baskılarından bağımsız bir insandan söz edilemeyeceğine göre birlikte bir karara varabiliriz; benlik baskılarından aşırı etkilenen insanlara duygusal, az etkilenen insanlara da mantıklı, diyorsunuz. Şu halde duyguların, düşüncelerin alt kümeleri olduğunda hemfikir miyiz? Hemfikir isek; şu sonucu düşünce eylemlerimizin bayrak direğine asabiliriz: Düşünceler, asla mantıksız olamazlar ve düşüncelerin altkümeleri olan duyguların mantıksız olma olasılıkları sıfırdır.<br />
<br />
O halde artık rahatlıkla ifade edebiliriz, ki; bir insan mantıklı, diğer insan duygusal olamaz. Aşırı mantıklı veya aşırı duygusal olmak da imkânsızdır. Bana katılıyor musunuz? Bana katılmanız birbirinizi eleştirmekten ve suçlamaktan vazgeçeceğiniz anlamına gelmiyor, kuşkusuz. Sorun üretip bu sorundan haz almak sizde bir alışkanlığa dönüşmüşse, düşüncelerin alt kümeleri olan duyguların benlik baskılarından aşırı bir şekilde etkilendiğini gördükten sonra, ötekini benlik baskılarına yenilmiş olmaktan dolayı suçlayacaksınız.<br />
<br />
Ancak yine de bir avantaj elde etmiş durumdasınız; nedeni biliyorsunuz ve nedeni biliyor olmanız, karşınızdakini anlamanıza yardım edecektir. Bu durumda siyah, beyaz ayrımındaki çözümsüzlüklere karşı “elde gri var”, diyerek, katliam havasını dağıtmış olabiliriz, değil mi?<br />
<br />
Mantıklı olmanın eleştirilebiliyor olması başlı başına tuhaf bir durum zaten ve bu tuhaflık, Dünya’ya özel bir karmaşa. İnsan doğası gereği mantıklıdır ve mantıklı olmaması gibi durumlarda ortaya çıkacak olan mantıksızlık durumuna insanlar, karşıt olarak ‘duygusallık’ demiyorlar; ‘delilik’, ‘geri zekâlılık’ gibi sıfatlar kullanıyorlar. Ne acıdır ki; delilik ve geri zekâlılık da yanlış kullanılan sıfatlardır. Mantıksız davrandığı düşünülen insanlara deli denmesi anlamsız, çünkü; deli mantıksız davranan değil, farklı mantık zincirleri kurup işletendir. Geri zekâlı denmesi de anlamsız, çünkü; zekâ’nın ileri veya geriliğinden bahsedilemez. Durum tam olarak gelişmemiş fiziksel bir problemden kaynaklanan bir durumdur.<br />
<br />
İnsan doğuştan mantıklı ise neden mantık diye bir ders alanı oluşturulmuştur, diye düşünebilirsiniz. Her insan matematik eğitimi almadan sayı sayabilir, ama matematik eğitimi almadan ikinci dereceden denklemleri çözemez. Her insan mantık eğitimi almadan mantıklı düşünebilir, ancak her insan mantık eğitimi almadan sistemli akıl yürütmelerle sistematik genellemelere ulaşamaz.<br />
<br />
Sistematik genellemelere ulaşmak ve bu genellemeleri hayatın her alanında kullanmak, başarı şansını arttıracaktır, işte biz bu yüzden matematik öğrenirken mantıkla başlamamız gerektiğini düşünüyoruz. Biraz uzun bir sohbet olacak bu; hazırsanız başlayalım. Hazır değilseniz, yukarıdaki sohbetle yetinebilirsiniz. Kalan dostlarla devam ediyoruz, değil mi?<br />
<br />
Mantığın bilimsel yöntemlerin temel konusu olduğunu bilmiyor değilsiniz. Bilimsel yöntemler oluşturulmadan önce de felsefenin temel konusu mantıktı. Antik/Helenistik çağda, iç Akdeniz kıyılarında ve bu kıyıların arasındaki adacıklarda, köle olmayan, köle olmadıkları için de bolca tüketebilecekleri zamana ve enerjiye sahip olan insanlar, kendilerine özellik katan ve kendileriyle anılan alanlar olsun istediler. Mantık da bu alanlardan biriydi. Mantık’tan önce Matematik vardı; ancak matematik gelişmiş bir bilim dalı olmadığı için mantıkla doğrudan ilişkilendirilerek öğretilme gereği duyulmuyordu.<br />
<br />
Mantık, bir oyun olarak doğdu ve mantık oyuncularının ürettiği paradokslarla insanların ilgilerini çekti. Her insan eşit fırsatlara sahip olamadığı için de bu oyunla ilgilenecek pozisyonda olamadı, paradokslarla ilgilenemedi. Çok sonraları bu paradokslara zaman ayırıp da çözüm bulduklarını iddia edenler, diğerlerinden daha zeki olarak öne çıkarıldılar. Aslında bu büyük bir haksızlıktı, zekânın bu işle hiç ilgisi yoktu. Paradoksal korkular insanları çok korkutmuşlardı. O kötü zamanlardan sonra bu yanılgı önyargılara dönüştü; sorgulanamayan bir gerçekmiş gibi insanların kültürlerine yerleşti. Ne ilginçtir ki; şu anda yeryüzünde yaşayan insanların çoğu bazen mantıktan anlamadıkları için kendilerini zeki olmamakla suçlayabiliyorlar. Oysa sadece ihtiyaçları olan iki şeye sahip değiller; yeterli zamana ve uygun öğrenme koşullarına.<br />
<br />
Antik/Helenistik çağda oyun olarak doğan mantık, oyun olarak kalmadı elbette. İnsanlar özel durumlardan genel sonuçlara ulaşmayı sevdikleri için; daha doğrusu bilimsel en büyük kaygı olan genelleme kaygısından fazlaca etkilendikleri için önermeler ürettiler ve bu önermelerin doğruluğunu veya yanlışlığını kontrol etme gereği duydular. Şimdi okullarda iki parçaya ayrılan mantık önermeler mantığı ve sembolik mantık olarak matematiksel yöntemlerin altyapısını hazırlamak için öğretiliyor. Antik çağdan 19. Yüzyıla kadar önermelerden oluşan mantık, 19. Yüzyılla birlikte hızla sembolize edildi ve sembollerle genel sonuçlara ulaşmanın kolaylığı kullanıldı. Matematik büyük bir bilim dalı olarak gelişince de, Mantık, küçük ve dar oyun alanında kalakaldı.<br />
<br />
Önermeler mantığı, sembolik mantıkla biraz daha geliştirilmişti, ancak; sembolik mantık da varlıksal bazı durumlar için yeterli olmasına rağmen evrensel tüm durumlar için yeterli değildi. Matematiksel genellemecilik mantığı zorladı ve yüklemler mantığı üretildi. Yani açık önermeler… Normal önermeler için iki durum vardı; ya doğru olacaklardı ya da yanlış. Oysa artık yüklemler mantığında, yani açık önermeler de değişkenler ve sabitler vardı ve önerme değişkenin alacağı değerlere göre doğru ve yanlış olabiliyordu. Böylece denklemler ve eşitsizliklerle ilgili temel ilişkilendirme sağlanmış olacak ve mantık tümüyle matematik biliminin ilk basamaklarından biri olarak kalıcı hâle gelecekti.<br />
<br />
Şu anda Felsefe eğitim ve öğretiminde kullanılmaya devam eden mantık sadece önermeler mantığı ile sembolik mantık gibi ilkel mantık konularını içeriyor olduğu için felsefî üretim standartları gelişmedi. Belki de felsefe, bilimsel alanların çoğalması karşısında ne yapacağını bilemedi; klasik yaklaşımların tıkanmasından dolayı dondu kaldı. 20. Yüzyılda bulanık/gri mantık üretilse de bu mantık türü artık matematiğin güvenli kollarında ve matematikten aldığı güçle klasik mantığın boşluklarını dolduruyor.<br />
<br />
21. Yüzyılda insanlar, felsefenin beş duyuluk araçları ile asla ilgilenmeye cesaret edemeyeceği kuantum fiziği ile ilgileniyor; topolojik uzayları ardı ardına harmanlıyor, eğri yüzeylerle ilgi somut ve karmaşık analizler yapabiliyor; evren ve varoluşla ilgili daha sağlam sorular sorup sağlam cevaplar bulabiliyorlar.<br />
<br />
Bugün artık modern mantıktan bahsedilmiyor; sadece matematikten bahsediliyor ve matematik, mantığın hayal bile edemeyeceği ispat yöntemleri kullanıyor. İnsanların minnet duyguları, nostaljik hazları dolayısıyla mantık hâlen ilgi duyulan bir alan olarak değil de, Antik/Helenistik çağda olduğu gibi, ilgi duyanların zaman geçirebilecekleri tarihsel bir değer olarak anlam buluyor. Ancak; yine de mantığın insanların hayatından çıkacağını düşünmek çok zor. Bakın, matematiğe başlarken ona ihtiyaç duyabiliyoruz hâlâ. Her seferinde öğrenilmiş bilgiden bağımsız doğan insan değişmiyor, çünkü.<br />
<br />
Önyargılarınıza dokunabildim mi biraz? Önermeler mantığını, sembolik ve bulanık/gri mantığı bir sonraki derste işleyelim. Olmaz mı? Matematiğin uzun ince bir yol olduğunu bu yolda yorulacağımızı biliyorsunuz; ancak bu yorgunluğun sizi yıldırmayacağını umuyorum. Tenceredekiler, kısık ateşte demlensin biraz.<br />
<br />
Hoşçakalınız.<br />
<br />
Mustafa Akdeniz, 31. 10. 2010<br />
<br />
Not: Bir sonraki derse hazırlıklı gelmek istiyorsanız, bir önceki dersi (YazıDers 4)de okumanızı tavsiye ederim.<br />
<div><br />
</div>Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-24816550581926088012011-09-02T02:28:00.004+03:002011-09-02T16:45:23.185+03:00İspat Yöntemleri ve Yükseltgen Hisler/ YazıDers 4Merhaba,<br />
<br />
İnanmak ve ikna olmak arasında ne gibi bir fark var? Endişelenmeyin hemen; felsefî bir paradoks/kısırdöngü arayışında değilim. Zaten, bu iki düşünsel eylem ya da karar aralığında herhangi bir paradoks/kısırdöngü yok. Yerinde bir kısıtlama yaptım, hoş görürseniz. İnanmak ve ikna olmak, düşünsel eylemlerdir. Bir diğer kısıtlamama göre, bir bütünün ayrılmaz iki karar aralığıdırlar. Biri diğerinin ardılıdır. İkna olmadan inanamazsınız. İkna olduktan sonra da tek seçeneğe sahipsiniz; inanmak. Söz dizisini anlamı kalınlaştırmak için değiştireyim; İnanmışsanız, ikna olmuşsunuz, ikna olmuşsanız inanmak zorundasınız.<br />
<br />
Çok karışık bir mesele değildir bu. Biz Zarîralılar için gerçekten değil, içtenlikle söylemeliyim ki; sizin için de değil. Aramızdaki tek fark, bu matematiksel bütünlüğü bozmak için bizim bir neden aramayışımız.<br />
<a name='more'></a><br />
Siz, ayrışmak, farklılaşmak ve yukarıda/özel görünmek için, daha açık bir deyişle kibrinizin etkisinde kalıp meydan okumak için, inanmak eylemini ikna olmadan teslim olmak olarak sınıflandırıyor; sınıflandırdığınız teslimiyetçileri de ilkel/geri kafalı diye nitelendirerek kriterlerini belirlediğiniz toplumsal yapının dışına itiyorsunuz. Kendinize de ikna olmak aralığını layık görüyor; gelişmekte olan bilgilerinizin içeriğine bağlı olarak kanıtlanmış önermeleri, kesin bilgi cetvellerinde görmekten mutlu oluyorsunuz.<br />
<br />
Atom’un parçalanamaz olduğunu iddia etmiştiniz ve bunu kanıtlamıştınız da; fakat atom bombası yaptığınızda yanıldığınızı anladınız. Bu ciddi yanılgıdan ders aldınız; şu anda parçacıklar teorisini kanıtlamaya çalışırken, kuşku içindesiniz. Bin yıl önce maddenin sonsuzca kez bölünebileceğini iddia edenleriniz vardı, kanıtlayamadıkları için söyledikleri ciddiye alınmamıştı. Belki de ciddiye almamanızın temel nedenlerinden biri de sonsuz parçalanma sonucunda karşınıza çıkan yokluğun, varoluşun temeli olduğunu kanıtlayacağını düşünerek korktunuz.<br />
<br />
Korku’nun ikna olmak eylemi ile hiçbir ilgisi yok. Bugün yokluktan madde üretmeye çalışan bilim adamlarınız korkularını bu işe bulaştırmamaları gerektiğini anladılar. Korku’nuz insan entegre tesislerinizin yüceliğiniz için hizmet edemeyecek duruma gelmesi olasılığından kaynaklanıyordu. Biliyorsunuz, her şeyin kendiliğinden olması, bir şeyin yoktan var olamayacağı gibi iddialarınız maddenin evrilmesinde kendiliğindenlikten sonra siz güçlülere değiştirme hakkı veriyordu. Sanat ve bilim sizin zekânızla ürettiğiniz ‘yaratı’lara sahipti. Teslimiyetçileri, ikna olmadan inanmış olanları kendinizden daha zeki olarak sınıflandıramazdınız.<br />
<br />
Mutlu azınlıklar olarak, ilkel teslimiyetçileri yüceleştirdiğiniz teoremlerin hizmetkârları olarak kullanıyorsunuz. Hizmetkârlarınız da sizi, çıkarcı zâlimler olarak sınıflandırıp, sizin sağladığınız ayrık zeminlerde, sizin sağladığınız hizmet sınıfında yaşamaya devam ediyorlar. Formel okullarınızın, sizin istediğiniz birey tipine uygun üretim yapamamasının nedeni başka bir şey olabilir mi? Kurgularınızın hiçbiri sonsuza kadar işleyebilir sistemler üretemiyor. Asıl endişelenmeniz gereken paradoks bu. İkna olduğunuz zaman inanıyor görünüyor, ancak inanmak sizi kısıtladığı için şüphelerinizden kurtulamıyorsunuz. Genlerinizdeki doğallığa uygun bütünleşik eylemleri ayırmak sizin ruhsal dengenizi bozuyor.<br />
<br />
Siz de biz Zâriralılar gibi mükemmel sonuçlar elde edemiyorsunuz. Yine aramızdaki farklardan birini de burada fosforlu kırmızı kalemle zihninize yazmalıyım; siz ikna olmak temelinde mükemmellik arıyorsunuz. Bu imkânsız. Mükemmellik/eksizlik yaratılış formunuza aykırıdır; eğer öyle olmasaydı, hiçbir bilimsel ilerleme sağlamanız mümkün olmazdı. İlk insanlar mükemmeli/eksiksizi üretmiş olacaklarından sizin düşünmenize, önerme üretmenize ve bu önermeleri kanıtlamanıza gerek kalmazdı.<br />
<br />
Siz’i, dünyalılar olarak adlandırdığım için içinizdeki temel ayrıklığı ‘siz’ yerleşkesine monte etmiş olmama kızmayınız; dünyalılar olarak bir bütünsünüz. İkna olmuş olarak inananlarınızda bile, pragmaların baskın güdülenmesi var. Anlamsız gruplaşmalarla hareket nedenlerinizi başkalarına dayatmaktan vazgeçmiyorsunuz. Düşünün; binlerce yıllık dağınıklığınızı azaltmayı başardığınız yirminci yüzyılda, sizden birkaç kuşak önceki atalarınızın hayal bile edemeyeceği ilerlemeler kaydettiniz. Fakat yine de öldürmekten vazgeçmiyorsunuz.<br />
<br />
İkna olmak ve inanmak düşünsel eylemlerdir, demiştim. Aynı zamanda ardıl karar aralığıdırlar. Neden? İkna olmak bir süreçtir; elde edilen kanıtların yaydığı paraziti az, hatta sıfır parazitli onama mesajlarının adım adım izlendiği ve her adımının önceki aksiyomlar ve teoremler tarafından sıkıca denetlendiği bir aralıktır, bu aralık sonucunda zihninizde oluşan düşünsel eylemdir. Bu süreç/aralık/düşünsel eylem sona erdikten sonra ikinci adımda inanmak süreci/aralığı/düşünsel eylemi başlar ve siz yaşadığınız sürece konu kapanır. Sizi hemen şimdi uyarmalıyım; konunun sizin için kapanmış olması, sizden başkaları için de kapanmış olduğu anlamına gelmemektedir. İkna odalarınız farklı zamanlarda veya mekânlarda olabilir; teorileriniz çakışmayabilir. Hayatın konumlandığı temel böyle bir şey işte; sürprizlere açık.<br />
<br />
Kuşkuların sona erdiği aralık; ikna olmak aralığıdır. Ne kadar inanmayı reddetseniz de kanıtlanmış teoremleri reddedemediğinize göre, kabullenmek zorundasınız ve bu andan sonra kaçamayacağınız tek eylem vardır; nefret ettiğiniz inanmak. İlkel teslimiyetçiler gibi inanmak zorunda olmak sizi rahatsız etse de yapabileceğiniz hiçbir şey yok. İkna olmak; aynı zamanda inanmak demektir. Korkularınızı yenin, matematikçilerin dingin görünmelerindeki sır burada işte. Buldukları çözümlerin, ürettikleri teorilerin kanıtlanmasında maksimum fayda sağladığını gördüklerinde inanmaktan korkmuyorlar. Ellerine silah alıp öldürmüyorlar da. İyi düşünün.<br />
<br />
Böyle yazarken bazen endişeleniyorum, sizi suçladığımı düşünmenizi istemediğim halde, böyle bir şeye neden olursam kendimi affedemem. Ancak kabul etmelisiniz ki; içtenlik biz Zâriralıların en büyük kusuru. Önermelerinizi nasıl ispat ettiğinizi, hangi teknikleri ürettiğinizi size anlatabilmem için ikna odalarını tanımanız gerekiyordu. Bunlar sizin ürettiğiniz değerler ve bu değerler sizin algılarınızı yükseltgen hislerle okşuyorlar.<br />
<br />
Önermelerinizi nasıl ispat ettiğinizi irdeleyelim mi? Çok gecikmedik, acele etmeyin. Daha fazlası da var, ancak beş temel ispat yönteminden bahsedilir. Doğrudan ispat, olmayana ergi yöntemi, ters durum/ dolaylı yol/kontrapozitif ispat yöntemi, tümdengelim/dedüksiyon yöntemi veya konstrüktif ispat yöntemi ve tümevarım/endüksiyon yöntemi.<br />
<br />
Adlarını akılda tutmak bile kolay değil. Kolay ya da zor göreli bir şey biliyorsunuz. İsterseniz elimizdeki sorundan bir önerme üretelim. “Matematiksel ispat yöntemlerinin adlarını akılda tutmak zordur.” Bu bir önerme oldu mu? Soruya evet veya hayır diye cevap verebileceğiniz gibi, doğru veya yanlış diye de cevap verebilirsiniz. Ama emin olun, evet veya hayır dediğinizde algılarınızda parazit oluşacak ve matematiğin melodik akışının incindiğini hissedeceksiniz. Doğru veya yanlış dediğinizde de derin bir akustik huzur doluşacak içinize. İşte o zaman anlayacaksınız ki, bu bir önermedir.<br />
<br />
Bu önermemizi ilk yöntemimizle ispat edelim mi? Yani doğrudan ispat yöntemiyle? Ama ben biraz gri tatlar kullanacağım. “Matematiksel ispat yöntemlerinin adlarını akılda tutmak zordur.” Önermesinin yanlış veya doğru olduğuna karar vermemiz gerekir önce, ki; neyi ispat etmemiz gerektiğini bilelim. Önermenin hükmünü ‘zor’ veya ‘kolay’ seçme özgürlüğümüz var. İsterseniz ‘zordur’ hükmünün doğruluğunu doğrudan ispat yöntemiyle ispatlamaya çalışalım.<br />
<br />
Gri tat demiştim, işte o tat; zor nedir, kime göre zor, hangi zamana ve zemine göre zor? Zor hakkında gri noktalar oluşturdum mu zihninizde? Bir yaşındaki bir çocuk için bir kilogramlık ağırlığı kaldırmak biraz zor olabilir, ama beş yaşındaki bir çocuk için aynı ‘biraz zor’ sıfatını kullanamayız. Yüz yıl önceki bazı zorlukların bugün zorluk sayılmaması gibi örneklerle zor üzerindeki kuşkularınızı güçlendirebiliriz. Görelilik, itirazları tıkayan bir şey.<br />
<br />
Doğrudan ispat yöntemini kullandım mı şimdi ben? Zannedersem kullandım ve önermemizdeki ‘zor’ hükmünü zayıflattım. Henüz o hükmü tamamen yanlışlamış değilim; doğal olarak yanlışlamayı size bırakıyorum. Eğer birinci ispat yönteminin adı aklınızda kaldıysa, “Matematiksel ispat yöntemlerinin adlarını akılda tutmak zordur.” Önermesinin yanlış olduğunu siz söyleyeceksiniz.<br />
<br />
Sahiden merak ettim, kaldı mı? Önermemiz yanlış mı?<br />
<br />
Cevabınızı duyamadığım için zorunlu olarak ikinci ispat yöntemine geçiyorum; olmayana ergi yöntemine. Ne kadar karışık bir ad! Olmayana ergi. Olmayana özgü gibi bir şey. Veya yaptım olmadı’dan ilham alalım. Evet, evet tam olarak bu; yaptım olmadı.<br />
<br />
Aslında doğrudan ispat yönteminde size oyun oynadım. Olmayana ergi yöntemini anlamanız için doğrudan ispat üzerinde biraz tahrifat yaptım. Önermemizi hatırlayalım mı? “Matematiksel ispat yöntemlerinin adlarını akılda tutmak zordur.” Eğer doğrudan ispat yönteminde önermemizi “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” Diyerek seçseydim ve kolay olduğunu gösterseydim, doğrudan ispatı sorunsuz olarak halledecektik. Fakat ben ne yaptım, hükmü ‘zor’ olarak seçtim ve zor’u zayıf düşürdüm, siz zor olmadığını düşündünüz.<br />
<br />
Bana kızmayın; olmayana ergi yöntemiyle anlamanız içindi her şey… Olmayana ergi yöntemiyle “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” önermesini ispatlamak için küçük bir değişiklik yapmamız gerekiyor, hükmün, yani ‘kolay’ın zıddını, yani ‘zor’u alırsak ve önermeyi bu ‘zor’ hükmüne uygun olarak ispat etmeye kalkarda ispat edemezsek, yani “Matematiksel ispat yöntemlerinin adlarını akılda tutmak zordur.” Önermesini kanıtlayamazsak, o zaman mecburen diyeceğiz ki; “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” Olmayanı kanıtlayınca olanı da kabullenmiş oluyoruz.<br />
<br />
Nasıl? Fena bir fikir değil, bence.<br />
<br />
Doğrudan ispat, olmayana ergi yöntemiyle ispattan sonraki üçüncü ispat yöntemimiz ters durum/ dolaylı yol/kontrapozitif ispat yöntemi. Tuhaf bir dizin değil mi? Bunu da dolaylı yoldan ispat yöntemi olarak kısaltalım mı? Önermemiz hazır: “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” Bu önermeyi dolaylı yoldan ispat yöntemini kullanarak nasıl ispatlarız?<br />
<br />
Konu matematiksel ispat yöntemlerinin adını akılda tutmak olduğuna göre zorluğu düşünmek doğal. “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” önermesinin yanlış olduğunu kabul edelim. Sonra işin rengini değiştirelim. Diyelim ki konu matematiksel ispat yöntemlerinin adını akılda tutmak olmasın, tutmamak olsun, o zaman hüküm de değişecek mi, ‘zor’ olacak mı? Bunların yerini de değiştireceğiz. Önerme değişecek: “Zor, Matematiksel ispat yöntemlerinin adlarını akılda tutmamaktır.” Hadi şimdi bunu doğrudan ispat yöntemiyle ispatlayalım. Geçmiş deneyimlerinize bakarak bu önermenin yanlış olduğunu herhalde hiçbiriniz itiraz etmeden kabul edeceksiniz. Son durumda elde ettiğimiz önerme yanlışsa, baştaki “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” önermesine yanlış dememiz de yanlış olacaktır. Ve biz bu yanlışlığı reddedeceğiz. Ve diyeceğiz ki:“Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.”İşte şimdi biz dolaylı yoldan “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” Önermesini ispatlamış olduk.<br />
<br />
Olduk mu? Sizde ikna oldunuz mu?<br />
<br />
Bu arada merak ettim: kaç tane ispat yöntemini aklınızda tutabildiniz? Kafanızı karıştırdıysam, emin olun bunu bilerek yaptım. Vazgeçecekseniz geçin. Vazgeçmediyseniz ilk üç yöntemi dilediğiniz kadar okuyun, ne kadar basit olduğunu göreceksiniz.<br />
<br />
Dördüncü yöntemimiz, tümdengelim/dedüksiyon yöntemi veya konstrüktif ispat yöntemi… Adları nedense hep ürkütücü, ama bence siz dedüksiyonun tümdengelim yöntemi olduğunu aklınızda tutmak istiyorsanız, ‘dediğim dedik’ kazaklığını işin içine katın. Nasılsa tüm kazakların işi zordur; sonradan söylediklerini kanıtlamak zorundalar. Tümdengelim yöntemi ile sonraki tümevarım/endüksiyon yöntemi zıtkardeşlerdir. Dedüksiyon, önce der, hükmü ilan eder, sonra ispatlamaya kalkar, tümevarım ise kibardır; tek tek, adım adım ispat eder ve sonra sizi ikna ettiğine inandığı anda önermeyi kanıtlar.<br />
<br />
İspat yöntemlerinin adını yazdığımda “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” deseydim ve sonra tek tek bu adların kolaylıkla aklınızda kaldığını gösterseydim, belki de işim daha kolay olacaktı. Ama bence, ben şu anda tam olarak bunu yapıyorum. ‘Kolaydır’ hükmünü dediğim dedik bir kararlılıkla size dayattım ve şimdi de adım adım bunu size ispat etmeye çalışıyorum. İşte tümdengelim yöntemi de bu.<br />
<br />
Son olarak tümevarım/endüksiyon yöntemine geldik. Aslında şimdiye kadar yaptıklarım bir anlamda bu yöntemin basamaklarını her adımda sizi ikna ederek ilerleyerek ispat sürecini tamamlamaktan başka bir şey değildi. İlk dört yöntemi tümevarmak için kullandım ve şimdi size soruyorum; ikna oldunuz mu? “Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” önermesine doğru diyebiliyor musunuz?<br />
<br />
Gelin şimdi her adımı yeniden, daha matematiksel seslerle irdeleyelim:<br />
<br />
Doğrudan ispat, en temel ve en basit ispat şeklidir. Doğru olduğu gösterilmek istenen ifade, direk olarak, doğruluğu kanıtlanmış başka ifadelerle veya aksiyomlarla üretilir. Mesela; “Tüm insanlar ölümlüdür”, “Mustafa bir insandır.”, “O halde Mustafa bir ölümlüdür.” Ya da daha sıcak bir örnek 2+2=4 ‘tür. İki tane ikiyi topladığınızda dört ettiğini doğrudan ispat etmiş olursunuz.<br />
<br />
Olmayana ergi yöntemiyle ispatta doğruluğunu göstermeyi planladığınız ifadenin yanlış olduğunu kabul ederek işe başlıyorsunuz. Yanlışlığı ispatlama yolunda bir çelişkiye varıyorsunuz. Sonuç olarak başta yanlış olduğunu kabul ettiğiniz ifadenin aslında doğru bir ifade olduğunu ispatlamış oluyorsunuz.<br />
<br />
Şöyle bir önerme/hipotez seçelim: ”Kendi kendisiyle toplandığında kendisini veren sayı sıfırdır.” Olmayana ergi yöntemiyle ispatına bakalım şimdi: Bir x sayısını ele alalım. Önermede bizden x+x=x ise x=0 olduğunu göstermemiz isteniyor. Bu teknik ile ispatı göstermeye çalışalım. Hükmü (veya bazı durumlarda hükmün bir parçasını) olumsuz olarak alalım. Yani kabul edelim ki, x sıfırdan farklı bir sayı olsun. Bu durumda x+x ifadesine bakalım. Önermede bize x+x in x olduğu verilmişti. Yani x+x=x denilmişti. Ayrıca biz biliyoruz ki x+x=2x tir. Öyleyse bu eşitlikleri birleştirerek; x = 2x elde ederiz. x i sıfırdan farklı kabul ettiğimizden dolayı taraf tarafa x leri sadeleştirirsek (x in sıfırdan farklı olduğunu kabul etmeseydik bu sadeleştirmeyi yapamazdık). 1 = 2 sonucu elde edilir. Bu ise bir çelişkidir. Bu çelişki x i sıfırdan farklı almamızdan kaynaklanmaktadır. Öyleyse x=0 olmalıdır. Sonuç olarak x=0 olması gerektiğinden ispat tamamlanmış oldu. Bu önermeden de görüldüğü gibi hükmü olumsuz kabul ederek bize verilen hipotezi kullanıp bir çelişkiye vardık. Bu çelişkinin sebebi de hükmü olumsuz kabul etmemizdir.(Bu örneği alıntıladım)<br />
<br />
Ters durum/ dolaylı yol/kontrapozitif ispat yönteminde P ise Q ifadesi, değil Q ise değil P ifadesine denktir. Bu ispat tekniğine teoremin bildirdiği sonucun, tersini doğru kabul ederek başlıyoruz. Sonunda ise hipotezin yanlış olduğu ifadesine ulaşıyoruz.<br />
<br />
Tümdengelim/dedüksiyon yöntemi veya konstrüktif ispat yöntemi, özellikle varoluş teoremlerinin ispatlanmasında kullanılır. Örneğin "Her rasyonel sayı çiftinin arasında bir rasyonel sayı vardır" önermesini ispatlarken iki rasyonel sayı alınır ve aralarında bulunduğu bahsedilen sayı, bu sayılar üzerinden inşâ edilir. Böylelikle gerçekten bir rasyonel sayının var olduğu ispatlanır.<br />
<br />
Son olarak matematiğin en sevgili yöntemi tümevarım. Harika sesleri olağanüstü melodilerle bütünleştirip sizi mest eder. Verilen bir ifadenin tüm doğal sayılar için doğru olduğunu ispatlamakta kullanılan oldukça pratik bir yöntemdir. Bu yönteme ifadenin önce 1 için (daha doğrusu, ifadenin doğruluğunun başladığı doğal sayı için) doğru olduğu gösterilir. Daha sonra n doğal sayısı için doğru olduğu farz edilir ve n+1 doğal sayısı için doğru olduğu gösterilir. Bu da herhangi bir doğal sayı için doğruysa sonraki için de doğru olacağını ispatladığından bütün doğal sayılar için geçerli bir ifade olduğu anlamına gelecektir. (Bunu da...) Bu yöntem genelde sonsuz sayıda domino taşlarının dizilmesine benzetilir. n. taşın devrilmesi bir sonraki yani n+1. taşın da devrilmesi anlamına geleceğinden taşların tamamı devrilecektir. Tabi ki yine n=1 için doğruluğunu söylemek lazım. Bunun için de ilk taşı devirmeniz yeterli olacaktır. Sizi ikna etmek için kullandığım yöntem gibi mesela.<br />
<br />
“Matematiksel ispat yöntemlerinin adlarını akılda tutmak kolaydır.” Değil mi?<br />
<br />
Hoşlandınız mı? İkna olmak ve inanmak bütünleşik miymiş? Matematik öğreneceğinize inandınız mı? Sizi ikna edebildim mi? Yoksa korkuyor musunuz?<br />
<br />
Unutmadan teoremin üretilme aşamalarını anlatmalıyım. Bir probleminiz olur, verilerinizi masaya koyarsınız, probleme dayalı hipotez/teori/önerme kurmaya çalışırsınız, deney/ispat aşamalarından sonra önermenizi kabul veya ret edersiniz, işiniz biter. Bilimsel bir ispat yapmış olarak kendinize sevdiğiniz bir içeceği ısmarlayabilirsiniz.<br />
<br />
Hoşça Kalınız.<br />
<br />
Mustafa Akdeniz, 09.07.2010Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-24763059827151747852011-09-02T02:27:00.005+03:002011-09-02T16:44:54.436+03:00Matematiksel Terimler ve Kırmızı Tavşan/ YazıDers 3Merhaba,<br />
<br />
Matematiğin dili, kendine hâs bir dildir, biliyorsunuz. Bu dil, karşılaşıldığında, diğer diller gibi bilmeyeni aşırı zihinsel hareketliliğe sürükler, sıkar, rahatsız eder; bilinçaltına kıymık uzatır. Eğitimle ilgili görsel materyallerde kullanılan simgeleri gördüğünüzde de bilişsel düzenekleriniz üzerinde belirgin bir tedirginlik oluştuğunu hatırlayacaksınız.<br />
<br />
Anlattıklarımı okurken aynı tedirginliğin sizi tekrar rahatsız ediyor olabileceğini düşünüyorum, umarım öyle değildir. Bu tedirginliğiniz simgelerden değil, simgelerle anlatılanları anlamama kaygısından kaynaklanmaktadır. Simgelerin temsil ettikleri anlamlarla ilgili deneyimleriniz yeterli olsaydı, böyle bir sıkıntınız olmayacaktı.<br />
<br />
Size, matematiği öğrenmemeniz için gerekli olan tüm koşullanmalarla kuşatıldığınızı, tasarlanmış, planlanmış, uygun kontrol aralıkları ve noktaları ile bilişsel farkındalığınıza ket vurulduğunu söylersem, inanır mısınız? Sizi bilerek matematikten uzakta tutmuş olduklarını sanırım siz de fark etmişsinizdir.<br />
<a name='more'></a>Terimlerimize ve kırmızı tavşana geçmeden önce bu konu üzerinde biraz düşünmeye ihtiyacımız var. Başlayalım mı? Yoksa kaçıp gidecek misiniz?<br />
<br />
Hemen hemen hepiniz denk özelliklerle yaratılmanıza rağmen, neden bazılarınız, %1-5 ‘iniz matematikten başarılı olabiliyorlar, hiç düşündünüz mü? Ben izledim, siz dünyalılar planlarınızı, daha büyük planların gerçekleşebilmesi için birbirinizden gizliyorsunuz.<br />
<br />
Matematik sistematik düşünmeyi öğreten temel bilgi alanıdır. Siz dünyalılar, bunu biz zarîralılardan çok daha iyi bildiğiniz halde, diğer insanları dilediğiniz şekilde yönetmek istediğinizde, onların sorgulama gücünü ellerinden alıyorsunuz; sistematik düşünce üretim gücü kazandıran matematikten mahrum bırakıyorsunuz. Aynı zamanda matematikten mahrum bıraktığınız insanların sadece ve sadece kendilerini suçlamalarını sağlayarak da kendinizden hiçbir iz bırakmıyorsunuz.<br />
<br />
Hedefinizdeki insanların kendilerinde matematiksel zekâ bulunmadığını düşünmelerini sağlıyorsunuz. Sizi, tasarladığınız şeyi başardığınız için kutlamak gerekiyor. Kendilerini yaratan Allah’ı bile sorgulamakta tereddüt etmeyen insanlar, kendi zekâlarının yetersizliğinden kuşkulanarak sizi sorgulamayı akıllarından bile geçirmiyorlar.<br />
<br />
Bilmelisiniz, zekânız hiçbir ayrıma tabi tutulamaz. Çünkü o parçalanamaz özelliklere sahiptir. Normal standartlarda yaratılmış olan her insan matematik öğrenebilecek bir şekilde donatılmıştır; diğer insanların ürettiği her bir bilgiyi alıp kullanabilecek yeterliliktedir. Aksini düşünüyorsanız, kusursuz bir şekilde aldatılmış olduğunuzu hatırlatmak zorunda kalacağım.<br />
<br />
Matematik öğreticisi olmakla görevlendirilen insanların, işlerini iyi yaptıklarını söyleyemezsiniz. Onlara olan kızgınlığınızı denetlemenizi istiyorum sizden. İşlerini iyi yapmaları tasarlanmamıştı; yetersiz olmaları istenmişti ve onlar kendilerinden isteneni yaptılar, mutlu bir şekilde de yaşıyorlar. Sadece Türkiye’de değil, Fransa’ da, Almanya’da, İngiltere’de ve medeniyetinizin ve teknolojinizin ana üretim üssü olan Amerika Birleşik Devletleri’nde de çocuklar matematikten nefret ederek büyüyorlar. Çünkü; istenen bu.<br />
<br />
Eğitsel materyallerinizin ve araçlarınızın üç boyutlu görüntülerle desteklendiği yeni milenyumda matematikten korkuyor olmanızı açıklayamazsınız, açıklayamadığınız gibi bu gerçekle yüzleşmekten de kaçamazsınız. Korkularınızın çocuklarınıza devredilmesine izin veremezsiniz, vermemelisiniz.<br />
<br />
Sizin, nefret edip etmediğinize bakmadan, başarısız bir geçmiş zincirine sahip olup olmadığınızı düşünmeden, hepinizin matematik öğreneceğini iddia ediyorum.<br />
<br />
Kaşığınızı, ağzım diye kulağınıza götürmeyecek derecede akıllı iseniz hiç mesele yok; bu bize yeter. Yaşınız ya da cinsiyetinizin de önemi yok; bu bir özgüven testi. Keyif skalasının mutlak değerce büyüklüğü sizin kararlılığınıza bağlı, matematiğin zorluğuna ya da kolaylığına değil. Üstelik matematiğin zorluk gibi bir size ait sıfata ihtiyacı da yok.<br />
<br />
Şimdi matematiksel terimlere bakalım mı?<br />
<br />
Matematiğin dili, terimlerden ve simgelerden oluşur. Siz dünyalıların konuştuğunuz dillerin farklılığına bakmadan ortak bir matematik dili üretmeniz ne kadar güzel, bir bilseniz.<br />
<br />
Mesela, x+5=9 ; x=? ifadesi yerküredeki matematik öğrenmiş her insan tarafından aynı şekilde anlaşılır, problem aynı şekilde çözülür ve sonuçlar aynıdır. Türkçe ‘de ‘Hangi sayının beş fazlası dokuzdur?” cümlesini tercüme etmeden hiçbir dilde anlayamazsınız. Oysa denklemimizin tercümeye ihtiyacı yoktur. Burada dikkatiniz için kırmızı ışık yakmalıyım; matematiğin ortak dilini bilmezseniz, problemlerinizi simgelerle kontrol masasına taşıyamazsanız, koyun saymak dışında hiçbir şekilde matematikle ilgilenemezsiniz.<br />
<br />
Nedir bu ortak dilin terimleri ve simgeleri?<br />
<br />
Zarîra’da üzerinde uzlaştığımız simgelerle konuştuğumuz bir dil var. Matematiğe ek olarak biz simgelere mimiklerimizi ekledik. Size de öneriyorum; gürültü kirliliği olmuyor ve yanlış anlaşılma olasılığı yok. Kaygılanmayınız, matematiğin mimikleri de var; siz onlara terim diyorsunuz. Tıbbî terimler gibi ya da pc terimleri gibi terimler bunlar. Varoluş amaçları belli; anlam kirliliği oluşmasına engel olmak ve doğru anlaşılmak.<br />
<br />
Matematik tanımlı ve tanımsız terimlere sahiptir. Tanımlı terimlerin bir sıkıntısı yok, kendileri diğer terimler kullanılarak açıklanırken sıkıntı çekilmiyor, her seferinde herkes o terimden aynı şeyi anlıyor; Yani kırmızı tavşan iyi açıklanmış ve herkes gördüğü yerde kırmızı tavşanı kuşkusuz bir şekilde tanıyor. Oysa tanımsız terimler öyle değil; ne yapılırsa yapılsın uzlaşı noktalarında maksimum düzeye ulaşılamıyor, tanımsız terimlerde. Robot resim berbat.<br />
<br />
Uzun kulaklı, dört ayaklı kırmızı renkli bir hayvan anlatılırken, kabul edersiniz ki, herkesin aklına kırmızı tavşan gelmeyebilir, uzun kulaklı olanlar sadece onlar değil çünkü. Yine de, kırmızı tavşanın tanımlanmasında maksimum düzeye çıkılabilir ve kırmızı tavşan tanımlı bir terim olarak literatüre geçebilir. Ama nokta öyle değil; doğru, düzlem ve küme gibi… Bunlar tanımsız terimlerdir ve bu gibi terimleri bağımsız olarak kullanacağımız gibi, tanımlı terimleri açıklarken de onları öreceğimiz duvarlarda birer tuğla, harç olarak işleyeceğiz.<br />
<br />
Olaylı anlatımların yararlarını sizden öğrendim ve bunu sizin için kullanıyorum. Matematik kavramlarını üretirken tanımlar yapar, her bir kavram yani terim anlam kirliliği oluşmaması ve doğru anlaşılmak adına iyi tanımlanmaya çalışılır. Terim’in kullanım alanı belirlenir ve bağışıklık sistemi her bir terimi tanır. Matematiğin ilgili terimlerini kendi konularını öğrenirken ele alacağız. Şimdi aksiyom, teorem zamanı. Ama önce önerme.<br />
<br />
Önerme olmadan, aksiyomdan ve teoremden bahsedemeyiz.<br />
<br />
Önerme, önermekten ileri geliyor gibi görünüyor ama ilgisi yok. Türkçede kavram oluşum problemlerinden biri ile baş başa bırakmayacağım sizi. Fransızca da proposition deniyor ve ifade ettiği anlam ise şu. Doğru ya da yanlış bir hüküm bildiren ifadelere önerme denir. Evet, gerçekten iyi bir tanım, matematiğin tanımlı terimlerinden biri de bu zaten.<br />
<br />
Ne gibi mesela?<br />
<br />
Önce cümle kuralım. ‘İki iki ile çarpıldığında sonuç beş eder.’ Beğenmediniz mi? Yanlış mı dediniz? Sık kullandığınız için bu önermeyi kullandım. Hemen soğutmadan söylemeliyim, siz ‘yanlış’ dediğiniz için bu ifade bir önermedir. Anlamı kolaylaştırayım: Yanlış diyebildiğiniz için.<br />
<br />
‘Türkiye güzel bir ülkedir’ cümlesi bir önerme midir peki? Doğru veya yanlış diyebiliyor musunuz? Hemen ilerleyelim, sonraki durakta gözümüze çarpan tabela da yazan ‘Kırmızı Tavşan arıyor musunuz?’ cümlesine bakalım. Peki, bu cümle önerme midir? Veya havaya bakıp ‘Bugün hava güzel.’ dediğinizde kurduğunuz cümle? Son üç cümlemize doğru veya yanlış diyebildiniz mi? İlki kanaat bildiren bir cümle ve öznel bakış açılarına göre değişebilirlik riski yüksek; ikincisi soru cümlesi ve siz bu cümleye evet veya hayır ile cevap verebilirsiniz, doğru veya yanlış ile değil. Son cümlemiz ise haber cümlesi, gün ve yer belli değil, güzellik ise göreli; yani değişebilirlik riski iki kere yüksek.<br />
<br />
Doğru bir önerme bulalım mı? Unutmayınız, önerme ancak doğru veya yanlış olabilir. Doğru ise doğru önerme, yanlış ise yanlış önerme… ‘Yedi’nin iki eksiği beş eder’ yani 7-2=5, ne dersiniz? Önermeyi şimdi bırakalım, sonra önermeler mantığında yeniden alacağız bıraktığımız yerden.<br />
<br />
Aksiyoma geldik. Aksiyom ile teorem arasında ilginç bir ilişki var. Teoremlerin doğurganları aksiyomlardır desem sizin için anlamlı bir şey demiş olur muyum?<br />
<br />
Aksiyomların sayısı tanımsız terimler gibi, çok az. Ama tanımsız terimleri tanımlı terimlerin varoluşunda kullandığımız gibi aksiyomları da teoremlerin varoluş aşamalarında kullanmak zorundayız. Burada itiraf etmem gereken bir şey var. Matematik tamamen varsayımlar üzerine kurulu. Çünkü aksiyomlar doğruluğu varsayılan önermelerdir. Teoremler de aksiyomlar üzerine kurulu olduğundan, aslında matematikten bahsederken uçan halı üzerinde konumlanmış kusursuz bir gökdelenden bahsediyor olduğumuzu inkâr edemeyiz. Fakat nedense o uçan halıya bugün uçak veya uzay gemisi dediğimiz halde başlangıçta kanıtlamadan doğru kabul ettiğimiz aksiyomları kanıtladığımızdan haberimiz yok.<br />
<br />
Bu ne demek mi şimdi?<br />
<br />
Matematik bazı önermelerin doğru olduğunu ispat edemediği halde onları doğru olarak kabul eder. Biz bunlara aksiyom deriz. Sonra bu aksiyomları kullanarak diğer önermeleri kanıtlarız. Kanıtlayabildiğimiz bu önermelere de teorem deriz. Bu zincir devam eder, her yeni teori, önceki teoremler kullanılarak ispatlanır ve teoreme dönüşür, böylece gökdelen sarayımız inşa edilir. Gökte uçan nesnelerimiz de bu teorem zincirindeki halkalardan yararlandığı için başlangıçtaki doğru kabullerimiz sonuçlarda kanıtlanmış olur.<br />
<br />
Kanıtlanmamış önermelere teori dediğimizi söylememe gerek yok, değil mi? Karıştırmayın, aksiyom doğru olduğu ispatlanmadan kabul edilen önermelere; doğruluğu kanıtlanmamış, kanıtlanması gereken/beklenen önermelere de teori denir. Bazı dünyalılar, teoremleşmesi gerektiği halde kanıtlanamadığı için teori düzeyinde kalan bazı saçma yanlış önermelere aksiyom muamelesi yapıyorlar, ne kadar komik değil mi?<br />
<br />
Simgeler... Unutmadım; onları sonra sırası geldikçe öğreneceğiz.<br />
<br />
Güç gösterisi zamanı… Anlam hız testi için daha vakit var.<br />
<br />
Hoşçakalınız.<br />
<br />
Mustafa Akdeniz, 29.05. 2010Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-7238702240038012912011-09-02T02:27:00.003+03:002011-09-02T16:43:44.548+03:00Giriş ve Aşkın Sayılar/ YazıDers 2Merhaba,<br />
<br />
İzniniz olursa, geçmiş önyargılarınızı ve korkularınızı tetikleyebilecek olan bir konuyla giriş yapmak istiyorum. Müsterih olunuz, girişin getirdiği muhtemel psikolojik sorunlar az sonra kendiliğinden ortadan kalkacaktır. Çünkü; siz de biz Zarîralılar gibi, neden-sonuç ilişkisi izah edilince her olguyu ve sistemi anlayabileceğinizi çok önceden öğrenmiş bulunuyorsunuz.<br />
<br />
Zaman bir sayı doğrusudur ve her bir noktasına bir reel sayı karşılık gelir, dediğimizde temel matematiksel önermelerden birini zamanla ilişkilendirerek evrensel bir ölçüm değerine ulaşmış olacağız. Bu önerme, ben değiştirmeden önceki hâliyle tam olarak şöyledir: “Sayı doğrusunda her noktaya bir reel sayı karşılık gelir.” Reel sayıların sayı doğrusu ile ilişkisine çok sonra değineceğimiz için, giriş yaptığımız yerde basit bir eşleşme yaparak sayıların ürettiği zihinsel bulamaçların evrenle ilişkilerini gözlemeyebilmek adına, zaman ve sayı doğrusunu birbiriyle ilişkilendiren yeni bir bileşik önerme ürettik.<br />
<a name='more'></a><br />
Reel sayıların, rasyonel ve irrasyonel alt kümeleri dışında ‘aşkın (transendental) sayılar” gibi zamanla çoklu giriş çıkışa sahip bir alt kümesi de vardır. Bu aşkın alt küme de şu anda bilebildiğimiz iki sayı vardır: π ve e. Bilgisayar sistemleriniz henüz bu iki aşkın sayının virgülden sonraki kısmına ait son basamağı bulabilmiş değiller; kişisel olarak bulabileceklerini de sanmıyorum. Şimdilik aşkın sayıların tam kısmı konusunda hiçbir tereddüt yok. π, 3 ile 4 arasında bir yerde ve tam kısmı 3; e ise 2 ile 3 arasında henüz tespit edemediğimiz bir yerde ve tam kısmı 2. Yine kişisel görüşüme göre bu aşkın sayılar, zamanın sayı doğrusu ile ilişkisinde iki temel veri giriş-çıkış kapısı.<br />
<br />
Ne kadar ısrar etsek de bu iki kontrol dışı sayıyı sayı doğrusunda gösterebilmiş değiliz; ancak onların da diğer reel sayılar gibi sayı doğrusu üzerinde olduğunu kesinlikle varsayıyoruz. Bu varsayıma dayanarak bu iki aşkın güzeli, sabit sayılar olarak telakki ediyoruz ve çoğunlukla sayısal değerleri ile değil, sabit değerleriyle kullanım panellerine sürüyoruz.<br />
Neden böyle bir giriş yaptım?<br />
<br />
On bir cümlelik anlatım, matematik ve sizin ‘aşkın’ olana olan ilginiz arasında temel ve kopmaz bir bağ oluşturabilmeyi amaçlayan tetikleyiciler tarafından zamanın sayı doğrusu üzerindeki özel koordinatlarına iliştirildi. Siz bu özel koordinatları 2 ve 3 arasında e ile, 3 ve 4 arasında π ile açılan giriş-çıkış kapıları olarak kabul edebilirsiniz. Lütfen, sizin ‘aşkın’a olan ilginizi lehinize kullandığımı itiraf etmeme de izin veriniz. Başka birilerinden kaygı üreterek endişelenmeyiniz; aşkına olan ilginizi ancak siz kendi aleyhinize kullanabilirsiniz. Ancak bu ilginizi, e ve π ile diri tutmaya özen göstereceğim.<br />
<br />
Çok sevdiğiniz bir yöntemi kullanarak peşinen söylemeliyim; aşkın olan bir şey yoktur. Anlayamadığınız her şeye aşkın demeyi seviyorsunuz siz, temel sorununuz da bu. Aksi halde sanat ve bilim arasındaki beğeni kaygısı farkına ardıl türevler eklemenizin nedenlerini izah edemezsiniz. Her aşkınlık tarifini, aşkın olma olasılıkları bulunmayanların yapmış olmasını da yadırgamıyorsunuz, yadırgadığınız fizik ve metafizik ayrımı. Bunu neden yaptığınız konusunda bir fikriniz var mı? Aşkın’ı, aşkın olanla olmayanı tam olarak ölçebildiğiniz zaman tanımlayabileceğinizi/tarif edebileceğinizi bildiğiniz halde hangi inanılabilir/kanıtlanabilir gerekçeyle aşkın’ı tanımlıyor/tarif ediyorsunuz ki? Sizin yaptığınız gibi; aşkını metafizikle, aşkın olmayanı fizikle eşleştirdiğimi belirtmeme gerek yoktur, umarım.<br />
<br />
Kesin kanaatlerle karşınızda bulunmamı hoş karşılayınız; içinde bulunduğumuz alan kesin kanaatler edinmeden ilerleyemediğimiz bir alan. Zârira, kesin kanaatlerle birbirini anlayanların bulunduğu bir gezegen. Kesin kanaatlerin göreliliği, zamanın göreliliğine bağlı değildir, çünkü; kesin kanaatler göreli olmaz. Zamanın ardıl saniyeleri veya saniyenin milyarda bir süreleri, insana ait kesin kanaatlerin üretilmesine hizmet eder ve biliminizin gelişim kuramlarının zamanın göreliliği ile ilgisi yoktur. Önce ve sonra görelilik ayrımı yapan aralık başlangıç değerleri değildirler. Zamanın göreliliği, hareketin göreliliğine bağlıdır. Kanaatler ise kesinliklerini görelilikleri içererek kanıtlarlar. Aradaki algı farklılığını, hareket periyotları sizin gezegeninizden farklı olan Zârira gezegenindeki kesin kanaatlerle ilgili hükümlerle açıklayabiliriz.<br />
<br />
Sizin milyonlarca yılda ürettiğiniz kuantum teorisi, geliştirilebilir diğer önermeleri henüz üretmiş değilse, Zârira veya başka gezegende yaşayanlar daha ileri teorilerle meşgullerse, bu durumu görelilikle izah edemezsiniz. Teori dememi teorem dememle bir tutmayınız, biz de henüz tüm teorilerimizi teoreme dönüştürmüş değiliz ve daha kaç milyar üretilebilecek teori var, bilmiyoruz. Matematik, evrenin temel gerçeklerine ulaşabilmek için üretilen teorilerin teoremleşmesini hedefleyen bir alandır. Evreni, yaratılmış biz insanlar tam olarak keşfettiğimizde tüm teorilerimiz teoremlere dönüşmüş olacaktır. Ama bunun için ne kadar zamana ihtiyacımız var, hiçbirimiz bilmiyoruz. Allah’ın vaat ettiği saat, kıyamet saati bu yüzden de bilinebilir değil zaten. Belki de bilimin ya da matematiğin ucu kıyametle kapanacak bir cazibe yolu olmasının tek nedeni de budur. Aşkın’a olan ilginizin diğer vektörel uzantısı da bu değil miydi?<br />
<br />
Önyargılarınızı ve korkularınızı tetiklemiş olmaktan dolayı üzgünüm. Girişte ve daha sonra yaptıklarımın tam anlaşılabilir olmasını ummayı geleceğe öteliyorum. Bilmenizi istiyorum ki; hemen herkes tarafından öğrenilmesi mümkün olan matematiği öğrenmemeyi tercih eden, hemen hemen hiç kimse tarafından öğrenilmesi mümkün olmayan aşkınlık teorileri uğruna ruhlarını feda etmeye hazır olan siz Dünyalılar, aslında daha fazlasını hak etmiş durumdasınız. Yine de bilgiye karşı olan susamışlığınız, size karşı merhametli olmayı zorunlu ve sevimli hâle getiriyor.<br />
<br />
Yazıdersimizin ilk konusuna girmeden önce çok önemli bir hatırlatmada bulunmama da müsaade etmelisiniz. Matematiğin sıcak ve güvenilir dünyasının hiçbir teoremi veya teorisi kibirli ve kendini beğenmiş değildir. Bu sizin kendinizi olumsuz motive etmek için ürettiğiniz gerçek dışı bir önermedir. Gerçekten şaşırıyorum böyle zamanlar da; bilim nasıl kibirli olabilir ki? Bir insan gibi mağrur olabilir mi Matematik? Galiba, geçmiş ve şimdiki zamanlarınızda bilim adamlarına karşı dışlayıcı tavırlar ve tutumlar edinmiş olmanızdan kaynaklanan ve size yönelmiş bulunan bir saldırı formundan bahsediyorsunuz. Bilim adamlarının sizi küçümsemesini, bilimin kibrinden üretilmiş bir realite sanıyorsunuz. Hayır, asla değil; bu bilimin, bilim adamları üzerinden kendisine karşı saygısız olanlara karşı geliştirdiği bir karşı tepki. Salt güvenlik içeren zırhların görünür perdesi.<br />
<br />
İlk konumuz matematiğin kendi özel dilini anlayabilmek ve kullanabilmek için gerekli olan kavramlarını, araçlarını, yani terimlerini tanımak olacak. Çince veya Sanskritçe öğrenmek gibi bir şey değil bu; ama ciddî ciddî önemsemeniz gereken bir ‘şey’ olduğu kesin.<br />
<br />
Neden mi?<br />
<br />
Girişte kullandığım,“Sayı doğrusunda her noktaya bir reel sayı karşılık gelir.” Önermesinin ne anlattığını, matematiğin özel dilini bilmeden anlamanız mümkün mü?<br />
<br />
Merak etmeyin; her konu girişinde gerekli olan terimleri öğreneceğiz ve bu eğlenceli yolculukta zor hiçbir şey olmadığını göreceksiniz. Önyargılarınız ve korkularınız tarihinizin çöp sepetine atılmış olarak unutulacak.<br />
<br />
Gelecek yazıdersimiz için, yani ilk konu analizimiz için yerlerinizi ayırttınız mı? Kalkan parmakların sayısına siz nasıl baktıysanız ben de öyle baktım. Bilmelisiniz ki; sadece bir parmak bile beni anlatılacakların anlatılması gerekliliğine ikna etmeye yeter. Zârira tuhaf bir yerdir; tuhaf insanların bulunduğu bir yer.<br />
<br />
Hoşça kalınız.<br />
<br />
Mustafa Akdeniz 14.05.2010<br />
<br />
Simgeler:<br />
<br />
a- e, Leonard Euler'in isminden gelir ve kabaca tanımı f(x) = 1/x fonksiyonunun eğrisi altında bir birim karelik alan sınırlanabilmesi için x=1 doğrusunun sağında seçilecek doğrunun x eksenini kestiği noktadır. Yani doğru x = e olarak seçilirse altta kalan şekil bir birim kare olacaktır. e=2.71828182845904523536028747135266249…<br />
<br />
b- Π, bir çemberin çevresinin çapına oranı ya da bir dairenin alanının yarıçap karesine oranı Π=3.14159265358979323846264338327950288…<br />
<br />
Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com0tag:blogger.com,1999:blog-5023229541927607760.post-37578533266335882022011-09-02T02:26:00.002+03:002011-09-02T16:43:23.073+03:00Zarîra Yolu/ YazıDers 1Merhaba,<br />
<br />
Sizin ve benim planlamadığımız bir zamanda burada, karşınızdayım. Bu zamanın koordinatları ile ilgili bir tasarrufum yoktu; tasarrufum noktalarımı zamanın sayı doğrusu üzerine sürmekten ibaret.<br />
<br />
Adım Mustafa. Söylentilere göre, bu gezegenden değilim. Zarîra adlı bir gezegenden geldiğimle ilgili kronolojik bilgileri zamanın sayı doğrusu üzerine sürdüğüm diğer noktalardan anlayabileceksiniz. Allah’a inandığımızı ve onun tüm emirlerini saygıyla karşıladığımızı belirtmem gerekir, bizde insanın genetik özelliklerini taşımaktayız, ancak gezegenimizde çok fazla insan yok.<br />
<br />
Neden karşınızdayım?<br />
<a name='more'></a><br />
Zarîra gezegenindeki alışkanlıklara göre, nedenlerinizi anlattığınız sürece diğerlerinin sizi anlamaması için hiçbir sebep yok. Zarîra bu yüzden ilginç bir gezegendir. Orada karmaşa yok, kavga yok, anlaşılmazlık yok. Hatta; bu yüzden sanat, herkesin yaptığı olağan işlerden biri. Anlaşılmadıysam başka bir anlatım cümlesi kurmayı deneyeyim; oradaki herkes yaptığı her şey ile bir sanatkâr… Onlardan her birinin yaptığı her şeyin sanat olması onlar için sanat kavramını sizin anlam kümelerinizden uzaklaştırıyor. Cümlelerimde kullandığım ‘sanat’ sizin sanat tanımlamalarınızdan ürettiğim bir betimleme. Sanat standartlarınız, subjektif dediğiniz nedenlerden dolayı değişken olduğundan sizi anlamakta biraz zorlandım. Fakat bu uzun sürmedi. Zarîra gezegenindeki sıradan davranışlara, eylemlere ve ürünlere sizin sanat dediğinizi anladığımda şaşırmış olmamı anlayışla karşılamanızı isterim.<br />
<br />
Uzunca bir süredir aranızdayım. Sizlerle bir arada olmaktan keyif aldığımı söylememe izin verin. Bir araya geldiğinizde birbirinizi itmenizin nedenlerini ‘psikolojik’ olarak kategorize etmenizi çok saygıdeğer buldum. Çünkü; bu tespitiniz gerçekten doğru. Doğrulara ulaşma yeteneğiniz çok gelişmiş. Evrenin olağan doğrularını ilk çorbaya dönüştüren atalarınızın baskın yanılsamalarına karşılık büyük bir çaba sarf ettiğinizi görüyorum. Sanırım harcadığınız büyük çaba sizin doğrulara ulaşma yeteneklerinizin gelişmesini sağlamış. Zarîra’da böyle bir sorun yok; insanlar enerjilerini netleşmiş doğruları yanlışlardan ayırmak üzere harcama ihtiyacı duymuyorlar.<br />
<br />
Her birinizin düşüncelerini aktarırken, çok önemsemiş olmanıza rağmen, diğerlerini hiç önemsememiş gibi davranmanızın dünyaya ait bir teknik olduğunu anladığımda bu bana çok eğlenceli geldi. Ancak; bu tekniği kullanmanıza rağmen, hepinizin kendi başınıza kaldığınız zaman çok dürüst olduğunuzu gördüm. Kalabalıklardan sıyrıldığınızda, birer ikişer olduğunuzda gayet serinkanlı davrandığınızı, birbirinizi itmek yerine birbirinizle samimi olmaya çalıştığınıza şahit oldum. Ama en büyük zaafınız sizi kışkırtan başkalarına karşı bağışıklık sisteminizi geliştirmemeniz. Güvenlik duvarlarınız hiç sağlam değil. Dikkat edecek misiniz, bilmiyorum ama ben bu açıklardan geldim Dünya’nıza.<br />
<br />
Neden karşınızda bulunduğumu henüz izah etmediğimin farkındayım. Uzun süredir aranızda olduğumu belirtmiştim. Sorularınıza verilen anlık, net cevapların sizi tatmin etmediğini öğrendim. Çünkü; siz hızlı soru-cevap tekniğini sevmiyor ve sanatkârâne bulmuyorsunuz. Bu biraz atalarınızdan kalma bir alışkanlık. Beğeni kaygısından beslenmek zorunda olan bir sanat anlayışına başlangıçta karşı durmak gereksiz, diye düşündüm ve bu anlayışınıza saygımdan dolayı, sizin bu tekniğinizi kullanmayı tercih ettim.<br />
<br />
Siz, doğru cevabı verebileceğine ikna olduğunuz kişilerin cevaplarına şeksiz şüphesiz itimat ediyorsunuz. İtimadınız belli bir süre sonra sorularınızın kesilmesine neden oluyor ve biraz sonra sormadığınız soruların verilmiş cevaplarına kendinizi mahkûm ediyorsunuz. Unuttuğunuza inandığım en önemli noktayı şimdi göstermeliyim size: ‘Sormadığınız soruların cevapları sizi ilgilendirmedi, ilgilendirmiyor ve hiçbir zaman ilgilendirmeyecek!” Bu noktanın önemine dikkat çekebildim mi yeterince? Sizi ilgilendirmeyen soruların cevaplarını vermeye devam edenlere gösterdiğiniz saygıyı ömrünüzün sonuna kadar sorgulama gereği duymamanız, sizi kavgacılığa, karmaşaya ve anlaşılmazlığa sürüklüyor. Sorularınızı başkasına ödünç verdiğiniz zaman onların verdikleri cevabı kendi mülkünüze ait sanıyorsunuz. Zarîra’da hiç kimse diğerleri adına soru sormaz. Diğerlerinin sorularına verilen cevapları, sorgulamadan izlemez. Bir arada yaşayabilmelerinin tek nedeni de bu. Herkes kendisinin farkındadır ve diğerleri bu farkındalığa saygı duymaktan başka bir seçeneğe sahip değildirler. Topluluk olabilmelerini bu gerçeğe borçludurlar.<br />
<br />
Zarîra gezegeninde nesnel sorulara verilen nesnel cevaplar vardır. Evreni ve kendimizi anlamak adına hiç kimseyi araç olarak kullanmamayı ilke edinmişizdir. Sorularımızı ürettiğimizde, o sorularla ilgili geçmiş zamanın sonlu noktalarında harcanmış enerjileri kontrol ederiz, kişisel çıkar üzerine konumlanmamış olan cevaplarla geçirdiğimiz zaman, cevaplarımızın özgün yapısını bina ederken kazanç olarak kişisel ve toplumsal zihnimize ilişmiş olur. Gelecek kuşaklar, ortak hafızamıza güven duydukları için yeni sorular ve cevaplar üretmekte- siz burada bu eylemler dönüşümüne bilim diyorsunuz- gezegeninizden daha yüksek istatistikler elde ederler.<br />
<br />
Yaşadığınız savaşların ve şiddetin, sorularınızın ve cevaplarınızın karakterini etkilediğinin farkındasınız, umarım. Tüm acılarınıza rağmen bugün evrenin bilemediğiniz sırlarına karşı tutumunuzu beğendiğimi söyleyebilirim. Gözlerinizi atmosferin dışına diktiğinizde farkında olmadan bir araya geliyorsunuz. Bir eliniz ürettiğiniz nükleer bombaların düğmesinde iken, diğer elinizle düşman saydığınız insanların omuzlarına dokunuyor ve birlikte gökteki sırlara bakıyorsunuz.<br />
<br />
Zihinsel ekranınızda çok önemli bulduğum bir noktaya dokunarak onu büyütmek istiyorum. Siz atmosfer dışına baktığınızda tüm psikolojik kaygılarınızdan uzaklaşıyor ve nesnel bakabiliyorsunuz. O baktığınız şey aslında saf ve net sorular ve cevaplarla oluşturduğunuz ve adına bilim dediğiniz şeyin ta kendisi. Bu bakışı geliştirmelisiniz. Kavgalarınızın, karmaşalarınızın ve anlaşılmazlığınızın bu bakışı geliştirmenizle birlikte zaman doğrusunun geçmişinde kalacağını bilmenizi isterim. Zaman doğrusu zannettiğinizin aksine her an yeniden başlamaktadır sizin için.<br />
<br />
Bilim, dediğiniz birikimden bahsedince bazılarınızın irkildiğini düşünüyorum ve bu irkilmeyi anlamakta zorluk çekiyorum. Kabul ediyorum, bilimsel teori, teorem ve eylemlerinizin sonuçları, subjektif nedenlerinizin etkisiyle sizin kavgalarınızda bir avantaj olarak kullanılıyor. Teknolojik üstünlük elde eden bazılarınız bunu hükmetme aracı olarak kullanıyorlar. Hatta daha da ileri gidip kendilerini sizin tanrılarınız olarak tanıtmaya kalkıyorlar. Elbette ki; haksızlar. Fakat, haksız oldukları yer bilim değil, bilimi kullanma şekilleri. Sizin bu türden sebeplerle bilime karşı durmanız çok yersiz ve anlamsız, hatta komik. İnandığımız Allah’ın yarattığı evreni ve evrenin bilemediğiniz sırlarını anlamaya çalışmanız bir ibadet değil midir? Halife olarak yaratılmış olmanız, başka ne anlama gelebilir ki?<br />
<br />
Sizin sebepler perdesinin arkasına sakladığınız kişisel ve toplumsal başarısızlıklarınızı irdelediğimi bilmenizi isterim. Sorularınızın ve cevaplarınızın eksikliği özgüven kazanınıza yeterince veri üretmiyor. Sistemli bir şekilde düşünmekten korkuyorsunuz. Korkunuzun nedeni de kötü niyetinizdeki değil, tam aksine iyi niyetinizdeki yetersizlik araçlarından. Unutmuş olacağınıza inanmadığım bir konuyu hatırlatmak istiyorum şimdi. Doğru düşünüp düşünmediğinizden emin olmak istediğiniz halde, emin olamamanızın tek sebebi, doğru sorgulama ve sınama yöntemlerini kullanamamak olabilir mi?<br />
<br />
Yaptığım araştırmalara ve gözlemlere göre, doğru düşüncelerinizin toplandığı tek deponuz Matematik dediğiniz bilgi alanı. Sorgulanması zamanın kodlarına ve mekânın belirsizliğine göre en kolay olan ve subjektif nedenlerden etkilenmeden ürettiğiniz tek bilgi alanı da bu. Hepiniz, bu alanda yetersiz kalmaktan korkmanıza rağmen, o alana büyük bir saygı ile yaklaşıyorsunuz. İşte ben bu saygınızı çok sevdim. Burada, karşınızda bulunma nedenim de bu.<br />
<br />
Ben size burada Matematik öğretmek istiyorum.<br />
<br />
Bu zamanın koordinatları ile ilgili bir tasarrufum yoktu; tasarrufum noktalarımı zamanın sayı doğrusu üzerine sürmekten ibaret. Büyük bir iddia içerisinde de değilim- bu cümleyi sizden ödünç aldım-. Bu hususlarda iddialı olmayı da anlamıyorum. Sizin Matematik öğrenmek isteyip istemediğinizi de bilmiyorum.<br />
<br />
Fakat herhalde, çoğunuz okuyarak Matematik öğreneceğine inanmıyor. Ben inanıyorum. Benim inandığıma inananlarınız varsa, okullarınızdaki gibi lütfen parmak kaldırsın. Sitedeki formata göre kalkmış parmaklarınızı, klavyelere dokunarak yazacağınız yorumlarla fark edeceğimi hatırlatmalıyım. Ne kadar çok parmak kalkarsa, ben o kadar çok iyi niyetle dolu olarak sizlere bir şeyler anlatmaya çalışacağım. Benim kazancım da bu olacak. Her cumartesi günü yeni bir yazıdersle aranızda olmaktan büyük bir keyif alacağım.<br />
<br />
Hoşça kalınız.<br />
<br />
Mustafa Akdeniz, 30.04.2010Zarirahttp://www.blogger.com/profile/04270938604446529222noreply@blogger.com2