Доказательства и опровержения

Купить бумажную книгу и читать

Автор: И. Лакатос

Название: Доказательства и опровержения. Как доказываются теоремы

Издательство: Наука

Год: 1967

Формат: DJVU

Страниц: 152

Размер: 2 МБ

Язык: Русский

Качество: Хорошее, 300дпи

Эта книга, посвященная проблемам математической логики, написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающихся при атом парадоксах. Ошибки, которые делают ученики, в действительности были допущены различными мате' матиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Книга может быть прочитана не только математиками, она вполне доступна школьникам старших классов.

Содержание

От переводчика

Введение

1. Задача и догадка

2. Доказательство

3. Критика доказательства при помощи контрапримеров, являющихся локальными, но не глобальными

4. Критика догадки при помощи глобальных контрапримеров

5. Критика анализа доказательства контрапримерами, являющимися глобальными, но не локальными. Проблема строгости

6. Возвращение к критике доказательства при помощи контрапримеров, которые являются локальными, но не глобальными. Проблема содержания

7. Проблема пересмотра содержания

8. Образование понятий

9. Как критика может математическую истину превратить в логическую

Литература