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

Ламберов, Лев Дмитриевич

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

Дата публикации: 2019

Дата публикации в реестре: 2020-03-03T19:22:54Z

Аннотация:

Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внимание уделяется проблеме обозримости на примере доказательства теоремы о четырех красках. Настоящая работа представляет собой вторую статью в серии о понятии теоретико-типового доказательства.

Ключевые слова:
основания математики, доказательство, теория типов, компьютерные науки, теорема о четырех красках, вычисления

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41