Образование

04.2013 — к.ф.-м.н. (по специальности «математическая логика, алгебра и теория чисел»)
Место защиты: Институт математики им. С.Л. Соболева СО РАН
Название диссертации: Логика вероятности и вероятностная логика
Научные руководители: С.П. Одинцов и Е.Е. Витяев

06.2010 — магистр математики (по направлению «прикладная математика и информатика»)
Место защиты: Новосибирский государственный университет

06.2008 — бакалавр математики
Место защиты: Новосибирский государственный университет

Научные интересы

Мои основные работы относятся к следующим областям:

• логика и теория вычислимости;
• основания и философия математики.

Избранные публикации

1. S.P. Odintsov and S.O. Speranski. Belnap–Dunn modal logics: truth constants vs. truth values. Review of Symbolic Logic, 2019. Published online. 21 pp.
2. L. Horsten and S.O. Speranski. Reasoning about arbitrary natural numbers from a Carnapian perspective. Journal of Philosophical Logic, 2018. Published online. 23 pp.
3. S.O. Speranski. Quantifying over events in probability logic: an introduction. Mathematical Structures in Computer Science 27:8, 1581–1600, 2017.
4. S.O. Speranski. Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105:2, 407–429, 2017.
5. S.O. Speranski. Some new results in monadic second-order arithmetic. Computability 4:2, 159–174, 2015.

Дополнительная информация

См. моё резюме (на английском).

В качестве полезного источника информации для студентов, которые хотели бы узнать больше о логических понятиях и методах, я бы рекомендовал Стэнфордскую энциклопедию философии.

Читаемые курсы