Лекция 10 | Математическая логика | Станислав Сперанский

[Весна 2020]

Основные темы:

— порядок в нестандартных моделях арифметики;
— инфинитезималы и бесконечная близость.

Слайды к лекциям размещены по адресу

[antonk]

40:06 Наверное, в определении a/b должно быть b*c = a (а не a*c = b)