Это не такие уж важные теоретические новости, как NP = P или что-то подобное, но идея захватывающая. Около 80 лет назад замечательный и странный математик Пол Эрдош сформулировал, казалось, простой вопрос о числовых последовательностях, и это только что было доказано.
Автор: WinAx
Компьютер обнаружил новую пятиугольную плитку — с некоторой помощью человека
Только что была обнаружена новая пятиугольная мозаика плоскости. Это первый за 30 лет, и мы до сих пор не знаем, есть ли еще.
Носите свой любимый сотовый автомат как шарф
KnitYak — это программа KickStarter, цель которой — предоставить вам свой собственный шарф с клеточными автоматами. Вы выбираете 1D автомат, и машина вяжет его за вас.
Скользящие блоки завершены по Тьюрингу
Алгоритмы и вычисления лежат в основе всего. Когда клетки подчиняются программе ДНК, они становятся человеком — но как все они могут следовать одним и тем же инструкциям, но при этом делать разные вещи? Это вопрос, который рассматривается в этом видео, и если вы посмотрите только одно видео в этом году, убедитесь, что это именно он.
Программа доказательства теорем Microsoft Z3 получила награду
Устройство доказательства теорем Z3 от Microsoft Research было удостоено награды ACM SIGPLAN Programming Languages за 2015 год.
MIT обнаруживает ошибки переполнения
Это самая старая ошибка — переполнение преследовало любую попытку создать хорошую программу с тех пор, как мы начали писать код. Теперь у MIT есть улучшенная система для поиска ошибок переполнения путем изучения кода.
День Пи века
День Пи — это 14 марта каждого года, потому что 3,14 — это первые три цифры числа Пи, но в этом году дата — 14 марта 2015 г., и это первые пять цифр числа Пи — 3,1415. Это случается только раз в столетие, так что давайте праздновать!
Лекция Дональда Кнута о рождественской елке
По традиции, которой уже 20 лет, в начале этого месяца Дональд Кнут представил в Стэнфордском университете свою лекцию о рождественской елке 2014 года. Его тема, как всегда, связана с чем-то новым о деревьях, которые он узнал в течение года — в данном случае (3/2) -ричных деревьях.
Задача остановки, используемая для доказательства того, что робот не может вычислимо убить человека
Что касается ошибок вычислимости и проблемы остановки в целом, вы, вероятно, не могли бы найти лучшего примера. В недавней статье изложены аргументы по важной теме — роботы, обладающие способностью убивать. Вывод таков: информатика доказывает, что их следует запретить.
Смотри и говори числа и константа Конвея
В новом видео от Numberphile Джон Конвей рассказывает историю чисел и их интересных свойств. Это история регулярности, но не арифметика.