Пенроуз - математик. Один из лучших в мире. И вот он садится и пишет книгу о том, почему компьютер никогда не будет думать. Это как если бы лучший повар мира написал книгу о том, почему еда вредна. Интригующий жест. Книга толстая. Очень. Пенроуз сначала объясняет квантовую механику, потом теорию относительности, потом термодинамику, потом устройство мозга - и всё это для того, чтобы добраться до своего главного тезиса. Тезис такой: человеческое сознание принципиально невычислимо.
В 1931 году математик Курт Гёдель доказал теорему о неполноте. Грубо говоря: в любой достаточно сложной формальной системе есть утверждения, которые нельзя ни доказать, ни опровергнуть средствами этой же системы. Математик видит, что утверждение истинно. А формальная система - нет, не может. Пенроуз спрашивает: как математик это видит? Если бы его мозг работал как компьютер - как алгоритм, - он бы тоже застрял. Но не застревает. Значит, мозг - не алгоритм.
Раз мозг не алгоритм - что тогда? Пенроуз говорит: кв