Athena
EN
Olay / yayın / deneyDallar1976

Dört renk teoremi ve bilgisayar destekli ispat

Kenneth AppelWolfgang HakenGeorges Gonthier

Bu sayfa bir hüküm vermez; iddiaları ve kanıtları kaynaklarıyla sunar. Bilimde hiçbir teori mutlak değildir. Yöntem

Herkes için

Her haritanın, komşu ülkeler aynı renkte olmayacak biçimde en fazla dört renkle boyanabileceği 1852'de öne sürüldü. Appel ve Haken 1976'da bunu ispatladı, ancak ispatın bir kısmı bir insanın elle kontrol edemeyeceği kadar uzun bilgisayar hesaplarına dayanıyordu. Bu durum "bilgisayarla yapılan hesap bir ispat sayılır mı?" tartışmasını başlattı. 2005'te ispat, Coq ispat asistanıyla baştan sona biçimsel olarak doğrulandı.

Uzmanlar için

İspat, 1.936 (sonra 1.476) "indirgenebilir yapılandırma"dan oluşan kaçınılmaz bir kümenin varlığını gösterir. Her yapılandırmanın indirgenebilirliği bilgisayarla denetlendi. Robertson, Sanders, Seymour ve Thomas (1997) 633 yapılandırmayla daha sade bir ispat verdi. Tymoczko, bu ispatın matematiğe deneysel bir öğe kattığını ve "ispat" kavramını değiştirdiğini savundu.

İddialar

Kanıtlar

Destekleyen

Hesaplama / simülasyon

İspatın tamamı Coq ispat asistanında makine tarafından denetlendi.[2]

Karşı çıkan / sorgulayan

Yöntem eleştirisi

İnsanın gözden geçiremeyeceği bilgisayar hesaplarına dayanan bir ispatın, geleneksel anlamda bir ispat olup olmadığı sorgulandı.[3]

Bağlantılar

Üst dal

Matematik

Bağlantılı

Beşinci Meşgul Kunduz sayısı BB(5)

Ağaçta göster →

Kaynaklar

  1. MakaleAppel, K.; Haken, W. (1977). Every planar map is four colorable. Part I: Discharging. Illinois Journal of Mathematics 21(3), 429–490DOI 10.1215/ijm/1256049011arşiv
  2. MakaleGonthier, G. (2008). Formal proof — the four-color theorem. Notices of the American Mathematical Society 55(11), 1382–1393
  3. MakaleTymoczko, T. (1979). The four-color problem and its philosophical significance. The Journal of Philosophy 76(2), 57–83DOI 10.2307/2025976arşiv

Literatürde ara

Bu konudaki akademik yayınları başka dizinlerde de arayabilirsiniz:

Google Scholar ↗Semantic Scholar ↗BASE ↗CORE ↗arXiv ↗DergiPark ↗

Bu sayfayı kaynak göster

APA

Athena katkıcıları. (2026). Dört renk teoremi ve bilgisayar destekli ispat. Athena: İnsanlığın bilgi ağacı. Erişim: 1 Kasım 2026, https://latifkedi.github.io/athena/d/dort-renk/

BibTeX
@misc{athena_dort_renk,
  title        = {Dört renk teoremi ve bilgisayar destekli ispat},
  author       = {{Athena katkıcıları}},
  year         = {2026},
  howpublished = {\url{https://latifkedi.github.io/athena/d/dort-renk/}},
  note         = {Athena: İnsanlığın bilgi ağacı. Erişim: 2026-11-01}
}

Eklendi: 27 Eylül 2026 · Son değişiklik: 27 Eylül 2026 · Sayfa geçmişi

✎ Düzeltme öner