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

科研成果: Article同行评审

摘要

Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья - третья в серии о понятии теоретико-типового доказательства.
投稿的翻译标题THE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES
源语言Russian
页(从-至)25-32
页数8
期刊Вестник Томского государственного университета. Философия. Социология. Политология.
57
57
DOI
Published - 2020

WoS ResearchAreas Categories

  • Social Sciences, Interdisciplinary

GRNTI

  • 02.00.00 PHILOSOPHY

Level of Research Output

  • VAK List

指纹 探究 'Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы' 的科研主题。它们共同构成独一无二的指纹。

引用此