Кеннет Аппель вспомнил о доказательстве теоремы о четырех цветах

Кеннет Аппель (1932-2013) вместе с Вольфгангом Хакеном доказали теорему о четырех цветах и открыли новые горизонты в использовании компьютера для завершения доказательства. Впервые компьютер сыграл важную роль в доказательстве основной математической теоремы.

Жизнь Пи — да, это день Пи

Первые три цифры числа Пи равны 3,14, поэтому 14 марта — день числа Пи. В этом году не жалеют средств, чтобы убедиться, что мир знает, насколько захватывающим является это трансцендентное число.

Тесты отбора проб бозона Квантовые вычисления

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

Бумага в твите

Крошечные транзакции по информатике звучат как безумная идея — полная академическая статья в 140 символов! Но так ли это? Возможно, это действительно хорошая идея.

Революция в эволюционной теории игр: дилемма заключенного решена?

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

Новая вычислительная вселенная — СОЛЬ Фредкина

Эдвард Фредкин считает, что последняя великая теория всего будет вычислительной — что Вселенная — это компьютер. Теперь у нас есть пример чрезвычайно простой вычислительной системы — клеточных автоматов, в которой есть частицы, которые притягиваются и отталкиваются, вращаются и распадаются по закону полураспада.