Cтраница 2
Племенные союзы алеманнов, тюрингов. Франкского гос-ва, после раздела к-рого ( 843) началось самостоят, гос. [16]
Так как первое число обусловленности Тюринга Ку характеризует соотношение между СКЗ погрешности решения Дя и СКЗ погрешности АЛ коэффициентов матрицы А в уравнении ( 67) то СКЗ А СКЗ ДЛ СКЗх - ду. [17]
Первое противоречило бы Теореме Тарского-Черча - Тюринга ( Не существует разрешающей процедуры для арифметических истин), а второе - Теореме Черча. [18]
Разъяснив, в чем состоит его тест, Тюринг приводит по его поводу несколько замечаний, для того времени весьма тонких. [19]
Ахилл: Ну что ж, сделаем Алану Тюрингу приятное. Скажите, м-р Баббадж, есть ли у вас свободная воля, или же все ваши действия управляются некими законами, и вы - не более, чем детерминистский автомат. [20]
Предвидя, что его статья вызовет бурю протестов, Тюринг начинает один за другим точно и иронично парировать возможные возражения на идею о том, что машина способна мыслить. Ниже я привожу девять типов возражений в собственной формулировке Тюринга, на которые он затем отвечает. [21]
Баббадж: Надеюсь, господа, что вы простите Механическому Тюрингу его последнее, столь неуважительное замечание. Тюринг получился немного более воинственный и задиристый, чем я ожидал. [22]
Черепаха: Мне кажется, что Баббаджа там вообще не было - Тюринг отвечал на обоих экранах. [23]
Очевидно, что каждый язык, порождаемый грамматикой, есть рекурсивно перечислимое множество; в этом можно убедиться или с помощью гипотез Тюринга, или применяя стандартные методы доказательства рекурсивной перечислимости множества. [24]
В этот момент дверь в комнату распахивается; на экране одновременно открывается изображение той же двери, В дверь на экране входит Баббадж; в комнату же заходит Тюринг, вполне живой и настоящий. [25]
Баббадж: Надеюсь, господа, что вы простите Механическому Тюрингу его последнее, столь неуважительное замечание. Тюринг получился немного более воинственный и задиристый, чем я ожидал. [26]
Вы, Алан Тюринг - машина, умно-глупый, и Чарльз Баббадж только что вас запрограммировал. [27]
Баббадж: Сейчас, если я не наделал слишком много ошибок, этот умно-глупый сможет притвориться человеком, умнее меня в 6 раз. Таким образом, этот Тюринг будет - осмелюсь ли я предположить подобное. В своих честолюбивых устремлениях я попытался наделить его музыкальными способностями, в шесть раз превосходящими мои собственные; разумеется, это было сделано с помощью рациональной и численной программы. Не знаю, насколько хорошо она будет работать. [28]
Баббадж идет к двери, выходит, и закрывает ее за собой. В это время на экране Тюринг точно так же идет к двери, выходит, и закрывает ее за собой. [29]
Его мать, Сара Тюринг, написала его биографию. Из приводимых ею отзывов о Тюринге складывается впечатление, что он был личностью весьма нестандартной и не умел вести себя в обществе; при этом он был честен, порядочен и легко уязвим. [30]