Здравствуйте, Shmj, Вы писали:

S>Интересна ли вам тема формализации математики?

Да.

S>Ну и такой вопрос. Что мне делать, если я хочу поработать в этом направлении, но не имею ББД? Или же не возможно это все?

Ну смотря что имеешь ввиду под поработать. Если получать зарплату — сильно врядли, прямой прибыли не несет. Если только через научные гранты пытаться.

Но никто не мешает заниматься этим частным образом.
Для затравки QED Manifesto