Математическое доказательство как риторика
История математики (сверхкратко) и изменения представлений о доказательстве. Доказательство - область риторики, способность убедить конкретно того, кого убеждают - и они различны в зависимости от того, кого должны убедить. В конце автор говорит. что компьютерные доказательства будут действовать рядом с классическими математическими.
Кранц. Изменчивая природа математического доказательства. 2020.
Кранц. Изменчивая природа математического доказательства. 2020.