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

Translated title of the contribution: THE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES

Research output: Contribution to journalArticlepeer-review

Abstract

Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья - третья в серии о понятии теоретико-типового доказательства.
Translated title of the contributionTHE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES
Original languageRussian
Pages (from-to)25-32
Number of pages8
JournalВестник Томского государственного университета. Философия. Социология. Политология.
Volume57
Issue number57
DOIs
Publication statusPublished - 2020

Keywords

  • Curry-Howard correspondence
  • homotopy type theory
  • intuitionism
  • logic
  • mathematics
  • proof
  • type theory

WoS ResearchAreas Categories

  • Social Sciences, Interdisciplinary

GRNTI

  • 02.00.00 PHILOSOPHY

Level of Research Output

  • VAK List

Fingerprint

Dive into the research topics of 'THE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES'. Together they form a unique fingerprint.

Cite this