MAKALELER / Matematik Literatüründeki Tüm Aksiyomları Kontrol Etme






Matematik Literatüründeki Tüm Aksiyomları Kontrol Etme:

 

1-- Londra imparatorluk Koleji’nden sayı kuramcısı Kevin Buzzard, 10. Etkileşimli İspat Konferansının açılışında neşredilmiş tüm matematiğin hatalı olduğundan endişelendiğini, zira matematikçilerin ayrıntıları kontrol etmediğini söyledi.

 

2—Buzzard a göre, muazzam matematik literatüründeki tüm iddiaları kontrol etmenin tek çaresi “Lean” gibi ispat sağlama yazılımları: leanprover.github.io (vice.com) Alex Eskin ve Maryam Mirzakhani

 

Kaynak:Matematik Dünyası-2020-1-2

 




Makalenin İzlenme Sayısı : 161

Eklenme Tarihi : 15.03.2021

Önceki sayfaya geri dön.