Ведьма   ::   Лейбер Фриц

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

— Да, — сказал профессор, — подобные уравнения в символической логике допустимы и имеют смысл.

Откровенно говоря, Норман в этом и не сомневался, однако был рад получить подтверждение из уст математика. Накануне он проглядел классическую работу Рассела и Уайтхеда, но не был уверен, что сумел ухватить суть.

— Прописные буквы обозначают классы, а строчные — отношения между ними, — пояснил он. Карр потер подбородок.

— Понятно, — пробормотал он. — Но какие именно классы и отношения?

— Вы ведь можете проверить уравнения, не зная значения отдельных символов, которые их составляют? — спросил в ответ Норман.

— Конечно, конечно. Результаты ничуть не изменятся от того, скрываются ли за символами яблоки, боевые корабли, поэтические идеи или знаки Зодиака. При условии, разумеется, что первичная связь между сущностью и символом установлена верно.

— Вот что меня и интересует, — сказал Норман. — На первом листе семнадцать уравнений. Они как будто сильно отличаются друг от друга.