Кеннет Аппель (1932-2013) вместе с Вольфгангом Хакеном доказали теорему о четырех цветах и открыли новые горизонты в использовании компьютера для завершения доказательства. Впервые компьютер сыграл важную роль в доказательстве основной математической теоремы.
Рубрика: Теория
Жизнь Пи — да, это день Пи
Первые три цифры числа Пи равны 3,14, поэтому 14 марта — день числа Пи. В этом году не жалеют средств, чтобы убедиться, что мир знает, насколько захватывающим является это трансцендентное число.
48-я вычисленная Прайм Мерсенна
С простыми числами Мерсенна легче работать, чем с общими простыми числами, но последнее, 48-е из известных, имеет более 17 миллионов десятичных цифр — большие по любым меркам.
Тесты отбора проб бозона Квантовые вычисления
Несмотря на всю эту шумиху, мы до сих пор не знаем, сможем ли мы построить квантовый компьютер, который чего-нибудь стоит. Теперь у нас есть кое-что, что может сократить путь к тестированию полной машины — отбор проб бозонов.
Перетасовка квадрата NP-завершена
Новые полные задачи NP всегда интересны, потому что они расширяют наши представления о том, что трудно вычислить. Теперь у нас есть новый результат, что перестановка квадратных строк NP-Hard.
Бумага в твите
Крошечные транзакции по информатике звучат как безумная идея — полная академическая статья в 140 символов! Но так ли это? Возможно, это действительно хорошая идея.
Компьютер на основе капель воды
Удивительно, из чего можно построить компьютер — крабов, слизистой плесени и всех видов химикатов. Теперь у нас есть пример компьютера, в котором используются капли воды.
Квантовый компьютер находит факторы
Алгоритм квантового разложения Шора был впервые запущен на твердотельном устройстве и успешно разложил составное число. Это начало революции квантовых вычислений?
Революция в эволюционной теории игр: дилемма заключенного решена?
Теория игр достаточно хорошо известна, чтобы нас не удивили глубокие потрясения, но одна из наиболее изученных игр, «Дилемма заключенного», вернулась в центр внимания. Сюрприз в том, что есть выигрышная стратегия.
Новая вычислительная вселенная — СОЛЬ Фредкина
Эдвард Фредкин считает, что последняя великая теория всего будет вычислительной — что Вселенная — это компьютер. Теперь у нас есть пример чрезвычайно простой вычислительной системы — клеточных автоматов, в которой есть частицы, которые притягиваются и отталкиваются, вращаются и распадаются по закону полураспада.