Письмо

Здравствуйте глубокоуважаемый Алексей Андреевич,

Я полагал, что мне удастся выехать в Москву на время каникул, но обострение моей болезни (желудка) не позволило. Это обострение связано по видимому, отчасти, с теми волнениями и переживаниями которые мне с избытком доставляет непрекращающаяся травля со стороны моего «зав»а.

История с «идеализмом» получила в институте широкую гласность; склочный характер этого дела становился все более и более явным. Я сделал доклад на кафедре марксизма-ленинизма и мой доклад им понравился; кафедра решила, что «никакого идеализма в этих символических исчислениях нет». Потом прибыла рецензия Стекловского института, которую я показал директору. Наконец, 31/I на заседании ученого совета было сообщено сотрудникам, что дирекция и парторганизация института расследовали это дело и пришли к заключению, что в моих докладах и работах нет никакого идеализма. Вместе с тем руководство института пришло к заключению, что все это дело является результатом необъективного, недоброжелательного отношения ко мне со стороны зав. кафедрой. Об этом говорит в резкой форме, в присутствии представителя райкома партии, на ученом совете директор и его заместитель по научно-учебной части.

Как будет дальше вести себя, после этой пощечины, мой тиран я не знаю; чувствую только одно – я невероятно устал от всех этих склок.

В основном этот год для меня потерян в бессмысленной борьбе с ветряными мельницами. Недавно мне удалось доказать предположение высказанное в диссертации о том, что множество тождественных формул исчисления предикатов не отделимо рекурсивно от множества формул опровержимых в конечной области. Отсюда вытекают как простые следствия теорема Church’а и моя теорема. Хочу написать заметку для ДАН и прошу Вас и Петра Сергеевича содействовать скорейшему ее представлению А.Н.Колмогоровым.

В этом году намерен заниматься немного физикой и вопросами относящимися к статье Кудрявцева «О некоторых математических вопросах теории электрических цепей».

Постараюсь все же вырваться на несколько дней в Москву, в марте месяце.

Мне очень хотелось бы знать работу Г.Ф. Хильми обосновывающую гипотезу захвата. Если имеется какая-нибудь возможность, то попросил бы выслать оттиск или что-нибудь такое.

Как продвигается издательство книги Петра Сергеевича? Какие новости.

Прошу Вас передать большой привет Петру Сергеевичу и Людмиле Всеволодовне. Мне переслала Софья Александровна юбилейный номер «Трудов» и я уже прочел статью Маркова. Где будет опубликовано продолжение работы Петра Сергеевича (отделимость проективных множеств)? Уточнил ли уже окончательно П.С. вопрос о разрешимости проблемы тождества в теории групп? Над чем работаете Вы сейчас?

Приветствую Анастасию Савельевну.

Всего наилучшего,

С глубоким уважением

Ваш Б. Трахтенброт

2/II 1952