Как поверить в машинно-проверяемое доказательство (1997)

Статья рассматривает философские и психологические аспекты доверия к формальным доказательствам, проверяемым компьютером, на примере теоремы Ферма. Автор анализирует разницу между человеческим пониманием и формальной выводимостью, предлагая технологический подход к снижению сложности восприятия таких доказательств.