Cтраница 1
Россер и Стивенсон ( Rosser and Stevenson) [23] по результатам исследования австралийских материалов обнаружили, что фирмы-банкроты или потенциальные банкроты в целом в меньшей степени соблюдали законодательные и профессиональные стандарты по сравнению с контрольной группой. [1]
Россер [1936] показал, что системы, аналогичные нашей арифметической системе гл. IV ( если они непротиворечивы) обладают этим свойством ( ср. Тогда формализованные системы аксиоматической теории множеств Неймана [1925], Бернайса [1937-54] и Геделя [1940] служат ( в случае непротиворечивости) примерами систем S, одновременно существенно неразрешимых ( так как они содержат обычную арифметику) и конечно аксиоматизуемых. Мостовский и Тарский [ 1949, резюме ] впервые отметили существование системы S, одновременно существенно неразрешимой и конечно аксиоматизуемой, и в то же время настолько простой, что ее легко можно интерпретировать в различных других теориях-в каком смысле, это будет вскоре определено. Еще более простым примером существенно неразрешимой и конечно аксиоматизуемой системы служит система Рафаэля Робинсона [ 1950, резюме ], которая содержит тринадцать нелогических аксиом, описанных в лемме 18Ь § 49, если в основу кладется исчисление предикатов, или только семь ( аксиомы 14, 15, 18 - 21 и формула из 137 или - эквивалентным образом-из 136), описанных Робинсоном, если в основу кладется исчисление предикатов с равенством. [2]
Россер и Ван Хао, Крейсел и Ван Хао. [3]
Россер и Туркетт, Россер и Ван Хао. [4]
Горение капли смеси азотной кие - [ IMAGE ] Установленная в работе лоты в амилацетата ( взято из работы. зависимость константы скорости горения К от температуры при атмосферном давлении. [5] |
Россер [ ь ] экспериментировал с пористой сферой, в которую изнутри поступало горючее. Из его наблюдений следует, что т - rf для гидразина и нитроэтила. Однако в экспериментах Россера оказалось невозможным поддерживать пламя в атмосфере с преобладанием инертного газа, поэтому он был вынужден вводить кислород и всегда наблюдал пламя окисления, находящееся за пламенем разложения. [6]
Россер показал [71], что можно построить пример формулы, неразрешимость которой устанавливается без предположения об со-непротиворечивости формальной арифметики. Для этого достаточно ее простой непротиворечивости. Формула, о которой здесь идет речь, строится следующим способом. Если обозначить эту формулу через Pq ( x) ( q - ее геделевский номер), то формула Pq ( q) представляет собой искомый пример формулы, неразрешимость которой устанавливается с помощью предположения о простой непротиворечивости формальной арифметики. [7]
Черча - Россера относительно результата по данным, по памяти, по данным - памяти и по управлению разрешимы. [8]
Теорема Геделя - Россера является полностью финитной: ее доказательство ( если его привести полностью) показывает, как явно получить противоречие по доказательству какого-нибудь из утверждений т или - пт. [9]
Россер и Туркетт, Россер и Ван Хао. [10]
Позднее этот вывод подтвердили Россер и Вайс [47], которые установили также, что на скорость реакции (1.25) не влияют инертные газы ( N2, He, СО2) и стенки реакционного сосуда. [11]
Сама теорема Черча - Россера ничего не говорит нам о единственности нормальной формы выражения. [12]
Иногда вместо свойства Черча - Россера представляет интерес его ослабление. [13]
Отметим, что свойство Черча - Россера имеет место, если el, е2, еЗ и е4 - различные служащие. [14]
Условный график движения управления преобразователя по структуре в зависимости от времени. Число пересечений горизонтальной линии d ограничено константой локальной ограниченности. [15] |