Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=унивалентные основания математики<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Родин, Андрей Вячеславович (кандидат философских наук; старший научный сотрудник).
    Логический и геометрический атомизм от Лейбница до Воеводского [Текст] / А. В. Родин // Вопросы философии. - 2016. - № 6. - С. 134-142. - Библиогр.: с. 141-142. - Примеч.: с. 142 . - ISSN 0042-0744
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки, 19 в.; 20 в.
Кл.слова (ненормированные):
атомизм -- геометрическая характеристика -- геометрический атомизм -- история философии -- логика -- логический атомизм -- метафизика -- символическая логика -- символические исчисления -- унивалентные основания математики -- философия математики
Аннотация: В статье рассмотрены идеи универсальной и геометрической характеристики Лейбница и их место в философии вообще и метафизики в частности.


Доп.точки доступа:
Лейбниц, Г. В. (немецкий философ и математик ; 1646-1716); Воеводский, В. (российский и американский математик ; 1966-); Рассел, Б. (британский философ ; 1872-1970); Кассирер, Э. (немецкий философ ; 1874-1945); Кутюра, Л. (французский математик; логик ; 1868-1914); Грассман, Г. (немецкий физик; математик ; 1809-1877); Грассман, Р. (немецкий философ и математик ; 1815-1901)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
2.


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

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)