Cтраница 2
Наряду с фенантреном, для образования углеводародфар-мальдегидной смолы - формалиста - могут быть применены технические смеси, обогащенные фенантреном, например, технический 60 - 70 % - и фенантрен, получаемый путем ректификации и выделения узких фракций из широкой антраценовой фракции. Формалиты образуются не только с фенантреном, но и с другими углеводородами - с флуореном, аценафтеном, нафталином. [16]
Под конец, когда представители всех групп, кроме формалистов, отчитались о своей работе, он может обратиться к формалистам с вопросом-предложением: Ну, а вашей группе что помешало отлично выполнить работу. Этот анализ полезен для всех групп, поскольку показывает, как неверный подбор членов группы, их несовместимость при решении задачи отрицательно влияют на конечный результат. [17]
За, Валицким - - - прочно укрепилась кличка формалиста, к тому же упорствующего в своих Заблуждениях. [18]
В метатеории мы будем применять только те методы, которые формалисты называют финитными ( finitary) и которые используют только интуитивно представляемые предметы и осуществимые процессы. Мы переводим немецкое finit словом финитный 3); русское конечный 4) соответствует немецкому endlich. Мы никогда не будем рассматривать бесконечный класс как завершенное целое. Каждое доказательство существования будет давать, хотя бы неявно, метод для построения предмета, существование которого доказывается ( ср. [19]
Когда Гильберт опубликовал свое доказательство существования конечного базиса идеала, формалист Гордан, считавшийся в то время королем инвариантов, воскликнул: Это - не математика, это - теология. Гильберт, как это он делал всю жизнь, резко возразил против уничижительного отзыва о доказательствах чистых теорем существования existential argument) как о теологии, но, как мы видим, копая глубже, сумел удовлетворить конструктивным требования Гордана. [20]
Исторически используемый в новой математике множественный подход возник из попытки формалистов вывести интуитивно воспринимаемые свойства континуума из теории почти конечных множеств. Они отчасти преуспели в этом трюке ( или в хакерстве, как выразились бы некоторые программисты), но столь сложным образом, что у тех, кто следует этой модели, исчезает возможность серьезно говорить о вещественных числах, пока не будут усвоены понятия, изучаемые на втором курсе высшей школы. Постижение идей топологии при этом откладывается на еще более поздний срок. Однако дети в свои шесть лет уже обладают хорошо - развитыми геометрическими и топологическими идеями, только они плохо умеют манипулировать абстрактными символами и определениями. Нам следовало бы строить преподавание, основываясь на сильных сторонах ребенка, вместо того чтобы оболванивать его, пытаясь заменить то, чем он владеет, на структуры, которыми он еще не в состоянии оперировать. Но это как раз в духе математиков - наверняка худших в мире растолковывателей - думать: Вы можете чему-нибудь научить ребенка, только если пользуетесь достаточно точными определениями; Если мы с самого начала все правильно определим, у нас впоследствии не возникнет никаких затруднений. Мы не программируем на Фортране для пустой машины, хуже того-мы лезем внутрь плохо понимаемой нами большой системы, для которой характерно при ее естественном эвристическом поведении использование многократно и различными способами описанных символов. [21]
Тем самым Гильберт отдает предпочтение четкому разграничению: он становится строгим формалистом в математике, строгим интуиционистом в метаматематике. [22]
Ануй) во введении к своей пьесе Беккет сказал, что он не формалист и не историк, он - драматург. И доказал это, написав прекрасную пьесу на основе исторической нелепицы, согласно которой Плантагенет, граф Анжуйский ( Генрих II, король Англии), один из наиболее образованных людей в Европе в XII столетии, считался варваром по сравнению с его саксонским другом Томасом Беккетом. Профессиональные историки критикуют пьесу за то же, за что специалисты по вычислительной технике могут критиковать эту книгу. Однако пьеса раскрывает прежде всего сущность поступков людей, а не историю этого периода, и я надеюсь, что эта книга аналогично даст возможность понять сущность процесса сортировки. [23]
Ученый, не желающий ничего знать, кроме своей науки, буквоед, формалист в науке. [24]
В настоящее время основными направлениями в иностранной философии математики являются учения логистов, интуиционистов и формалистов. Если воззрения школы Ресселя в русской литературе представлены несколькими переводными работами), то изложений идей двух других и притом более новых течений почти совершенно не имеется. Работы Пуанкаре2) поставить в счет здесь, разумеется, нельзя, ибо современный интуиционизм во многом отличается от старого. [25]
Именно поэтому А. А. Ильюшин обрушился в своей критике на физиков и металловедов, посмевших критиковать работы формалистов и указать на необходимость изучения проблемы прочности и пластичности в связи с ее структурой, а не в отрыве от нее. [26]
Олицо, принадлежащее к бюрократии 2 2) должностное лицо, выполняющее свои обязанности формально, в ущерб делу; формалист, волокитчик. [27]
Под конец, когда представители всех групп, кроме формалистов, отчитались о своей работе, он может обратиться к формалистам с вопросом-предложением: Ну, а вашей группе что помешало отлично выполнить работу. Этот анализ полезен для всех групп, поскольку показывает, как неверный подбор членов группы, их несовместимость при решении задачи отрицательно влияют на конечный результат. [28]
Проектанты ( точнее их руководители) - люди осторожные, трезво мыслящие, те, кого часто в жизни называют формалистами. В красивые идеи они обычно не верят; им подавай точный расчет и статистические данные экспериментов. [29]
Согласно Брауэру [1928] и Рейтингу [1931-1932, 1934], возможно соглашение между интуиционизмом и формализмом при условии ( по Нейману [1931- 1932]), что формалисты не станут приписывать неинтуиционистской классической математике содержательного значения, благодаря которому доказательство непротиворечивости служило бы ее обоснованием. [30]