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