Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем	453 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863Х/49/4

Title: Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем
Title: The concept of proof in the context of a type-theoretic approach, II: proofs of theorems
Creator: Ламберов, Лев Дмитриевич
Date: 2019
DOI: 10.17223/1998863Х/49/4
Description: Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внимание уделяется проблеме обозримости на примере доказательства теоремы о четырех красках. Настоящая работа представляет собой вторую статью в серии о понятии теоретико-типового доказательства.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Language: rus