Mert
New member
[color=]Aksiyom ve Teorem Arasındaki Fark Nedir? Matematiğin Temelindeki İki Farklı Rol[/color]
Matematikle biraz daha yakından ilgilenmeye başladığımda beni en çok şaşırtan konulardan biri, “aksiyom” ile “teorem” arasındaki farkın ilk bakışta göründüğünden daha önemli olmasıydı. İkisi de matematiksel birer önerme gibi görünüyor; ancak matematiksel bir teorinin içinde üstlendikleri roller oldukça farklı. Üstelik mesele yalnızca “biri kabul edilir, diğeri ispatlanır” demekten ibaret değil.
Özellikle forumlarda matematik konuşurken “Bu zaten aksiyom”, “Bu bir teorem, kanıtlanması gerekiyor” gibi ifadeler kullanıyoruz. Peki bir önermeyi aksiyom yapan şey tam olarak nedir? Bir teoremin doğruluğu neye bağlıdır? Aksiyomlar gerçekten “kanıtsız doğrular” mıdır? Ve farklı aksiyom kümeleri seçildiğinde aynı matematiksel sonuçlara mı ulaşırız?
Bu yazıda konuyu hem matematiksel hem de biraz daha insani bir açıdan ele almak istiyorum. Ayrıca kadınların ve erkeklerin matematiğe yaklaşımının farklı olduğu yönündeki yaygın söylemlere de veriler ışığında bakacağım. Fakat burada önemli bir ayrım var: İnsanların matematiksel düşünme biçimlerini cinsiyet üzerinden kesin kategorilere ayırmak bilimsel olarak sağlıklı değil. Aynı cinsiyet grubu içinde bile deneyimler, eğitim geçmişleri, özgüven, kültürel çevre ve matematik kaygısı bakımından ciddi farklılıklar bulunabiliyor.
[color=]Aksiyom Nedir? Matematiksel Sistemin Başlangıç Noktası[/color]
Aksiyom, belirli bir matematiksel sistem içinde başlangıç kabulü olarak kullanılan önermedir. Aksiyomları kullanarak başka önermeleri, yani teoremleri türetiriz. Encyclopedia of Mathematics, aksiyomatik yöntemi, belirli temel kabullerin başlangıç noktası olarak alınması ve geri kalan önermelerin bunların mantıksal sonuçları olarak elde edilmesi şeklinde açıklıyor. Matematik Ansiklopedisi+1
Burada “aksiyom = herkesin doğal olarak doğru olduğunu bildiği şey” şeklindeki tanım biraz yanıltıcı olabilir.
Örneğin Öklid geometrisinde paralellik postulası belirli bir geometrik sistemin temel kabullerinden biridir. Fakat 19. yüzyılda Öklid'in paralellik postulatının yerine farklı bir kabul konulduğunda Öklid-dışı geometrilerin ortaya çıkması, aksiyomların matematiksel sistemin yapısını ne kadar güçlü biçimde etkileyebildiğini gösterdi. Stanford Encyclopedia of Philosophy de Öklid'in beşinci postulatını, belirli teoremlerin hangi aksiyomlara ihtiyaç duyduğunu gösteren klasik bir örnek olarak ele alıyor. Stanford Felsefe Ansiklopedisi
Dolayısıyla aksiyom, “mutlak anlamda ispatlanamaz bir gerçek” olmaktan ziyade, belirli bir teorik yapının başlangıç kabulü olarak düşünülmelidir.
Bu ayrım bence konunun en önemli noktalarından biri.
[color=]Teorem Nedir? Kabulden Sonuca Giden Yol[/color]
Teorem ise bir matematiksel sistem içinde, tanımlar, aksiyomlar, önceki sonuçlar ve geçerli çıkarım kuralları kullanılarak ispatlanmış matematiksel önermedir.
Encyclopedia of Mathematics, teoremi doğruluğu bir ispat aracılığıyla ortaya konmuş matematiksel önerme olarak tanımlıyor. Biçimsel bir sistem açısından bakıldığında ise bir teorem, bir ispat dizisinin sonunda yer alan önermedir. Matematik Ansiklopedisi
Basitleştirirsek:
Aksiyom → çıkarım kuralları → ara sonuçlar → teorem
Örneğin doğal sayılarla ilgili Peano aksiyomlarını ele alalım. Bu aksiyomlar doğal sayıların ve ardıl işleminin temel özelliklerini belirler. Daha sonra bu başlangıç kabullerinden hareketle aritmetiğin çok sayıda sonucu türetilebilir. Peano aksiyomları hakkında Encyclopedia of Mathematics, bu aksiyomların sayı teorisinin geliştirilmesini mümkün kıldığını ve çeşitli özelliklerin bunlardan türetilebildiğini belirtiyor. Matematik Ansiklopedisi
Burada önemli olan nokta şu: Bir teorem “bir matematikçinin fikri” olduğu için teorem değildir. Bir önermenin teorem statüsü kazanması için, ilgili sistem içerisinde geçerli bir ispatının bulunması gerekir.
[color=]En Temel Farkı Tek Cümlede Söylersek[/color]
Aksiyom ile teorem arasındaki farkı tek bir cümleyle özetlemek gerekirse:
Aksiyom, matematiksel sistemin başlangıç kabullerinden biridir; teorem ise bu sistem içinde mantıksal olarak çıkarılmış ve ispatlanmış sonuçtur.
Fakat bunun yanında birkaç önemli ayrım daha var:
Özellik Aksiyom Teorem
Rolü Başlangıç noktası Sonuç
İspat Sistem içinde başlangıç kabulü olarak alınır İspatlanması gerekir
Dayanak Seçilmiş aksiyomatik yapı Aksiyomlar + tanımlar + çıkarım kuralları
Sistemdeki işlevi Teorinin temelini oluşturur Teorinin sonuçlarını üretir
Başka sistemlerdeki durumu Farklı seçilebilir Başka aksiyomlarda geçerliliğini kaybedebilir
Örnek Peano aksiyomları Pisagor teoremi
Bu tablo bile aslında “aksiyom doğru, teorem de doğru” şeklindeki basit ayrımın neden yeterli olmadığını gösteriyor.
[color=]Bir Teorem Başka Bir Sistemde Aksiyom Olabilir mi?[/color]
Evet. İşte konuyu gerçekten ilginç hale getiren noktalardan biri bu.
Bir matematiksel önermenin “aksiyom” veya “teorem” olması bazen yalnızca önermenin kendisiyle değil, içinde bulunduğu sistemle ilgilidir.
Bir teoride bir önerme aksiyom olarak kabul edilebilir. Başka bir teoride ise aynı önerme, daha temel kabul edilen önermelerden türetilerek teorem haline gelebilir.
Stanford Encyclopedia of Philosophy'de matematiğin aksiyomatik temelleri incelenirken, belirli sonuçların hangi aksiyomlardan türetilebildiği ve bazı aksiyomların başka önermelerle ilişkisi özellikle ele alınıyor. Stanford Felsefe Ansiklopedisi+1
Bu yüzden “aksiyomlar teoremlerden daha doğru şeylerdir” demek doğru olmaz. Daha doğru ifade şudur:
Aksiyom ve teorem, matematiksel sistem içinde farklı görevler üstlenen kavramlardır.
[color=]Peki İnsanların Matematiğe Bakışı Neden Farklı Olabiliyor?[/color]
Burada sorunun cinsiyet boyutuna geliyoruz. Kullanıcıların veya forum katılımcılarının “erkekler daha objektif ve veri odaklı, kadınlar daha duygusal ve toplumsal etkileri dikkate alıyor” gibi bir ayrım yapması oldukça yaygın olabilir. Ancak bunu biyolojik veya değişmez bir özellik gibi sunmak bilimsel açıdan doğru olmaz.
Buna karşılık, insanların matematikle ilişkilerinde özgüven, kaygı, toplumsal beklentiler ve öğrenme deneyimleri açısından ölçülebilir farklılıklar bulunabiliyor.
Örneğin OECD'nin PISA 2022 verilerine göre OECD ülkeleri ortalamasında erkek öğrenciler matematikte kız öğrencilerden 9 puan daha yüksek performans göstermiştir. Ancak tablo bütün ülkelerde aynı değildir: 40 ülke ve ekonomide erkekler daha yüksek ortalama puana sahipken, 17 ülke ve ekonomide kızlar daha yüksek performans göstermiştir; 24 yerde fark istatistiksel olarak anlamlı değildir. OECD
Bu veriler “erkekler objektiftir, kadınlar duygusaldır” sonucunu desteklemiyor. Tam tersine, performansın bile ülkeye ve eğitim bağlamına göre değiştiğini gösteriyor.
Daha dikkat çekici olan ise matematik kaygısı.
PISA 2022'de kız öğrenciler çoğu ülke ve ekonomide erkek öğrencilerden daha yüksek matematik kaygısı bildirmiştir. Üstelik bu fark yüksek performans gösteren öğrenciler arasında da devam etmiştir. OECD+1
Bu durum forum tartışmaları açısından önemli bir ayrım yaratıyor.
Bir kadın öğrenci matematik sorusunu çözerken “Bunu yapabilecek miyim?” diye daha fazla kaygı yaşayabilir. Başka bir kadın öğrenci ise aynı problemi tamamen teknik bir mesele olarak ele alabilir. Aynı şekilde bir erkek öğrenci son derece duygusal bir öğrenme deneyimine sahip olabilir veya başarısızlık karşısında yoğun kaygı yaşayabilir.
Yani burada cinsiyet kategorisinden çok bireysel deneyime bakmak daha açıklayıcıdır.
[color=]Objektiflik ile Duygusallık Gerçekten Birbirinin Zıttı mı?[/color]
Bence burada matematik eğitimi açısından önemli bir yanlış ikilik ortaya çıkıyor.
“Objektif yaklaşım” ile “duygusal/toplumsal yaklaşım” birbirinin karşıtı olmak zorunda değil.
Bir matematikçinin teoremi kanıtlarken mantıksal kesinlik araması gerekir. Bu, matematiğin yapısından kaynaklanır. Ancak aynı matematikçinin hangi problemi araştıracağı, hangi sorunun önemli olduğunu düşüneceği veya matematiği hangi toplumsal probleme uygulayacağı daha geniş insani ve toplumsal faktörlerle ilişkili olabilir.
Örneğin iki öğrenci aynı teoremi öğreniyor olsun.
Bir öğrenci yalnızca ispatın mantıksal yapısıyla ilgilenebilir:
“Bu sonuç hangi aksiyomlardan çıkarılıyor?”
Diğer öğrenci ise şöyle sorabilir:
“Bu matematiksel model gerçek hayatta neyi açıklıyor ve kimlerin hayatını etkiliyor?”
İkinci soru daha “duygusal” olduğu için değersiz değildir. Birinci soru da daha “objektif” olduğu için tek başına bütün resmi açıklamaz.
Matematiksel doğruluk ile matematiğin insan deneyimindeki yeri farklı sorulardır.
[color=]Veri Odaklı Yaklaşımın Gücü ve Sınırı[/color]
Veri odaklı yaklaşımın çok güçlü bir tarafı var: Kişisel izlenimlerin yerine ölçülebilir kanıt koyabiliyor.
Örneğin “erkekler matematikte daha başarılıdır” gibi genel bir cümleyi ele alalım. PISA 2022 bu iddianın bazı bağlamlarda ortalama performans farkıyla ilişkili olduğunu gösteriyor; fakat aynı veri seti farkın ülkeler arasında değiştiğini ve düşük performans grubunda cinsiyet farklarının çok daha küçük olduğunu da gösteriyor. OECD ülkeleri ortalamasında matematikte düşük performans gösterenlerin oranı erkeklerde %31, kızlarda %32 olarak raporlanıyor. OECD
Dolayısıyla veri bize tek bir slogan değil, daha karmaşık bir tablo sunuyor.
Benzer şekilde matematik kaygısının performansla ilişkisi de dikkat çekici. PISA 2022'de matematik kaygısı endeksindeki bir puanlık artış, öğrenci ve okulun sosyoekonomik profili dikkate alındığında OECD ortalamasında matematik başarısında yaklaşık 18 puanlık düşüşle ilişkili bulunuyor. Bu bir nedensellik kanıtı olarak okunmamalı; ancak kaygı ile performans arasındaki güçlü ilişkiyi gösteriyor. OECD
Buradan çıkarılabilecek daha anlamlı soru şu olabilir:
Bir öğrencinin matematikte başarısını yalnızca bilişsel kapasiteyle açıklamak yeterli mi?
Veriler, bunun oldukça eksik bir açıklama olabileceğini düşündürüyor.
[color=]Aksiyom ve Teorem Ayrımında “Kesinlik” Meselesi[/color]
Matematiğin güzelliği biraz da burada ortaya çıkıyor.
Bir teorem ispatlandığında, “neden doğru?” sorusunun cevabı verilebilir. Ancak bu cevabın dayandığı aksiyomatik sistemin kendisi ayrıca incelenebilir.
Örneğin Zermelo'nun küme teorisi aksiyomlaştırmasında matematiksel nesneler hakkında bilinenlerin aksiyomlar ve onlardan türetilen sonuçlarla sınırlandırılması, modern aksiyomatik yaklaşımın temel özelliklerinden biri olarak ele alınır. Stanford Encyclopedia of Philosophy, aksiyomatik sistemlerin tutarlılık, bağımsızlık ve tamlık gibi özelliklerinin ayrıca araştırıldığını belirtiyor. Stanford Felsefe Ansiklopedisi+1
Bu nedenle matematikte “kesinlik” bile katmanlıdır.
Bir teorem, belirli varsayımlar altında kesin olabilir.
Örneğin:
Eğer A, B ve C aksiyomlarını kabul ediyorsak, D sonucu mantıksal olarak çıkar.
Buradaki kesinlik D'nin “evrensel bir gerçek” olmasından değil, A, B ve C'den geçerli biçimde türetilmesinden gelir.
Bu ayrım matematiksel düşüncenin felsefi tarafını anlamak açısından oldukça değerlidir.
[color=]Sonuç: Aksiyom Temel, Teorem İnşa Edilmiş Sonuçtur[/color]
Aksiyom ve teorem arasındaki farkı yalnızca “aksiyom kanıtlanmaz, teorem kanıtlanır” şeklinde ezberlemek mümkün. Fakat konuyu biraz derinleştirdiğimizde çok daha ilginç bir yapı ortaya çıkıyor.
Aksiyomlar belirli bir matematiksel sistemin başlangıç kabullerini oluşturur. Tanımlar ve çıkarım kurallarıyla birlikte bu kabullerden yeni önermeler türetilir. Bu önermeler ispatlandığında teorem niteliği kazanır. Üstelik hangi önermelerin aksiyom olarak seçildiği, hangi sonuçların teorem olarak ortaya çıkacağı üzerinde doğrudan etkilidir. Matematik Ansiklopedisi+1
Kadınlar ve erkeklerin matematiğe yaklaşımı konusundaysa daha dikkatli konuşmak gerekiyor. Veriler bazı ortalama farklılıklar gösterse de bunları “erkekler objektif, kadınlar duygusal” gibi sabit kişilik özelliklerine dönüştürmek mümkün değil. PISA verileri performansın yanı sıra matematik kaygısı, öz yeterlik ve öğrenme tutumlarında da farklılıklar bulunduğunu gösteriyor; fakat bunların toplumsal ve eğitimsel bağlamlarla ilişkisi göz ardı edilemez. OECD+1
Bence asıl ilginç tartışma tam burada başlıyor:
Bir matematiksel sistemin “temelleri” ne kadar seçime bağlıdır?
Bir aksiyomun kabul edilmesi ile onun doğru olduğuna inanılması aynı şey midir?
Matematik öğrenirken kaygı, özgüven veya toplumsal beklentiler gibi unsurlar matematiksel düşünmenin kendisini etkiler mi?
Ve belki de en önemlisi:
Bir matematik problemini yalnızca “doğru cevabı bulma” açısından mı değerlendirmeliyiz, yoksa o problemi kimin, hangi koşullarda ve neden çözmeye çalıştığını da dikkate almalı mıyız?
Forumda özellikle bu son sorunun ilginç tartışmalar doğuracağını düşünüyorum. Çünkü matematiğin teoremlerinde mantıksal kesinlik ararken, matematiği yapan insanların deneyimlerinde aynı kesinliği aramak çoğu zaman mümkün değil.
Kaynaklar: Encyclopedia of Mathematics, “Theorem” ve “Axiomatic Method”; Stanford Encyclopedia of Philosophy, “Zermelo’s Axiomatization of Set Theory” ve “Reverse Mathematics”; OECD, PISA 2022 Results, Volume I ve Volume V. OECD+5Matematik Ansiklopedisi+5Matematik Ansiklopedisi+5
Matematikle biraz daha yakından ilgilenmeye başladığımda beni en çok şaşırtan konulardan biri, “aksiyom” ile “teorem” arasındaki farkın ilk bakışta göründüğünden daha önemli olmasıydı. İkisi de matematiksel birer önerme gibi görünüyor; ancak matematiksel bir teorinin içinde üstlendikleri roller oldukça farklı. Üstelik mesele yalnızca “biri kabul edilir, diğeri ispatlanır” demekten ibaret değil.
Özellikle forumlarda matematik konuşurken “Bu zaten aksiyom”, “Bu bir teorem, kanıtlanması gerekiyor” gibi ifadeler kullanıyoruz. Peki bir önermeyi aksiyom yapan şey tam olarak nedir? Bir teoremin doğruluğu neye bağlıdır? Aksiyomlar gerçekten “kanıtsız doğrular” mıdır? Ve farklı aksiyom kümeleri seçildiğinde aynı matematiksel sonuçlara mı ulaşırız?
Bu yazıda konuyu hem matematiksel hem de biraz daha insani bir açıdan ele almak istiyorum. Ayrıca kadınların ve erkeklerin matematiğe yaklaşımının farklı olduğu yönündeki yaygın söylemlere de veriler ışığında bakacağım. Fakat burada önemli bir ayrım var: İnsanların matematiksel düşünme biçimlerini cinsiyet üzerinden kesin kategorilere ayırmak bilimsel olarak sağlıklı değil. Aynı cinsiyet grubu içinde bile deneyimler, eğitim geçmişleri, özgüven, kültürel çevre ve matematik kaygısı bakımından ciddi farklılıklar bulunabiliyor.
[color=]Aksiyom Nedir? Matematiksel Sistemin Başlangıç Noktası[/color]
Aksiyom, belirli bir matematiksel sistem içinde başlangıç kabulü olarak kullanılan önermedir. Aksiyomları kullanarak başka önermeleri, yani teoremleri türetiriz. Encyclopedia of Mathematics, aksiyomatik yöntemi, belirli temel kabullerin başlangıç noktası olarak alınması ve geri kalan önermelerin bunların mantıksal sonuçları olarak elde edilmesi şeklinde açıklıyor. Matematik Ansiklopedisi+1
Burada “aksiyom = herkesin doğal olarak doğru olduğunu bildiği şey” şeklindeki tanım biraz yanıltıcı olabilir.
Örneğin Öklid geometrisinde paralellik postulası belirli bir geometrik sistemin temel kabullerinden biridir. Fakat 19. yüzyılda Öklid'in paralellik postulatının yerine farklı bir kabul konulduğunda Öklid-dışı geometrilerin ortaya çıkması, aksiyomların matematiksel sistemin yapısını ne kadar güçlü biçimde etkileyebildiğini gösterdi. Stanford Encyclopedia of Philosophy de Öklid'in beşinci postulatını, belirli teoremlerin hangi aksiyomlara ihtiyaç duyduğunu gösteren klasik bir örnek olarak ele alıyor. Stanford Felsefe Ansiklopedisi
Dolayısıyla aksiyom, “mutlak anlamda ispatlanamaz bir gerçek” olmaktan ziyade, belirli bir teorik yapının başlangıç kabulü olarak düşünülmelidir.
Bu ayrım bence konunun en önemli noktalarından biri.
[color=]Teorem Nedir? Kabulden Sonuca Giden Yol[/color]
Teorem ise bir matematiksel sistem içinde, tanımlar, aksiyomlar, önceki sonuçlar ve geçerli çıkarım kuralları kullanılarak ispatlanmış matematiksel önermedir.
Encyclopedia of Mathematics, teoremi doğruluğu bir ispat aracılığıyla ortaya konmuş matematiksel önerme olarak tanımlıyor. Biçimsel bir sistem açısından bakıldığında ise bir teorem, bir ispat dizisinin sonunda yer alan önermedir. Matematik Ansiklopedisi
Basitleştirirsek:
Aksiyom → çıkarım kuralları → ara sonuçlar → teorem
Örneğin doğal sayılarla ilgili Peano aksiyomlarını ele alalım. Bu aksiyomlar doğal sayıların ve ardıl işleminin temel özelliklerini belirler. Daha sonra bu başlangıç kabullerinden hareketle aritmetiğin çok sayıda sonucu türetilebilir. Peano aksiyomları hakkında Encyclopedia of Mathematics, bu aksiyomların sayı teorisinin geliştirilmesini mümkün kıldığını ve çeşitli özelliklerin bunlardan türetilebildiğini belirtiyor. Matematik Ansiklopedisi
Burada önemli olan nokta şu: Bir teorem “bir matematikçinin fikri” olduğu için teorem değildir. Bir önermenin teorem statüsü kazanması için, ilgili sistem içerisinde geçerli bir ispatının bulunması gerekir.
[color=]En Temel Farkı Tek Cümlede Söylersek[/color]
Aksiyom ile teorem arasındaki farkı tek bir cümleyle özetlemek gerekirse:
Aksiyom, matematiksel sistemin başlangıç kabullerinden biridir; teorem ise bu sistem içinde mantıksal olarak çıkarılmış ve ispatlanmış sonuçtur.
Fakat bunun yanında birkaç önemli ayrım daha var:
Özellik Aksiyom Teorem
Rolü Başlangıç noktası Sonuç
İspat Sistem içinde başlangıç kabulü olarak alınır İspatlanması gerekir
Dayanak Seçilmiş aksiyomatik yapı Aksiyomlar + tanımlar + çıkarım kuralları
Sistemdeki işlevi Teorinin temelini oluşturur Teorinin sonuçlarını üretir
Başka sistemlerdeki durumu Farklı seçilebilir Başka aksiyomlarda geçerliliğini kaybedebilir
Örnek Peano aksiyomları Pisagor teoremi
Bu tablo bile aslında “aksiyom doğru, teorem de doğru” şeklindeki basit ayrımın neden yeterli olmadığını gösteriyor.
[color=]Bir Teorem Başka Bir Sistemde Aksiyom Olabilir mi?[/color]
Evet. İşte konuyu gerçekten ilginç hale getiren noktalardan biri bu.
Bir matematiksel önermenin “aksiyom” veya “teorem” olması bazen yalnızca önermenin kendisiyle değil, içinde bulunduğu sistemle ilgilidir.
Bir teoride bir önerme aksiyom olarak kabul edilebilir. Başka bir teoride ise aynı önerme, daha temel kabul edilen önermelerden türetilerek teorem haline gelebilir.
Stanford Encyclopedia of Philosophy'de matematiğin aksiyomatik temelleri incelenirken, belirli sonuçların hangi aksiyomlardan türetilebildiği ve bazı aksiyomların başka önermelerle ilişkisi özellikle ele alınıyor. Stanford Felsefe Ansiklopedisi+1
Bu yüzden “aksiyomlar teoremlerden daha doğru şeylerdir” demek doğru olmaz. Daha doğru ifade şudur:
Aksiyom ve teorem, matematiksel sistem içinde farklı görevler üstlenen kavramlardır.
[color=]Peki İnsanların Matematiğe Bakışı Neden Farklı Olabiliyor?[/color]
Burada sorunun cinsiyet boyutuna geliyoruz. Kullanıcıların veya forum katılımcılarının “erkekler daha objektif ve veri odaklı, kadınlar daha duygusal ve toplumsal etkileri dikkate alıyor” gibi bir ayrım yapması oldukça yaygın olabilir. Ancak bunu biyolojik veya değişmez bir özellik gibi sunmak bilimsel açıdan doğru olmaz.
Buna karşılık, insanların matematikle ilişkilerinde özgüven, kaygı, toplumsal beklentiler ve öğrenme deneyimleri açısından ölçülebilir farklılıklar bulunabiliyor.
Örneğin OECD'nin PISA 2022 verilerine göre OECD ülkeleri ortalamasında erkek öğrenciler matematikte kız öğrencilerden 9 puan daha yüksek performans göstermiştir. Ancak tablo bütün ülkelerde aynı değildir: 40 ülke ve ekonomide erkekler daha yüksek ortalama puana sahipken, 17 ülke ve ekonomide kızlar daha yüksek performans göstermiştir; 24 yerde fark istatistiksel olarak anlamlı değildir. OECD
Bu veriler “erkekler objektiftir, kadınlar duygusaldır” sonucunu desteklemiyor. Tam tersine, performansın bile ülkeye ve eğitim bağlamına göre değiştiğini gösteriyor.
Daha dikkat çekici olan ise matematik kaygısı.
PISA 2022'de kız öğrenciler çoğu ülke ve ekonomide erkek öğrencilerden daha yüksek matematik kaygısı bildirmiştir. Üstelik bu fark yüksek performans gösteren öğrenciler arasında da devam etmiştir. OECD+1
Bu durum forum tartışmaları açısından önemli bir ayrım yaratıyor.
Bir kadın öğrenci matematik sorusunu çözerken “Bunu yapabilecek miyim?” diye daha fazla kaygı yaşayabilir. Başka bir kadın öğrenci ise aynı problemi tamamen teknik bir mesele olarak ele alabilir. Aynı şekilde bir erkek öğrenci son derece duygusal bir öğrenme deneyimine sahip olabilir veya başarısızlık karşısında yoğun kaygı yaşayabilir.
Yani burada cinsiyet kategorisinden çok bireysel deneyime bakmak daha açıklayıcıdır.
[color=]Objektiflik ile Duygusallık Gerçekten Birbirinin Zıttı mı?[/color]
Bence burada matematik eğitimi açısından önemli bir yanlış ikilik ortaya çıkıyor.
“Objektif yaklaşım” ile “duygusal/toplumsal yaklaşım” birbirinin karşıtı olmak zorunda değil.
Bir matematikçinin teoremi kanıtlarken mantıksal kesinlik araması gerekir. Bu, matematiğin yapısından kaynaklanır. Ancak aynı matematikçinin hangi problemi araştıracağı, hangi sorunun önemli olduğunu düşüneceği veya matematiği hangi toplumsal probleme uygulayacağı daha geniş insani ve toplumsal faktörlerle ilişkili olabilir.
Örneğin iki öğrenci aynı teoremi öğreniyor olsun.
Bir öğrenci yalnızca ispatın mantıksal yapısıyla ilgilenebilir:
“Bu sonuç hangi aksiyomlardan çıkarılıyor?”
Diğer öğrenci ise şöyle sorabilir:
“Bu matematiksel model gerçek hayatta neyi açıklıyor ve kimlerin hayatını etkiliyor?”
İkinci soru daha “duygusal” olduğu için değersiz değildir. Birinci soru da daha “objektif” olduğu için tek başına bütün resmi açıklamaz.
Matematiksel doğruluk ile matematiğin insan deneyimindeki yeri farklı sorulardır.
[color=]Veri Odaklı Yaklaşımın Gücü ve Sınırı[/color]
Veri odaklı yaklaşımın çok güçlü bir tarafı var: Kişisel izlenimlerin yerine ölçülebilir kanıt koyabiliyor.
Örneğin “erkekler matematikte daha başarılıdır” gibi genel bir cümleyi ele alalım. PISA 2022 bu iddianın bazı bağlamlarda ortalama performans farkıyla ilişkili olduğunu gösteriyor; fakat aynı veri seti farkın ülkeler arasında değiştiğini ve düşük performans grubunda cinsiyet farklarının çok daha küçük olduğunu da gösteriyor. OECD ülkeleri ortalamasında matematikte düşük performans gösterenlerin oranı erkeklerde %31, kızlarda %32 olarak raporlanıyor. OECD
Dolayısıyla veri bize tek bir slogan değil, daha karmaşık bir tablo sunuyor.
Benzer şekilde matematik kaygısının performansla ilişkisi de dikkat çekici. PISA 2022'de matematik kaygısı endeksindeki bir puanlık artış, öğrenci ve okulun sosyoekonomik profili dikkate alındığında OECD ortalamasında matematik başarısında yaklaşık 18 puanlık düşüşle ilişkili bulunuyor. Bu bir nedensellik kanıtı olarak okunmamalı; ancak kaygı ile performans arasındaki güçlü ilişkiyi gösteriyor. OECD
Buradan çıkarılabilecek daha anlamlı soru şu olabilir:
Bir öğrencinin matematikte başarısını yalnızca bilişsel kapasiteyle açıklamak yeterli mi?
Veriler, bunun oldukça eksik bir açıklama olabileceğini düşündürüyor.
[color=]Aksiyom ve Teorem Ayrımında “Kesinlik” Meselesi[/color]
Matematiğin güzelliği biraz da burada ortaya çıkıyor.
Bir teorem ispatlandığında, “neden doğru?” sorusunun cevabı verilebilir. Ancak bu cevabın dayandığı aksiyomatik sistemin kendisi ayrıca incelenebilir.
Örneğin Zermelo'nun küme teorisi aksiyomlaştırmasında matematiksel nesneler hakkında bilinenlerin aksiyomlar ve onlardan türetilen sonuçlarla sınırlandırılması, modern aksiyomatik yaklaşımın temel özelliklerinden biri olarak ele alınır. Stanford Encyclopedia of Philosophy, aksiyomatik sistemlerin tutarlılık, bağımsızlık ve tamlık gibi özelliklerinin ayrıca araştırıldığını belirtiyor. Stanford Felsefe Ansiklopedisi+1
Bu nedenle matematikte “kesinlik” bile katmanlıdır.
Bir teorem, belirli varsayımlar altında kesin olabilir.
Örneğin:
Eğer A, B ve C aksiyomlarını kabul ediyorsak, D sonucu mantıksal olarak çıkar.
Buradaki kesinlik D'nin “evrensel bir gerçek” olmasından değil, A, B ve C'den geçerli biçimde türetilmesinden gelir.
Bu ayrım matematiksel düşüncenin felsefi tarafını anlamak açısından oldukça değerlidir.
[color=]Sonuç: Aksiyom Temel, Teorem İnşa Edilmiş Sonuçtur[/color]
Aksiyom ve teorem arasındaki farkı yalnızca “aksiyom kanıtlanmaz, teorem kanıtlanır” şeklinde ezberlemek mümkün. Fakat konuyu biraz derinleştirdiğimizde çok daha ilginç bir yapı ortaya çıkıyor.
Aksiyomlar belirli bir matematiksel sistemin başlangıç kabullerini oluşturur. Tanımlar ve çıkarım kurallarıyla birlikte bu kabullerden yeni önermeler türetilir. Bu önermeler ispatlandığında teorem niteliği kazanır. Üstelik hangi önermelerin aksiyom olarak seçildiği, hangi sonuçların teorem olarak ortaya çıkacağı üzerinde doğrudan etkilidir. Matematik Ansiklopedisi+1
Kadınlar ve erkeklerin matematiğe yaklaşımı konusundaysa daha dikkatli konuşmak gerekiyor. Veriler bazı ortalama farklılıklar gösterse de bunları “erkekler objektif, kadınlar duygusal” gibi sabit kişilik özelliklerine dönüştürmek mümkün değil. PISA verileri performansın yanı sıra matematik kaygısı, öz yeterlik ve öğrenme tutumlarında da farklılıklar bulunduğunu gösteriyor; fakat bunların toplumsal ve eğitimsel bağlamlarla ilişkisi göz ardı edilemez. OECD+1
Bence asıl ilginç tartışma tam burada başlıyor:
Bir matematiksel sistemin “temelleri” ne kadar seçime bağlıdır?
Bir aksiyomun kabul edilmesi ile onun doğru olduğuna inanılması aynı şey midir?
Matematik öğrenirken kaygı, özgüven veya toplumsal beklentiler gibi unsurlar matematiksel düşünmenin kendisini etkiler mi?
Ve belki de en önemlisi:
Bir matematik problemini yalnızca “doğru cevabı bulma” açısından mı değerlendirmeliyiz, yoksa o problemi kimin, hangi koşullarda ve neden çözmeye çalıştığını da dikkate almalı mıyız?
Forumda özellikle bu son sorunun ilginç tartışmalar doğuracağını düşünüyorum. Çünkü matematiğin teoremlerinde mantıksal kesinlik ararken, matematiği yapan insanların deneyimlerinde aynı kesinliği aramak çoğu zaman mümkün değil.
Kaynaklar: Encyclopedia of Mathematics, “Theorem” ve “Axiomatic Method”; Stanford Encyclopedia of Philosophy, “Zermelo’s Axiomatization of Set Theory” ve “Reverse Mathematics”; OECD, PISA 2022 Results, Volume I ve Volume V. OECD+5Matematik Ansiklopedisi+5Matematik Ansiklopedisi+5