Доказательство против понимания в математическом доказательстве

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Доказательство против понимания в математическом доказательстве	499 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863Х/54/3

Title: Доказательство против понимания в математическом доказательстве
Title: Proof versus understanding in mathematical proof
Creator: Целищев, Виталий Валентинович
|
Хлебалин, Александр Валерьевич
Date: 2020
DOI: 10.17223/1998863Х/54/3
Description: Статья посвящена исследованию соотношения концепций понимания и доказательства в математической практике. Анализируются две концепции математического доказательство – как вычисления и как понимания. Показано, что традиционное противопоставление этих концепций не соответствует практике математического доказательства; что использование формального вывода в доказательстве требует семантической интерпретации. Указаны ключевые факторы «вхождения» семантического содержания в синтаксические структуры вывода: нотация и интерпретация нелогических констант.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 54. С. 29-38
Language: rus

Created: 27-05-2020

823 Visitors

643 Hits

202 Downloads

Журналы ТГУ Доказательство против понимания в математическом доказательстве