Cтраница 4
В последние тридцать лет книга Курта Рейдемейсте-ра Knotentheorie, изданная в серии Ergebnisse der Ма-thematik, была - по-видимому, единственной книгой по нашему предмету. За это время в теории узлов сделано существенное продвижение и теперь комбинаторная точка зрения, преобладавшая в Knotentheorie, заменилась строгим топологическим подходом. В связи с этим мы везде подчеркиваем топологическую инвариантность нашей теории. [46]
Еще более поздние исследователи ( Кирхгоф, Курт Мейер и др.) на основе результатов изучения процессов полимеризации разработали оказавшуюся весьма плодотворной теорию, согласно которой вулканизующий агент играет роль мостиков при образовании характерной для вулканизата пространственной структуры. В современных представлениях о природе вулканизации это явление признается основным. [47]
Этот замечательный результат, который был открыт Куртом Геделем в 1931 году, наводит на мысль о том, что натуральные числа, возможно, не являются единственным классом объектов, для которых доказуемые формулы из М верифицируемы, и что, возможно, существует класс объектов, который включает все натуральные числа и, кроме них, другие объекты, для которых доказуемые формулы М верифицируемы. То, что такой класс на самом деле существует, было действу тельно установлено через три года после результата Ге-деля Торальфом Сколемом, создателем рекурсивной арифметики, который показал ( независимо от методов и результатов Геделя), что не только системы вроде М и М, но всякая формализация арифметики не может полностью характеризовать понятие числа и допускает в качестве значений числовых переменных класс объектов такой, что все натуральные числа являются лишь его начальным сегментом. [48]
Геделя о неполноте Две теоремы, доказанные Куртом Гс - делем в 1931 г. В одной из формулировок цервой георемы утверждается, что совокупность истинных утверждений арифметики не является рекурсивно перечислимой ( См. Вторая теорема о неполноте связана с программой Гильберта в области оснований математики. [49]
Эти авторы утверждают, что первоначальное открытие принадлежит Курту Шустеру, но эти результаты были опубликованы только во внутренних сообщениях фирмы И. [50]
В новом гидравлическом методе удаления кокса, описанном Куртом [8] для раздробления кокса, применяется водяная струя под высоким. После того как камера охлаждена и открыта, через слой кокса по направлению вниз пробуривается отверстие диаметром около 450 мм. Затем кокс разрезают и дробят вра - - щением водяной струи, которая выбрасывается из сопла аппарата, помещенного в отверстии. Эта операция начинается в нижней секции камеры и распространяется кверху. Кокс, разрезанный на пласты и измельченный водяными струями, падает на дно камеры. Количество кускового кокса, получаемого этим методом, вполне сравнимо с количеством его, получаемым при удалении тросом. Весь кокс удаляется полностью, и доочистка вручную исключается. [51]