Например, в своей книге «Новый ум короля» физик‐теоретик из Оксфордского университета Роджер Пенроуз погружается в глубины абстракций современной математики, чтобы доказать, что человеческий мозг способен выполнять операции, которые компьютеру недоступны в принципе.