Большое, малое и человеческий разум - [35]
А(n, n) = С>k(n).
Положив n = k, мы тут же получаем
А(k, k) = С>k(k),
что в сочетании с условием (1) сразу приводит к заключению:
Если операция А(k, k) завершена, то вычисление С>k(k) не закончено.
Вспомнив, что А(k, k) совпадает с С>k(k), мы попадаем в логическую ловушку. Раз вычисление С>k(k) заканчивается, то оно не заканчивается (следовательно, оно заканчивается и т. д.). Ловушка заключается в том, что если мы доверяемся проверочной процедуре А, то должны верить и в то, что вычисление С>k(k) не закончено. Однако при этом процедура А тоже никак не может закончиться, т. е. «понять» наконец, что вычисление С>k(k) не кончается. Поэтому вычислительная процедура никак не может замкнуть цепочку математических рассуждений и решить, что заданное вычисление не заканчивается, т. е. установить истину П1-утверждения. В этом суть доводов Гёделя-Тьюринга в той форме, которая нужна мне для дальнейших рассуждений.
Вы можете подумать об общем смысле этого доказательства. Оно ясно демонстрирует, что математическое понимание и/или интуиция не могут быть закодированы в виде какого-то вычислительного процесса, в справедливости которого мы можем быть абсолютно уверены. Мне кажется, что приведенная формулировка наиболее ясным образом определяет сущность подхода Гёделя-Тьюринга, хотя некоторые придерживаются другой точки зрения. В этой связи интересно вспомнить, что писали сами эти авторы о полученном ими результате. Предлагаю вам одну из оценок Тьюринга:
«Другими словами, абсолютно безупречно работающая машина не может обладать интеллектом. Об этом свидетельствует ряд теорем, которые, однако, ничего не говорят о том, каким уровнем интеллекта может обладать машина, не претендующая на безошибочность и безупречность работы».
Таким образом, согласно Тьюрингу утверждения теоремы Гёделя-Тьюринга совместимы с идеей о том, что математиков можно действительно рассматривать в качестве компьютеров, если алгоритмические операции, выполняемые ими при выводе математических истин, не являются принципиально здравыми, обоснованными и разумными. Мы можем ограничиться рассмотрением лишь арифметических утверждений, например, лишь П1-высказываниями, которые представляют собой интересный, но весьма ограниченный тип утверждений. Мне кажется, что на самом деле Тьюринг верил в то, что человеческий мозг использует алгоритмы, но эти алгоритмы являются совершенно нерегулярными (именно в этом смысле они неразумны). Такая ситуация представляется неправдоподобной, поскольку она не только обескураживает, но и просто не позволяет понять, каким образом можно обсуждать что-то и приходить к каким-то выводам вообще. В любом случае точка зрения Тьюринга не внушает мне доверия, а в предложенной выше схеме (см. табл. 3.1) его рассуждения следует отнести к A-подходу.
Рассмотрим далее точку зрения Гёделя, которая в моей схеме относится к D-подходу. Обращаю ваше внимание на то, что при рассмотрении одних и тех же проблем Тьюринг и Гёдель приходят к совершенно противоположным выводам. И хотя Гёдель не верит, что математическое вдохновение можно свести к каким-то вычислительным операциям, он не отказывается от этой возможности достаточно четко и определенно. Он говорит:
«С другой стороны, на основе всего доказанного сохраняется возможность существования (и, может быть, даже эмпирического создания) машины, способной доказывать теоремы. В реальной жизни такая машина стала бы эквивалентом математической интуиции, однако это невозможно доказать аналогично тому, как в теории конечных чисел нельзя выводить только правильные теоремы».
Это высказывание явно намекает на существование «лазейки», позволяющей непосредственно использовать теорему Гёделя-Тьюринга для опровержения идей вычислимости (или функционализма). Лазейка заключается в том, что математик может пользоваться некоторым здравым и логичным алгоритмом, не будучи полностью уверен в его разумности. Таким образом, Гёдель видел лазейку в познавательной части алгоритмов, в то время как Тьюринг выделяет в алгоритмах именно их разумность.
Ни один из этих подходов не кажется мне убедительным. Теорема Гёделя-Тьюринга всего лишь утверждает, что если доказана разумность какой-то алгоритмической процедуры (для доказательства П1-утверждений), то можно немедленно получить некий результат, выходящий за рамки данной процедуры. Мы можем сделать это и сами, используя какую-либо другую алгоритмическую процедуру (о разумности которой мы ничего не знаем). Кроме этого возможно существование некой обучающейся машины, которая поможет нам в этом поиске. Эта проблема (и целая куча связанных с нею задач) довольно подробно рассматривается в моей книге «Тени разума», и поэтому я не буду повторять все доводы и рассуждения, а отмечу только два из них.
Главный вопрос заключается в том, каким образом возникает этот предполагаемый алгоритм? Можно предположить, что в мозгу человека при этом происходит нечто подобное естественному отбору, в то время как в случае робота новый алгоритм создается какой-то специальной структурой, которую можно смело назвать AI (Artificial Intelligence, искусственный интеллект). Я не буду вдаваться в сложные рассуждения по этому поводу, а лишь приведу вам две простые карикатуры из упомянутой книги.
Стивен Хокинг, величайший ученый современности, изменил наш мир. Его уход – огромная потеря для человечества. В своей финальной книге, над которой Стивен Хокинг работал практически до самого конца, великий физик делится с нами своим отношением к жизни, цивилизации, времени, Богу, к глобальным вещам, волнующим каждого из нас.
Книга представляет собой сборник эссе выдающегося физика современности Стивена Хокинга, написанных им в период с 1976 по 1992 год. Это и автобиографические очерки, и размышления автора о философии науки, о происхождении Вселенной и ее дальнейшей судьбе.
Эта книга объединила семь лекций всемирно знаменитого ученого, посвященных происхождению Вселенной и представлениям о ней - от Большого Взрыва до черных дыр и теории струн. А главное, тому, как создать на основе частных физических теорий великую объединенную теорию всего.
По Вселенной на астероиде – не может быть! Может! – не сомневаются знаменитый астрофизик Стивен Хокинг (интервью с ним читайте здесь), его дочь Люси и бывший аспирант, а ныне популяризатор науки Кристоф Гальфар, которые в сентябре 2007 года представили свою первую книгу для детей о приключениях Джорджа и его друзей во Вселенной.В этой живой и весёлой книге они рассказали о фантастически интересных предметах – черных дырах, квазарах, астероидах, галактиках и параллельных вселенных – детям. Авторы особо подчеркивают, что хотели «представить современный взгляд на космологию от Большого взрыва до настоящего времени без какой бы то ни было магии».
Природе пространства и времени, происхождению Вселенной посвящена эта научно-популярная книга знаменитого английского астрофизика Стивена Хокинга, написанная в соавторстве с популяризатором науки Леонардом Млодиновым. Это новая версия всемирно известной «Краткой истории времени», пополненная последними данными космологии, попытка еще проще и понятнее изложить самые сложные теории.
И вот – долгожданная вторая часть о приключениях Джорджа в космосе – «Джордж и сокровища Вселенной». Все те, кто прочитал научно-приключенческую повесть Стивена и Люси Хокинг «Джордж и тайны Вселенной», с нетерпением ждали продолжения: что-то станется с бесстрашными и любознательными героями дальше? Какие загадки предстоит им решить? Что нового узнать? Куда подевался тщеславный злодей доктор Линн?Во второй книге трилогии, к неразлучным друзьям Джорджу и Анни присоединяется еще один мальчик – компьютерный гений Эммет.
В последние годы вышла на передний рубеж науки и начала бурно развиваться физика элементарных частиц. Она ставит перед собой самую дерзновенную цель — познать наиболее сокровенные тайны природы, познать законы, управляющие миром, который не увидишь ни в какие микроскопы. Одни из этих законов уже познаны. Другие — наиболее таинственные, а потому и самые важные — ждут своего открытия. Эти открытия неразрывно связаны с поиском новых частиц. В последние годы «охота» за частицами приняла неведомый до сих пор размах.
Перед вами первая книга на русском языке, почти целиком посвященная остывающим реликтам звезд, известным под именем белых карликов. А ведь судьба превратиться в таких обитателей космического пространства ждет почти все звезды, кроме самых массивных. История открытия белых карликов и их изучение насчитывает десятилетия, и автор не только подробно описывает их физическую природу и во многом парадоксальные свойства, но и рассказывает об ученых, посвятивших жизнь этим объектам Большого космоса. Кроме информации о сверхновых звездах и космологических проблемах, связанных с белыми карликами, читатель познакомится с историей радиоастрономии, узнает об открытии пульсаров и квазаров, о первом детектировании, происхождении и свойствах микроволнового реликтового излучения и его роли в исследовании Вселенной.
Ученик великого Э. Ферми, сотрудник Ф. Жолио-Кюри, почетный член Итальянской академии деи Линчей Бруно Понтекорво родился в Италии, работал во Франции, США, Канаде, Англии, а большую часть своей жизни прожил в России. Бруно Понтекорво известен как один из ведущих физиков эпохи «холодной войны». В то время, как главы государств мечтали о мировом господстве, которое им подарит ядерное оружие, лучшие ученые всего мира боролись за «ядерное равновесие» и всеми возможными способами старались не разрывать прочные научные связи, помогавшие двигать науку вперед.
Эта книга поможет вам понять, как устроен окружающий мир и чем занимается физика как наука. Легким и неформальным языком она расскажет о физических законах и явлениях, с которыми мы сталкиваемся в повседневной жизни.
Гравитационные волны были предсказаны еще Эйнштейном, но обнаружить их удалось совсем недавно. В отдаленной области Вселенной коллапсировали и слились две черные дыры. Проделав путь, превышающий 1 миллиард световых лет, в сентябре 2015 года они достигли Земли. Два гигантских детектора LIGO зарегистрировали мельчайшую дрожь. Момент первой регистрации гравитационных волн признан сегодня научным прорывом века, открывшим ученым новое понимание процессов, лежавших в основе формирования Вселенной. Книга Говерта Шиллинга – захватывающее повествование о том, как ученые всего мира пытались зафиксировать эту неуловимую рябь космоса: десятилетия исследований, перипетии судеб ученых и проектов, провалы и победы.
В книге, одним из авторов которой является известный американский физик Г. Гамов, в доступной и увлекательной форме рассказывается о достижениях на стыке физики и биологии. Данная книга рассчитана на учащихся старших классов и студентов начальных курсов университетов самых разных специальностей.