Математиков будут проверять на компьютерах

Математиков будут проверять на компьютерах

В стране и миреВ мире
Как сообщает радио «Свобода», компания Intel совместно с известным американским математиком Томасом Хэйлсом начала разработку нового продукта, который будет следить за правильностью математических обоснований.

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

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

  scienceblog.ru
Вступайте в группу Новости города Новокузнецк в социальной сети Вконтакте, чтобы быть в курсе самых важных новостей.

всего: 558 / сегодня: 2

Комментарии /0

Смайлы

После 22:00 комментарии принимаются только от зарегистрированных пользователей ИРП "Хутор".

Авторизация через Хутор:



В стране и мире