Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Изменчивая природа математического доказательства. Доказать нельзя поверить
Глава 1. Что такое доказательство и с чем его едят?
Поставить закладку
1.1. Кто такой математик?
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Благодарности
Глава 1. Что такое доказательство и с чем его едят?
-
1.1. Кто такой математик?
1.2. Понятие доказательства
1.3. Как работает математик?
1.4. Основания логики
1.4.1. Закон исключенного третьего
1.4.2. Модус понендо поненс и его друзья
1.5. Из чего же сделано доказательство?
1.6. Цель доказательства
1.7. Логические основания математики
1.8. Платонизм или кантианство
1.9. Экспериментальная природа математики
1.10. Роль гипотез
1.10.1. Прикладная математика
1.11. Математическая неопределенность
1.12. Публикация и распространение математики
1.13. Заключительные размышления
Глава 2. Античность
+
Глава 3. Средние века и акцент на вычислениях
+
Глава 4. Заря нового времени
+
Глава 5. Гильберт и двадцатый век
+
Глава 6. Испытание четырьмя красками
+
Глава 7. Доказательства, построенные компьютером
+
Глава 8. Компьютер помогает преподавать и доказывать
+
Глава 9. Современная математическая жизнь
+
Глава 10. За пределами компьютеров: социология математического доказательства
+
Глава 11. Доказательства, ускользающие из рук
+
Глава 12. Джон Хорган и "Смерть доказательства?"
+
Глава 13. На посошок
+
Алфавитный список авторов с краткими биографиями
Список литературы
Предметный указатель
Данный блок поддерживает скрол*