TY  - SER
AU  - Целищев,Виталий Валентинович
AU  - Хлебалин,Александр Валерьевич
TI  - Доказательство против понимания в математическом доказательстве
KW  - понимание
KW  - доказательство
KW  - математическое доказательство
KW  - семантика
KW  - синтаксис
KW  - нотация
KW  - интерпретация
KW  - философия математики
KW  - статьи в журналах
N1  - Библиогр.: 18 назв
N2  - Статья посвящена исследованию соотношения концепций понимания и доказательства в математической практике. Анализируются две концепции математического доказательство – как вычисления и как понимания. Показано, что традиционное противопоставление этих концепций не соответствует практике математического доказательства; что использование формального вывода в доказательстве требует семантической интерпретации. Указаны ключевые факторы «вхождения» семантического содержания в синтаксические структуры вывода: нотация и интерпретация нелогических констант
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000721138
ER  -