1. Если выбросить из книжки "Доказательства и опровержения" всю математику и историю, то останется, по моим представлениям, голый философский тезис в следующем виде: - Стремление к беспрестанному поиску максимальной естественной общности для всех высказываний несовместимо с намерением избегать ошибочных утверждений. Я бы сказал, что в таком виде это во многом верно, но логически отсюда следует не однозначный вывод, а развилка. Лакатош делает вывод о необходимости смириться с неизбежностью ошибок. Математики делают вывод о необходимости мириться с неестественными ограничениями общности. 2. Доказательствопорожденные понятия. - Понятия рождаются из доказательств. Понятия не имеют смысла и не могут быть восприняты вне контекста доказательств, их породивших. Я бы сказал, что первое утверждение более-менее верно, а второе и третье применимы лишь к наименее удачным из понятий. Лакатош недооценивает как стремление математиков к прозрачным и удобным определениям, так и, что самое важное здесь, применимость хороших определений во множестве самых разных доказательств. 3. Вот еще один тезис, который мне запомнился (возможно, из других сочинений Лакатоша). - Априорная теория, выводимая из самоочевидных посылок, упирается в проблему растяжимости понятий. Растяжение рамок первичных понятий опровергает любые самоочевидные аксиомы. Кристально ясных и нерастяжимых понятий не бывает. Я бы сказал, что понятие натурального числа является хорошим кандидатом в кристально ясные и нерастяжимые понятия. Я знаю, что эта позиция оспаривается многими авторами, конечно. 4. И еще один: - Подтверждение следствий из аксиом не позволяет сделать предположительного вывода об истинности исходных аксиом. Выводы об истинности могут корректно делаться только при движении вперед вдоль логических импликаций, а не назад. Я бы сказал, что все естествознание стоит на том, чтобы делать предположительные выводы об истинности при движении назад вдоль логических импликаций. И как-то живут они с этим, ничего. --- Избранный Лакатошем пример с теоремой Эйлера о многогранниках в смысле сказанного выше показателен. С современной точки зрения ясно, что поиск максимальной естественной общности для этой теоремы есть задача, которую нельзя решить в одночасье. В то же время, для выпуклых многогранников теорема Эйлера верна и избавиться от контрпримеров в такой ее формулировке не так уж сложно. При этом само понятие многогранника и поныне принадлежит скорее, так сказать, математическому быту, чем математике как системе концепций. Лично я, во всяком случае, затрудняюсь сходу дать определение (не выпуклого) многогранника и думаю, что большинство чистых математиков (научных работников) аналогично затруднятся. Понятно, что эта задача разрешима, и даже многими способами; да только мало кто разбирается в этих решениях. Определение выпуклого многогранника: ограниченная область в вещественном аффинном пространстве, являющаяся пересечением конечного числа замкнутых полупространств, не лежащая целиком ни в какой гиперплоскости. Определение грани (какой-то размерности): пересечение многогранника с гиперплоскостью, ограничивающей замкнутое полупространство, в котором он лежит целиком. Определение размерности грани: размерность минимального аффинного пространства, в котором эта грань содержится.