Çözülememiş matematik problemleri listesi

testwiki sitesinden
Gezinti kısmına atla Arama kısmına atla

Rönesans'tan bu yana, her yüzyılda, bir önceki göre daha fazla matematik problemi çözülmüştür. Yine de birçok büyük ve küçük problem çözüme kavuşturulamamıştır. Uzun süredir var olan bir sorunun çözümü için genellikle ödüller verilir ve çözülmemiş sorunların listeleri (Milenyum Problemleri gibi) büyük önem kazanır.[1] Çözülmemiş problemler, aralarında fizik, bilgisayar bilimi, cebir, matematiksel analiz, Kombinatorik, cebirsel geometri, ayrık geometri, Öklid geometrisi, katma ve cebirsel geometri teorileri, çizge teorisi, grup kuramı, modeller kuramı, sayılar teorisi, kümeler kuramı, Ramsey Kuramı, dinamik sistemler, Kısmi diferansiyel denklemler gibi birçok alanda varlığını sürdürmektedir.

Matematikte çözülmemiş problemlerin listesi

Zaman içinde, çözülmemiş matematiksel problemlerin birkaç listesi ortaya çıktı.

Liste Problemlerin toplam sayısı Öneren Yıl Not
Hilbert problemleri[2] 23 David Hilbert 1900 10 tanesi için üzerinde ittifak sağlanmış çözüm vardır.
Landau problemleri[3] 4 Edmund Landau 1912
Taniyama problemleri[4] 36 Yutaka Taniyama 1955
Thurston'un 24 sorusu[5][6] 24 William Thurston 1982
Smale problemleri 18 Stephen Smale 1998 3 tanesi için üzerinde ittifak sağlanmış çözüm vardır.
Milenyum Problemleri 7 Clay Matematik ntitüsü 2000
21. yüzyılda çözümlenememiş matematik problemleri[7] 22 Jair Minoro Abe, Shotaro Tanaka 2001
DARPA matematik meydan okumaları[8][9] 23 DARPA 2007

Milenyum Problemleri

Clay Matematik Enstitüsü tarafından yedi adet olarak belirlenen Milenyum Problemleri'nin altısı henüz çözülmedi:[10]

Yedinci problem olan Poincaré hipotezi çözüldü.[11] Pürüzsüz dört boyutlu Poincaré varsayımı –yani, dört boyutlu bir topolojik kürenin iki veya daha fazla eşdeğer pürüzsüz yapıya sahip olup olmayacağı problemi– halen çözülmedi.[12]

Çözülmemiş Problemler

  • Lyapunov'un istikrar için ikinci yöntemi - Dinamik sistemleri tanımlayan ADD sınıfları için, klasik ve kanonik olarak genelleştirilmiş formlarda formüle edilen Lyapunov'un ikinci yöntemi, hareketin (asimptotik) istikrarı için gerekli ve yeterli koşulları tanımlıyor mu?
  • Furstenberg varsayımı - Daire üzerindeki ×2,×3 hareketi için Lebesgue veya atomik her değişmez ve ergodik ölçü var mı?
  • Margulis varsayımı - Yüksek raflı gruplarda köşegenleştirilebilir eylemler için sınıflandırma ölçümü
  • MLC varsayımı - Mandelbrot kümesi bölgesel olarak bağlı mıdır?
  • Weinstein varsayımı - Semplektik bir manifold üzerinde bir Hamiltonianın normal küçük kontak tipi seviye seti Hamilton akışının en az bir periyodik yönergesini taşıyor mu?
  • Üç veya daha fazla boyuttaki her tersine çevrilebilir hücresel otomat bölgesel olarak tersine çevrilebilir mi?[23]
  • Dış billiard ile ilgili birçok problemin — örneğin, neredeyse her konveks çokgene göre dış billiard — sınırsız yörüngesi vardır.

Graflardaki yollar ve döngüler

Graf renklendirme ve etiketleme

Graf çizimi

Çeşitli graf teorisi

  • Vaught varsayımı
  • Cherlin–Zilber varsayımı: Birinci dereceden kuramda 0'da kararlı olan basit bir grup, cebirsel olarak kapalı bir alan üzerinde basit bir cebirsel gruptur.
  • Main Gap varsayımı, örneğin hesaplanamaz birinci dereceden teoriler, soyut temel sınıflar ve sayılabilir teorilerin 1-doymuş modelleri için.[51]
  • Keisler'ın düzeninin yapısını belirle[52][53]
  • Stabil saha varsayımı: bir istikrarlı birinci derece teori ile her sonsuz alan ayrı ayrı kapalıdır.
  • Laurent serisinin alan teorisi p zerinde kararlı mıdır? üzerindeki polinom alanlarında?
  • (BMTO) Gerçek düzendeki Borel monadik teorisi öngörülebilir mi? (MTWO) İyi düzenin monadik teorisi tutarlı bir şekilde öngörülebilir mi?[54]
  • Basit kuramlar için Durağan Çatışma Varsayımı[55]
  • Hilbert'in onuncu problemi hangi sayı alanlarına ait?
  • K sayısını, sayısal olarak çok sayıda türü atlayarak sayılabilir bir birinci dereceden teori modellerinin sınıfı olduğunu varsayalım. K'nın bir kardinallik ω1 modeli varsa, kardinalite sürekliliği modeline sahip midir?[56]
  • Shelah'ın olası kategori varsayımı: Her kardinal λ için μ(λ) vardır, böylece soyut temel sınıf LS (K) <= λ, μ(λ) üzerinde kategoriktir ve μ(λ) tüm kutularda kategoriktir.[51][57]
  • Shelah'ın Lω1,ω için kategoriklik varsayımı: Hanf nsayısının üzerinde bir kategorik hüküm varsa Hanf sayısının üstündeki tüm kardinaller de kategoriktir.[51]
  • Hem Beth özelliğini hem de Δ-enterpolasyonunu tatmin eden, ancak kompresörlü enterpolasyon özelliğini karşılamayan bir L mantığı var mıdır?[58]
  • Tam bir birinci mertebeden teorinin atom modelleri sınıfı nkategorik ise, her kardinal kategoriktir?[59][60]
  • Karakteristik sıfırın her sonsuz, asgari alanı cebirsel olarak kapalı mıdır? (asgari=uygun temel altyapı olmayan)
  • Kueker vasrayımı[61]
  • Üstün-üstel (hızlı büyüme) fonksiyona sahip o-minimal bir birinci dereceden teori var mıdır?
  • Lachlan karar problemi
  • Sınırlı bir ilişkisel dil için sonlu olarak sunulan homojen yapı sonlu sayıda indirgemeye mi sahiptir?
  • Henson grafikleri sonlu model mülkiyetine sahip midir? (Örneğin, üçgensiz grafikler)
  • C içermeyen grafikler için evrensellik problemi: Hangi sınırlı set C grafiği C içermeyen sayılabilir grafikler sınıfının güçlü gömülmeleri altında evrensel bir üyesi vardır?[62]
  • Evrensellik spektrum problemi: Evrensellik tayfı minimum olan bir birinci dereceden teori var mıdır?[63]

Genel

  • Singmaster varayımı: Pascal üçgeninde 1'den farklı bir sayının kaç kez görünebileceği konusunda sınırlı üst sınır var mı?

Diğer

1995'ten beri çözülen problemler

Kaynakça

Şablon:Kaynakça

Konuyla ilgili yayınlar

Yakın zamanda çözülmüş sorunları tartışan kitaplar

Çözülmemiş sorunları tartışan kitaplar

Dış bağlantılar

  1. Eves, An Introduction to the History of Mathematics 6th Edition, Thomson, 1990, ISBN 978-0-03-029558-4.
  2. Şablon:Kaynak
  3. Şablon:Kaynak.
  4. Şablon:Dergi kaynağı
  5. Şablon:Web kaynağı
  6. Şablon:Web kaynağı
  7. Şablon:Kitap kaynağı
  8. Şablon:Web kaynağı
  9. Şablon:Web kaynağı
  10. Şablon:Web kaynağı
  11. Şablon:Web kaynağı
  12. Şablon:Web kaynağı
  13. Bu sayıların arka planı için, izleyen makaleleri okuyabilirsiniz; Eric W. Weisstein, ([1] Şablon:Webarşiv), e ([2] Şablon:Webarşiv), Khinchin Sabiti ([3] Şablon:Webarşiv), irrasyonel sayılar ([4] Şablon:Webarşiv), aşkın sayılar ([5] Şablon:Webarşiv) ve irrasyonalite ölçüsü ([6] Şablon:Webarşiv) Wolfram MathWorld sitesinde, bütün makalelere 15 Aralık 2014 tarihinde erişildi.
  14. Michel Waldschmidt, 2008, "An introduction to irrationality and transcendence methods," The University of Arizona The Southwest Center for Arithmetic Geometry, 2008 Arizona Kış Okulu, 15–19 Mart 2008 (Special Functions and Transcendence), bakınız [7] Şablon:Webarşiv, 15 Aralık 2014 tarihinde erişildi.
  15. John Albert, tarih bilinmiyor, "Some unsolved problems in number theory" [Victor Klee & Stan Wagon tarafından, "Old and New Unsolved Problems in Plane Geometry and Number Theory"], University of Oklahoma, Math 4513 ders materyalleri, bakınız [8] Şablon:Webarşiv, 15 Aralık 2014 tarihinde erişildi.
  16. Şablon:Kaynak
  17. Şablon:Kaynak
  18. Şablon:Kaynak
  19. Şablon:Kaynak
  20. Şablon:Kaynak
  21. Şablon:Kaynak
  22. Şablon:Kaynak.
  23. Şablon:Kaynak
  24. Şablon:Kaynak.
  25. Şablon:Kaynak
  26. Şablon:Kaynak.
  27. Şablon:Kaynak.
  28. Şablon:Kaynak.
  29. L. Babai, Automorphism groups, isomorphism, reconstruction Şablon:Webarşiv, in Handbook of Combinatorics, Vol. 2, Elsevier, 1996, 1447–1540.
  30. Şablon:Kaynak.
  31. Şablon:Kaynak.
  32. Şablon:Kaynak, Problem G10.
  33. Şablon:Kaynak.
  34. Şablon:Kaynak.
  35. Şablon:Kaynak.
  36. Şablon:Kaynak.
  37. Şablon:Kaynak.
  38. Şablon:Kaynak.
  39. Şablon:Kaynak.
  40. Şablon:Kaynak.
  41. Şablon:Kaynak.
  42. Şablon:Kaynak.
  43. Şablon:Kaynak
  44. Şablon:Kaynak.
  45. Şablon:Kaynak.
  46. Şablon:Kaynak.
  47. Şablon:Kaynak.
  48. Şablon:Kaynak.
  49. Şablon:Kaynak.
  50. Şablon:Kaynak.
  51. 51,0 51,1 51,2 Shelah S, Classification Theory, North-Holland, 1990
  52. Keisler, HJ, "Ultraproducts which are not saturated." J. Symb Logic 32 (1967) 23—46.
  53. Şablon:Web kaynağı
  54. Gurevich, Yuri, "Monadic Second-Order Theories," in J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985), 479–506.
  55. Peretz, Assaf, "Geometry of forking in simple theories." J. Symbolic Logic Volume 71, Issue 1 (2006), 347–359.
  56. Şablon:Dergi kaynağı
  57. Şablon:Kitap kaynağı
  58. Makowsky J, "Compactness, embeddings and definability," in Model-Theoretic Logics, eds Barwise and Feferman, Springer 1985 pps. 645–715.
  59. Şablon:Kitap kaynağı
  60. Şablon:Dergi kaynağıŞablon:Ölü bağlantı
  61. Şablon:Dergi kaynağı
  62. Şablon:Dergi kaynağı
  63. Džamonja, Mirna, "Club guessing and the universal models." On PCF, ed. M. Foreman, (Banff, Alberta, 2004).
  64. Şablon:Web kaynağı
  65. Şablon:Web kaynağı
  66. Şablon:Kitap kaynağı
  67. Şablon:Kaynak
  68. Şablon:Kaynak
  69. Şablon:Web kaynağı
  70. Şablon:Dergi kaynağı
  71. Şablon:Dergi kaynağı
  72. Şablon:Web kaynağı
  73. Şablon:Web kaynağı
  74. Şablon:Web kaynağı
  75. Şablon:Kaynak
  76. Şablon:Kaynak
  77. Şablon:Kaynak
  78. Şablon:Dergi kaynağı
  79. Şablon:Haber kaynağı
  80. Şablon:Web kaynağı
  81. Şablon:Web kaynağı
  82. Şablon:Dergi kaynağı
  83. Şablon:Web kaynağı
  84. Şablon:Web kaynağı
  85. Şablon:Web kaynağı
  86. Şablon:Web kaynağı
  87. Şablon:Web kaynağı
  88. Şablon:Web kaynağı
  89. Şablon:Web kaynağı
  90. Şablon:Web kaynağı
  91. Şablon:Dergi kaynağı
  92. Şablon:Dergi kaynağı
  93. Şablon:Dergi kaynağı
  94. Şablon:Web kaynağı
  95. Şablon:Web kaynağı
  96. Şablon:Web kaynağı
  97. Şablon:Web kaynağı
  98. Şablon:Web kaynağı
  99. 99,0 99,1 Şablon:Basın açıklaması kaynağı
  100. Şablon:Kaynak
  101. Şablon:Kaynak
  102. Şablon:Dergi kaynağı
  103. Şablon:Web kaynağı
  104. Şablon:Web kaynağı
  105. Şablon:Haber kaynağı
  106. Şablon:Web kaynağı
  107. Şablon:Web kaynağı
  108. Şablon:Web kaynağı
  109. Şablon:Web kaynağı
  110. Şablon:Web kaynağı
  111. Şablon:Web kaynağı
  112. Şablon:Web kaynağı
  113. Şablon:Web kaynağı
  114. Şablon:Dergi kaynağı
  115. Şablon:Dergi kaynağı
  116. Şablon:Web kaynağı
  117. Şablon:Kaynak
  118. Şablon:Kaynak
  119. Şablon:Web kaynağı
  120. Şablon:Web kaynağı
  121. Şablon:Dergi kaynağı
  122. Şablon:Web kaynağı
  123. Şablon:Web kaynağı
  124. Şablon:Web kaynağı
  125. Şablon:Web kaynağı
  126. Knight, R. W. (2002), The Vaught Conjecture: A Counterexample, manuscript
  127. Şablon:Web kaynağı
  128. Şablon:Dergi kaynağı
  129. Şablon:Web kaynağı
  130. Şablon:Web kaynağı
  131. Şablon:Web kaynağı
  132. Şablon:Kaynak
  133. Şablon:Web kaynağı
  134. Şablon:Web kaynağı
  135. Şablon:Kaynak. Şablon:Kaynak
  136. Şablon:Web kaynağı
  137. Şablon:Web kaynağı
  138. Şablon:Dergi kaynağı
  139. Şablon:Dergi kaynağı
  140. Şablon:Kaynak
  141. Şablon:Web kaynağı
  142. Şablon:Web kaynağı
  143. Şablon:Web kaynağı
  144. Merel, Loïc (1996). "Bornes pour la torsion des courbes elliptiques sur les corps de nombres" [Bounds for the torsion of elliptic curves over number fields]. Inventiones Mathematicae (in French) 124 (1): 437–449. doi:10.1007/s002220050059. MR 1369424
  145. Şablon:Web kaynağı
  146. Şablon:Dergi kaynağı
  147. Şablon:Dergi kaynağı