(Засідання секції математики Будинку Вчених,  23 березня 2010 р, Санкт-Петербург)

Н.А. Вавілов:

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