Matematik Keşif mi İcat mı? Aksiyomlardan Gerçekliğe

Sembolü seçmek ile matematiksel ilişkiyi belirlemek aynı şey değildir

Bir matematiksel nesnenin adı veya sembolü ile o nesnenin özelliklerini birbirinden ayırmak gerekir. Çemberin çevresinin çapına oranını göstermek için kullanılan $\pi$ sembolü bir gösterim tercihidir. Başka bir sembol seçilseydi oran değişmezdi. Benzer biçimde, toplama işareti '+', eşittir işareti '=' ve sayıların yazım biçimi farklı kültürlerde değişebilir; fakat belirli bir sistem içinde ifade edilen ilişkiler, yalnızca semboller değişti diye farklılaşmaz.

Burada 'icat' kelimesi özellikle dil ve temsil düzeyinde anlamlıdır. İnsanlar sayıları yazmak için onluk gösterimi kullanabilir; başka bir gösterimde aynı sayı farklı bir sembolle ifade edilir. Örneğin 10 tabanında 12 olarak yazılan sayı, başka bir tabanda başka bir gösterime sahip olabilir. Gösterim değişir, temsil edilen nicelik aynı kalabilir.

Bununla birlikte, her matematiksel kavram doğrudan fiziksel bir nesnenin kopyası değildir. Negatif sayılar, sıfır veya soyut kümeler, belirli problemleri ifade etmek için kurulmuş kavramsal yapılardır. Bunların 'icat edildiğini' söylemek, içlerindeki tüm sonuçların keyfî olduğu anlamına gelmez. Bir tanım ve aksiyomlar kabul edildikten sonra, o sistemde hangi sonuçların geçerli olduğu mantıksal çıkarımla araştırılır.

Bu ayrım, matematiğin iki yönünü aynı anda görmeyi sağlar: Çalışma çerçevesini ve dili insanlar kurar; çerçeve içindeki zorunlu ilişkileri ise keşfederiz.

Aksiyom seçimi neden farklı geometriler doğurur?

Tümdengelimsel bir kuramda çıkarımların dayandırılacağı başlangıç kabullerinin ve çıkarım kurallarının açıkça belirlenmesi gerekir. Bu kabuller aksiyomlar olarak seçilir; sonlu veya sonsuz bir aksiyom kümesi kullanılabilir. Aksiyom, ilgili sistem içinde başlangıç noktası olarak kabul edilen önermedir; 'doğada tartışmasız biçimde gözlenen yasa' olmak zorunda değildir.

Öklid geometrisinde paralelliklerle ilgili belirli bir kabul kullanıldığında, düzlem geometrisinin sonuçlarına ulaşılır. Bu çerçevede bir üçgenin iç açıları toplamı $180^\circ$ olarak verilir. Ancak bu sonuç, 'her türlü geometride' geçerli değildir. Öklid dışı geometrilerde paralellik aksiyomunun farklı biçimde ele alınması, üçgen açıları ve doğru kavramının davranışı gibi sonuçları değiştirir.

Buradaki kritik nokta şudur: Farklı aksiyomlar kullanılması, bir sistemin diğerini basitçe çürüttüğü anlamına gelmez. Her sonuç, hangi tanım ve aksiyomlara dayandığı belirtilerek değerlendirilmelidir. 'Üçgenin açıları toplamı 180 derecedir' cümlesi eksik bırakılmış bir cümledir; daha doğru biçimi, bunun Öklid düzlemindeki üçgenler için geçerli olduğunu belirtmektir.

Bu örnek, icat ve keşif ayrımını somutlaştırır. Aksiyomların hangi sistemde kullanılacağını seçmek kurucu bir tercihtir. Seçim yapıldıktan sonra, bu aksiyomlardan çıkan teoremleri kişisel görüşe göre değiştiremeyiz. Matematikçi, farklı yapılar kurabilir; sonra her yapının sonuçlarını tutarlı biçimde araştırır.

Pi sayısında keşfedilen oran, icat edilen hesap yöntemleri

Öklid düzlemindeki bir çember için $\pi$, çevrenin çapa oranıdır:

$\pi = \frac{çemberin\ çevresi}{çap}$

Bu tanımda dikkat edilmesi gereken koşul, çemberin Öklid geometrisindeki anlamıdır. Çevre ve çap ölçüldüğünde elde edilen oran, çemberin boyutu değişse de aynı kalır. Çapı $d$ olan bir çemberin çevresi $C$ ise $C=\pi d$; yarıçapı $r$ ise $C=2\pi r$ yazılır. Dairenin alanı için de $A=\pi r^2$ bağıntısı kullanılır.

Burada oran ile sembolü ayırabiliriz. İnsanlar $\pi$ sembolünü seçmiş ve bu oranı hesaplamak için farklı yaklaşık yöntemler geliştirmiştir. Örneğin bir hesapta $\pi$ yerine $3{,}14$ kullanmak, tam değerin kendisini değiştirmek değil, onu yaklaşık temsil etmektir. Sonucun hassasiyeti, problemin gerektirdiği basamak sayısına bağlıdır. Bir okul sorusunda $3{,}14$ yeterli olabilirken, daha hassas bir hesapta daha fazla basamak gerekebilir.

$\pi$'nin ondalık gösteriminin sonlu olmaması ve tekrar eden sabit bir blok oluşturmaması, onun rasyonel sayı olarak yazılamadığını ifade eder. Ancak bu konu, 'sonsuz basamaklı her sayı irrasyoneldir' şeklinde genellenemez; bazı rasyonel sayılar da sonsuz tekrar eden ondalık gösterime sahiptir. Bu nedenle pi sayısının neden bitmediği ve rasyonel-irrasyonel sayıların farkı başlıkları birlikte okunmalıdır.

Sonuç olarak, çemberler arasındaki oranı matematiksel bir özellik olarak araştırırız; bu özelliği ifade eden sembolü ve yaklaşık hesap tekniklerini ise insan ürünü araçlar olarak değerlendiririz.

Matematiksel model başarılı olduğunda neyi kanıtlar, neyi kanıtlamaz?

Matematiğin doğayı açıklamada güçlü olması, keşif görüşünün en önemli dayanaklarından biridir. Fiziksel bir olayı açıklamak için matematiksel model kurulur: Gerçek nesneler seçilen değişkenlerle temsil edilir, aralarındaki ilişki bir denklem veya fonksiyonla yazılır ve modelden sonuç çıkarılır.

Fakat model ile gerçekliğin kendisi aynı değildir. Bir modelin başarılı olması, seçilen varsayımlar altında gözlemleri iyi temsil ettiğini gösterir. Bu başarı, kullanılan matematiksel yapı ile fiziksel olay arasında verimli bir ilişki bulunduğuna işaret eder; tek başına, matematikteki her kavramın fiziksel evrende somut bir nesne olarak bulunduğunu kanıtlamaz.

Örneğin bir ölçüm sisteminde uzunluk metreyle, zaman saniyeyle ifade edilebilir. Birim seçimi değiştiğinde sayısal değerler değişebilir; fiziksel karşılaştırma ise uygun dönüşüm yapıldığında korunur. Bu durum, matematiksel temsilin seçime açık yönü ile ölçülen ilişkinin pratikteki anlamını ayırmayı gerektirir.

Aynı ayrım fonksiyon ve denklem konusunda da görülür. Fonksiyon, tanım kümesindeki her elemana kodomende tam olarak bir eleman eşleyen bağıntıdır; denklem ise iki matematiksel ifadenin eşit olduğunu belirten ve çözüm aranırken değişkenlerin belirli değerlerini kısıtlayabilen bir eşitlik önermesidir. Bu iki kavramın farkını görmek için fonksiyon ve denklem arasındaki fark bağlantısı yararlıdır. Model kurarken hangi değişkenin girdi, hangisinin çıktı olduğu ve hangi koşulların sabit tutulduğu açıkça yazılmalıdır.

Adım adım çözümlü örnekler: Aynı sonuç neden hem kurulur hem bulunur?

Örnek 1: Öklid düzleminde üçgen açıları

Verilenler: Bir üçgenin iki iç açısı $65^\circ$ ve $45^\circ$ olsun. Üçgenin Öklid düzleminde olduğu kabul edilsin.

Çözüm adımları:

1. Kullanılan matematiksel çerçeveyi belirleriz: Öklid düzlemi.
2. Bu çerçevede üçgenin iç açıları toplamı $180^\circ$'dir.
3. Bilinmeyen açıya $x$ deriz: $65+45+x=180$.
4. Bilinen açıları toplarız: $110+x=180$.
5. Her iki taraftan $110$ çıkarırız: $x=70^\circ$.

Sonuç: Bilinmeyen açı $70^\circ$'dir. Burada $180^\circ$ kabul edilen geometrik sistemin sonucudur; toplama ve çıkarma işlemleriyle $70^\circ$ değeri bu sistem içinde keşfedilir. Eğer farklı bir geometri veya düzlem olmayan bir yüzey söz konusu olsaydı, aynı kuralı koşulsuz kullanmak doğru olmazdı.

Örnek 2: Pi ile çember çevresi hesaplama

Verilenler: Öklid düzleminde yarıçapı $5$ cm olan bir çember ve yaklaşık hesap için $\pi \approx 3{,}14$.

Çözüm adımları:

1. Çevre formülünü seçeriz: $C=2\pi r$.
2. Verilen yarıçapı yerine koyarız: $C=2\cdot 3{,}14\cdot 5$.
3. Önce $2\cdot 5=10$ hesaplanır.
4. $10\cdot 3{,}14=31{,}4$ bulunur.

Sonuç: Çemberin yaklaşık çevresi $31{,}4$ cm'dir. Burada $2\pi r$ bağıntısı Öklid geometrisindeki çember tanımıyla ilişkilidir; $3{,}14$ ise hesap kolaylığı sağlayan yaklaşık değerdir. Tam sembolik sonuç $10\pi$ cm olarak yazılabilir. Böylece matematiksel ilişki ile kullanılan yaklaşık temsil birbirine karıştırılmaz.

Sık yapılan hatalar: 'Her şey icat' ve 'her şey keşif' sonuçları neden sorunlu?

Hata 1: Sembolle nesneyi aynı sanmak. $\pi$ harfinin insanlar tarafından seçilmiş olması, çember çevresi/çap oranının keyfî olduğu anlamına gelmez. Sembol değişebilir; tanımlanan oran değişmez.

Hata 2: Bir teoremi koşulsuz söylemek. 'Üçgenin açıları toplamı her zaman $180^\circ$' demek yerine, bunun Öklid düzlemindeki üçgenler için geçerli olduğu belirtilmelidir. Geometrinin türü ve şeklin bulunduğu ortam sonucu etkileyebilir.

Hata 3: Farklı aksiyomları çelişki sanmak. Öklid ve Öklid dışı geometriler farklı başlangıç kabulleri kullanabilir. Bir sistemde kanıtlanan sonuç, diğer sistemin otomatik olarak yanlış olduğunu göstermez; önce hangi varsayımların kullanıldığına bakılır.

Hata 4: Yaklaşık değer ile tam değeri eşitlemek. $\pi\approx3{,}14$ ifadesindeki yaklaşık işareti önemlidir. $3{,}14$, hesapta kullanılan bir yaklaşım; $\pi$ ise tanımlanan oranı temsil eden sabittir.

Hata 5: Matematiğin doğayı açıklamasını ontolojik kanıt saymak. Bir modelin fiziksel verilerle uyumlu olması, modelin işe yaradığını gösterir. Bundan, modeldeki her soyut nesnenin fiziksel dünyada aynı biçimde bulunduğu sonucu zorunlu olarak çıkmaz.

Hata 6: 'İcat' kelimesini keyfîlik olarak yorumlamak. Tanımlar ve aksiyomlar başlangıç çerçevesini belirler; fakat o çerçeve içindeki kanıtların geçerliliği, kişisel tercihle değişmez. Bu nedenle 'insan yapısı' ile 'rastgele uydurma' aynı ifade değildir.

Ayrıca sonsuzluk da sık karıştırılır. Sonsuzluk, bağlama göre bir süreç, büyüklük fikri veya matematiksel kavram olarak ele alınabilir; onu sıradan bir doğal sayı gibi değerlendirmek doğru değildir. Bu ayrım için sonsuzluk bir sayı mıdır yazısına bakılabilir. Değişim oranı ve birikim gibi başka matematiksel yapıların nasıl kurulduğunu anlamak için türev ve integral arasındaki fark başlığı da konuyu genişletir.