Defne
New member
Postulat ve Aksiyom Arasındaki Fark Nedir? Matematiksel Temeller Üzerinden Bilimsel Bir İnceleme
Postulat ve Aksiyom Arasındaki Fark Nedir?
Matematikle biraz daha yakından ilgilenmeye başladığımda beni en çok düşündüren konulardan biri, aslında bütün matematiksel akıl yürütmenin başlangıcında bulunan şu basit soruydu: Bir matematiksel önerme neden kanıtlanmadan kabul edilir? “Aksiyom” ve “postulat” sözcüklerini çoğu zaman birbirinin yerine kullanıyoruz; fakat tarihsel açıdan bakıldığında aralarında önemli bir ayrım bulunduğunu görüyoruz. Daha ilginç olan ise modern matematiğin bu ayrımı büyük ölçüde eritmiş olması.
Bu nedenle konuyu yalnızca “aksiyom geneldir, postulat özeldir” şeklinde ezberlemek yerine, kavramların nasıl ortaya çıktığını, Öklid geometrisinde nasıl kullanıldığını ve modern matematikte neden neredeyse eş anlamlı hâle geldiğini incelemek daha açıklayıcı. Özellikle matematiğin neyi “doğru” kabul ettiği ve bir teorinin hangi varsayımlar üzerine kurulduğu soruları, konuyu matematik felsefesine kadar taşıyor.
Aksiyom Nedir?
“Aksiyom” sözcüğü tarihsel olarak kanıt gerektirmeden kabul edilen temel ilke anlamında kullanılmıştır. Ancak burada önemli bir ayrıntı var: Modern matematikte aksiyomu mutlaka “kendiliğinden apaçık doğru” olarak tanımlamak doğru değildir.
Çağdaş aksiyomatik yaklaşımda bir aksiyom, belirli bir matematiksel sistem içerisinde başlangıç kabulü olarak seçilen önermedir. Örneğin küme teorisinde kullanılan Zermelo-Fraenkel aksiyomları, matematiğin önemli bir bölümünün üzerine inşa edildiği biçimsel başlangıç noktalarıdır. Bu önermelerin rolü, deneysel olarak kanıtlanmış fizik yasalarının rolüyle aynı değildir. Matematikçi, belirli bir biçimsel sistem oluştururken hangi varsayımları kabul edeceğini belirler ve daha sonra bu varsayımlardan mantıksal sonuçlar çıkarır.
Dolayısıyla modern bakış açısından “aksiyom = tartışılmaz mutlak gerçek” formülü yetersizdir. Daha doğru ifade, aksiyomun belirli bir teorinin mantıksal başlangıç koşullarından biri olduğudur.
Bu yaklaşım matematiğin yapısal niteliğini de açıklar. Bir aksiyom sisteminin değeri yalnızca aksiyomların “apaçık” görünmesine değil, sistemin tutarlılığına, bağımsızlığına, matematiksel olarak verimli sonuçlar üretmesine ve başka yapılarla ilişkiler kurabilmesine de bağlıdır.
Schmidt ve Venturi'nin Erkenntnis dergisinde yayımlanan çalışması da aksiyom ve postulatların tarih boyunca tek bir anlama sahip olmadığını vurgular. Araştırmacılar modern aksiyomatiği yalnızca “doğru kabul edilen cümleler” olarak değil, matematiksel pratiği oluşturan ve yönlendiren ifadeler olarak inceler.
Postulat Nedir?
Postulat da kanıtlanmadan kabul edilen temel bir önermedir; ancak kavramın tarihsel kullanımında özellikle belirli bir matematiksel alanın veya geometrik yapının gerektirdiği varsayımlarla ilişkilendirilmiştir.
Bu noktada Öklid geometrisi belirleyici bir örnektir. Öklid'in Elementler adlı eserinde “ortak kavramlar” ile “postulatlar” arasında ayrım yapılmıştır. Tarihsel araştırmalar, Öklid sisteminde postulatların özellikle geometrik bağlamdaki kabullere ve bazı durumlarda geometrik nesnelerin kurulabilirliğine ilişkin olduğunu göstermektedir.
Örneğin:
“İki nokta arasından bir doğru çizilebilir.”
ifadesi geometrik bir yapının kurulmasına ilişkin bir kabuldür. Bu nedenle klasik Öklidci anlamda postulat kavramına iyi bir örnektir.
Buna karşılık:
“Bir şeye eşit olan şeyler birbirlerine de eşittir.”
gibi daha genel bir ilke, belirli bir geometrik nesneye bağlı olmadığı için “ortak kavram” veya aksiyom kategorisinde değerlendirilmiştir.
Burada dikkat edilmesi gereken nokta, bu ayrımın tarihsel olduğudur. Modern matematikte “postulat” ve “aksiyom” arasında evrensel olarak kabul edilmiş keskin bir teknik sınır bulunmaz.
Öklid'de Aksiyom ile Postulat Arasındaki Temel Ayrım
Öklid'in yaklaşımını basitleştirerek şöyle düşünebiliriz:
Özellik Aksiyom / Ortak Kavram Postulat
Kapsam Daha genel Belirli alana özgü
Öklid'deki bağlam Genel matematiksel ilişkiler Özellikle geometri
İşlev Temel bir ilişkinin kabulü Geometrik yapı veya koşulun kabulü
Kanıt Başlangıçta kanıtlanmaz Başlangıçta kanıtlanmaz
Modern kullanım Çoğunlukla genel terim Aksiyomla büyük ölçüde eş anlamlı
Fakat tarihsel tablo bundan biraz daha karmaşıktır. Öklid'in metninin sonraki dönemlerde farklı biçimlerde aktarılması, hangi önermelerin gerçekten Öklid'e ait olduğu ve bunların nasıl sınıflandırılması gerektiği konusunda tartışmalar yaratmıştır. De Risi'nin Science in Context dergisindeki araştırması, Öklid'in dördüncü postulatının özgünlüğünün dahi kesin biçimde çözümlenmiş bir mesele olmadığını göstererek bu tarihsel karmaşıklığa dikkat çeker.
Bu nedenle “Öklid beş aksiyom ve beş postulat yazdı” gibi basit cümleler kullanırken bile kullanılan modern edisyonun ve tarihsel yorumun dikkate alınması gerekir.
Peki Modern Matematikte Neden Fark Azaldı?
19. ve 20. yüzyıllarda matematiğin daha biçimsel hâle gelmesiyle birlikte aksiyom kavramının anlamı önemli ölçüde değişti. Artık bir aksiyomun mutlaka sezgisel olarak apaçık olması gerekmiyordu.
Örneğin Öklid dışı geometrilerin gelişimi bu dönüşüm açısından son derece önemlidir. Öklid'in paralellik postulatının farklı biçimlerde değiştirilmesiyle Öklid geometrisinden farklı fakat matematiksel açıdan tutarlı geometrik sistemlerin ortaya çıkabileceği gösterildi.
Bu gelişme çok önemli bir düşünsel sonuç doğurdu: Bir matematiksel sistemin temel önermesi olmak ile “evrensel ve değişmez gerçek” olmak aynı şey değildir.
Dolayısıyla geometrinin hangi aksiyomlarla kurulacağına bağlı olarak farklı matematiksel evrenler tanımlanabilir. Öklid geometrisi bunlardan yalnızca biridir.
Modern matematikte bu nedenle “postulat” yerine çoğu durumda “aksiyom” sözcüğü tercih edilir. Bir teorinin temel varsayımlarını belirleyen ifadeler, geometrik veya geometrik olmayan alanlarda, çoğunlukla aksiyomlar olarak adlandırılır.
Bilim felsefesi literatüründe de bu değişim dikkat çekmektedir. Bir araştırma, Öklid döneminde postulatların geometrik yapıların kurulmasına yönelik bir işlev taşıdığını, modern kullanımda ise “postulat” ve “aksiyom” sözcüklerinin büyük ölçüde eş anlamlılaştığını belirtmektedir.
Aksiyom, Postulat ve Teorem Aynı Şey Değildir
Kavramları birbirinden ayırmanın en kolay yollarından biri, teoremi de tabloya eklemektir.
Aksiyom: Sistemin başlangıç kabullerinden biridir.
Postulat: Tarihsel anlamıyla özellikle belirli bir matematiksel alan için ileri sürülen temel kabuldür.
Teorem: Aksiyomlar, tanımlar ve önceki sonuçlardan mantıksal olarak çıkarılan ve kanıtlanan önermedir.
Örneğin Öklid geometrisinde üçgenlerin iç açılarının toplamının 180 derece olması bir başlangıç kabulü değildir. Öklid geometrisinin uygun aksiyomları ve geometrik sonuçları kullanılarak kanıtlanabilir.
Buradaki ayrım matematiksel yöntemin özünü gösterir:
Varsayımlar → Mantıksal çıkarımlar → Teoremler
Ancak varsayımlar değiştiğinde elde edilen teoremler de değişebilir.
Bu durum matematiğin deneysel bilimlerden önemli bir farkını ortaya çıkarır. Fizikte bir varsayımın doğayla uyuşup uyuşmadığını deneysel verilerle sınayabiliriz. Matematikte ise aksiyomatik bir sistemin içinde, sonuçların başlangıç kabullerinden mantıksal olarak çıkıp çıkmadığını inceleriz.
“Kanıtlanmıyorsa Neden Doğru Kabul Ediliyor?”
Bence konunun en ilginç noktalarından biri burada.
Bir aksiyomun kanıtlanmaması onun yanlış veya rastgele olduğu anlamına gelmez. Bir matematiksel sistemde her önermeyi başka bir önermeyle kanıtlamaya çalışırsak sonsuz bir gerilemeyle karşılaşırız. Bir noktada başlangıç kabullerine ihtiyaç vardır.
Postulat ve Aksiyom Arasındaki Fark Nedir?
Matematikle biraz daha yakından ilgilenmeye başladığımda beni en çok düşündüren konulardan biri, aslında bütün matematiksel akıl yürütmenin başlangıcında bulunan şu basit soruydu: Bir matematiksel önerme neden kanıtlanmadan kabul edilir? “Aksiyom” ve “postulat” sözcüklerini çoğu zaman birbirinin yerine kullanıyoruz; fakat tarihsel açıdan bakıldığında aralarında önemli bir ayrım bulunduğunu görüyoruz. Daha ilginç olan ise modern matematiğin bu ayrımı büyük ölçüde eritmiş olması.
Bu nedenle konuyu yalnızca “aksiyom geneldir, postulat özeldir” şeklinde ezberlemek yerine, kavramların nasıl ortaya çıktığını, Öklid geometrisinde nasıl kullanıldığını ve modern matematikte neden neredeyse eş anlamlı hâle geldiğini incelemek daha açıklayıcı. Özellikle matematiğin neyi “doğru” kabul ettiği ve bir teorinin hangi varsayımlar üzerine kurulduğu soruları, konuyu matematik felsefesine kadar taşıyor.
Aksiyom Nedir?
“Aksiyom” sözcüğü tarihsel olarak kanıt gerektirmeden kabul edilen temel ilke anlamında kullanılmıştır. Ancak burada önemli bir ayrıntı var: Modern matematikte aksiyomu mutlaka “kendiliğinden apaçık doğru” olarak tanımlamak doğru değildir.
Çağdaş aksiyomatik yaklaşımda bir aksiyom, belirli bir matematiksel sistem içerisinde başlangıç kabulü olarak seçilen önermedir. Örneğin küme teorisinde kullanılan Zermelo-Fraenkel aksiyomları, matematiğin önemli bir bölümünün üzerine inşa edildiği biçimsel başlangıç noktalarıdır. Bu önermelerin rolü, deneysel olarak kanıtlanmış fizik yasalarının rolüyle aynı değildir. Matematikçi, belirli bir biçimsel sistem oluştururken hangi varsayımları kabul edeceğini belirler ve daha sonra bu varsayımlardan mantıksal sonuçlar çıkarır.
Dolayısıyla modern bakış açısından “aksiyom = tartışılmaz mutlak gerçek” formülü yetersizdir. Daha doğru ifade, aksiyomun belirli bir teorinin mantıksal başlangıç koşullarından biri olduğudur.
Bu yaklaşım matematiğin yapısal niteliğini de açıklar. Bir aksiyom sisteminin değeri yalnızca aksiyomların “apaçık” görünmesine değil, sistemin tutarlılığına, bağımsızlığına, matematiksel olarak verimli sonuçlar üretmesine ve başka yapılarla ilişkiler kurabilmesine de bağlıdır.
Schmidt ve Venturi'nin Erkenntnis dergisinde yayımlanan çalışması da aksiyom ve postulatların tarih boyunca tek bir anlama sahip olmadığını vurgular. Araştırmacılar modern aksiyomatiği yalnızca “doğru kabul edilen cümleler” olarak değil, matematiksel pratiği oluşturan ve yönlendiren ifadeler olarak inceler.
Postulat Nedir?
Postulat da kanıtlanmadan kabul edilen temel bir önermedir; ancak kavramın tarihsel kullanımında özellikle belirli bir matematiksel alanın veya geometrik yapının gerektirdiği varsayımlarla ilişkilendirilmiştir.
Bu noktada Öklid geometrisi belirleyici bir örnektir. Öklid'in Elementler adlı eserinde “ortak kavramlar” ile “postulatlar” arasında ayrım yapılmıştır. Tarihsel araştırmalar, Öklid sisteminde postulatların özellikle geometrik bağlamdaki kabullere ve bazı durumlarda geometrik nesnelerin kurulabilirliğine ilişkin olduğunu göstermektedir.
Örneğin:
“İki nokta arasından bir doğru çizilebilir.”
ifadesi geometrik bir yapının kurulmasına ilişkin bir kabuldür. Bu nedenle klasik Öklidci anlamda postulat kavramına iyi bir örnektir.
Buna karşılık:
“Bir şeye eşit olan şeyler birbirlerine de eşittir.”
gibi daha genel bir ilke, belirli bir geometrik nesneye bağlı olmadığı için “ortak kavram” veya aksiyom kategorisinde değerlendirilmiştir.
Burada dikkat edilmesi gereken nokta, bu ayrımın tarihsel olduğudur. Modern matematikte “postulat” ve “aksiyom” arasında evrensel olarak kabul edilmiş keskin bir teknik sınır bulunmaz.
Öklid'de Aksiyom ile Postulat Arasındaki Temel Ayrım
Öklid'in yaklaşımını basitleştirerek şöyle düşünebiliriz:
Özellik Aksiyom / Ortak Kavram Postulat
Kapsam Daha genel Belirli alana özgü
Öklid'deki bağlam Genel matematiksel ilişkiler Özellikle geometri
İşlev Temel bir ilişkinin kabulü Geometrik yapı veya koşulun kabulü
Kanıt Başlangıçta kanıtlanmaz Başlangıçta kanıtlanmaz
Modern kullanım Çoğunlukla genel terim Aksiyomla büyük ölçüde eş anlamlı
Fakat tarihsel tablo bundan biraz daha karmaşıktır. Öklid'in metninin sonraki dönemlerde farklı biçimlerde aktarılması, hangi önermelerin gerçekten Öklid'e ait olduğu ve bunların nasıl sınıflandırılması gerektiği konusunda tartışmalar yaratmıştır. De Risi'nin Science in Context dergisindeki araştırması, Öklid'in dördüncü postulatının özgünlüğünün dahi kesin biçimde çözümlenmiş bir mesele olmadığını göstererek bu tarihsel karmaşıklığa dikkat çeker.
Bu nedenle “Öklid beş aksiyom ve beş postulat yazdı” gibi basit cümleler kullanırken bile kullanılan modern edisyonun ve tarihsel yorumun dikkate alınması gerekir.
Peki Modern Matematikte Neden Fark Azaldı?
19. ve 20. yüzyıllarda matematiğin daha biçimsel hâle gelmesiyle birlikte aksiyom kavramının anlamı önemli ölçüde değişti. Artık bir aksiyomun mutlaka sezgisel olarak apaçık olması gerekmiyordu.
Örneğin Öklid dışı geometrilerin gelişimi bu dönüşüm açısından son derece önemlidir. Öklid'in paralellik postulatının farklı biçimlerde değiştirilmesiyle Öklid geometrisinden farklı fakat matematiksel açıdan tutarlı geometrik sistemlerin ortaya çıkabileceği gösterildi.
Bu gelişme çok önemli bir düşünsel sonuç doğurdu: Bir matematiksel sistemin temel önermesi olmak ile “evrensel ve değişmez gerçek” olmak aynı şey değildir.
Dolayısıyla geometrinin hangi aksiyomlarla kurulacağına bağlı olarak farklı matematiksel evrenler tanımlanabilir. Öklid geometrisi bunlardan yalnızca biridir.
Modern matematikte bu nedenle “postulat” yerine çoğu durumda “aksiyom” sözcüğü tercih edilir. Bir teorinin temel varsayımlarını belirleyen ifadeler, geometrik veya geometrik olmayan alanlarda, çoğunlukla aksiyomlar olarak adlandırılır.
Bilim felsefesi literatüründe de bu değişim dikkat çekmektedir. Bir araştırma, Öklid döneminde postulatların geometrik yapıların kurulmasına yönelik bir işlev taşıdığını, modern kullanımda ise “postulat” ve “aksiyom” sözcüklerinin büyük ölçüde eş anlamlılaştığını belirtmektedir.
Aksiyom, Postulat ve Teorem Aynı Şey Değildir
Kavramları birbirinden ayırmanın en kolay yollarından biri, teoremi de tabloya eklemektir.
Aksiyom: Sistemin başlangıç kabullerinden biridir.
Postulat: Tarihsel anlamıyla özellikle belirli bir matematiksel alan için ileri sürülen temel kabuldür.
Teorem: Aksiyomlar, tanımlar ve önceki sonuçlardan mantıksal olarak çıkarılan ve kanıtlanan önermedir.
Örneğin Öklid geometrisinde üçgenlerin iç açılarının toplamının 180 derece olması bir başlangıç kabulü değildir. Öklid geometrisinin uygun aksiyomları ve geometrik sonuçları kullanılarak kanıtlanabilir.
Buradaki ayrım matematiksel yöntemin özünü gösterir:
Varsayımlar → Mantıksal çıkarımlar → Teoremler
Ancak varsayımlar değiştiğinde elde edilen teoremler de değişebilir.
Bu durum matematiğin deneysel bilimlerden önemli bir farkını ortaya çıkarır. Fizikte bir varsayımın doğayla uyuşup uyuşmadığını deneysel verilerle sınayabiliriz. Matematikte ise aksiyomatik bir sistemin içinde, sonuçların başlangıç kabullerinden mantıksal olarak çıkıp çıkmadığını inceleriz.
“Kanıtlanmıyorsa Neden Doğru Kabul Ediliyor?”
Bence konunun en ilginç noktalarından biri burada.
Bir aksiyomun kanıtlanmaması onun yanlış veya rastgele olduğu anlamına gelmez. Bir matematiksel sistemde her önermeyi başka bir önermeyle kanıtlamaya çalışırsak sonsuz bir gerilemeyle karşılaşırız. Bir noktada başlangıç kabullerine ihtiyaç vardır.