|
- ⒶⒸЛакатос И. Доказательства и опровержения. Как доказываются теоремы. [Djv-Fax- 2.0M] Автор: Имре Лакатос (Lakatos Imre). Перевод с английского И.Н. Веселовского. Ответственный редактор И.Б. Погребысский.
(Москва: Издательство «Наука», 1967. - Академия наук СССР) Скан: AAW, OCR, обработка, формат Djv-Fax: bolega, 2016
- СОДЕРЖАНИЕ:
От переводчика (3). Введение (5). 1. Задача и догадка (12). 2. Доказательство (14). 3. Критика доказательства при помощи контрапримеров, являющихся локальными, но не глобальными (18). 4. Критика догадки при помощи глобальных контрапримеров (22). 5. Критика анализа доказательства контр апримерами, являющимися глобальными, но не локальными. Проблема строгости (61). 6. Возвращение к критике доказательства при помощи контрапримеров, которые являются локальными, но не глобальными. Проблема содержания (81). 7. Проблема пересмотра содержания (94). 8. Образование понятий (117). 9. Как критика может математическую истину превратить в логическую (138). Литература (146).
ИЗ ИЗДАНИЯ: Эта книга, посвященная проблемам математической логики, написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающихся при этом парадоксах. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Книга может быть прочитана не только математиками, она вполне доступна школьникам старших классов. |
|