GEB, стр. 187–189
Доказательство vs Вывод.
Доказательство — неформальное, на человеческом языке.
Вывод — формальный, простейшие шаги.
Парадокс:
• Доказательство "просто" — каждый шаг кажется верным.
• Вывод "прост" — каждый шаг элементарен.
Но доказательство скрывает сложность языка.
А вывод — сложность астрономической длины.
🌀 "Цена за упрощение каждого шага."