RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Летняя школа «Современная математика», 2008
19 июля 2008 г. 17:00, г. Дубна
 


Вычислимые действительные числа и их нумерации

В. А. Успенский
Видеозаписи:
Real Video 205.6 Mb
Windows Media 217.2 Mb
Flash Video 342.3 Mb
MP4 342.3 Mb

Количество просмотров:
Эта страница:1611
Видеофайлы:650

В. А. Успенский


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: Целые числа, рациональные, алгебраические…Что дальше (оставаясь в пределах действительных чисел)? Дальше идут вычислимые действительные числа, т.е. такие действительные числа, которые можно в разумном смысле вычислить. «Можно вычислить» означает, что вычисление можно запрограммировать. Мыслимы различные подходы к тому, что именно надо программировать. Один подход: составлять программу для получения сколь угодно близкого рационального приближения. Другой подход: составлять программу для получения любого знака в двоичной (троичной, …, десятичной, …и т.д.) записи числа. Возможны и другие естественные подходы. Все они эквивалентны в том смысле, что приводят к одному и тому же множеству вычислимых действительных чисел. Однако если рассмотреть, скажем, двоичную и десятичную записи чисел, то обнаруживается следующий эффект: существует алгоритм, переводящий программу десятичной записи в программу двоичной записи того же числа, но не существует алгоритма, переводящего программу двоичной записи в программу десятичной.
Программы вычислимых чисел естественно рассматривать как имена этих чисел. Различные упомянутые выше подходы приводят к различным системам имён, эквивалентным в одном смысле и не эквивалентным в другом. Снабжение элементов какого-либо множества именами называется нумерацией этого множества, потому что без ограничения общности имена можно считать натуральными числами.
Общая теория нумераций возникла в феврале 1954 г. в результате замечания, сделанного А. Н. Колмогоровым на руководимым им совместно с автором семинаре по рекурсивной арифметике. Поводом послужило изучение на указанном семинаре так называемых конструктивных ординалов (они же конструктивные порядковые числа), т.е. тех ординалов, которых можно снабдить именами, используя некоторую естественную алгоритмическую процедуру. Основные понятия теории нумераций были сформулированы Колмогоровым при обсуждении этой темы.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017