Может ли машина мыслить? [заметки]
1
Институт Гэллапа – Американский институт общественного мнения American Institute of Public Opinion. Основан Дж. Гэллапом (George Gallup) в 1935 г.
2
Мост через реку Форт – известный мост консольно-арочного типа, в два пролета, перекрывающий реку форт (Шотландия) при впадении ее в залив Ферт-оф-Форт. Сооружен в 1882–1889 гг. и в течение 28 лет держал мировой рекорд длины пролетов (длина каждого пролета – свыше 518 м, длина моста – около 1626 м).
3
Чарлз Бэббидж (Charles Babbage) (1792–1871) – английский ученый, работавший в области математики, вычислительной техники и механики. Выступил инициатором применения механических устройств для вычисления и печатания математических таблиц. В 1812 г. у Бэббиджа возникла идея разностной вычислительной машины (Difference Engine). Строительство этой машины, которая должна была вычислять любую функцию, заданную ее первыми пятью разностями, началось в 1823 г. на средства английского правительства, однако в 1833 г. работа была прекращена главным образом в связи с финансовыми затруднениями. К этому времени у Бэббиджа возник проект другой, более совершенной машины. Эта машина, которую Бэббидж назвал «Аналитической машиной» (Analitical Engine), должна была проводить вычислительный процесс, заданный любыми математическими формулами. Бэббидж весь отдался конструированию своей новой машины, однако к моменту его смерти она так и не была закончена. Сын Бэббиджа завершил строительство части машины и провел успешные опыты по применению ее для вычислений некоторого рода.
4
Люкасовская кафедра в Тринити-колледже основана в 1663 г. на средства, пожертвованные Генри Люкасом. Первым люкасовским профессором был учитель Ньютона Барроу, вторым – сам Ньютон. Получение этой кафедры, сохранившейся до нашего времени, считалось всегда большой честью.
5
Манчестерская машина была построена в Манчестерском университете в конце 40-х годов. Конструирование машины происходило под руководством Вильямса (Р.С. Williams) и Килберна (T. Kilburn). В разработке и отладке машины принимал участие Тьюринг, который с этой целью в 1948 г. был приглашен в Манчестерский университет. Тьюринг занимался математическими вопросами, связанными с Манчестерской машиной, и особенно вопросами программирования.
6
Единицы, о которых говорит здесь Тьюринг, получили название «битов» (bits). По причинам, связанным с компьютеростроением, основной единицей измерения емкости машинной памяти стали «байты» (bytes). Ответ на вопрос «Сколько бит[ов] в байте?» с исторической точки зрения довольно темен (байт – емкость памяти, предназначенной для размещения одного символа), но стандартом de facto является соглашение 1 байт = 8 бит. Более крупными производными единицами являются килобайт (Кб) = 2>10= 1024 байт, мегабайт (Мб) = 2>10= 1024 Кб. Сейчас уже никого не удивляют гигабайты (Гб) и даже терабайты (Тб). Для более точного выражения единиц памяти (например, в синтезаторостроении) употребляются также единицы килобит (Кбит), мегабит (Мбит) и т.д.
7
Возможно, эта точка зрения еретична. Св. Фома Аквинский (Summa Theologica; его взгляд излагается в книге Bertrand Russell, History of Western Philosophy, Simon and Schuster, New York, 1946, p. 458 [русское издание, например: Б. Рассел. История западной философиии. Новосибирск, изд-во НГУ, 1994] ) утверждает, что Бог не может лишить человека души, но что это не является реальным ограничением его всемогущества, а есть всего лишь результат того факта, что человеческие души бессмертны и, следовательно, неуничтожимы.
8
K. GodeI. Uber formal unentscbeidbare Sat^e der Principia Matematica und verwandter Systeme, I. Monat. Math. Ph., B. 38, 1931, S. 173–198.
9
Alonzo Church. An Unsolvable Problem of Elementary Number Theory. Amer. J. Math., v. 58, 1936, p. 345–363; S.C. Cleene. General Recursive Functions of Natural Humbers. Math. Ann., B. 112, 1936, S. 727–742; A.M. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. Lond. Math. Soc., ser. 2, v. 42, 1936–1937, pp. 230–265.
10
Здесь речь идет о так называемых (в современной терминологии) алгоритмически неразрешимых проблемах. Вот пример неразрешимой проблемы, который я изложу здесь в терминах «повседневного» компьютера. Требуется составить программу U, которая бы по любому подаваемому ей на вход файлу X, содержащему текст программы (на каком-нибудь языке программирования, скажем, стандартном ANSI С), определяла бы, остановится ли когда-нибудь программа из файла Х в процессе своей работы, получив на вход известные данные, или «зациклится». Если программа Х зациклится, то программа U должна показать на экране фотографию юноши, иначе – девушки, после чего закончить свою работу. (Такого рода «проверяющая на зацикливаемость» программа U. была бы, очевидно, довольно полезна для проверки создаваемых компьютерных программ.) Оказывается, написать эту «проверяющую программу» U невозможно в принципе (даже если допустить, что компьютер, на котором выполняется U, имеет сколь угодно большую память и может работать неограниченно (астрономически) долгое время). Приведенный пример (так называемая «неразрешимость проблемы остановки») впервые был рассмотрен в цитированной выше работе Тьюринга 1936 г. – в то время, когда еще не было никаких компьютеров и программ для них!
11
G. Jefferson. The Mind of Mechanical Man. Lister Oration for 1949, Britisch Med. J., v. 1, 1949, p. 1105–1121.
12
Листеровские чтения. Джозеф Листер (Joseph Lister) (1827–1912) – выдающийся английский хирург.
13
Солипсизм (от лат. solus – единственный и ipse – сам) – взгляд, согласно которому единственной достоверной реальностью являются внутренние переживания субъекта, его ощущения и мышления.
14
Принцип неполной индукции – принцип логики, согласно которому разрешается делать обобщающее заключение о принадлежности некоторого свойства a всем предметам данного класса A на основании того, что установлена принадлежность свойства а лишь некоторым (не всем) предметам класса А, именно тем, которые рассмотрены в ходе индукции. Вывод, основанный на принципе неполной индукции – даже при условии достоверности исходных данных, – не достоверен, а только более или менее вероятен.
15
Графиня Лавлейс, Ада. Августа (Ada Augusta, the Countess of Lovelace) принадлежала к тем немногим современникам Бэббиджа, которые вполне оценили значение его идей. Она была дочерью английского поэта Байрона (родилась в 1815 г., умерла в 1852 г.). Лавлейс получила хорошее математическое образование, сначала под руководством своей матери, а потом под руководством проф. Августа де Моргана (Augustus de Morgan), одного из создателей математической логики. С Бэббиджем и его машинами она познакомилась еще в юности. В 1840 г. написала о Бэббидже работу и опубликовала ее в Scientific Memoirs (ed. by R. Taylor, 3, 1842, 691–т731), присоединив к ней обширные примечания переводчика, более чем в два раза превосходившие по объему текст Менабреа. Эти примечания относились к принципам работы Аналитической машины и ее применению и были высоко оценены Бэббиджем. См: faster than Thought. A Symposium on Digital Computing Machines Ed. by B.V. Bowden. London, 1953, chap. 1. В приложении к книге воспроизведены работа Менабреа в переводе Лавлейс и работа самой Лавлейс (Notes by the Translator).
16
D.R. Hartree, Calculating Instruments and Machines, New York, 1949.
17
Дифференциальный анализатор – вычислительная машина, разработанная В. Бушем (Vannevar Bush) и его сотрудниками в Массачусетсском технологическом институте в Кембридже (США) в конце 20-х годов и предназначенная для решения широкого класса обыкновенных дифференциальных уравнений. Дифференциальный анализатор – машина непрерывного действия; при решении задач мгновенные значения переменных выражаются положениями вращающихся валов машины (с учетом числа сделанных валом полных оборотов и направления вращения). Первая модель машины была чисто механическим устройством. В дальнейшем дифференциальный анализатор был усовершенствован его автором и превратился в электромеханическую машину.
18
Если в приведенном выше рассуждении вместо «правил действия» подставить «законы поведения» (в смысле, разъясненном в тексте), то логическая ошибка легко устраняется за счет замены посылки обратным ей суждением: «Все машины отличаются тем, что их поведение полностью определено некоторыми законами» (в истинности которого, говорит Тьюринг, мы убеждены), в котором термин «машины» распределен (так как речь идет обо всех машинах). Но тут оказывается, что, в отличие от случая, когда речь шла о «правилах действия», истинность второй посылки вызывает сомнения; по мнению Тьюринга, мы не имеем возможности убедиться в ее достоверности.
19
Здесь, разумеется, имеются в виду требования автора, предъявляемые к машинам, предназначенным для игры в имитацию. Напомню, что емкость памяти в 10>9двоичных единиц (бит), о которых говорит автор, соответствует примерно 120 Мб. Если применить его расчеты, скажем, к современным персональным компьютерам, то нужно оговорить, что здесь речь идет о «чистом» (минимальном) объеме памяти, потребном для решения задачи игры в имитацию. – Прим. И.Д.
20
Елена Келлер (Helen Keller) (1880–1968) – американская слепоглухонемая, получившая высшее образование. В возрасте полутора лет в результате болезни потеряла зрение и слух и стала немой. Когда девочке было 6 лет, родители пригласили воспитательницу, которая посредством осязания научила ребенка говорить, а затем читать и писать (по системе для слепых). Е. Келлер прошла школьный курс, изучила языки, окончила университет; она является автором ряда книг.
21
«Касабьянка» (Casabianca) – стихотворение английской поэтессы Фелиции Хеманс (Felicia Hemans, 1793–1835). Повествует о мальчике десяти лет, сыне капитана Касабьянки, который вместе с отцом погиб на горящем военном корабле, отказавшись покинуть судно, взорванное командиром Касабьянкой во время морского боя.
22
«Двадцать вопросов» – распространенная в Англии игра в вопросы и ответы. Обычно ведется так. Один из играющих задумывает некоторое понятие. Другой играющий отгадывает задуманное, задавая вопросы, предполагающие ответы (обязательно правдивые) вида «да» или «нет». Количество вопросов, которое имеет право задать отгадчик, не должно превышать некоторого заранее установленного числа. Отгадчик выигрывает, если при указанных условиях отгадает, что же было задумано первым играющим.
23
Лучше сказать «впрограммировать», так как наша «машина-ребенок» будет программироваться на цифровой вычислительной машине. Однако указанная логическая система не будет обучаемой.
24
Здесь имеется в виду иерархия типов, предложенная Бертраном Расселом с целью избежать противоречий (антиномий), обнаруженных в логике и теории множеств в конце XIX – начале XX столетия.
25
К Конституции США (выработана и утверждена в 1787–1789 гг.) при сохранении ее основного содержания (изменения и дополнения к американской Конституции обставлены весьма сложной процедурой) за время, истекшее после ее принятия, был сделан целый ряд поправок (более двадцати).
26
Сравните эту формулировку с высказыванием госпожи Лавлейс, в котором нет слова «только».
Какую форму может принять радикальная политика в то время, когда заброшены революционные проекты прошлого? В свете недавних восстаний против неолиберального капиталистического строя, Сол Ньюман утверждает, сейчас наш современный политический горизонт формирует пост анархизм. В этой книге Ньюман развивает оригинальную политическую теорию антиавторитарной политики, которая начинается, а не заканчивается анархией. Опираясь на ряд неортодоксальных мыслителей, включая Штирнера и Фуко, автор не только исследует текущие условия для радикальной политической мысли и действий, но и предлагает новые формы политики в стремлении к автономной жизни. По мере того, как обнажается нигилизм и пустота политического и экономического порядка, постанархизм предлагает нам подлинный освободительный потенциал.
Жизнь — это миф между прошлым мифом и будущим. Внутри мифа существует не только человек, но и окружающие его вещи, а также планеты, звезды, галактики и вся вселенная. Все мы находимся во вселенском мифе, созданным творцом. Человек благодаря своему разуму и воображению может творить собственные мифы, но многие из них плохо сочетаются с вселенским мифом. Дисгармоничными мифами насыщено все информационное пространство вокруг современного человека, в результате у людей накапливается множество проблем.
Целью данного учебного пособия является знакомство магистрантов и аспирантов, обучающихся по специальностям «политология» и «международные отношения», с основными течениями мировой политической мысли в эпоху позднего Модерна (Современности). Основное внимание уделяется онтологическим, эпистемологическим и методологическим основаниям анализа современных международных и внутриполитических процессов. Особенностью курса является сочетание изложения важнейших политических теорий через взгляды представителей наиболее влиятельных школ и течений политической мысли с обучением их практическому использованию в политическом анализе, а также интерпретации «знаковых» текстов. Для магистрантов и аспирантов, обучающихся по направлению «Международные отношения», а также для всех, кто интересуется различными аспектами международных отношений и мировой политикой и приступает к их изучению.
Михаил Наумович Эпштейн (р. 1950) – один из самых известных философов и теоретиков культуры постсоветского времени, автор множества публикаций в области филологии и лингвистики, заслуженный профессор Университета Эмори (Атланта, США). Еще в годы перестройки он сформулировал целый ряд новых философских принципов, поставил вопрос о возможности целенаправленного обогащения языковых систем и занялся разработкой проективного словаря гуманитарных наук. Всю свою карьеру Эпштейн методично нарушал границы и выходил за рамки существующих академических дисциплин и моделей мышления.
Люди странные? О да!А кто не согласен, пусть попробует объяснить что мы из себя представляем инопланетянам.
Основой этой книги является систематическая трактовка исторического перехода Запада от монархии к демократии. Ревизионистская по характеру, она описывает, почему монархия меньшее зло, чем демократия, но при этом находит недостатки в обоих. Ее методология аксиомативно-дедуктивная, она позволяет писателю выводить экономические и социологические теоремы, а затем применять их для интерпретации исторических событий. Неотразимая глава о временных предпочтениях объясняет процесс цивилизации как результат снижающихся ставок временного предпочтения и постройки структуры капитала, и объясняет, как взаимодействия между людьми могут снизить ставку временных предпочтений, проводя параллели с Рикардианским Законом об образовании связей. Сфокусировавшись на этом, автор интерпретирует разные исторические феномены, такие как рост уровня преступности, деградация стандартов морали и рост сверхгосударства.