Электронная библиотека (репозиторий) Томского государственного университета
теория типов | 2019

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Идея ограничения теории типов в философии математики в контексте критики эпистемологического релятивизма
Authors: Ладов, Всеволод Адольфович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 51. С. 43-52
Type: статьи в журналах
Date: 2019
Description: Рассматривается критика релятивизма в современной эпистемологии в корреляции с исследованиями по логике и философии математики. Обсуждается идея Ф. Фитча по ограничению применения теории типов Б. Расс ... More
Add   Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description: Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима ... More
Add   Формализация контекстов в теории типов с записями и модулями
Authors: Доманов, Олег Анатольевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 52. С. 23-38
Type: статьи в журналах
Date: 2019
Description: Представлен подход к формализации контекстов в семантике естественного языка, основанный на теории типов с записями и модулями. Описаны общие принципы формализации и ее конкретная реализация в системе ... More
  • «
  • ←
  • 1
  • →
  • »
^