Российская Информационная Сеть
English   Контакты
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ
ТОП-дайджест  Хроника  Эксклюзив  Фоторепортажи  Личное мнение  Погода  Комментарии  Поиск  RSS  Интернет-радио  
 Топ 20 сегодня Топ 20 сегодня 
В Новосибирске совершил вынужденную посадку лайнер "Аэрофлота"
В Киеве оценили способность Украины платить по долгам
Колокольцев прибыл в США на саммит полицейских служб
Еврокомиссия ввела дополнительные пошлины на импорт американских товаров...
Россия призвала ООН взять дело Вышинского под особый контроль
Москва потребовала от Киева пересмотреть политику в области СМИ
В Госдуме рассказали о последствиях выхода США из Совета ООН по правам человекаВ Госдуме рассказали о последствиях выхода США из Совета ООН по правам...
В Крыму в ДТП с грузовиком погибли пять человекВ Крыму в ДТП с грузовиком погибли пять человек
В Японии число жертв землетрясения достигло пятиВ Японии число жертв землетрясения достигло пяти
ВВС Израиля нанесли серию ударов по сектору ГазаВВС Израиля нанесли серию ударов по сектору Газа
далее топ дня...
 Фотожурнал: фото-топ за месяц, галерея всех фото Фотожурнал 
 Новости партнеров
 Топ новости разделов сегодня Топ новости разделов 
В Новосибирске совершил вынужденную посадку лайнер "Аэрофлота"В Новосибирске совершил вынужденную посадку лайнер "Аэрофлота"
Рубль уверенно растет на фоне отсрочки введения новых санкцийРубль уверенно растет на фоне отсрочки введения новых санкций
Конституционный суд разрешил магистрантам получать отсрочку от армииКонституционный суд разрешил магистрантам получать отсрочку от армии
В Кремле прокомментировали ситуацию с TelegramВ Кремле прокомментировали ситуацию с Telegram
Как провести полезный онлайн вебинарКак провести полезный онлайн вебинар
В кузбасском управлении МЧС прошли обыски по делу о пожаре в "Зимней Вишне"В кузбасском управлении МЧС прошли обыски по делу о пожаре в "Зимней Вишне"...
Учительница в Стерлитамаке пыталась защитить детей от нападавшего школьникаУчительница в Стерлитамаке пыталась защитить детей от нападавшего школьника...
Российские военные нашли в сирийской Думе склад веществ для производства химоружияРоссийские военные нашли в сирийской Думе склад веществ для производства...
Павел Дуров получил британское гражданствоПавел Дуров получил британское гражданство
Собчак сообщила, что на нее напали в центре МосквыСобчак сообщила, что на нее напали в центре Москвы
далее...
 Личное мнение Личное мнение 

 Новости о знаменитостях Знаменитости 
Новость: 16 июля 18:14: Айза Долматова рассказала правду о своем бойбфрендеАйза Долматова рассказала правду о своем бойбфренде

Новость: 22 июля 09:00: Родион Газманов устроил "Самый яркий день"Родион Газманов устроил "Самый яркий день"


 Заплатим за ваше мнение!
Получайте до 1,5 долларов за каждую заполненную анкету!



 Новости науки и техники Новости науки и техники 
13 ноября, 13:10

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

Новости науки и техники: Компьютер проверит математические доказательства
Новости по теме:
Американский математик Томас Хэйлс при сотрудничестве с учеными из корпорации Intel разрабатывает пакет компьютерных программ, которые смогут проверять корректность математических доказательств.

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

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

Он считает, что подобный подход приведет к облегчению труда математика и позволит получать полностью корректные результаты. По оценке ученого, такой пакет программ удастся создать в ближайшие годы.
[Читать все комментарии] [Напечатать новость]
Газета.ru http://www.gazeta.ru
  Комментарии к новости 
[Добавить комментарий]

Комментариев к этой новости пока нет. Добавьте первым свой комментарий!
[Добавить комментарий]
 Хроника новостей: Новости науки и техники Хроника новостей 
В Кремле прокомментировали ситуацию с Telegram

6 апреля 13:04
Роскомнадзор подал иск о блокировке Telegram

6 апреля 11:04
С Байконура стартовала ракета "Союз-ФГ" с пилотируемым кораблем

21 марта 22:04
В Пентагоне признали бессилие США перед российским гиперзвуковым оружием

21 марта 05:04
Российские крылатые ракеты не станут причиной отказа от авианосцев, заявили в США

7 марта 23:04
Путин рассказал, как разрабатывалось новое российское оружие

5 марта 15:04
Россия и Китай подписали соглашение по исследованию Луны и дальнего космоса

3 марта 14:04
В Минобороны подсчитали число ракет, которые США развернут у границ России

3 марта 00:04
В ближайшее время РВСН получат несколько ракет "Сармат"

2 марта 18:04
США испытают гиперзвуковое оружие в следующем году

2 марта 10:04
"Союз МС-06" вернулся на Землю

28 февраля 06:04
В архипелаге Новая Земля образовался еще один остров

13 февраля 18:04
Запись последнего полета Ан-148 уцелела, заявили в МАК

13 февраля 14:04
На Байконуре перенесли пуск ракеты "Союз-2.1а"

11 февраля 13:04
Глава "Ростеха" допустил возможность продажи С-400 США

11 февраля 03:04
Центральный ускоритель новой ракеты Falcon Heavy разбился при посадке

7 февраля 06:04
Сверхтяжелая ракета Falcon Heavy отправилась в первый полет

7 февраля 01:04
В США признали преимущество России по системам ПВО и высокоточному оружию

4 февраля 11:04
Ракета "Союз-2.1а" стартовала с космодрома Восточный

1 февраля 06:04
Испытание американской противоракеты на Гавайях окончилось неудачей

1 февраля 00:04
Су-27 перехватил американский самолет-разведчик у границы России

29 января 23:04
В Совфеде прокомментировали обвинения британских спецслужб в адрес министра обороны

29 января 07:04
NI рассказал об ответе США на новые российские вооружения

27 января 02:04
Путин предложил создать гражданский сверхзвуковой самолет на базе Ту-160

25 января 15:04
Путину показали полет нового бомбардировщика "Петр Дейнекин"

25 января 14:04
Россия ведет переговоры о продаже С-400 на Ближний Восток и в Юго-Восточную Азию

23 января 07:04
Источник сообщил о планируемой утилизации двух крупнейших в мире российских подлодок

19 января 05:04
Источник сообщил о планируемой утилизации двух крупнейших в мире подлодок

19 января 04:04
Автомобили проекта "Кортеж" появятся в свободной продаже в 2019 году

16 января 21:04
США собираются увеличить количество ядерного оружия для "сдерживания" России

13 января 00:04
 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25 >> 939
 Главная новость дня Главная новость дня 
В Киеве оценили способность Украины платить по долгам
 
 Эксклюзив Эксклюзив 
Как провести полезный онлайн вебинар Как провести полезный онлайн вебинар
 
  Топ новостей Опросы 
 Фоторепортажи: новости с подборкой фотографий Фоторепортажи 
Вуди Харрельсон бросил курить траву
Актер Шайя ЛаБаф лечится от алкогольной зависимости
Опубликованы ранние снимки Дэвида Боуи (фото)
Катя Жужа покидает Сейшельские острова
Новые маленькие кроссоверы известных марок выходят на рынок.
 Новости партнеров
 Новости дня Новости дня 
 
  Copyright © RIN 2000-
* Обратная связь
Контактная информация  
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ