Гипотеза Мартина ⇐ Васина Википедия

[wiki_en]

В математике, точнее, в теории рекурсии, по сути, утверждает, что единственными нетривиальными определяемыми инвариантными функциями Тьюринга являются прыжок Тьюринга и
Его итерация через трансфинит.
Он назван в честь Дональда Мартина, который сделал эту гипотезу в конце 1970 -х годов; Впервые он появился в печати как пункт 5 в списке под названием «Проблемы Виктории Дельфино», который был опубликован как приложение



Подробнее: https://en.wikipedia.org/wiki/Martin%27s_Conjecture