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

Resultado de la investigación: Articlerevisión exhaustiva

Resumen

Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья - третья в серии о понятии теоретико-типового доказательства.
Título traducido de la contribuciónTHE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES
Idioma originalRussian
Páginas (desde-hasta)25-32
Número de páginas8
PublicaciónВестник Томского государственного университета. Философия. Социология. Политология.
Volumen57
N.º57
DOI
EstadoPublished - 2020

WoS ResearchAreas Categories

  • Social Sciences, Interdisciplinary

GRNTI

  • 02.00.00 PHILOSOPHY

Level of Research Output

  • VAK List

Huella

Profundice en los temas de investigación de 'Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы'. En conjunto forman una huella única.

Citar esto