Все разделы - Наука и техника - Компьютер проверил доказательство гипотезы Кеплера

Компьютер проверил доказательство гипотезы Кеплера

16:14:00 14.08.2014

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

Версия для печати | Источник новости

«Предыдущая В раздел Наука и техника Следующая»

17:37:24 18.08.2014 Лазеры увеличили чувствительность микроскопов в 20 раз
20:22:00 15.08.2014 Sony рассказала условия передачи игр PlayStation 4 через Share Play
19:31:19 14.08.2014 Хищных рыб крылаток уподобили терминаторам
16:14:00 14.08.2014 Компьютер проверил доказательство гипотезы Кеплера
15:16:00 14.08.2014 Ученые раскрыли секрет прочности астероидов типа «куча щебня»
14:52:00 14.08.2014 Российские пользователи iPhone и iPad заинтересовались биомедицинскими опытами
14:28:00 14.08.2014 Связь между предпочтениями в сексе и лицевой симметрией вновь поставлена под вопрос

Рекламодателям

Добавить ресурс

Вход для владельцев ресурсов

Создание сайта: Smartsoft