"Евдоксовы" вещественные числа

[viktorpetrov]

Устали от сечений по Дедекинду? Надоели последовательности Коши? Выход есть!

https://ncatlab.org/nlab/show/Eudoxus+real+number

Comments

[falcao]

Мне один коллега несколько лет назад давал ссылку на этот подход. Эффектная вещь! Помимо всего прочего, можно давать студентам как тему для курсовых.