Normal view
MARC view
Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы Л. Д. Ламберов
Material type:
ArticleContent type: Текст Media type: электронный Other title: The concept of proof in the context of a type-theoretic approach, III: proofs as (some) types [Parallel title]Subject(s): доказательство | логика | математика | теория типов | Карри-Говарда соответствие | гомотопическая теория типов | интуиционизмGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Философия. Социология. Политология № 57. С. 25-32Abstract: Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья – третья в серии о понятии теоретико-типового доказательства
No physical items for this record
Библиогр.: 23 назв.
Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктрины «высказывания как некоторые типы». Особое внимание уделяется проблеме статуса логического в математике. Настоящая статья – третья в серии о понятии теоретико-типового доказательства
There are no comments on this title.