Standard

Проблема природы доказательства как междисциплинарная научная и философская проблема. / Караваев, Э.Ф.

Философия, математика, лингвистика: аспекты взаимодействия : Материалы Международной научной конференции. СПб : Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН, 2009. p. 94-99.

Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology

Harvard

Караваев, ЭФ 2009, Проблема природы доказательства как междисциплинарная научная и философская проблема. in Философия, математика, лингвистика: аспекты взаимодействия : Материалы Международной научной конференции. Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН, СПб, pp. 94-99, Философия, математика, лингвистика: аспекты взаимодействия , Санкт-Петербург, Russian Federation, 20/11/09.

APA

Караваев, Э. Ф. (2009). Проблема природы доказательства как междисциплинарная научная и философская проблема. In Философия, математика, лингвистика: аспекты взаимодействия : Материалы Международной научной конференции (pp. 94-99). Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН.

Vancouver

Караваев ЭФ. Проблема природы доказательства как междисциплинарная научная и философская проблема. In Философия, математика, лингвистика: аспекты взаимодействия : Материалы Международной научной конференции. СПб: Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН. 2009. p. 94-99

Author

Караваев, Э.Ф. / Проблема природы доказательства как междисциплинарная научная и философская проблема. Философия, математика, лингвистика: аспекты взаимодействия : Материалы Международной научной конференции. СПб : Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН, 2009. pp. 94-99

BibTeX

@inbook{2f0819defdbc4dd2ac4a2cad75888755,
title = "Проблема природы доказательства как междисциплинарная научная и философская проблема",
abstract = "Процесс доказательства можно рассматривать как некоторого рода мысленный эксперимент. В истории философии Шопенгауэр одним из первых подробно рассмотрел тот факт, что изложение результата процесса доказательства в строгой форме не совпадает с реальным содержанием названного процесса. Из его рассуждений мы можем принять мысль о том, что строго формальные выкладки не исчерпывают содержание процесса доказательства. Но при этом нельзя с ним согласиться в том, что эти выкладки не нужны. Разум человека «многомерен», и процессы поиска и построения доказательств и восприятия их связаны не только с языковой и с логико-математической способностями, а и со всеми другими способностями. Серьёзные проблемы в понимании природы доказательств и значимости суждений, которые они подкрепляют, связаны с применением в доказательствах компьютеров.",
keywords = "Доказательство, формальное доказательство, неформальный аргумент, способности разума, применение компьютера.",
author = "Э.Ф. Караваев",
year = "2009",
language = "русский",
isbn = "9785965103867",
pages = "94--99",
booktitle = "Философия, математика, лингвистика: аспекты взаимодействия",
publisher = "Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН",
address = "Российская Федерация",
note = "null ; Conference date: 20-11-2009 Through 22-11-2009",

}

RIS

TY - CHAP

T1 - Проблема природы доказательства как междисциплинарная научная и философская проблема

AU - Караваев, Э.Ф.

PY - 2009

Y1 - 2009

N2 - Процесс доказательства можно рассматривать как некоторого рода мысленный эксперимент. В истории философии Шопенгауэр одним из первых подробно рассмотрел тот факт, что изложение результата процесса доказательства в строгой форме не совпадает с реальным содержанием названного процесса. Из его рассуждений мы можем принять мысль о том, что строго формальные выкладки не исчерпывают содержание процесса доказательства. Но при этом нельзя с ним согласиться в том, что эти выкладки не нужны. Разум человека «многомерен», и процессы поиска и построения доказательств и восприятия их связаны не только с языковой и с логико-математической способностями, а и со всеми другими способностями. Серьёзные проблемы в понимании природы доказательств и значимости суждений, которые они подкрепляют, связаны с применением в доказательствах компьютеров.

AB - Процесс доказательства можно рассматривать как некоторого рода мысленный эксперимент. В истории философии Шопенгауэр одним из первых подробно рассмотрел тот факт, что изложение результата процесса доказательства в строгой форме не совпадает с реальным содержанием названного процесса. Из его рассуждений мы можем принять мысль о том, что строго формальные выкладки не исчерпывают содержание процесса доказательства. Но при этом нельзя с ним согласиться в том, что эти выкладки не нужны. Разум человека «многомерен», и процессы поиска и построения доказательств и восприятия их связаны не только с языковой и с логико-математической способностями, а и со всеми другими способностями. Серьёзные проблемы в понимании природы доказательств и значимости суждений, которые они подкрепляют, связаны с применением в доказательствах компьютеров.

KW - Доказательство

KW - формальное доказательство

KW - неформальный аргумент

KW - способности разума

KW - применение компьютера.

UR - https://elibrary.ru/item.asp?id=28123849&pff=1

M3 - статья в сборнике

SN - 9785965103867

SP - 94

EP - 99

BT - Философия, математика, лингвистика: аспекты взаимодействия

PB - Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН

CY - СПб

Y2 - 20 November 2009 through 22 November 2009

ER -

ID: 4552932