Рубрика: Теория

Ежегодная лекция Дональда Кнута в этом году — хранительница. Это по теме, которая будет понятна, даже если вы мало о ней знаете — коды без запятой.

Существует множество предположительно реальных приложений вычислимости, но большинство из них являются теоретическими и не применимы к ситуациям, с которыми мы, вероятно, столкнемся. Теперь у нас есть результат, который доказывает неразрешимость очень простого вопроса квантовой механики.

Проблема логической выполнимости или SAT — самая известная проблема NP Complete. Это довольно легко понять, если вы знакомы с логикой логики, но теперь у нас есть простая игра, которая поможет вам действительно проникнуть в суть происходящего.

Microsoft проявляет большой интерес к квантовым вычислениям, и хотя на данный момент у нас их фактически нет, это не помешало ей создать симулятор под названием LIQUi |>.

Это не такие уж важные теоретические новости, как NP = P или что-то подобное, но идея захватывающая. Около 80 лет назад замечательный и странный математик Пол Эрдош сформулировал, казалось, простой вопрос о числовых последовательностях, и это только что было доказано.

Только что была обнаружена новая пятиугольная мозаика плоскости. Это первый за 30 лет, и мы до сих пор не знаем, есть ли еще.

KnitYak — это программа KickStarter, цель которой — предоставить вам свой собственный шарф с клеточными автоматами. Вы выбираете 1D автомат, и машина вяжет его за вас.

Алгоритмы и вычисления лежат в основе всего. Когда клетки подчиняются программе ДНК, они становятся человеком — но как все они могут следовать одним и тем же инструкциям, но при этом делать разные вещи? Это вопрос, который рассматривается в этом видео, и если вы посмотрите только одно видео в этом году, убедитесь, что это именно он.

Устройство доказательства теорем Z3 от Microsoft Research было удостоено награды ACM SIGPLAN Programming Languages за 2015 год.