|
|
Пишет Misha Verbitsky (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} tiphareth) в ![[info]](http://lj.rossia.org/img/community.gif){kind=small} ljr_math |
Угу. Минимальный ординал, который не может быть
конструктивно определен - счетный. Называется
"Church-Kleene ordinal". Он характерен тем, что
любая конструктивная операция переводит его в себя.
http://en.wikipedia.org/wiki/Large_coun
Привет
конструктивно определен - счетный. Называется
"Church-Kleene ordinal". Он характерен тем, что
любая конструктивная операция переводит его в себя.
http://en.wikipedia.org/wiki/Large_coun
Привет
Добавить комментарий:
