Standard

Reshaping the metaphor of proof. / Vavilov, Nikolai.

в: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Том 377, № 2140, 20180279, 11.03.2019.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Vavilov, N 2019, 'Reshaping the metaphor of proof', Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Том. 377, № 2140, 20180279. https://doi.org/10.1098/rsta.2018.0279

APA

Vavilov, N. (2019). Reshaping the metaphor of proof. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 377(2140), [20180279]. https://doi.org/10.1098/rsta.2018.0279

Vancouver

Vavilov N. Reshaping the metaphor of proof. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2019 Март 11;377(2140). 20180279. https://doi.org/10.1098/rsta.2018.0279

Author

Vavilov, Nikolai. / Reshaping the metaphor of proof. в: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2019 ; Том 377, № 2140.

BibTeX

@article{445f5bb6e1cc4c63b8ecda1f77d4b643,
title = "Reshaping the metaphor of proof",
abstract = "Слишком упрощенный взгляд на математику как на логическую систему формальных истин, которые выводятся из небольшого списка аксиом при помощи небольшого списка правил логического вывода немедленно разбивается вдребезги при первом же сопоставлении с историей математики, или текущими математическими исследованиями. Чтобы стать полезной, философия математики должна рассматривать то, чем математика фактически являлась на протяжении многих столетий и чем она является сегодня, а не спекулировать на тему, чем она должна была бы быть, в соотеветствии с философской ортодоксией. Первая догма, которую нужно полностью отбросить, это понимание доказательства как текста, а не как того, чем оно в действительности является для самих работающих математиков, т.е. процессом, сложным переплетением взаимосвязанных аргументов, многомерной структурой. Эта статья является частью тематического выпуска {\textquoteleft}Понятие {\textquoteleft}простого доказательства{\textquoteright} - 24-я проблема Гильберта{\textquoteright}.",
keywords = "Mathematics, traditional proofs, formal proofs, mathematical mistakes, reliability of mathematical results, математика, традиционное доказательство, формальное доказательство, математические ошибки, надежность математических результатов, философия математики, 24я проблема Гильберта, программа Воеводского",
author = "Nikolai Vavilov",
year = "2019",
month = mar,
day = "11",
doi = "10.1098/rsta.2018.0279",
language = "Английский",
volume = "377",
journal = "Philosophical transactions. Series A, Mathematical, physical, and engineering sciences",
issn = "0962-8428",
publisher = "Royal Society of London",
number = "2140",

}

RIS

TY - JOUR

T1 - Reshaping the metaphor of proof

AU - Vavilov, Nikolai

PY - 2019/3/11

Y1 - 2019/3/11

N2 - Слишком упрощенный взгляд на математику как на логическую систему формальных истин, которые выводятся из небольшого списка аксиом при помощи небольшого списка правил логического вывода немедленно разбивается вдребезги при первом же сопоставлении с историей математики, или текущими математическими исследованиями. Чтобы стать полезной, философия математики должна рассматривать то, чем математика фактически являлась на протяжении многих столетий и чем она является сегодня, а не спекулировать на тему, чем она должна была бы быть, в соотеветствии с философской ортодоксией. Первая догма, которую нужно полностью отбросить, это понимание доказательства как текста, а не как того, чем оно в действительности является для самих работающих математиков, т.е. процессом, сложным переплетением взаимосвязанных аргументов, многомерной структурой. Эта статья является частью тематического выпуска ‘Понятие ‘простого доказательства’ - 24-я проблема Гильберта’.

AB - Слишком упрощенный взгляд на математику как на логическую систему формальных истин, которые выводятся из небольшого списка аксиом при помощи небольшого списка правил логического вывода немедленно разбивается вдребезги при первом же сопоставлении с историей математики, или текущими математическими исследованиями. Чтобы стать полезной, философия математики должна рассматривать то, чем математика фактически являлась на протяжении многих столетий и чем она является сегодня, а не спекулировать на тему, чем она должна была бы быть, в соотеветствии с философской ортодоксией. Первая догма, которую нужно полностью отбросить, это понимание доказательства как текста, а не как того, чем оно в действительности является для самих работающих математиков, т.е. процессом, сложным переплетением взаимосвязанных аргументов, многомерной структурой. Эта статья является частью тематического выпуска ‘Понятие ‘простого доказательства’ - 24-я проблема Гильберта’.

KW - Mathematics

KW - traditional proofs

KW - formal proofs

KW - mathematical mistakes

KW - reliability of mathematical results

KW - математика

KW - традиционное доказательство

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

KW - математические ошибки

KW - надежность математических результатов

KW - философия математики

KW - 24я проблема Гильберта

KW - программа Воеводского

U2 - 10.1098/rsta.2018.0279

DO - 10.1098/rsta.2018.0279

M3 - статья

VL - 377

JO - Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

JF - Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

SN - 0962-8428

IS - 2140

M1 - 20180279

ER -

ID: 51598920