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