ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, II: ДОКАЗАТЕЛЬСТВА ТЕОРЕМ

Результат исследований: Вклад в журналСтатья

Аннотация

Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внимание уделяется проблеме обозримости на примере доказательства теоремы о четырех красках. Настоящая работа представляет собой вторую статью в серии о понятии теоретико-типового доказательства.
Переведенное названиеThe Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems
Язык оригиналаРусский
Страницы (с-по)34-41
Число страниц8
ЖурналВестник Томского государственного университета. Философия. Социология. Политология.
Том49
Номер выпуска49
DOI
СостояниеОпубликовано - июн 2019

Предметные области WoS

  • Общественные науки, Междисциплинарные труды

ГРНТИ

  • 02.00.00 ФИЛОСОФИЯ

Уровень публикации

  • Перечень ВАК

Fingerprint Подробные сведения о темах исследования «ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, II: ДОКАЗАТЕЛЬСТВА ТЕОРЕМ». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать