тематиці ХХ ст План- Проблема обґрунтування математики
Работа добавлена на сайт samzan.net: 2016-03-30
Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
от 25%
Подписываем
договор
Практичне заняття на тему:
«Формування нових напрямків в математиці ХХ ст.»
План:
- Проблема обґрунтування математики.
- Логіцизм: представники та основні ідеї.
- Формалізм: представники та основні ідеї.
- Інтуїціонізм та конструктивізм: представники та основні ідеї.
Література:
Основна:
- Гилберт Д. Бернайс П. Основания математики. Логические исчисления и формализация арифметики / Д. Гилберт, П. Бернайс: Пер. с нем. Н.М. Нагорного. Под ред. С.И. Адяна. – М.: «Наука». Главная редакция физико-математической литературы, 1979. – С. 23 – 71.
- Жоль К. К. Логика в лицах и символах / К. К. Жоль. – М.: Педагогика-Пресс, 1993. – С. 40 – 53.
- Методологический анализ оснований математики / Ф. Китчер, В.Я. Перминов, Б.И. Федоров и др. – М.: Наука, 1988. – С. 5 – 31, 97 – 116.
- Непийвода Н.Н. Прикладная логика. Учебное пособие / Н.Н. Непийвода. – Ижевск, Изд-во Удм. ун-та, 1997. – С. 412 – 423.
- Перминов В.Я. Философия и основания математики / В.Я. Перминов. – М.: Прогресс-Традиция, 2001. – С. 165 – 182, 183 – 197, 198 – 212.
- Рассел Б. Введение в математическую философию. Избранные работы [Текст] / Бертран Рассел; вступ. статья В.А. Суровцева; пер. с англ. В.В. Целищева, В.А. Суровцева. – Новосибирск: Сиб. унив. изд-во, 2007. – С. 5 – 20, 21 – 66. – (Пути философии).
- Светлов В.А. Философия математики. Основные программы обоснования математики ХХ столетия: Учебное пособие. / Виктор Светлов. – М.: КомКнига, 2006. – С. 26 – 36, 37 – 80, 81 – 128, 129 – 158.
- Стяжкин Н.И. Формирование математической логики / Н.И. Стяжкин. – М.: «Наука», 1967. – С. 426 – 453.
Допоміжна: [5, 9, 12, 24, 28, 34, 41].
Самостійна робота:
- Математичний платонізм.
- Теорія абстрактних множин Г.Кантора.
- Операціональне обґрунтування математики
- Теорія типів, як спосіб виключення парадоксів.
- Оцінка програми логіцизму.
- Філософія математики Д. Гілберта.
Література:
[3, 5, 24, 41, 53, 61].
Індивідуальне навчально-дослідні завдання:
- Аналітична розвідка: К. Гедель як апологет логіцизму.
- Реферативна доповідь: Філософія математики Бертранна Рассела.
- Аналітична розвідка: Фінітне обґрунтування математики.
- Реферативна доповідь: Конструктивна математика А.А. Маркова та Е. Бішопа.
- Реферативна доповідь: Філософія математики Л. Е.Я. Брауера
- Аналітична розвідка: Корені інтуїціонізму у філософії І. Канта.