Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы

Результат исследований: Вклад в журналСтатьярецензирование

Аннотация

Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья - третья в серии о понятии теоретико-типового доказательства.
Переведенное названиеTHE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES
Язык оригиналаРусский
Страницы (с-по)25-32
Число страниц8
ЖурналВестник Томского государственного университета. Философия. Социология. Политология.
Том57
Номер выпуска57
DOI
СостояниеОпубликовано - 2020

Предметные области WoS

  • Общественные науки, Междисциплинарные труды

ГРНТИ

  • 02.00.00 ФИЛОСОФИЯ

Уровень публикации

  • Перечень ВАК

Fingerprint

Подробные сведения о темах исследования «Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать