(Засідання секції математики Будинку Вчених, 23 березня 2010 р, Санкт-Петербург)
Н.А. Вавілов: Останнім часом все частіше обговорюється питання про зміну статусу доведення і зменшенні нашої впевненості у справедливості результатів. Критика і скептицизм подібного роду найбільш енергійно, часто і агресивно озвучуються в двох наступних напрямках.
--- Сумніви в надійності доведень, виконаних за допомогою комп'ютера.
--- Сумніви в надійності виключно довгих і складних доведень.
Однак я схильний вірити, що статус важких сучасних результатів --- і їх доведень! --- мало відрізняється від статусу важких математичних результатів попередніх століть. Я готовий проілюструвати численними історичними прикладами, що фактичні математичні доведення НІКОЛИ --- з часів греків --- не задовольняли декларованим стандартам.
Класичні роботи, як і публікуються сьогодні, сповнені
...
Читати далі »