Лакатос математическая логика

  • Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967. – 153 c.
    Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922–1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса.