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!
|
| _version_ | 1832574167822630912 |
|---|---|
| author | V. V. Tselishchev A. V. Khlebalin |
| author_facet | V. V. Tselishchev A. V. Khlebalin |
| author_sort | V. V. Tselishchev |
| collection | DOAJ |
| 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 |
| id | doaj-art-695e9ed122794122825bcc85deb2e41a |
| institution | Kabale University |
| issn | 2542-0488 2541-7983 |
| language | English |
| publishDate | 2021-12-01 |
| publisher | Omsk State Technical University, Federal State Autonomous Educational Institution of Higher Education |
| record_format | Article |
| series | Омский научный вестник: Серия "Общество. История. Современность" |
| spelling | doaj-art-695e9ed122794122825bcc85deb2e41a2025-02-02T00:36:25ZengOmsk State Technical University, Federal State Autonomous Educational Institution of Higher EducationОмский научный вестник: Серия "Общество. История. Современность"2542-04882541-79832021-12-0164828610.25206/2542-0488-2021-6-4-82-86Conception of understanding in mathematical proofV. V. Tselishchev0A. V. Khlebalin1https://orcid.org/0000-0002-3536-3974Institute of Philosophy and Law of the Siberian Branch of the Russian Academy of SciencesInstitute of Philosophy and Law of the Siberian Branch of the Russian Academy of SciencesThe 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.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..pdfunderstandingmathematical proofformalizationcomputationcomputer proof |
| spellingShingle | V. V. Tselishchev A. V. Khlebalin Conception of understanding in mathematical proof Омский научный вестник: Серия "Общество. История. Современность" understanding mathematical proof formalization computation computer proof |
| title | 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_short | Conception of understanding in mathematical proof |
| title_sort | conception of understanding in mathematical proof |
| topic | understanding mathematical proof formalization computation computer proof |
| url | 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 |
| work_keys_str_mv | AT vvtselishchev conceptionofunderstandinginmathematicalproof AT avkhlebalin conceptionofunderstandinginmathematicalproof |