Ежегодная лекция Дональда Кнута в этом году — хранительница. Это по теме, которая будет понятна, даже если вы мало о ней знаете — коды без запятой.
Рубрика: Теория
Квантовая физика неразрешима
Существует множество предположительно реальных приложений вычислимости, но большинство из них являются теоретическими и не применимы к ситуациям, с которыми мы, вероятно, столкнемся. Теперь у нас есть результат, который доказывает неразрешимость очень простого вопроса квантовой механики.
Read more «Квантовая физика неразрешима»Игра на основе SAT
Проблема логической выполнимости или SAT — самая известная проблема NP Complete. Это довольно легко понять, если вы знакомы с логикой логики, но теперь у нас есть простая игра, которая поможет вам действительно проникнуть в суть происходящего.
Квантовые кошки
Можно ли узнать о квантовой механике и, в частности, о квантовых вычислениях, просто играя в игру?
Чтобы вы не тратили время на этот вопрос — нет, нельзя.
Read more «Квантовые кошки»Microsoft выпускает инструмент квантовых вычислений
Microsoft проявляет большой интерес к квантовым вычислениям, и хотя на данный момент у нас их фактически нет, это не помешало ей создать симулятор под названием LIQUi |>.
Read more «Microsoft выпускает инструмент квантовых вычислений»
Гипотеза Эрдоса доказана
Это не такие уж важные теоретические новости, как NP = P или что-то подобное, но идея захватывающая. Около 80 лет назад замечательный и странный математик Пол Эрдош сформулировал, казалось, простой вопрос о числовых последовательностях, и это только что было доказано.
Компьютер обнаружил новую пятиугольную плитку — с некоторой помощью человека
Только что была обнаружена новая пятиугольная мозаика плоскости. Это первый за 30 лет, и мы до сих пор не знаем, есть ли еще.
Read more «Компьютер обнаружил новую пятиугольную плитку — с некоторой помощью человека»
Носите свой любимый сотовый автомат как шарф
KnitYak — это программа KickStarter, цель которой — предоставить вам свой собственный шарф с клеточными автоматами. Вы выбираете 1D автомат, и машина вяжет его за вас.
Скользящие блоки завершены по Тьюрингу
Алгоритмы и вычисления лежат в основе всего. Когда клетки подчиняются программе ДНК, они становятся человеком — но как все они могут следовать одним и тем же инструкциям, но при этом делать разные вещи? Это вопрос, который рассматривается в этом видео, и если вы посмотрите только одно видео в этом году, убедитесь, что это именно он.
Программа доказательства теорем Microsoft Z3 получила награду
Устройство доказательства теорем Z3 от Microsoft Research было удостоено награды ACM SIGPLAN Programming Languages за 2015 год.
Read more «Программа доказательства теорем Microsoft Z3 получила награду»