А. В. Хлебалин Рассматривается соотношение математического и логического вывода в математике. Анализируется онтологических подход к объяснению неустранимости семантического содержания математического вывода. Обосновывается, что такой подход влечет серьезные метафизические обязательства, на основании чего делается вывод о перспективности эпистемологического подхода в объяснении природы различия формально логического и математического вывода.
Научная статья 
эпистемология математического доказательства Дата публикации:
2018
Серия:
Том (volume):
16
Выпуск (issue):
3
Страницы:
28-37
Идентификатор:
oai:oai.sibphil.elpub.ru:article/124
https://sibphil.elpub.ru/jour/article/view/124
10.25205/2541-7517-2018-16-3-28-37
Лицензия:
Источник: