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

Resultado de pesquisa: Articlerevisão de pares

Resumo

Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внимание уделяется проблеме обозримости на примере доказательства теоремы о четырех красках. Настоящая работа представляет собой вторую статью в серии о понятии теоретико-типового доказательства.
Título traduzido da contribuiçãoThe Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems
Idioma originalRussian
Páginas (de-até)34-41
Número de páginas8
RevistaВестник Томского государственного университета. Философия. Социология. Политология.
Volume49
Número de emissão49
DOIs
Estado da publicaçãoPublished - jun 2019

WoS ResearchAreas Categories

  • Social Sciences, Interdisciplinary

GRNTI

  • 02.00.00 PHILOSOPHY

Level of Research Output

  • VAK List

Impressão digital

Mergulhe nos tópicos de investigação de “ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, II: ДОКАЗАТЕЛЬСТВА ТЕОРЕМ“. Em conjunto formam uma impressão digital única.

Citar isto