ПОМИ - лаборатория математической логики

		ММИ им.Эйлера
		конференции ММИ

Учреждение   Российской   академии   наук
Санкт - Петербургское   отделение
математического   института   им.  В.А. Стеклова   РАН

Лаборатории

Лаборатория математической логики

Заведующий лабораторией Ю.В.Матиясевич

Сотрудники

Тематика исследований

	Ю.В.Матиясевич заведующий лабораторией
	М.А.Всемирнов ученый секретарь ПОМИ
	Э.А.Гирш ведущий научный сотрудник
	Д.В.Карпов научный сотрудник
	А.А.Кожевников младший научный сотрудник
	А.С.Куликов младший научный сотрудник
	С.И.Николенко младший научный сотрудник
	В.П.Оревков ведущий научный сотрудник
	А.В.Пастор научный сотрудник
	Н.А.Шанин ведущий научный сотрудник

Традиционными темами исследований, проводимых в лаборатории математической логики, являются

основания математики,

теория доказательств,

поиск логического вывода,

алгоритмические вопросы алгебры и теории чисел.

В последние годы появилось новое направление - дискретная математика (в основном теория графов).