İçeriğe atla

Matematiksel problem

Vikipedi, özgür ansiklopedi

Matematik problemi, matematik yöntemleriyle temsil edilmeye, analiz edilmeye ve muhtemelen çözülmeye yatkın bir problemdir. Bu, güneş sistemindeki gezegenlerin yörüngelerini hesaplamak gibi gerçek dünya problemi veya Hilbert problemleri gibi daha soyut doğası olan bir problem ya da Russell Paradoksu gibi matematiğin doğasına atıfta bulunan bir problem de olabilir.

Çözülen matematik probleminin sonucu resmi olarak gösterilir ve incelenir.

Gerçek dünya problemleri

[değiştir | kaynağı değiştir]

Gayri resmi "gerçek dünya" matematik problemleri, "Adem'in beş elması vardır ve Can'a üç tane verdi. Kaç tane elması kaldı?" gibi somut bir ortamla ilgili sorulardır. Bu tür soruları çözmek, problemi çözmek için gerekli matematiği bilse bile, genellikle "5 - 3" gibi normal matematik egzersizlerinden daha zordur. Kelime problemleri olarak bilinen bu problemler, matematik eğitiminde öğrencilere gerçek dünyadaki durumları matematiğin soyut diline bağlamayı öğretmek için kullanılır.

Genel olarak, gerçek dünyadaki bir problemi çözmek için matematiği kullanmak amacıyla ilk adım, problemin bir matematiksel modelini oluşturmaktır. Bu, problemin ayrıntılarından soyutlamayı içerir ve modelleyici, orijinal problemi matematiksel bir probleme çevirirken gerekli yönleri kaybetmemeye dikkat etmelidir. Matematik dünyasında problem çözüldükten sonra, çözüm orijinal problemin bağlamına geri çevrilmelidir.

Dışarıdan bakıldığında, gerçek dünyada basitten karmaşığa çeşitli fenomenler vardır. Bazıları mikroskobik gözlemle karmaşık bir mekanizmaya sahipken, basit dış görünüşe sahiptirler. Gözlemin ölçeğine ve mekanizmanın kararlılığına bağlıdır. Sadece basit model tarafından açıklanan basit olgunun durumu değil, aynı zamanda basit modelin karmaşık olguyu açıklayabileceği durum da vardır. Örnek modellerden biri, kaos teorisinin bir modelidir.

Soyut problemler

[değiştir | kaynağı değiştir]

Matematiğin tüm alanlarında soyut matematik problemleri ortaya çıkar. Matematikçiler genellikle kendi istedikleri için onları incelerken, böyle yaparak matematik alanı dışında uygulama bulan sonuçlar elde edilebilir. Teorik fizik tarihsel olarak zengin bir ilham kaynağı olmuştur ve olmaya devam etmektedir.

Klasik geometrinin sadece pusula ve düz kenarlı yapılarını kullanarak çemberin karesini almak ve açıyı üçe bölmek ve genel beşinci dereceden denklemi cebirsel olarak çözmek gibi bazı soyut problemlerin çözülemeyeceği kesin olarak kanıtlanmıştır. Ayrıca çözümsüzlüğü kanıtlanamaz, Turing makinelerinin durma problemi gibi karar verilemeyen problemler de mevcuttur.

Pek çok soyut problem rutin olarak çözülebilir, diğerleri henüz tam bir çözüme yol açmadan bazı önemli ilerlemeler kaydedildiğinden, büyük bir çabayla çözüldü ve yine de Goldbach varsayımı ve Collatz varsayımı gibi bazıları tüm çözüm girişimlerine direndi. Nispeten yakın zamanda çözülen bazı iyi bilinen zor soyut problemler, Dört renk teoremi, Fermat'ın Son Teoremi ve Poincaré varsayımıdır.

Hayal gücümüzde yeni bir ufuk oluşturan matematiksel yeni fikirlerin tümü gerçek dünyaya uymuyor. Bilim, diğer her şeye karşı gelse bile, yalnızca yeni matematiği araştırmanın bir yoludur.[1] Modern matematiğin görüşüne göre, bir matematik problemini çözmenin, satranç (veya shogi veya go) gibi belirli kurallarla kısıtlanan bir sembol işlemine resmen indirgenebileceğini düşünmüştür.[2] Bu anlamda, Wittgenstein matematiği bir dil oyununa çevirir (de: Sprachspiel). Yani gerçek problemle ilgisi olmayan bir matematik problemi matematikçi tarafından önerilmekte veya çözmeye çalışılmaktadır. Ve matematikçinin kendisi için matematik çalışma ilgisi, eğer matematik bir oyunsa, matematiksel çalışmanın değer yargılarında yenilikten veya farklılıktan fazlasını yapmış olabilir. Popper, matematikte kabul edilebilen ancak diğer bilim alanlarında kabul görmeyen bu bakış açısını eleştirir.

Bilgisayarların, matematikçilerin yaptıklarını yapmak için herhangi bir motivasyon hissetmelerine gerek yoktur.[3][4] Biçimsel tanımlar ve bilgisayar kontrollü çıkarımlar matematik biliminin kesinlikle merkezindedir. Bilgisayarla kontrol edilebilir, sembol tabanlı metodolojilerin canlılığı, yalnızca kuralların doğasında değil, hayal gücümüze de bağlıdır.[4]

Problemlerinin egzersizlere indirgenmesi

[değiştir | kaynağı değiştir]

Değerlendirme için problem çözmeyi kullanan matematik eğitimcileri Alan H. Schoenfeld tarafından ifade edilen bir soruna sahiptir:

Çok farklı problemlerin kullanıldığı yıldan yıla test puanları nasıl karşılaştırılabilir? (Benzer problemler her yıl kullanılırsa, öğretmenler ve öğrenciler ne olduklarını öğrenecekler, öğrenciler bunları uygulayacaklar: problemler alıştırmaya dönüşecek ve test artık problem çözmeyi değerlendirmeyecektir).[5]

Aynı sorun neredeyse iki yüzyıl önce Sylvestre Lacroix tarafından da dile getirilmişti:

... öğrencilerin birbirleriyle iletişim kurabilecekleri soruları çeşitlendirmek gerekir. Sınavda başarısız olsalar da daha sonra geçebilirler. Bu nedenle, soruların dağılımı, konuların çeşitliliği veya cevaplar, adayları bire bir kesin olarak karşılaştırma fırsatını kaybetme riski taşır.[6]

Problemlerin alıştırmalara bu şekilde indirgenmesi, tarihteki matematiğin karakteristiğidir. Örneğin, 19. yüzyılda Cambridge Mathematical Tripos'un hazırlıklarını anlatan Andrew Warwick, şunları yazdı:

... o zamanlar standart problemlerin çoğu ailesi, 18. yüzyılın en büyük matematikçilerinin yeteneklerini başlangıçta zorlamıştı.[7]

Ayrıca bakınız

[değiştir | kaynağı değiştir]
  1. ^ 超ひも理論を疑う:「見えない次元」はどこまで物理学か?. 1st (Japonca). Tokyo: 早川書房. 15 Şubat 2008. s. 17. ISBN 978-4-15-208892-5. 
    Hiding in the Mirror: The Quest for Alternative Realities, from Plato to String Theory by way of Alice in Wonderland, Einstein, and The Twilight Zone. ABD: Penguin Group. 2005. 
  2. ^ 集合論1. 1st. (Japonca). Tokyo: 東京図書. 30 Eylül 1968. ss. 1-4.  translated from
    Théorie des ensembles. 3. Paris: Hermann. 1966. 
  3. ^ Newby & Newby 2008, "The second test is, that although such machines might execute many things with equal or perhaps greater perfection than any of us, they would, without doubt, fail in certain others from which it could be discovered that they did not act from knowledge, but solely from the disposition of their organs: for while reason is an universal instrument that is alike available on every occasion, these organs, on the contrary, need a particular arrangement for each particular action; whence it must be morally impossible that there should exist in any machine a diversity of organs sufficient to enable it to act in all the occurrences of life, in the way in which our reason enable us to act." translated from Descartes 1637, page =57 8 Aralık 2019 tarihinde Wayback Machine sitesinde arşivlendi., "Et le second est que, bien qu'elles fissent plusieurs choses aussy bien, ou peutestre mieux qu'aucun de nois, ells manqueroient infalliblement en quelques autres, par lesquelles on découuriroit quelles n'agiroient pas par connoissance, mais seulement par la disposition de leurs organs. Car, au lieu que la raison est un instrument univeersel, qui peut seruir en toutes sortes de rencontres, ces organs ont besoin de quelque particliere disposition pour chaque action particuliere; d'oǜ vient qu'il est moralement impossible qu'il y en ait assez de diuers en une machine, pour la faire agir en toutes les occurrences de la vie, de mesme façon que nostre raison nous fait agir."
  4. ^ a b Heaton, Luke (2015). "Lived Experience and the Nature of Facts". A Brief History of Mathematical Thought. Great Britain: Robinson. s. 305. ISBN 978-1-4721-1711-3. 
  5. ^ Alan H. Schoenfeld (editor) (2007) Assessing mathematical proficiency, preface pages x,xi, Mathematical Sciences Research Institute, Cambridge University Press 978-0-521-87492-2
  6. ^ S. F. Lacroix (1816) Essais sur l’enseignement en general, et sur celui des mathematiques en particulier, page 201
  7. ^ Andrew Warwick (2003) Masters of Theory: Cambridge and the Rise of Mathematical Physics, page 145, University of Chicago Press 0-226-87375-7