Доклад Ильи Гущина «Метафизика в философии математики и эпистемологические последствия для доказательства»

21 марта прошел семинар «Формальная философия», на котором Илья Гущин (УрФУ) выступил с докладом «Метафизика в философии математики и эпистемологические последствия для доказательства». 

Аннотация
В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.