Корекурсия
Повторная экскурсия Основы рекурсии и коиндукции Рекурсия — это метод определения функции через саму функцию. Коиндукция — это метод определения […]
Вики
Self-reference
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Необоснованная теория множеств
Необоснованная теория множеств Основы теории множеств Необоснованные теории множеств нарушают правило обоснованности, позволяя множествам быть элементами самих себя. Дмитрий Мириманов
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Необоснованная теория множеств
Необоснованная теория множеств Основы теории множеств Необоснованные теории множеств нарушают правило обоснованности, позволяя множествам быть элементами самих себя. Дмитрий Мириманов
Вики
Мета (префикс)
Мета (префикс) Определение и использование префикса «мета-« «Мета-» означает «о (своей собственной категории)» и имеет множество значений в различных областях.
Вики
Непредикативность
Непредсказуемость В математике, логике и философии математики недоказуемое определение — это определение, ссылающееся на себя. Определение является непредикативным, если оно
Вики
Самоссылка
Ссылка на себя Самореференция — это использование одного элемента для ссылки на себя или на свое собственное произведение. В литературе
Вики
Самоподобие
Самоподобие Самоподобный объект в математике подобен своей части, демонстрируя статистическое самоподобие в разных масштабах. Фракталы являются типичными примерами самоподобных объектов.
Вики
Универсальный набор
Универсальный набор Универсальное множество — это множество, содержащее все множества. Идея универсального множества кажется интуитивно желательной в теории множеств Цермело-Френкеля.