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