математическая логика (профессиональный форум)

Эта группа создана для обсуждения математических и жизненных вопросов, с которыми сталкиваются логики. В Российской Федерации крупнейшими логическими центрами являются Новосибирск, Москва, Петербург и Казань. Много логиков в Тбилиси, Ереване, в разных частях Казахстана. Есть логики и в Кишиневе и в Риге и в других местах. Все они приглашаются в эту группу. Кого считать логиком? Вопрос непростой, т.к. границы предмета размыты. Мы приглашаем в эту группу и людей из соседних предметов (например из алгебры, информатики, топологии), да и любых других профессиональных математиков, интересующихся логическими вопросами. На всякий случай дадим расплывчатое примерное определение, кто такой логик. Вы - логик если вы печатались в одном из семи основных логических журналов: 1. Journal of Mathematical Logic 2. Journal of Symbolic Logic 3. Annals of Pure and Applied Logic (не труды конференции) 4. Archive for Mathematical Logic 5. Mathematical Logic Quarterly 6. Алгебра и Логика 7. Notre Dame Journal of Formal Logic ИЛИ вы более одного раза (и с удовольствием) ездили на Logic Colloquium ИЛИ вы писали дипломную работу или диссертацию под руководством логика по теории рекурсии, теории моделей, теории доказательств, интуиционизму, теории недоказуемости, теории множеств. (По требованию могу это определение изменять на более правильное.) Хотелось бы, однако, чтобы вопросы информатики (computer science), не имеющие логического содержания здесь не обсуждались! Криптография, сложность вычислений - великие, интересные и удивительные предметы, но эта группа - не про них. Этот форум предназначен для взрослых логиков, поэтому молодые люди, желающие участвовать должны показать (доказать?) свое знание математической логики. Группа создана 11 июля 2008 года, в 16:16 GMT.