|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Смерть математика?статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Карамышев И.С.
- Журнал: Вестник Московского университета. Серия 7: Философия
- Номер: 1
- Год издания: 2019
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 95
- Последняя страница: 108
- Аннотация: В статье рассматривается вопрос о специфике авторства в математике, о влиянии новых возможностей формализации и алгоритмизации на роль и статус субъекта в процессе создания или отыскания новых математических результатов. Особое внимание уделено проекту Гильберта по формализации математики, теореме Гёделя о неполноте, алгоритму Тарского, гомотопической теории типов и проекту унивалентных оснований математики Воеводского.
- Добавил в систему: Карамышев Илья Сергеевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Карамышев И. С. Смерть математика? // Вестник Московского университета. Серия 7: Философия. 2019. № 1. | Vestnik_Moskovskogo_universiteta._Seriya_7_Filosofiya._2019… | 1,2 МБ | 5 марта 2019 [KaramyshevRF] |