Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Является ли число омега математическим оракулом?

Автор: All Angles

Загружено: 2024-07-23

Просмотров: 11760

Описание:

Доступ к эксклюзивному контенту на Patreon: https://www.patreon.com/user?u=86649007

#alanturing #turingmachines #logic #complexity #omega #computerscience #happybirthday

В информатике мы изучаем поведение программ. Один из центральных вопросов — проблема остановки, сформулированная известным математиком Аланом Тьюрингом. Останавливается ли любая программа или нет? Мы исследуем, насколько далеко мы можем продвинуться в этом вопросе, используя число Омега, определенное Грегори Хайтином. Мы также обсуждаем колмогоровскую сложность, азартные игры, сопоставление с образцом и многое другое.

Если вы хотите узнать больше, воспользуйтесь следующими ссылками:

[WIKI 1] https://en.wikipedia.org/wiki/Kolmogo...

[WIKI 2] https://en.wikipedia.org/wiki/Halting...

[SCIAM 1] «Математические игры», Мартин Гарднер, Scientific American, ноябрь 1979 г., стр. 22

Содержание:
0:00 Введение
1:34 Случайное = несжимаемое
4:14 Большинство действительных чисел случайны
7:10 Случайное = непредсказуемое
9:40 Алан Тьюринг и проблема остановки
13:19 Число омега
15:46 Как работает оракул
19:57 Оракул навсегда вне досягаемости

Это видео опубликовано по лицензии CC Attribution
( https://creativecommons.org/licenses/... )

Является ли число омега математическим оракулом?

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

The soundness and completeness of logic

The soundness and completeness of logic

A gentle introduction to category theory

A gentle introduction to category theory

7  ПАРАДОКСОВ БЕСКОНЕЧНОСТИ

7 ПАРАДОКСОВ БЕСКОНЕЧНОСТИ

these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi

these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi

What A General Diagonal Argument Looks Like (Category Theory)

What A General Diagonal Argument Looks Like (Category Theory)

Как объединить логику и арифметику

Как объединить логику и арифметику

✓ Как извлекать корни «в столбик» | Ботай со мной #158 | Борис Трушин

✓ Как извлекать корни «в столбик» | Ботай со мной #158 | Борис Трушин

(Не)надежные генераторы случайных чисел в С++

(Не)надежные генераторы случайных чисел в С++

Math's Strangest Set

Math's Strangest Set

Как делить на НОЛЬ // Vital Math

Как делить на НОЛЬ // Vital Math

Почему простые числа образуют эти спирали? | Теорема Дирихле и пи-аппроксимации

Почему простые числа образуют эти спирали? | Теорема Дирихле и пи-аппроксимации

Куда исчезает ёмкость MLCC? Эффект DC-Bias и старение керамики X7R

Куда исчезает ёмкость MLCC? Эффект DC-Bias и старение керамики X7R

Граница вычислений

Граница вычислений

These Limits Are Too Complicated for Calculus

These Limits Are Too Complicated for Calculus

Корень из двух – первая математическая трагедия // Vital Math

Корень из двух – первая математическая трагедия // Vital Math

17 Ходов ПЕШКАМИ Подряд!В Психбольнице ему ЗАПРЕТИЛИ Шахматы. Бессмертная Партия Пешек

17 Ходов ПЕШКАМИ Подряд!В Психбольнице ему ЗАПРЕТИЛИ Шахматы. Бессмертная Партия Пешек

Как Гений Математик разгадал тайну вселенной

Как Гений Математик разгадал тайну вселенной

Type theory and the algebra of types

Type theory and the algebra of types

Лента Мёбиуса — кому вообще нужна топология? [3Blue1Brown]

Лента Мёбиуса — кому вообще нужна топология? [3Blue1Brown]

What is the Moebius function?   #SomePi

What is the Moebius function? #SomePi

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]