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