Последовательность Спекера
Последовательность спекеров Последовательность Спекера является рекурсивным контрпримером к принципу наименьшей верхней границы в математическом анализе. Последовательность ограничена сверху на 1, […]
Вики
Computable analysis
Вики
Вычислительный анализ
Вычислимый анализ Вычислимый анализ — раздел математики, изучающий вычислимость функций и множеств. Вычислимые функции представлены в виде программ на машине