Привет, универч. Сомневаюсь, что на тебе есть люди, которые могут мне помочь, но всё же попробую.

Задумал я вкатиться в геометрическую категорную логику и рилейтед темы. Дымится шишка на ГТТ, пруфассистанты, нестандартные логики, вообще логику и теорию познания. Сейчас я учусь в математическом вузе, лениво порешивая дифуры с рядами и пытаясь выловить что-нибудь интересное со спецкурсов по топологии, алгебре и матлогике. Как я понимаю, интересующие меня вещи относятся больше к философии, чем к математике, в связи с этим подумываю перекатиться на философский, тем более, что знаю товарищей оттуда, которые ботают как раз эти самые вещи. Собственно, вопросы мои такие: насколько реально заниматься всем этим профессионально, а не в качестве хобби, и где конкретно стоит этим заниматься? На примете филфаки в СПб и Екб и матфаки в Новосибирске, т. к. там, насколько мне известно, мощные логики. Любые советы и пожелания по сабжу также приветствуются.