Cтраница 2
Ведь мы обещали с помощью математики выиграть пари у самого Джима Смайли. Информация о наиболее вероятном поведении лягушки, конечно, нам поможет, но это еще далеко не все. Пока речь шла об очень простых вещах, для которых, может быть, и не надо было городить огород в виде матриц и графов. Сейчас можно только сказать, что с помощью матрицы удобно и наглядно описан случайный процесс. При наличии переходной матрицы спорить с Джимом на старых условиях стало уже менее интересно. Игра идет примерно вничью и даже с некоторым перевесом в нашу сторону, потому что мы имеем перед глазами надежные статистические данные, а наш противник по старой привычке иногда полагается на интуицию. Кроме того, мы знаем еще один маленький секрет, о котором расскажем несколько позже. [16]
Это дает нам возможность побеждать в лягушачьем ( или каком-либо другом аналогичном) пари не только Джима Смайли, но и всякого другого подобного спорщика. [17]
Данн предложил различные семантики для тавтологических следствий [1966], некоторые из которых интуитивные, а некоторые тесно связаны с четырехзначной матрицей Смайли. В 1975 г. ( с некоторым опозданием) Данн уделил в своей работе много внимания интуитивному и техническому значению этой идеи. Алгебраическая структура, соответствующая этой логике, была детально исследована Данном и другими. [18]
Данн предложил различные семантики для тавтологических следствий [1966], некоторые из которых интуитивные, а некоторые тесно связаны с четырехзначной матрицей Смайли. В 1975 г. ( с некоторым опозданием) Данн уделил в своей работе много внимания интуитивному и техническому значению этой идеи. Алгебраическая структура, соответствующая этой логике, была детально исследована Данном и другими; весь этот материал изложен Данном в главе III книги Андерсона, Белнапа [1975], где можно также найти генце-новские исчисления и многие другие близкие вопросы ( прим. [19]
Скотта в Оксфорде в 1970 г., где он был гостем Стрэчи, которому мы приносим, к нашему глубокому сожалению уже после его смерти, благодарность. В работе Скотта четыре значения появились как аппроксимационная решетка, имеющая важное значение, и нетрудно было увидеть их связь с четырьмя значениями Смайли. Осознание важности эпистемической интерпретации пришло совсем недавно. [20]
Имеются сведения, что матричная ( информационная) РНК по своему нуклеотидному составу отличается от цитоплазматической матричной РНК, однако это положение еще не может считаться окончательно доказанным. Конечно, было бы заманчивым объяснять специфичность белков хлоропластов тем, что внешняя мембрана их непроницаема для молекул информационной, РНК, синтезирующихся в ядре клетки, а вся матричная РНК хлоропластов синтезируется непосредственно в них. Это не означает, что набор и содержание белков в хлоропластах совершенно не контролируются ядром. Можно было себе представить, что за счет матричной РНК ядерного происхождения в цитоплазме синтезируются белки, которые затем могут проходить через внешнюю мембрану внутрь хлоропласта. Смайли считает, что последняя вероятность невелика и что одни молекулы информационной РНК, которые имеются в хлоропластах, синтезируются непосредственно в них, а другие - в ядре ( фиг. [21]
Конечно, и дальше он выигрывал раз за разом. По-видимому, он долго следил за ними и примерно представляет, как часто прыгает лягушка в том или ином направлении. Но нам может помочь теория марковских цепей. Давайте попробуем честно, без надувательства с ее помощью выиграть пари у самого Джима Смайли. [22]