(no subject)

Хе, прикольно. Кажется, счётные ординалы можно поставить в соответствие Fixed-point комбинаторам. Причём стандартные комбинаторы это в точности рекурсивные ординалы.

Хотя может я и гоню..