otkaznik (otkaznik) wrote,
otkaznik
otkaznik

Снова Перельман

Заполошная дамочка всколыхнула любопытную дискуссию в области, ей неведомой http://posic.livejournal.com/396916.html?thread=2150516#t2150516. Казалось бы, математика -- наука партикулярная, мало кому доступная, а вот ведь какие круги пошли во все стороны. Читать многочисленные дискуссии поучительно. Оказывается притянутым огромное и хорошо возделанное поле философских проблем. И мне, как тому педерасту из анекдота про филателистов, тоже интересно. Любопытно, что дискуссия все время соскальзывает куда-то вбок. Что неудивительно, поскольку рассуждения о социальном контексте знания можно хорошо эксплуатировать во всяких благовидных, а чаще неблаговидных политических видах. А дело, между тем, не такое уж и сложное. Если отбросить всякую мишуру, то вопрос чрезвычайно прост. Предъявлено доказательство математического утверждения. Спрашивается, верно оно или нет? Поскольку методы математического доказательства хорошо формализованы, то ответ содержится в самом доказательстве. И его может найти каждый желающий, конечно, при наличии знаний и способностей, но может. Вообще, всякий раз, когда предъявляется доказательство или утверждение, что доказательство известно, можно по определению считать предложение доказанным. Пока не будет найдено опровержение. Так было много раз. Например, с проблемой четырех красок. Замечательный пример дает и большая теорема Ферма (замечу, теорема, не гипотеза). Триста лет она была теоремой, хотя повторить (?) доказательство не могли.

Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 6 comments