Günlük Hayatımızda Matematik

Reductio Ad Absurdum: Olmuyorsa Olmalı Ya da Olmayana Ergi Nedir?

Bazen doğru olduğundan şüphelendiğimiz (ama henüz kanıtlayamadığımız) bir şey aslında yanlış olsaydı ne olurdu diye kendi kendimize sorarız. Bu sorumuzun klasik mantıktaki karşılığı olarak düşünebileceğimiz reductio ad absurdum diğer bir deyişle olmayana ergi, çok eskiden beri bilinen bir ispat yöntemidir. Bu yöntem gündelik yaşantıda da sıklıkla kullanılmaktadır.

Bu yöntemin son derece kullanışlı bir ispat biçimi olmasının bir nedeni, doğrudan ispatlanamayan bir yargının doğruluğu konusunda bu yöntemle karar verilebilmesidir. Reductio Ad Absurdum, mantıklı bir sonuca varmanın saçmalığını göstererek bir argümanı çürütür. Ancak bu, yalnızca başlangıçtaki argümanda hatalı mantık varsa işe yarar.

Matematikte ispatlar temelde ikiye ayrılır. Doğrudan ve dolaylı olmak üzere. Olmayana ergi, dolaylı ispatlar kategorisinde kendine yer bulur. Matematiksel ispatlarda çok sık kullanılan bu yol şu anlama gelir: Bir p önermesini ispatlamak için, p’nin tersini varsaymak ve ondan bir çelişki çıkarsamak yeterlidir.

Hardy’nin Reductio ad absurdum için söylediği şu söz çok çarpıcıdır. “Bu yöntem matematikçilerin en iyi silahlarından biridir. Bu herhangi bir satranç gambitinden çok daha ince gambittir: bir satranç oyuncusu bir piyonu hatta bir figürü feda etmeyi göze alabilir; bir matematikçinin ortaya koyduğu şey ise oyunun kendisidir.” Not: Gambit; bir oyuncunun avantaj elde etmek için bir veya daha fazla piyonu ya da küçük bir taşı feda ettiği açılışlara verilen isimdir. Kaynak: https://www.azquotes.com/

Tarihsel sürecin matematikteki ispatlara da yön verdiğini düşünmekteyim. Daha doğrusu bir ispat 2000 yıldır tazeliğini koruyorsa bunun hikayesinin, ispat şeklinin önemi yadsınamaz bir gerçektir. Örneğin kök2 nin rasyonel bir sayı olmadığının ispatı ya da asal sayıların sonsuzluğunun ispatı bu yöntem sayesinde yapılabilmiştir.

Euclid’in çok sevdiği bu yöntem matematikçilerin en iyi silahlarından biridir.

Olmayana Ergi Yöntemi İçin Bir Örnek

Asal sayıların sonsuzluğunu Olmayana ergi yöntemi ile gösterelim. Bu durumda doğru kabul edeceğimiz önerme : ‘Sonlu sayıda asal sayı vardır.’ olacaktır. Bu önermeyi doğru kabul ettiğimize göre en büyük asal sayı olmak zorunda. Bu asal sayıya pn diyelim. Şimdi şöyle bir x sayısı tanımlayalım, x sayısı bütün asalların çarpımından bir fazla olsun.

Görünen o ki, x sayısı hiçbir asal sayıya tam bölünemiyor, hep 1 kalan veriyor. Buradan şu sonuç çıkar: x de bir asal sayıdır. Fakat x bariz bir şekilde pn asalından (en büyük asaldan) büyük. Bu bir çelişkidir. Demek ki sonsuz sayıda asal vardır. Gördüğünüz gibi, bir ifadenin “yanlış” olduğunu varsaymak suretiyle yapılacak bir denetleme onun tüm mümkün doğruluk durumlarının “doğru” olup olmadığını tek tek denetleme uğraşından çok daha pratik görünmektedir.

Matematikteki kalıpları farkında olarak veya olmayarak günlük yaşantımızda kullanırız. Reductio ad absurdum tekniği de bir yönüyle mizah alanında kendini bizlere gösterir: Acayip bir önerme ele alınır. Şaka ya da fıkra bu öncülü saçma bir noktaya kadar geliştirir. Ya da akla uygun ama mecazi anlamda söylenen bir önerme asıl anlamında yorumlanır ve fıkra buna uygun olarak geliştirilir.

Örneğin, bir çok mizah öyküsü “şöyle şöyle olsaydı ne olurdu?” anlamına gelen paragraflarla başlar. Burada “şöyle şöyle olsaydı” tümcesi saçma sonuçları öykünün devamında geliştiren öncüldür. Mizahta vurgulanan şey doğal olarak matematiktekinden farklıdır. Mizahta, öncülüğü saçmalığa indirgemek, öncülü reddetmek amacından çok, saçmalığın kendisi için yapılır. Yine de hicivde olduğu gibi, iki amaç bir arada bulunabilir. Hocanın fıkralarından birine veya birkaçına bu bakış açısıyla bakmak size kalsın….



Kaynakça:

  1. Bir matematikçinin savunması,  G. H. Hardy; 2008; Tübitak yayınları
  2. Matematik ve Mizah,  J. A. Paulos; 2003; Doruk Yayınevi

Dip Not:

Matematiksel, 2015 yılından beri yayında olan ve Türkiye’de matematiğe karşı duyulan önyargıyı azaltmak ve ilgiyi arttırmak amacıyla kurulmuş bir platformdur. Sitemizde, öncelikli olarak matematik ile ilgili yazılar yer almaktadır. Ancak bilimin bütünsel yapısı itibari ile diğer bilim dalları ile ilgili konular da ilerleyen yıllarda sitemize dahil edilmiştir. Bu sitenin tek kazancı sizlere göstermek zorunda kaldığımız reklamlardır. Yüksek okunurluk düzeyine sahip bir web sitesi barındırmak ne yazık ki günümüzde oldukça masraflıdır. Bu konuda bizi anlayacağınızı umuyoruz. Ayrıca yazımızı paylaşarak da büyümemize destek olabilirsiniz. Matematik ile kalalım, bilim ile kalalım

Matematiksel

Aykut Çelikel

İzmir Anadolu Öğretmen Lisesi 2007, Dokuz Eylül Üniversitesi Matematik Öğretmenliği Bölümü 2012 mezunuyum. MEB'de görev yapmaktayım. Matematik yapmaktan ve de hakkında yazmaktan keyif alan bu adamın bir hayali de öğrencileriyle birlikte Euclid'in muhteşem eseri olan Stoikheia(Elemanlar)'ı okumak.

Bir yanıt yazın

E-posta adresiniz yayınlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir

Başa dön tuşu