Математическое или компьютерное доказательство: убеждение или вынуждение 2023 03 16

Используемые в этом споре аргументы принадлежат человеку, и тогда возникает вопрос о «предубежденности» в пользу человеческого ума. Но как оказывается, в концепции доказательства лежат две фундаментально различные концепции. Первая из них принадлежит Декарту – «схватывание», понимание умом доказательства во всей его полноте, часто называемое эффектом «Ага», «понял!». Вторая принадлежит Лейбницу, согласно которому доказательство есть вычисление, алгоритм, система инструкций.