#матлог #учёба #спецсеминар

Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)

Время: 11 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк

Н.В. Лукашов (НИУ ВШЭ)

Сюрреальные числа Конвея

В своём докладе я совместной трансфинитной индукцией дам определение сюрреальных чисел и отношения порядка на них, как это делает Джон Конвей в своей книге «On Numbers and Games». Дальше мы покажем, что этот порядок является отношением предпорядка, и опишем все «конечные» сюрреальные числа, т.е. такие, которые получаются на конечных шагах. Затем мы обсудим, как вводятся операции сложения и умножения на сюрреальных числах, относительно которых они формируют упорядоченное Поле (Поле с большой буквы, поскольку сюрреальные числа образуют не множество, а собственный класс). В заключение мы подробно поговорим о шаге \omega в конструкции сюрреальных чисел, а также о том, как в них вкладываются вещественные числа, каким образом там представлены инфинитезимали, и, если останется время, о нормальных формах сюрреальных чисел.

❗Просьба ко всем потенциальным участникам зарегистрироваться на странице семинара. Ссылка для Контур.Толк будет отправлена зарегистрированным участникам накануне заседания.

➰ ВК