Cтраница 3
Я привел это маленькое упражнение, чтобы указать на следующий простой факт: при манипуляции хорошо знакомыми символами, такими, как, мы не должны торопиться. Мы должны следовать правилам, а не нашему знанию пассивных значений символов. Тем не менее, это знание весьма ценно, чтобы помочь нам направить вывод по верному пути. [31]
Исследование анодного поведения стали 2Х18Н9 во втором растворе методом снятия поляризационных кривых показало, что и в этом растворе зафиксировано наступление пассивности при анодной поляризации. По результатам коррозионных испытаний установлено, что в области пассивных значений потенциалов от 0 69 до 0 79 в межкристаллитная коррозия отсутствует, на участке транссассивности происходило межкристаллитное разрушение на небольшую глубину. [32]
Вторая система может, в свою очередь, являться скелетом для третьей системы, и так далее. Может также существовать система ( например, абсолютная геометрия) которая частично дает пассивные значения своих неопределяемых понятий и которая может быть дополнена правилами и аксиомами, далее ограничивающими эти значения. Именно это и происходит в случае эвклидовой геометрии в сравнении с неэвклидовой. [33]
Полная формализация геометрии означала бы, что каждый термин превратился бы в неопределяемое понятие, то есть стал бы бессмысленным символом какой-либо формальной системы. Я заключил слово бессмысленный в кавычки, поскольку, как вы знаете, символы автоматически приобретают различные пассивные значения, зависящие от теорем, в которых эти символы встречаются. Однако обнаружат ли люди эти значения - это уже другой вопрос, так как для этого необходимо найти такое множество понятий, которое может быть связано изоморфизмом с символами данной формальной системы. По идее, желая формализовать геометрию, мы обычно уже имеем в виду определенную интерпретацию для каждого символа, так что пассивные значения оказываются уже встроеными в систему. Именно это я и сделал с символами риг, когда придумывал систему рг. [34]
Хотя такая реализация и приемлема для многих приложений, ее все же нельзя считать удовлетворительной. Во-первых, константы и даже константы-магазины не являются полным эквивалентом внешних переменных, так как простые константы не имеют пассивных значений, а все операции над константами-магазинами программист должен выписывать явно. Аналогичные операции над ассоциативным списком, где хранятся значения внешних переменных, выполняются автоматически как при интерпретации, так и при компиляции по описанной выше схеме. В то же время вообще отказаться от внешних ( иначе говоря, глобальных) переменных тоже нежелательно, как показывает следующий простой пример. [35]
Кривые анодной поляризации ( обратный ход закаленной и отпущенной стали 2Х18Н9 в 50 % - ной H2S04. [36] |
Полученные результаты показывают, что вследствие наличия межкристаллитнои коррозии у отпущенной стали как в транспассивном состоянии, так и в области, отвечающей переходному состоянию из активного в пассивное, надежным методом защиты от общей и межкристаллитнои коррозии является поддержание потенциала стали в области устойчивого пассивного значения. [37]
В более агрессивных условиях ( 50 % - ная H2S04; 100 С) при анодной поляризации в пассивной области в случае отпущенной стали наблюдаются значительные плотности тока ( 100 мка / см2) [97], что свидетельствует об отсутствии достаточно полной пассивности в этих условиях. Область устойчивого пассивного состояния закаленной стали с повышением агрессивности среды сокращается в незначительной степени. Данные испытаний на межкристал-литную коррозию закаленной и отпущенной сталей в области пассивных значений потенциалов при повышенных температурах соответствуют данным выводов из анализа анодных кривых обратного хода. [38]
Сплав 54К9Х ( 54 % Со; 8 85 - 9 1 % Сг, остальное Fe) устойчив в окислительных средах. Сплав ЗОНПд ( 30 % №; 6 0 - 10 0 % Pd, остальное Fe) легирован палладием. Стойкость этого сплава возрастает в результате смещения потенциала в положительную сторону, в область пассивных значений. Палладий является эффективной катодной добавкой, аналогичной платине, которая повышает коррозионную стойкость сплава. [39]
Если у металла или сплава потенциал пассивации более отрицательный, чем потенциал катодного процесса водородной деполяризации на сплаве с катодной добавкой, то вполне возможна пассивация сплава за счет водородной деполяризации. Из этих кривых видно, что перенапряжение водорода при введении в титан 1 % Pt снижается на 350 - 400 мв. Вследствие этого стационарный потенциал сплава титана с платиной смещается в положительную сторону, в область пассивных значений, где процесс анодного растворения титана сильно заторможен. Это обеспечивает высокую коррозионную стойкость сплава титана с платиной. [40]
Достигнув поверхности металла, С1 - способствует гидратации ионов металла и облегчает переход их в раствор, в противоположность влиянию адсорбированного кислорода, который снижает скорость растворения металла. Иначе говоря, адсорбированные ионы С1 - повышают ток обмена ( снижают перенапряжение) для анодного растворения перечисленных металлов по сравнению с наблюдаемым для поверхности, покрытой кислородом. Напротив, металл продолжает растворяться с высокой скоростью как при активных, так и при пассивных значениях потенциала. [41]
До сих пор, мы только предполагали, что все теоремы, интерпретированные должным образом, производят истинные высказывания. Можем ли мы это доказать Иными словами, заслуживают ли наши интерпретации ( и для л и так далее) того, чтобы именоваться пассивными значениями символов. [42]
Влияние значения латинского причастия сказывается в пережиточно сохранившихся правилах согласования Participes passes глаголов, спрягаемых с avoir. При употпеблении Psrticincs nasscs переходных глзголов в качестве самостоятельных членов предложения эта форма имеет пассивное значение. Participes passes непереходных глаголов, спрягаемых с avoir, в качестве самостоятельных членов предложения не употребляются. [43]
Полная формализация геометрии означала бы, что каждый термин превратился бы в неопределяемое понятие, то есть стал бы бессмысленным символом какой-либо формальной системы. Я заключил слово бессмысленный в кавычки, поскольку, как вы знаете, символы автоматически приобретают различные пассивные значения, зависящие от теорем, в которых эти символы встречаются. Однако обнаружат ли люди эти значения - это уже другой вопрос, так как для этого необходимо найти такое множество понятий, которое может быть связано изоморфизмом с символами данной формальной системы. По идее, желая формализовать геометрию, мы обычно уже имеем в виду определенную интерпретацию для каждого символа, так что пассивные значения оказываются уже встроеными в систему. Именно это я и сделал с символами риг, когда придумывал систему рг. [44]
Хотя мы и перефразировали вопрос, маловероятно, что это приблизило нас к ответу. Действительно, в ТТЧ есть такая куча укорачивающих и удлиняющих правил, что перифраз вопроса, скорее всего, окажется гораздо труднее оригинала. Некоторые читатели, пожалуй, могли бы сказать, что анализировать MU при помощи МУМОНа - значит нарочно смотреть на вещи по-дурацки. Однако МУМОНа можно рассматривать более, чем на одном уровне. Интересно то, что в МУМОНе есть два различных пассивных значения. [45]