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

Кранц. Изменчивая природа математического доказательства. 2020.

https://ivanov-p.livejournal.com/283716.html