Cтраница 1
Нейтральная теория никак не противоречит теории Дарвина, которая рассматривает эволюцию фенотипов, а не молекул. [1]
Справедливость нейтральной теории следует из ряда фактов, относящихся к структуре биополимеров. [2]
В нейтральной теории коэффициент Тг ( т т02та4таз), разумеется, отсутствует. [3]
Физический смысл нейтральной теории сводится к вырожденной корреляции первичной и пространственной структур белка и его биологической функции ( ср. [4]
Например, в нейтральной теории ядерных сил, предложенной Бете [1], предполагается, что г0 только в 3 - 4 раза больше, чем П1Мс пренебрежение отдачей на таких расстояниях не оправдано. [5]
В этом случае рассматривается только нейтральная теория, - матрица имеет вид Т exp [ ( g0 / m) jj г [ / у5 ( - i Т ф) Ф ], где g0 - безразмерная константа связи. [6]
Изложенные здесь представления требуют, конечно, развития и уточнения. В частности, нейтральная теория пока что не рассматривает конкретную природу мутационЕЕЫх замещений, ограничиваясь лишь аминокислотным составом. [7]
Возникновение белка на заре жизни означает создание повой информации. Как это следует из нейтральной теории, структура белка в целом исходно есть запоминание случайного выбора. [8]
Можно сказать, что теории 2) - 5) отражают различные способы понимания логических связок: 2) - теория с классической логикой, а 4) и 5) отражают различные варианты конструктивного, алгоритмического понимания. При этом варианты 4) и 5) противоречат друг другу. Это не мешает всем нашим теориям интерпретироваться в самой бедной нейтральной теории НА. Если представить себе математика, который придерживается принципов одной из этих теорий в качестве подлинно истинных ( для классически настроенного математика это может быть FA, для конструктивиста - теория 4) или 5)), то он может вполне воспринимать и теоремы другой теории, но косвенно, через соответствующую интерпретацию. Интересный класс составляют негативные формулы. [9]
Сравните 5.5 - 5.7 и 3.5 - 3.7. Мы видим, что арифметика реализуемости НА ЕСТ, так же как и FA, интерпретируется в НА, причем негативные формулы в НА, FA и НА ЕСТ выводятся одни и те же. Различие в понимании логических связок в различных теориях не сказывается, если отсутствуют существенно конструктивные связки - дизъюнкция и существование. Попутно мы построили погружающую операцию, позволяющую интерпретировать сугубо конструктивную теорию НА ЕСТ в нейтральной теории НА. [10]
Анализ принципов, положенных в основу НА, показывает, что все они, по-видимому, приемлемы с интуиционистской точки зрения. Формулы НА выражают суждения о конструктивных объектах, а способы рассуждения согласуются с эффективным пониманием логических связок. Выводы НА приемлемы и с классической точки зрения просто потому, что НА - часть FA. В этом смысле на НА можно смотреть как на нейтральную теорию, и если некоторое предложение выведено в НА, то можно считать, что такое предложение выведено особенно надежно, доказано финитно. Можно считать, что непротиворечивость системы НА очевидна в силу самой содержательной интерпретации этой теории. [11]