Земля. Хроники Жизни.
Главная | Регистрация | Вход
 
Понедельник, 23.10.2017, 23:46
Приветствую Вас Гость |Личные сообщения() ·| PDA | RSS
Меню сайта
Форма входа
Логин:
Пароль:
Категории раздела
Аномалии [3016]
Атмосфера [1310]
Археология [4101]
Авторские статьи [487]
Вулканы [2923]
Война [1012]
Гипотезы [5911]
Другое [6699]
Животные [2209]
Землетрясения [4128]
Засуха [352]
Избранное [289]
Климат [3129]
Космос [9420]
Карстовые провалы [461]
Круги на полях [488]
Медицина и здоровье [1673]
Наука [9412]
НЛО [4231]
Наводнения [3009]
Океан [727]
Оползни [584]
Пожары [793]
Прогноз [1204]
Политические факторы [3485]
Предсказания и пророчества [686]
Радиация [621]
Солнце [1884]
Стихия [3011]
Сверхъестественное [1607]
Технологии [5154]
Тайны истории [4652]
Ураганы [2789]
Факторы и аварии [7828]
Хочу все знать [29]
Этот безумный мир [1377]
Экология [1311]
Эпидемии [967]
Эксклюзив [307]
Разговоры у камина
Статистика

Онлайн всего: 214
Пользователей: 208
Новых: 6
ЧАКРАВАРТИН, Элли, Милена, Линк, Time2Win, lusidan
Главная » 2014 » Февраль » 21 » Поворотный момент в истории человечества: Компьютер создал математическое доказательство, которое не в состоянии проверить ни один человек
11:08
Поворотный момент в истории человечества: Компьютер создал математическое доказательство, которое не в состоянии проверить ни один человек

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

hbjnmkl

Два математика из Ливерпульского университета, Великобритания, Алексей Лисица и Борис Конев, придумали интересную проблему – если компьютер приводит доказательство математической задачи, которое слишком велико для изучения, то как судить, насколько оно верное?

В своей статье, учёные описывают написание и запуск компьютерной программы для решения малой части задачи, известной как задача несоответствия Эрдеша.

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

Вполне понятно их стремление переложить на надёжные плечи машин генерацию наиболее приземлённых частей своего творчества.

Конечно, математиков терзали смутные сомнения, что когда-нибудь, в один из не самых прекрасных дней, компьютер будет работать очень долго, а результат его работы будет очень велик. И вот этот день настал.

Результат работы программы Лисицы и Конева поражает воображение – файл с текстом доказательства занимает объём в 13 гигабайт!

Это на два гигабайта больше, чем полный объём информации Википедии.

Теперь перед научным миром стоит диллема: либо принимать на веру доказательства, созданные машинами, как факт (хотя мы не в состоянии их проверить), либо отказаться от их использования, ограничивая тем самым наши возможности.

Категория: Технологии | Просмотров: 2492 | Добавил: СМЕРШ | Рейтинг: 5.0/| Оценить |Источник:http://gearmix.ru/
Всего комментариев: 16
1
1  
я так и не понял в этом, пользы....

3
2  
"Два математика из Ливерпульского университета, Великобритания, Алексей Лисица и Борис Конев"
видите..вроде бы русские..а попав к британским ученным стали такими же как и они biggrin

7
3  
теперь надо создать программу для проверки работы этой программы smile Чтобы хоть как-то подстраховаться.

0
4  
Суть видимо в том что ранее все произведенные компьютером расчеты возможно было проверить человеком, тем самым подтвердить либо опровергнуть вычисление.
Теперь же вычисления стали такого объема что проверить человеку их просто невозможно. ИМХО
wacko Ну и естественно не возможно не подтвердить не отвергнуть расчеты.

2
7  
да все можно проверить..прога в любом случае состоит из частей..которые и можно проверить..или вернее создавая прогу сделать ее заведомо нормальной..а если уж создали прогу которую и нельзя проверить..то она дерьмо и выводы ее ничего не стоят biggrin

1
5  
Если теоретическое знание найдет применение в жизни, то и проверять ничего не нужно. Работает значит работает, нет так нет. А если не применимо на практике, то зачем оно вообще надо? wacko

1
6  
еще одно решение из серии квадратуры круга . biggrin

0
8  
Молодцы программеры - весь мир обвели вокруг пальца!

0
9  
"... математиков терзали смутные сомненья,...". Интуиция их не подвела crazy

2
10  
C успехом заменяют человека – НЕ ЗАМЕНЯТ, их жрать ГМО не заставишь!

0
11  
как сложно

0
12  
Похоже все академические математики удрали за границу. Насколько я знаю в Штатах вообще на них все держится.
Из блок-схемы задачи трудно понять смысл задачи.
Если машине дали задачу "доказать" - то должны быть какие-то граничные условия и исходные посылки.

1
13  
Во славу технологической сингулярности! 11010000100100001101000010111100110100001011100011010000101111011101000110001100

0
15  
Действительно. Не думал, что мне посчастливится жить на заре эпохи технологической сингулярности. Не знаю, хорошо это или плохо, но будет интересно.

-1
14  
Доиграются...до сценария терминатора.

0
16  
Если рядом не было синей будки доктора Кто то беспокоится нечего biggrin

Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск по сайту
Мониторинг
Сейсмическая активность
Солнечная активность
Фазы луны
3D Планета Земля
Солнечная система
Космическая погода
Веб камеры мира
Системы мониторинга
Ионосферная активность
Вспышки на Солнце
Мониторинг вулканов
ТОП Новостей
В Арктике нашли настоящего монстра
В Бразилии нашли место приземления НЛО
В аравийской пустыне обнаружили загадочные "каменн...
За 48 часов в 20000 км от Земли пролетели два асте...
Солнечный ветер принесет на Землю геомагнитный што...
Календарь
Архив записей
Новое на форуме

1. ЗЕМЛЯ ПЛОСКАЯ..!!...так ли это..??

(1246)

2. Котэ

(1266)

3. Давайте предсказывать будущее

(3079)

4. ВСЁ.., ЧТО В МИРЕ.., ИНТЕРЕСНО..!!! часть №2

(3200)

5. Юмор

(6715)

Последние комментарии




Активность Солнца

При использовании материалов Земля - Хроники Жизни гиперссылка на сайт earth-chronicles.ru обязательна.
Рейтинг@Mail.ru Яндекс цитирования