Автор: Эми Уэбб
Издательство: Эксмо
Жанр: Прочая образовательная литература
Серия: БукТех. Книги про технологии
isbn: 978-5-04-166373-5
isbn:
22
Лейбниц пишет: «Я еще раз задумался над своим давнишним планом создания системы логических выводов, которая могла бы служить средством общения для всех разнообразных народов… Если бы мы располагали подобным универсальным устройством, то могли бы обсуждать проблемы метафизики или этики так же, как проблемы и задачи по математике или геометрии. В этом и заключалась моя цель: любое недопонимание стало бы не более чем ошибкой в вычислениях… легко устранимой при помощи грамматических правил нового языка. Таким образом, в случае трудного спора философы могли бы просто сесть за стол и произвести вычисления. Подобно двум математикам, они могли бы сказать: „Давайте это подсчитаем“».
23
“Apes to Androids: Is Man a Machine as La Mettrie Suggests?” http://www. charliemccarron.com/man_a_machine/.
24
Luigi Manabrea, Sketch of the Analytical Engine Invented by Charles Babbage (London: Richard and John E. Taylor, 1843).
25
Desmond MacHale, The Life and Work of George Boole: A Prelude to the Digital Age, New ed. (Cork University Press, 2014).
26
В русскоязычной литературе устоялось название «проблема разрешения», но по существу эта задача представляет собой теорему, поэтому мы позволяем себе использовать в отношении ее глагол «доказать». – Прим. пер.
27
Лучшее объяснение содержится в книге ученого-логика Мартина Дэвиса The Universal Computer: The Road from Leibniz to Turing: «Тьюринг знал, что лучше всего задавать алгоритм в виде списка правил, которые человек мог бы исполнять механически, подобно рецепту в кулинарной книге. Он сумел показать, что список действий для такого человека может быть сведен к небольшому количеству исключительно простых операций без последствий для результата вычисления. Затем, доказав, что способная выполнять только эти элементарные операции машина могла бы определить, следует ли данное заключение из указанных предпосылок… он пришел к выводу, что алгоритма, удовлетворяющего условиямEntscheidungsproblem, не существует».
28
На самом деле в рассказе «Лжец» сформулирован только Первый закон. Все три впервые появляются в рассказе «Хоровод». – Прим. пер.
29
Русское издание: Дж. фон Нейман, О. Моргенштерн «Теория игр и экономическое поведение». М., Наука, 1970. – Прим. пер.
30
В тексте отсутствует указание, в каких единицах выражается емкость запоминающего устройства. – Прим. пер.
31
Alan Turing, “Computing Machinery and Intelligence,” Mind 59, no. 236 (1950): 433–60.
32
“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.
33
В своем предложении Маккарти, Минский, Рочестер и Шеннон привели такой список экспертов, которых намеревались пригласить в Дартмутский университет для работы над ИИ. Я воспроизвожу список так, как он был опубликован в 1955 году, с указанием компаний и адресов. Не все упомянутые в нем лица смогли принять приглашение.
Адельсон, Марвин
Hughes СКАЧАТЬ