GEB, стр. 213
Пример вывода в ТТЧ:
(S0+S0) = SS0 ("1+1=2")
14 шагов от аксиом!
Ловушка: манипулируя знакомыми символами (=), не торопитесь.
Следуйте правилам, а не знанию "пассивных значений".
🌀 Интуиция ведёт — но не заменяет формальный вывод.
GEB, стр. 213
Пример вывода в ТТЧ:
(S0+S0) = SS0 ("1+1=2")
14 шагов от аксиом!
Ловушка: манипулируя знакомыми символами (=), не торопитесь.
Следуйте правилам, а не знанию "пассивных значений".
🌀 Интуиция ведёт — но не заменяет формальный вывод.