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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Omsk State Technical University, Federal State Autonomous Educational Institution of Higher Education
2021-12-01
|
| Series: | Омский научный вестник: Серия "Общество. История. Современность" |
| Subjects: | |
| Online Access: | https://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..pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| ISSN: | 2542-0488 2541-7983 |