|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Методология дедуктивных наукучебный курс
- Автор: Чусов А.В.
- Год создания: 2010
- Организация: МГУ имени М.В. Ломоносова
- Описание: В курсе рассматриваются узкий и широкий смыслы названия: польская школа и общие направления, ориентированные на связь математики и логики. Основная часть курса посвящена теореме Геделя о содержательном ограничении дедуктивных теорий. Рассматриваются также логические и предметные компоненты формализма Гильберта, этап развития формализма, связанный с Н.Бурбаки, а также конструктивные направления.
- Добавил в систему: Чусов Анатолий Витальевич