Cтраница 2
Аномальные величины С и Я получаются вследствие того, что теория Гун - Чампеиа рассматривает ионы как частицы точечного размера, которые поэтому могут подходить к поверхности электрода на бесконечно малое расстояние. В действительности ионы не могут приблизиться к электроду на расстояние меньше их радиуса. Поэтому теория Гельмгольца, которая рассматривает двойной слой как конденсатор с толщиной, равной радиусу иона, дает более правильные величины емкости, чем теория Гуи - Чапмена. Таким образом, возникла задача сочетания основных представлений теории Гельмгольца и теории Гуи - Чапмена. Эта задача была решена О. [16]
Аномальные величины С и Я получаются вследствие того, что теория Гун - Чапмена рассматривает ионы как частицы точечного размера, которые поэтому могут подходить к поверхности электрода на бесконечно малое расстояние. В действительности ионы не могут приблизиться к электроду на расстояние меньше их радиуса. Поэтому теория Гельмгольца, которая рассматривает двойной слой как конденсатор с толщиной, равной радиусу иона, дает более правильные величины емкости, чем теория Гун - Чапмена. Таким образом, возникла задача сочетания основных представлений теории Гельмгольца и теории Гун - Чапмена. Эта задача была решена О. [17]
Прежде всего необходимо разобраться, насколько безупречна прейскурантная цена изделия-аналога как база формирования договорных цен. Основания для сомнений здесь дает прежде всего то обстоятельство, что прейскурантная цена, как правило, стабильна на протяжении ряда лет; это диктуется необходимостью обеспечить устойчивость плановых стоимостных показателей, пропорций и экономических нормативов. Несомненно, что в идеале механизм экономических нормативов должен быть приспособлен к возможности постоянных колебаний цен. Однако сегодня, когда система таких нормативов лишь начинает формироваться, причем с большими трудностями, задача сочетания стабильности нормативов и гибкости цен может рассматриваться лишь как перспективная. Ныне же, при пятилетнем цикле народнохозяйственного планирования, маловероятно чаще, чем раз в пять лет, изменять значительную долю действующих прейскурантных цен. [18]
В наших тезисах и резолюциях мы должны дать определенные директивы, которые будут проводиться в жизнь. Необходимо отдать себе определенный отчет в том характере нашего народного хозяйства, который имеется в настоящее время. Я убежден, что у нас военный характер народного хозяйства должен сохраниться, несмотря на то, что контрреволюция разбита, и несмотря на те миры, которые мы заключили. До тех пор не только в смысле военном, не только в смысле мобилизации, но и в смысле работы наших предприятий мы должны будем сохранить военное хозяйство, - точнее: сочетание военного хозяйства и мирного, потому что тыл без войны не может существовать. В этом отношении на длительный период перед нами стоит задача сочетания этих двух форм народного хозяйства, военно-гражданского хозяйства. Поэтому мы не закроем ни Тульского, ни других заводов, не прекратим производства винтовок, шинелей и пр. Это сочетание, этот основной характер промышленности определяет организационную форму хозяйственного строительства. В этом ключ к тем столкновениям, которые, с моей точки зрения, только полезны и необходимы в выработке новых форм, которые охватили бы и дали бы возможность развивать ее вопреки буржуазному строю Европы. [19]
В предположении, что непротиворечивость некоторой теории доказана или хотя бы принята на веру, имеет смысл поставить проблему полноты этой теории. Теория называется полной, если она содержит достаточное для какой-нибудь цели количество теорем. Исходя из различных целей, которые мы ставим при построении теории, мы приходим к различным техническим значениям понятия полноты. Ограничимся следующим из возможных определений: теория Z называется полной, если для любого высказывания S этой теории либо S, либо - 5 есть теорема. Определение это исходит из того обстоятельства, что любое высказывание S теории Z9 будучи интерпретировано в некоторой модели, оказывается непременно либо истинным, либо ложным. Следовательно, в этом случае либо S, либо - 5 оказывается истинным и должно быть теоремой в теории Z. Теория, являющаяся одновременно непротиворечивой и полной, является максимальной в отношении непротиворечивости - в том смысле, что добавление к такой теории в качестве аксиомы любого предложения, которое можно в ней сформулировать, но не являющегося ее теоремой, приводит к противоречивой теории. Проблема полноты может быть лучше всего рассмотрена по отношению к таким аксиоматическим теориям, в которые явным образом включена используемая теория логического вывода. Пока же мы ограничимся замечанием, что для многих важных математических теорий задача сочетания обоих названных качеств - непротиворечивости и полноты-оказывается невыполнимой. [20]