Paul Mozur, “Beijing Wants AI to Be Made in China by 2030,” New York Times, July 20, 2017, https://www.nytimes.com/2017/07/20/business/ china-artificial-intelligence.html. – Прим. авт.
Tom Simonite, “Ex-Google Executive Opens a School for AI, with China’s Help,” Wired, April 5, 2018, https://www.wired.com/story/ex-google-executive-opens-a-school-for-ai-with-chinas-help/. – Прим. авт.
“Xinhua Headlines: Xi outlines blueprint to develop China’s strength in cyberspace,” Xinhua, April 213, 2018. http://www.xinhuanet.com/english/ 2018-04/21/c_137127374_2.htm. – Прим. авт.
Stephanie Nebehay, “U.N. says it has credible reports that China holds million Uighurs in secret camps,” Reuters, August 10, 2018. https://www. reuters.com/article/us-china-rights-un/u-n-says-it-has-credible-reportsthat-china-holds-million-uighurs-in-secret-camps-idUSKBN1KV1SU. Прим. ред.
Simina Mistreanu, “Life Inside China’s Social Credit Laboratory,” Foreign Policy, April 3, 2018. https://foreignpolicy.com/2018/04/03/life-inside-chinas-social-credit-laboratory/. – Прим. авт.
Ibid. – Прим. авт.
На самом деле Шаньдун – провинция Китая, а в статье, на которую ссылается автор, речь идет о событиях в ее столице, городе Цзинань. – Прим. пер.
“China Shames Jaywalkers through Facial Recognition,” Phys.org, June 20, 2017, https://phys.org/news/2017–06-china-shames-jaywalkers-facialrecognition.html. – Прим. авт. Глава 1
Именно эти два толковых словаря играют основную роль для американского и британского варианта английского языка соответственно. – Прим. пер.
Один из вариантов значения слова «мысль» в словаре Ожегова тоже опирается на термин «сознание»: «То, что заполняет сознание, дума». – Прим. пер.
“The Seikilos Epitaph: The Oldest Song in the World,” Wired, October 29, 2009, https://www.wired.com/2009/10/the-seikilos-epitaph.
“Population Clock: World,” Census.gov, 2018, https://www.census.gov/ popclock/world.
Elizabeth King, “Clockwork Prayer: A Sixteenth-Century Mechanical Monk,” Blackbird 1, no. 1 (Spring 2002), https://blackbird.vcu.edu/v1n1/ nonfiction/king_e/prayer_introduction.htm.
“AMA: We Are the Google Brain Team. We’d Love to Answer Your Questions about Machine Learning,” Reddit, August 4, 2016, https://www. reddit.com/r/MachineLearning/comments/4w6tsv/ama_we_are_the_ google_brain_team_wed_love_to/.
Декарт Р. Сочинения в 2 томах. Т. 1. М., Мысль, 1989. Цит. по: https://nibiryukov.mgimo.ru/nb_russian/nbr_teaching/nbr_teach_library/nbr_library_classics/nbr_classics_descartes_meditationes_de_prima_ philosophia.htm. Пример с читательницей, плавающей в озере, добавлен автором. – Прим. пер.
René Descartes, Meditations on First Philosophy, Second Meditation § 25, 1641, University of Connecticut, http://selfpace.uconn.edu/class/percep/ DescartesMeditations.pdf.
René Descartes, Treatise of Man, trans. T. S. Hall (Cambridge, MA: Harvard University Press, 1972).
Gottfried Wilhelm Leibniz, The Monadology, trans. Robert Latta, (1898), https://www.plato-philosophy.org/wp-content/uploads/2016/07/TheMonadology-1714-by-Gottfried-Wilhelm-LEIBNIZ-1646-1716.pdf.
Полагают, что слово «компьютер» впервые употреблено в книге The Yong Mans Gleanings, написанной Ричардом Брейтуэйтом в 1613 году. В те времена «компьютерами» называли людей, производящих вычисления.
“Blaise Pascal,” Biography.com, https://www.biography.com/people/blaisepascal-9434176.
Лейбниц пишет в De progressione dyadica: «[Двоичное] исчисление может быть реализовано при помощи машины, оснащенной отверстиями таким образом, чтобы их можно было открывать и закрывать. Их следует открывать в местах, соответствующих 1, и оставлять закрытыми – в соответствующих 0. Через открытые отверстия должны проваливаться кубики или шарики, попадая в желоба, а там, где они закрыты, ничего происходить не должно. Его [массив отверстий] можно сдвигать из одной колонки в другую по мере необходимости».
Лейбниц пишет: «Я еще раз задумался над своим давнишним планом создания системы логических выводов, которая могла бы служить средством общения для всех разнообразных народов… Если бы мы располагали подобным универсальным устройством, то могли бы обсуждать проблемы метафизики или этики так же, как проблемы и задачи по математике или геометрии. В этом и заключалась моя цель: любое недопонимание стало бы не более чем ошибкой в вычислениях… легко устранимой при помощи грамматических правил нового языка. Таким образом, в случае трудного спора философы могли бы просто сесть за стол и произвести вычисления. Подобно двум математикам, они могли бы сказать: „Давайте это подсчитаем“».
“Apes to Androids: Is Man a Machine as La Mettrie Suggests?” http://www. charliemccarron.com/man_a_machine/.
Luigi Manabrea, Sketch of the Analytical Engine Invented by Charles Babbage (London: Richard and John E. Taylor, 1843).
Desmond MacHale, The Life and Work of George Boole: A Prelude to the Digital Age, New ed. (Cork University Press, 2014).
В русскоязычной литературе устоялось название «проблема разрешения», но по существу эта задача представляет собой теорему, поэтому мы позволяем себе использовать в отношении ее глагол «доказать». – Прим. пер.
Лучшее объяснение содержится в книге ученого-логика Мартина Дэвиса The Universal Computer: The Road from Leibniz to Turing: «Тьюринг знал, что лучше всего задавать алгоритм в виде списка правил, которые человек мог бы исполнять механически, подобно рецепту в кулинарной книге. Он сумел показать, что список действий для такого человека может быть сведен к небольшому количеству исключительно простых операций без последствий для результата вычисления. Затем, доказав, что способная выполнять только эти элементарные операции машина могла бы определить, следует ли данное заключение из указанных предпосылок… он пришел к выводу, что алгоритма, удовлетворяющего условиямEntscheidungsproblem, не существует».
На самом деле в рассказе «Лжец» сформулирован только Первый закон. Все три впервые появляются в рассказе «Хоровод». – Прим. пер.
Русское издание: Дж. фон Нейман, О. Моргенштерн «Теория игр и экономическое поведение». М., Наука, 1970. – Прим. пер.
В тексте отсутствует указание, в каких единицах выражается емкость запоминающего устройства. – Прим. пер.
Alan Turing, “Computing Machinery and Intelligence,” Mind 59, no. 236 (1950): 433–60.
“A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence,” Stanford Computer Science Department’s Formal Reasoning Group, John McCarthy’s home page, links to articles of historical interest, last modified April 3, 1996, http://www-formal.stanford.edu/jmc/history/ dartmouth/dartmouth.html.
В своем предложении Маккарти, Минский, Рочестер и Шеннон привели такой список экспертов, которых намеревались пригласить в Дартмутский университет для работы над ИИ. Я воспроизвожу список так, как он был опубликован в 1955 году, с указанием компаний и адресов. Не все упомянутые в нем лица смогли принять приглашение.
Адельсон, Марвин
Hughes Aircraft Company
Эрпорт-Стейшен, Лос-Анджелес, Калифорния
Эшби, В. Р.
Барнвуд-хаус
Глостер, Англия
Бэкус, Джон
IBM Corporation
Мэдисон-авеню, 590
Нью-Йорк, штат Нью-Йорк
Бернстайн, Алекс
IBM Corporation
Мэдисон-авеню, 590
Нью-Йорк, штат Нью-Йорк
Бигелоу, Дж. Х.
Институт перспективных исследований
Принстон, Нью-Джерси
Элиас, Питер
Научно-исследовательская лаборатория электроники
Массачусетский технологический институт (МТИ)
Кембридж, Массачусетс
Дьюда, В. Л.
Научно-исследовательская лаборатория IBM
Покипси, штат Нью-Йорк
Дэвис, Пол М.
18-я улица, 1317 C.
Лос-Анджелес, Калифорния
Фэно Р. М.
Научно-исследовательская лаборатория электроники
МТИ
Кембридж, Массачусетс
Фэрли, Б. Г.
Парк-авеню, 324
Арлингтон, Массачусетс
Галантер, Э. Х.
Пенсильванский университет
Филадельфия, штат Пенсильвания
Гелернтер, Герберт
Научно-исследовательская лаборатория IBM
Покипси, штат Нью-Йорк
Гласхоу, Харви А.
Оливия-стрит, 1102
Энн-Арбор, Мичиган
Гёрцаль, Герберт
Западная 11-я улица, 330
Нью-Йорк, штат Нью-Йорк
Хагельбаргер, Д.
Научно-исследовательская лаборатория Bell Telephone
Мюррей-Хилл, Нью-Джерси
Миллер Джордж А.
Memorial Hall
Гарвардский университет
Кембридж, Массачусетс
Хармон, Леон Д.
Научно-исследовательская лаборатория Bell Telephone
Мюррей-Хилл, Нью-Джерси
Холланд, Джон Х.
Научно-исследовательский институт окружающей среды
Мичиганский университет
Энн-Арбор, Мичиган
Холт, Анатоль
Рурал-лейн, 7358
Филадельфия, штат Филадельфия
Каутц, Уильям Х.
Стэнфордский научно-исследовательский институт
Менло-Парк, Калифорния
Люс Р. Д.
Западная 117-я улица, 427
Нью-Йорк, штат Нью-Йорк
Маккей, Дональд
Физический факультет
Лондонский университет
Лондон, почтовый индекс «Западный Центральный 2 (WC2)», Англия
Маккарти, Джон
Дартмутский университет
Хановер, Нью-Гэмпшир
Маккулло, Уоррен С.
Научно-исследовательская лаборатория электроники, МТИ
Кембридж, Массачусетс
Мелзак З. Э.
Математический факультет
Мичиганский университет
Энн-Арбор, Мичиган
Минский М. Л.
Ньюбери-стрит, 112
Бостон, Массачусетс
Мор, Тренчард
Факультет информационных технологий
МТИ
Кембридж, Массачусетс
Нэш, Джон
Институт перспективных исследований
Принстон, Нью-Джерси
Ньюэлл, Аллен
Факультет промышленного управления
Технологический институт Карнеги
Питтсбург, Пенсильвания
Робинсон, Абрахам
Математический факультет
Торонтский университет
Торонто, Онтарио, Канада
Рочестер, Натаниэль
Научно-техническая исследовательская лаборатория
IBM Corporation
Покипси, штат Нью-Йорк
Роджерс, Хартли, мл.
Математический факультет
МТИ
Кембридж, Массачусетс
Розенблит, Уолтер
Научно-исследовательская лаборатория электроники
МТИ
Кембридж, Массачусетс
Ротштейн, Джером
Ист-Берген-Плейс, 21
Ред Бэнк, Нью-Джерси
Сойр, Дэвид
IBM Corporation
Мэдисон-авеню, 590
Нью-Йорк, штат Нью-Йорк
Шорр-Кон, Дж. Дж.
C-380 Lincoln Laboratory, MIT
Lexington, MA
Шэпли, Л.
Rand Corporation
Мэйн-стрит, 1700
Санта-Моника, Калифорния
Шутценбергер, М. П.
Научно-исследовательская лаборатория электроники
МТИ
Кембридж, Массачусетс
Селфридж, О. Дж.
Лаборатория Линкольна
МТИ
Лексингтон, Массачусетс
Шэннон, К. Е.
Научно-исследовательская лаборатория электроники
МТИ
Кембридж, Массачусетс
Шапиро, Норман
Rand Corporation
Мэйн-стрит, 1700
Санта-Моника, Калифорния
Саймон, Герберт А.
Факультет промышленного управления
Технологический институт Карнеги
Питтсбург, Пенсильвания
Соломонофф, Раймонд Дж.
Technical Research Group
Юнион-сквер запад, 17
Нью-Йорк, штат Нью-Йорк
Стил Дж. Э. капитан ВВС США
Зона Б, почтовый ящик 8698
База ВВС Райт-Паттерсон
Огайо
Уэбстер, Фредерик
Кулидж-авеню, 62
Кембридж, Массачусетс
Мур Э. Ф.
Научно-исследовательская лаборатория Bell Telephone
Мюррей-Хилл, Нью-Джерси
Кемени Джон Дж.
Дартмутский университет
Хановер, Нью-Гэмпшир
Я составила очень краткий список женщин и цветных, которые могли бы внести большой вклад в работу семинара в Дартмутском университете, но были обойдены вниманием организаторов. Этот список ни в коем случае не исчерпывающий. Я могла бы продолжать в течение многих десятков страниц. Перед вами же – просто выборка способных, талантливых, творческих людей, оставшихся за границами списка. Джеймс Эндрюс, математик, профессор Университета штата Флорида, специализировавшийся на теории групп и теории узлов.
• Джин Бартик, математик, одна из первых программистов компьютера ЭНИАК. Альберт Тернер Баруха-Рейд, математик и теоретик, внесший существенный вклад в теорию марковских цепей, теорию вероятностей и статистику.
• Дэвид Блэкуэлл, статистик и математик, сделавший существенный вклад в теорию игр, теорию информации, теорию вероятностей и байесову статистику.
• Мэми Фиппс Кларк, PhD и социальный психолог, чья исследовательская работа была посвящена самосознанию.
• Тельма Эстрин, пионер использования компьютерных систем в нейрофизиологии и науке о мозге. Она была научным сотрудником департамента электроэнцефалографии Института неврологии при Пресвитерианской больнице в Нью-Йорке.
• Эвелин Бойд Грэнвилл, PhD по математике, разработчик компьютерных программ анализа траектории, предназначенных для первых пилотируемых орбитальных и лунных космических полетов США.
• Бетти Холбертон, математик и одна из первых программистов компьютера ЭНИАК. Изобрела точки остановки, применяемые в отладке компьютерных программ.
• Грейс Хоппер, специалист по информатике и создатель языка Кобол, одного из первых языков программирования, применяемого и по сей день.
• Мэри Джексон, инженер и математик, позже ставшая первой черной женщиной-инженером в НАСА.
• Кэтлин Макналти, математик и одна из первых программистов компьютера ЭНИАК.
• Мэрлин Мельцер, математик и одна из первых программистов компьютера ЭНИАК, первой программируемой вычислительной машины, выполненной полностью на электронной элементной базе.
• Рожа Петер, математик и основатель теории рекурсивных функций.
• Фрэнсис Спенс, математик и одна из первых программистов компьютера ЭНИАК.
• Рут Тейтельбаум, математик и одна из первых программистов компьютера ЭНИАК. Совместно с Мэрлин Мельтцер разработала уравнения для расчета баллистической траектории.
• Дороти Вон, математик и человек-«компьютер», в 1949 году исполнявшая обязанности директора West Area Computers.
• Джесси Эрнст Уилкинс-мл., специалист по ядерной физике, инженер-механик и математик, ставшая самым молодым студентом Чикагского университета в возрасте 13 лет.
“The Dartmouth Workshop – as Planned and as It Happened,” Stanford Computer Science Department’s Formal Reasoning Group, John McCarthy’s home page, lecture “AI: Past and Future,” last modified October 30, 2006, http://www-formal.stanford.edu/jmc/slides/dartmouth/ dartmouth/node1.html.
“The Dartmouth AI Archives,” RaySolomonoff.com, http://raysolomonoff. com/dartmouth/.