Image title

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

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

В чем же дело?

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

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

Такой способ перевода существовал до 1980-х годов. В конце этого того десятилетия команда из исследовательского центра IBM Томаса Уотсона в Йорктаун Хайтс, штат Нью-Йорк, кардинально изменила подход к переводу текстов. Все правила времен, основы размещения слов в предложениях, их согласование, всё было выкинуто разработчиками из модели перевода.

Они воспользовались копией стенограммы канадского парламента, доступной как на английском, так и французский языках и использовали компьютер для сравнения положения слов в тексте и их текстовых особенностей.
Например, компьютер смог заметить, что предложения, содержащие французское слово «Bonjour», как правило, содержат английское слово «hello», находящееся примерно на том же месте в предложении.

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

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

Image title

Другим примером помощи компьютеров может служить их вклад в доказательства теорем и законов.

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

Данная теорема была доказана только в 1976 году Кеннетом Аппелем и Вольфгангом Хакеном с помощью компьютера. Это была первая крупная математическая теорема, доказанная с использованием компьютеров.
Учеными были предоставлены 1936 карты, ни одна из которых не могла содержать карту более мелкого размера, которая смогла бы опровергнуть теорию. Далее, используя специальный компьютерный код, было доказано, что не существует контрпримера к данной теореме. И любую карту можно окрасить с использованием четырех красок при данных условиях.

Данное доказательство долго оставалось не принятым основными, ведущими учеными, так как не могло быть проверенно вручную. Пьер Делинь сказал: "Я не верю в доказательства, проделанные с помощью компьютера. В некотором смысле, я очень эгоцентричен. Я верю в доказательства, если я могу их понять, если это ясно".

Со временем, справедливость доказательства подтверждалась и принималась учеными.

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

Данные примеры: перевод и доказательства теоремы были приведены здесь для того, что бы показать какую важную роль играют компьютеры, и компьютерное объяснение в нашей жизни. Доказательство в математике является не только обоснованием результата. Это так же и вид объяснения, показывающий, почему результат справедлив. Поэтому в наши дни возможен и развит вид доказательства при помощи компьютера: генерируются объяснения математических теорем, косвенные трактовки переводов.

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

Необходимо использовать способ компьютерного объяснения, улучшать наши познания с помощью техники. И возможно, когда-нибудь в будущем мы сможем «увидеть» глаголы, понять свойства моделей, углубить наше понимание лингвистических аспектов. Возможно мы сможем открыть новые правила грамматики, расширить свои знания, открыть ранее неизвестные единицы языка.
Но, пока что это на гране фантастики. Но, биологи все чаще и чаще используют геномные компьютерные модели. С помощью техники удалось сравнить геномы крокодилов, и прийти к выводу, что существуют два вида нильского крокодила, а не один, как считалось до этого.

С помощью анализа фрагмента пальца был найден новый вид человека «Denisovans».

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

Компьютеры предоставляют нам мощные объяснения, их работа идет во много раз продуктивнее и быстрее.

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



  • 2015-08-10 15:06:35
  • 7
  • +4.0
Автор публикации

Polina1402

2015-08-31 23:54:42 посещал сообщество.

Комментарии (7) оставить комментарий
  • 2015-08-10 18:48:49

    К сожалению, ничего нового для себя не открыл. То, что компьютерные технологии развиваются - факт. И не соглашусь насчет развития человечества с помощью машин. Мы скорее деградируем, в то время как развиваются компьютерные технологии. Школьники ленятся в уме пересчитывать примеры, люди ленятся пройтись пешком, когда у них есть автомобиль... перечислять можно долго, но, думаю, многие со мной согласятся, что развитие технологий скорее направлено на упрощение жизни человека. а не на его развитие.

    • Иван Жук (+39.8)
      2015-08-10 18:54:10

      Евгений, технологии развивают, как не парадоксально, тоже люди. А что бы уметь собрать и запрограммировать компьютер, построить двигатель и управлять космическим кораблем, нужен не хило так развитый интеллект. Другое дело, что есть пласт общества (самый большой), который привык исключительно потреблять, а не создавать...

  • IrinaIrina (+3.1)
    2015-08-11 00:06:26

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

  • Роман (0.0)
    2015-08-12 02:37:56

    Смотрите, чтобы не получилось, чтобы не получилось как в фильме "Терминатор Генезис", или "Я робот". Технологии это хорошо, я сам современный и успешно ими пользуюсь, просто не хочется проблем в будущем, по крайней мере, детям моим. Мне только 25.

  • Алина (0.0)
    2015-08-18 21:08:56

    С развитием информационных технологий, появилась возможность получать необходимую информацию в разных форматах текст/рисунок/видео/аудио - буквально одним нажатием кнопки. Имеется возможность доступа к справочно-правовым системам - это исключает необходимость собирать вырезанные статьи из профильных журналов в "папочке", как это делали юристы/бухгалтеры и проч. специалисты, когда не было глобального интернет пространства. Эти возможности не могут не радовать! Разбавляю безнадежный пессимизм комментариев к статье ...

  • Dona (0.0)
    2015-08-25 16:59:34

    Всем доброго времени суток, как мне кажется все таки от компьютерных технологий больше пользы чем вреда. К примеру, я могу увидеть фото и видеосъемку тех мест, о которых я и мечтать не могла. Чего стоят только снимки космоса?!

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

  • 2016-04-08 07:21:36

    Всё идет к созданию искусственного интеллекта и, возможно, к сценарию фильма "Терминатор" уже не в таком уж далеком будущем.

Напишите комментарий

Комментарий к публикации "Как компьютеры меняют пути познания окружающего мира"

Что бы разместить комментарий, напишите текст комментария и нажмите кнопку "оправить". Убедитесь, что комментарий не нарушает правила сайта.