Доказав равенство А = А, перейдем к равенству В = В

[a_kleber]

Я ни в одном глазу не математик и поэтому крайне удивляюсь, когда вижу какие сложные истины приходится с трудом и многим потом доказывать в науке:

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

Р. Пенроуз, Тени разума: в поисках науки о сознании (djvu 18 MB).

Курсив мой. Иными словами, мы продолжаем находиться в том каменном веке научного знания, когда неотесаной кувалдой этого знания вполне может убить не подходящего под измерения человечка - единственно за отсутствием обратных доказательств.

Автор этих нехитрых слов позиционируется как протестант и чуть ли не маргинал-новатор в соответствующих кругах (это которые моск изучают). Хороший человек, мужественный, спасибо ему.