Russia, 199178, St. Petersburg, 14 line V.O., 29B
+7 (812) 363-62-32
ru en

Сперанский Станислав Олегович
Сперанский Станислав Олегович
Доцент
Контакты:

14-ая линия Васильевского острова, дом 29, Санкт-Петербург, 199178, Россия

katze.tail@gmail.com

http://www.mi-ras.ru/~speranski/

Приёмные часы:

По предварительной договорённости


Образование

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.

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

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

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


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

Название курса
Год
Семестр
Роль