1976
gibi, bir bilgisayar 5 renk problemini uzun bir sürede, tek teke tarayarak
kanıtladı.
Matematikçilerin
bir bölümü, o zaman bunu kanıt olarak reddetti. Zaman içinde çoğunluk kanıtı
kabul eder oldu.
Şimdi
de, istatiksel model kullanmanın, ne kadar kanıt sayılacağı tartışılıyormuş.
Bir
eğrinin ‘rank’ı üzerinden tartışma var:
Yine,
bunu kabul edecekler çıkacak, kabul etmeyenler çıkacak. Önce kabul etmeyenler
çoğunlukta olacak, sonra kabul edenler çoğalacak.
Sorun,
konsensusun böyle istatiksel olarak oluşmasında ve bu durumun artık bir gelenek
durumuna varmasında.
(26 Ekim 2019)
Hiç yorum yok:
Yorum Gönder