поиск 
 
 
 
 
 
 Белые страницы однополчан
 Ищу тебя
 Список погибших 1941-1945
 Солдатские медальоны 1941-45
 
 
 
 
 
 
 История Отечества
Русско-турецкая война
Русско-японская война
Первая мировая война
Гражданская война
Вторая мировая война
Необъявленные войны СССР
Война в Афганистане
Война в Чечне
Грузино-российский конфликт
Осетино-ингушский конфликт
 
 
 
 Великие битвы
 Аллея Славы
 Великие полководцы
 
 
 
 
 
 
 Знаменательные даты
 Фронтовые письма
 Истории очевидцев
 Военные потери в войнах XX в.
 Города-герои
 
 
 
 
 
 
 Военная геральдика
Флаги РСФСР, 1918-1922
Знаки СССР
Ордена СССР
Медали СССР
Юбилейные медали СССР
Флаги СССР
Знаки отличия РФ
Ордена РФ
Медали РФ
Флаги РФ
 Организации
 Законодательные документы
 Военные песни
 Энциклопедия военной техники
 Военная проза и поэзия
 Кинофильмы
 


 
 
Наши проекты
Мировые новости Сайты для компаний Служба рассылки Игровой сервер Открытки любимым
Тесты
 
 



 



Russian Information Network
 
 

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

<<назад

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

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

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

Он считает, что подобный подход приведет к облегчению труда математика и позволит получать полностью корректные результаты. По оценке ученого, такой пакет программ удастся создать в ближайшие годы.

  • Осетино-ингушский конфликт
  • Компьютер проверит математические доказательства
  • Бактерии умеют решать математические задачи
  • Роспотребнадзор снова проверит молдавские вина
  • Прокуратура проверит фирму, занимавшуюся дезинфекцией "Магнита"
  • Первый компьютер Apple пустят с молотка
  • Казанцев Александр Петрович, Астана
  • Нестеров Петр Николаевич, Нижний Новгород
  • Моссаковский Владимир Иванович, Мелитополь


  •