Authors: Бажанов, Валентин Александрович

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 81. С. 5-16

Type: статьи в журналах

Date: 2024

Description: В статье обсуждаются представления о строгости доказательства в математике и требования, которые предъявляются к строгости в различных математических направлениях и сообществах. Показывается, что эти ... More

Authors: Ламберов, Лев Дмитриевич

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 57. С. 25-32

Type: статьи в журналах

Date: 2020

Description: Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктри ... More

Authors: Ладов, Всеволод Адольфович

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 101-110

Type: статьи в журналах

Date: 2018

Description: Рассматривается проблема логических парадоксов, представленная в работах Б. Рассела и Ф. Рамсея. Рассел мыслил все парадоксы как подобные, тогда как Рамсей утверждал, что они делятся на две совершенно ... More

Authors: Ладов, Всеволод Адольфович | Стоев, Станислав Михайлович

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 39-48

Type: статьи в журналах

Date: 2018

Description: Обсуждается проблема классификации парадоксов. Ф. Рамсей классифицировал парадоксы на группы А и В. Группу А образовывали логические парадоксы, основанные на проблематичности некоторых понятий логики ... More