В его идеях универсальной символики и логического исчисления по праву усматривают зародыш "думающей машины". Средствами логических формантов он предлагал разрешать многие досадные столкновения. "К чему воевать?" - говорил он. - "Давайте сядем и будем считать". А Норберт Винер назвал его "святым покровителем кибернетики". Кто же он, считавший, что он живет в "лучшем из возможных миров"?