В этой книге Дуглас Хофстадтер (Douglas Hofstadter) исследует аспекты творчества Эшера, относящиеся к теории информации и искусственному интеллекту. Дейт приносит извинение за использование идеи названия книги Gödel, Escher, Bach: An Eternal Golden Braid (совсем в другом контексте). (Прим. переводчика)
Если мы назовем этот предикат Q, то эквивалентным образом его можно сформулировать следующим образом: «Имеется ровно N истинных инстанциаций предиката Q» – формулировка, которая подчеркивает, что предикат ссылается сам на себя, и позволяет провести параллель с предыдущим примером.
Замечу, что в этой цитате говорится как о рекурсивных типах, определяемых косвенным образом, так и о тех, которые определяются напрямую. (Я немного изменил текст, но не затронул его смысл в каком-либо важном аспекте. Вы может игнорировать упоминание «возможного представления», если не знаете, что это такое.)