3 апр в 20:43 
Lesnik41 
: 
Lesnik41 : Есть ли задачи, непосильные для компьютера?
Некоторые задачи не под силу компьютеру либо прямо сейчас, либо в принципе
Задача может оказаться непосильной для компьютера по разным причинам. Самая банальная: мы не умеем писать нужные программы. Так, несмотря на все успехи нейронных сетей, им еще очень и очень далеко до того, чтобы заменить хорошего писателя, преподавателя или врача.
Еще один вариант: компьютеру может не хватать времени или памяти. Даже если компьютер вычисляет триллион знаков числа «пи» в секунду, ему потребуется более 10 млрд лет, чтобы добраться до знака под номером 1030!
Но, по крайней мере, мы можем написать программу, последовательно вычисляющую знаки числа «пи», пока хватает ресурсов. Для константы Чейтина такой фокус не пройдет. Доказано, что любая программа, последовательно выводящая ее знаки, рано или поздно зациклится навсегда. Нужный алгоритм не просто неизвестен или непосилен для «железа», он принципиально невозможен! К слову, чисел, подобных константе Чейтина, бесконечно много, они называются невычислимыми.
Так что возможности компьютера очень сильно преувеличены. Это всего лишь "железяка"..................................................................................................................................Может ли компьютер доказать теорему?
Иногда может, если теорема простенькая, но обычно лишь ассистирует в этом человеку
На самостоятельное доказательство теорем была способна еще программа «Логик-теоретик», написанная в 1956 г. Причем иногда она находила более краткое и изящное доказательство, чем известное человеку.
А может ли компьютер доказать совершенно новую теорему, еще не доказанную ни одним математиком? И такое случается, хотя и очень редко. Пример — доказательство гипотезы Роббинса (всякая алгебра Роббинса является булевой).
И все же обычно умозаключениями занимается человек, а компьютеру остается рутинная работа. Например, есть программы для проверки готовых доказательств на логические ошибки.
Важный пример использования компьютера связан с теоремой о четырех красках. Она гласит, что любую плоскую карту можно покрасить в четыре цвета так, что никакие две соседние страны не будут одноцветными. Можно рисовать страны любых размеров и форм, так что всевозможных карт бесконечно много.
Но в 1976 г. Кеннет Аппель и Вольфганг Хакен показали, что любая карта может быть сведена к одному из 1936 частных случаев. Компьютер перебрал все эти случаи, и на этом доказательство было завершено. Сегодня уже многие теоремы доказаны таким способом.
Задача может оказаться непосильной для компьютера по разным причинам. Самая банальная: мы не умеем писать нужные программы. Так, несмотря на все успехи нейронных сетей, им еще очень и очень далеко до того, чтобы заменить хорошего писателя, преподавателя или врача.
Еще один вариант: компьютеру может не хватать времени или памяти. Даже если компьютер вычисляет триллион знаков числа «пи» в секунду, ему потребуется более 10 млрд лет, чтобы добраться до знака под номером 1030!
Но, по крайней мере, мы можем написать программу, последовательно вычисляющую знаки числа «пи», пока хватает ресурсов. Для константы Чейтина такой фокус не пройдет. Доказано, что любая программа, последовательно выводящая ее знаки, рано или поздно зациклится навсегда. Нужный алгоритм не просто неизвестен или непосилен для «железа», он принципиально невозможен! К слову, чисел, подобных константе Чейтина, бесконечно много, они называются невычислимыми.
Так что возможности компьютера очень сильно преувеличены. Это всего лишь "железяка"..................................................................................................................................Может ли компьютер доказать теорему?
Иногда может, если теорема простенькая, но обычно лишь ассистирует в этом человеку
На самостоятельное доказательство теорем была способна еще программа «Логик-теоретик», написанная в 1956 г. Причем иногда она находила более краткое и изящное доказательство, чем известное человеку.
А может ли компьютер доказать совершенно новую теорему, еще не доказанную ни одним математиком? И такое случается, хотя и очень редко. Пример — доказательство гипотезы Роббинса (всякая алгебра Роббинса является булевой).
И все же обычно умозаключениями занимается человек, а компьютеру остается рутинная работа. Например, есть программы для проверки готовых доказательств на логические ошибки.
Важный пример использования компьютера связан с теоремой о четырех красках. Она гласит, что любую плоскую карту можно покрасить в четыре цвета так, что никакие две соседние страны не будут одноцветными. Можно рисовать страны любых размеров и форм, так что всевозможных карт бесконечно много.
Но в 1976 г. Кеннет Аппель и Вольфганг Хакен показали, что любая карта может быть сведена к одному из 1936 частных случаев. Компьютер перебрал все эти случаи, и на этом доказательство было завершено. Сегодня уже многие теоремы доказаны таким способом.
Канал: Робототехника
Метки: Поделился
 |  |  |
Комментарии (16)
Может ли компьютер доказать теорему? Иногда может, если теорема простенькая, но обычно лишь ассистирует в этом человеку
Доказать - КОМУ? Человеку. Значит зависит от настроения и распороложения Человека. Ассистирование Человеку - не есть самостоятельное мышление и вычисление! Чугунька - чугунька и есть... Орудие, но никак не самостоятельный интеллект. 2 Lesnik41 3 апр в 21:06
Согласен. Это всего лишь прибор для облегчения труда человеку и не более того. Всякая хрень типа искусственного интеллекта это уже способ пиарить компьютерные технологии.
0 
беспилотные автомобили сами принимают решения по управлению по обстоятельствам тормозить переключать скоростя это ль не логический ход выбора правельного решения и причём источник питания к интелекту человеку тоже отключи воду кислород он не сооброжать не будет не двигатся он ещё более беззащитный к жизни чем искуственный мозг
0 Хрен его знает, но я не верю. У нас было много случаев когда до ядерной войны оставались секунды. Эти гребаные компьютеры делали ошибки, причем элементарной простоты, то стая диких гусей летит под видом ядерных ракет, то сбой программы происходит. И только благодаря профессионалам офицерам сидящим на ядерных кнопках, мы еще болтаем в интернете. Причем офицерам как русским , так и американским. В США в обще была ситуация когда был приказ расстрелять сразу же офицера который дотронется к ядерной кнопке, такой был случай. А вина всему сбой программы компьютера.
1 Для добавления комментариев необходимо авторизоваться
Интерны
Увлекательная игра в больничку
