Так что же это такое - эта ваша загадочная Теория Нумераций? Постоянно слышу что Колмогоров ею занимался, но сегодня такой дисциплины вроде нет

(Reply to this) (Parent) (Thread)

Нумерация, это техника, которую использовал Гедель в своих теоремах о неполноте.

Наверное это такая теория про обобщения таких доказательств.

(Reply to this) (Parent)