Идеальный робот   ::   Буль Пьер

Его первый робот, более совершенный, чем прежние вычислительные приборы, явился чудом науки и принес профессору большое личное удовлетворение, но не имел особого успеха у клиентуры. Это был «математик», а не просто «вычислитель». Новому прибору при помощи различных кнопок и рукояток задавали основную информацию для математического анализа. Различные электронные цепи комбинировали полученные данные, и прибор как бы углублялся в разнообразные аспекты науки, доводя каждую проблему до конечных выводов, сформулированных величайшими математиками прошлого, вновь открывая самые знаменитые теоремы. Благодаря случайным перестановкам и комбинациям заданных условий, прибор даже излагал неизвестные дотоле теоремы, никогда л никем еще не сформулированные; правильность их была проверена, a posteriori, [1] но практическое применение обескуражило самых видных специалистов.

Противники ученого утверждали, что так называемые «новые» теоремы существовали всегда и были скрыты в известных аксиомах и основных определениях. И в этом профессор соглашался с ними. Но они добавляли, что математический анализ — это наука формальных преобразований, и для нее достаточно чисто механического мышления. Математический робот никоим образом не являлся для них доказательством того, что можно создать истинно разумный прибор. Профессор только пожимал плечами и продолжал свои исследования.