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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ламберов Л. Д.
Заглавие : Основания математики: теория множеств vs. Теория типов
Серия: Проблемы логики и методологии науки
Разночтения заглавия :: Теория типов
Место публикации : Философия науки. - 2017. - № 1. - С.41-60. - ISSN 1560-7488 (Шифр phna/2017/1). - ISSN 1560-7488
Примечания : Библиогр.: с. 60 (13 назв. )
УДК : 510
ББК : 22.1
Предметные рубрики: Математика
Общие вопросы математики
Ключевые слова (''Своб.индексиров.''): гомотопическая теория типов--гомотопия--основания математики--теория множеств--теория типов
Аннотация: Рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов.
Найти похожие
2.

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