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

Resultado de pesquisa: Articlerevisão de pares

Resumo

Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья - третья в серии о понятии теоретико-типового доказательства.
Título traduzido da contribuiçãoTHE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES
Idioma originalRussian
Páginas (de-até)25-32
Número de páginas8
RevistaВестник Томского государственного университета. Философия. Социология. Политология.
Volume57
Número de emissão57
DOIs
Estado da publicaçãoPublished - 2020

WoS ResearchAreas Categories

  • Social Sciences, Interdisciplinary

GRNTI

  • 02.00.00 PHILOSOPHY

Level of Research Output

  • VAK List

Impressão digital Mergulhe nos tópicos de investigação de “Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы“. Em conjunto formam uma impressão digital única.

Citar isto