Conception of understanding in mathematical proof
The article analyzes the role of the concept of understanding in mathematical proof. Understanding seems to be a natural and necessary characteristic of proof, interpreted as an argument in favor of the established result. It is shown that in general two traditions in the treatment of mathematica...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | article |
| Lenguaje: | EN RU |
| Publicado: |
Omsk State Technical University, Federal State Budgetary Educational Institution of Higher Education
2021
|
| Materias: | |
| Acceso en línea: | https://doaj.org/article/695e9ed122794122825bcc85deb2e41a |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| id |
oai:doaj.org-article:695e9ed122794122825bcc85deb2e41a |
|---|---|
| record_format |
dspace |
| spelling |
oai:doaj.org-article:695e9ed122794122825bcc85deb2e41a2021-11-26T08:41:37ZConception of understanding in mathematical proof10.25206/2542-0488-2021-6-4-82-862542-04882541-7983https://doaj.org/article/695e9ed122794122825bcc85deb2e41a2021-12-01T00:00:00Zhttps://www.omgtu.ru/general_information/media_omgtu/journal_of_omsk_research_journal/files/arhiv/2021/%D0%A2.%206,%20%E2%84%96%204%20(%D0%9E%D0%98%D0%A1)/82-86%20%D0%A6%D0%B5%D0%BB%D0%B8%D1%89%D0%B5%D0%B2%20%D0%92.%20%D0%92.,%20%D0%A5%D0%BB%D0%B5%D0%B1%D0%B0%D0%BB%D0%B8%D0%BD%20%D0%90.%20%D0%92..pdfhttps://doaj.org/toc/2542-0488https://doaj.org/toc/2541-7983The article analyzes the role of the concept of understanding in mathematical proof. Understanding seems to be a natural and necessary characteristic of proof, interpreted as an argument in favor of the established result. It is shown that in general two traditions in the treatment of mathematical proofs can be distinguished, going back to Descartes and Leibniz. It arguments for conceptual treatment of category of understanding which is not connected with individual mental acts are resulted. The prospect of achieving conceptual understanding in the computational interpretation of mathematical proof is problematized.V. V. TselishchevA. V. KhlebalinOmsk State Technical University, Federal State Budgetary Educational Institution of Higher Educationarticleunderstandingmathematical proofformalizationcomputationcomputer proofHistory (General) and history of EuropeDEconomics as a scienceHB71-74NewspapersANENRUОмский научный вестник: Серия "Общество. История. Современность", Vol 6, Iss 4, Pp 82-86 (2021) |
| institution |
DOAJ |
| collection |
DOAJ |
| language |
EN RU |
| topic |
understanding mathematical proof formalization computation computer proof History (General) and history of Europe D Economics as a science HB71-74 Newspapers AN |
| spellingShingle |
understanding mathematical proof formalization computation computer proof History (General) and history of Europe D Economics as a science HB71-74 Newspapers AN V. V. Tselishchev A. V. Khlebalin Conception of understanding in mathematical proof |
| description |
The article analyzes the role of the concept of understanding in mathematical
proof. Understanding seems to be a natural and necessary characteristic of proof,
interpreted as an argument in favor of the established result. It is shown that in
general two traditions in the treatment of mathematical proofs can be distinguished,
going back to Descartes and Leibniz. It arguments for conceptual treatment of
category of understanding which is not connected with individual mental acts are
resulted. The prospect of achieving conceptual understanding in the computational
interpretation of mathematical proof is problematized. |
| format |
article |
| author |
V. V. Tselishchev A. V. Khlebalin |
| author_facet |
V. V. Tselishchev A. V. Khlebalin |
| author_sort |
V. V. Tselishchev |
| title |
Conception of understanding in mathematical proof |
| title_short |
Conception of understanding in mathematical proof |
| title_full |
Conception of understanding in mathematical proof |
| title_fullStr |
Conception of understanding in mathematical proof |
| title_full_unstemmed |
Conception of understanding in mathematical proof |
| title_sort |
conception of understanding in mathematical proof |
| publisher |
Omsk State Technical University, Federal State Budgetary Educational Institution of Higher Education |
| publishDate |
2021 |
| url |
https://doaj.org/article/695e9ed122794122825bcc85deb2e41a |
| work_keys_str_mv |
AT vvtselishchev conceptionofunderstandinginmathematicalproof AT avkhlebalin conceptionofunderstandinginmathematicalproof |
| _version_ |
1718409661428793344 |