Войти в аккаунт
Хотите наслаждаться полной версией, а также получить неограниченный доступ ко всем материалам?

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

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

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

Томас Хэйлс уверен, что внедрение подобный программ, поспособствует не только снижению ошибок, но существенно упростит труд математиков. Специалисты в этой области сообщают, что новое программное обеспечение появится уже в ближайшие годы.
Источник: scienceblog.ru
{{ rating.votes_against }} {{ rating.rating }} {{ rating.votes_for }}

Комментировать

осталось 1800 символов
Развернуть комментарии

Все комментарии (0)

×
Заявите о себе всем пользователям Макспарка!

Заказав эту услугу, Вас смогут все увидеть в блоке "Макспаркеры рекомендуют" - тем самым Вы быстро найдете новых друзей, единомышленников, читателей, партнеров.

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

Сейчас для мгновенного попадания в этот блок нужно купить 1 ставку.

Цена 10.00 MP
Цена 40.00 MP
Цена 70.00 MP
Цена 120.00 MP
Оплата

К оплате 10.00 MP. У вас на счете 0 MP. Пополнить счет

Войти как пользователь
email
{{ err }}
Password
{{ err }}
captcha
{{ err }}
Обычная pегистрация

Зарегистрированы в Newsland или Maxpark? Войти

email
{{ errors.email_error }}
password
{{ errors.password_error }}
password
{{ errors.confirm_password_error }}
{{ errors.first_name_error }}
{{ errors.last_name_error }}
{{ errors.sex_error }}
{{ errors.birth_date_error }}
{{ errors.agree_to_terms_error }}
Восстановление пароля
email
{{ errors.email }}
Восстановление пароля
Выбор аккаунта

Указанные регистрационные данные повторяются на сайтах Newsland.com и Maxpark.com