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

Add to Quick Collection   All 8 Results

Showing items 1 - 8 of 8.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Различия в понимании природы математических суждений у И. Канта и Г. Фреге
Authors: Хромченко, Анна Сергеевна
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 61. С. 126-134
Type: статьи в журналах
Date: 2021
Description: Проводится дистинкция между эпистемологическим и логико-семантическим обос-нованием математического знания. Соответственно данной дистинкции проводится сравнительный анализ трансцендентального подхода ... More
Add   Л. Витгенштейн об экстенсиональных функциях Ф. П. Рамсея
Authors: Суровцев, Валерий Александрович
Source: Л. Витгенштейн: pro et contra. Личность и наследие Л. Витгенштейна в оценках русских исследователей : антология. СПб., 2019. С. 588-605
Type: статьи в сборниках
Date: 2019
Add   Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description: Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима ... More
Add   Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Type: статьи в журналах
Date: 2018
Description: Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое ... More
Add   Универсальная характеристика Г. В. Лейбница и перспективные разработки в области оснований математики
Authors: Ламберов, Лев Дмитриевич | Козьякова, Татьяна Сергеевна
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 164-172
Type: статьи в журналах
Date: 2017
Description: Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универса ... More
Add   Устройство философской головоломки по Витгенштейну (кембриджские лекции по основаниям математики)
Authors: Родин, Кирилл Александрович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 200-205
Type: статьи в журналах
Date: 2017
Description: Разбирается устройство философской головоломки по Витгенштейну. Головоломка – это смешение разных способов употребления некоторого выражения, или попытка навязать некоторому выражению в определенной я ... More
Add   Формальные онтологии и семантика примитивных концепций оснований математики
Authors: Целищев, Виталий Валентинович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2013. № 4. С. 55-70
Type: статьи в журналах
Date: 2013
Description: Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обо ... More
Add   Л. Витгенштейн и Ф. П. Рамсей о тождестве (2)
Authors: Суровцев, Валерий Александрович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2011. № 2. С. 167-181
Type: статьи в журналах
Date: 2011
  • «
  • ←
  • 1
  • →
  • »
^