Карамышев, И. С. (аспирант). Смерть математика? [Текст] / И. С. Карамышев> // Вестник Московского университета. Сер. 7, Философия. - 2019. - № 1. - С. 95-108. - Библиогр.: с. 107-108 . - ISSN 0201-7385
Рубрики: Философия Философия науки Кл.слова (ненормированные): Гильберта формализм -- Гёделя теорема -- Тарского алгоритм -- авторство -- авторы -- алгоритм Тарского -- гомотопическая теория типов -- смерть автора -- смерть математика -- теорема Гёделя -- унивалентные основания математики -- формализм Гильберта Аннотация: В статье рассматривается вопрос о специфике авторства в математике, о влиянии новых возможностей формализации и алгоритмизации на роль и статус субъекта в процессе создания или отыскания новых математических результатов. Нет сведений об экземплярах (Источник в БД не найден) |