Вычислимые действительные числа и их нумерации // Владимир Успенский
Целые числа, рациональные, алгебраические… Что дальше (оставаясь в пределах действительных чисел)? Дальше идут вычислимые действительные числа, т.е. такие действительные числа, которые можно в разумном смысле вычислить. «Можно вычислить» означает, что вычисление можно запрограммировать. Мыслимы различные подходы к тому, что именно надо программировать. Один подход: составлять программу для получения сколь угодно близкого рационального приближения. Другой подход: составлять программу для получения любого знака в двоичной (троичной, …, десятичной, … и т.д.) записи числа. Возможны и другие естественные подходы. Все они эквивалентны в том смысле, что приводят к одному и тому же множеству вычислимых действительных чисел. Однако если рассмотреть, скажем, двоичную и десятичную записи чисел, то обнаруживается следующий эффект: существует алгоритм, переводящий программу десятичной записи в программу двоичной записи того же числа, но не существует алгоритма, переводящего программу двоичной записи в программу десятичной.
Программы вычислимых чисел естественно рассматривать как имена этих чисел. Различные упомянутые выше подходы приводят к различным системам имён, эквивалентным в одном смысле и не эквивалентным в другом. Снабжение элементов какого-либо множества именами называется нумерацией этого множества, потому что без ограничения общности имена можно считать натуральными числами.
Общая теория нумераций возникла в феврале 1954 г. в результате замечания, сделанного А. Н. Колмогоровым на руководимым им совместно с автором семинаре по рекурсивной арифметике. Поводом послужило изучение на указанном семинаре так называемых конструктивных ординалов (они же конструктивные порядковые числа), т.е. тех ординалов, которых можно снабдить именами, используя некоторую естественную алгоритмическую процедуру. Основные понятия теории нумераций были сформулированы Колмогоровым при обсуждении этой темы.
Успенский Владимир Андреевич, доктор физико-математических наук, профессор.
Летняя школа «Современная математика», г. Дубна, 19 июля 2008 г.
http://forany.xyz/a-226
Видео Вычислимые действительные числа и их нумерации // Владимир Успенский канала Научный канал
Программы вычислимых чисел естественно рассматривать как имена этих чисел. Различные упомянутые выше подходы приводят к различным системам имён, эквивалентным в одном смысле и не эквивалентным в другом. Снабжение элементов какого-либо множества именами называется нумерацией этого множества, потому что без ограничения общности имена можно считать натуральными числами.
Общая теория нумераций возникла в феврале 1954 г. в результате замечания, сделанного А. Н. Колмогоровым на руководимым им совместно с автором семинаре по рекурсивной арифметике. Поводом послужило изучение на указанном семинаре так называемых конструктивных ординалов (они же конструктивные порядковые числа), т.е. тех ординалов, которых можно снабдить именами, используя некоторую естественную алгоритмическую процедуру. Основные понятия теории нумераций были сформулированы Колмогоровым при обсуждении этой темы.
Успенский Владимир Андреевич, доктор физико-математических наук, профессор.
Летняя школа «Современная математика», г. Дубна, 19 июля 2008 г.
http://forany.xyz/a-226
Видео Вычислимые действительные числа и их нумерации // Владимир Успенский канала Научный канал
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Вневписанная окружность // Александр БлинковНепрерывность в алгебраических задачах // Александр БлинковЦепные дроби квадратных корней из целых чисел. Лекция 1 // Владимир АрнольдФункции и графики. Раздел 1Избранные задачи алгебры и геометрии // Виктор ПрасоловГеометрия расположения, или первые шаги топологии. Лекция для лингвистов // Владимир УспенскийОнтология и математика // Виталий ЦелищевВзвешивания, отгадывания, пробы: сложность алгоритмов // Александр ШеньНепрерывность в геометрии // Александр БлинковИстория языка эпсилон-дельта от Коши до Вейерштрасса // Галина СинкевичКвантовые вычисления. Лекция 2 // Александр РазборовЗадачи ловушки и задачи с несколькими правильными ответами // Максим КармановНекоторые аспекты применения теории фракталов в музыке // Алексей ПлюснинКривой рэп // Репер Френе и DJ/dtЭмоциональная геометрия // Исаак КушнирАстроидальная геометрия и топология. Лекция 2 // Владимир АрнольдДиссипативные структуры в нелинейных средахАлгебраическая сложность. Лекция 2 // Александр РазборовСудьба переводов Кантора в России // Галина СинкевичИстория понятия числовой прямой // Галина СинкевичРешение нестандартных уравнений и неравенств // Сергей КоноваловМатематика и ботаника // Алексей Оскольский, Дмитрий Соколов // Программа Гордона №273Компакты и компактность // Иван ЯщенкоКруглый стол «Математика и философия»