Новый разум тра-ля-ля

Был на лекции Пенроуза

Было три интересных примера:

1. Шахматная позиция легкая для человека, сложная для компьютера (white to move and draw):


2. Goodstein Sequence, Goodstein theorem и ее недоказуемость в арифметике Пеано (этого он не показал).

3. Пример детерминистской но не вычислимой последовательности. "There is no computable decision procedure to determine if a set of polyominoes tiles the plane."

- So what? There are tonns of such non-computable, yet "deterministic", sequences.

остальное -- опилки про intelligence -> understanding -> awareness, conciousness.

Кстати, к вопросу о self-awareness - помню, что Алиска говорила о себе в третьем лице лет до 2-х, что меня очень удивляло. "Я" появилось весьма постепенно и не без нашей помощи.