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