Cтраница 3
Когда интуиционисты ( Брауэр и Вейль) обнаружили в математике трудности, связанные с доказательствами существования, не опирающимися на построение, формалисты ( Гильберт и его школа) сделали попытку найти выход из них, опираясь на это положение Пуанкаре. [31]
Фор м, И н т, П р а г м и С и г н ( в подлиннике Sign) означают формалист, интуиционист, прагматист и сигни-фицист. Кла с с есть представитель классической математики. В дальнейших наших комментариях часто выступает еще один участник спора Кон - представитель конструктивного направления в математике. [32]
БЮРОКРАТ-1) лицо, принадлежащее к чиновничеству, обладающему властными полномочиями; 2) должностное лицо, выполняющее свои обязанности формально, в ущерб делу; формалист, волокитчик. [33]
Либо мы сплотим действительно железной организацией тех, кто хочет воевать, и этой маленькой, но крепкой, партией будем громить рыхлое чудище новоискровских разношерстных элементов, либо мы докажем споим поведением, что мы заслуживали гибели, как презренные формалисты. [34]
Основным в споре между Пуанкаре и Расселом были парадоксы теории множеств и связывавшаяся с ними проблема порочного круга в определениях и рассуждениях, что еще более четко было выражено в их двух последующих публикациях 1906 г. и нашло затем продолжение в дискуссиях между логицистами и формалистами, а также интуиционистами. Это мы оставляем в стороне, вычленив из упомянутых публикаций кое-что, относящееся к аксиоме выбора. [35]
По первому вопросу в развернутой форме будут воспроизведены соответствующие места моей первой статьи, и это необходимо для того, чтобы, с одной стороны, устранить недоразумения честных критиков, с другой - показать, на какой зыбкой почве построены идеологические обвинения С. Т. Кишкина, станет ясным, что мы, механики, по Кишкину, - механисты - потому, что занимаемся важной физической наукой - механикой; формалисты - потому, что занимаемся количественными соотношениями, применяем математику и формулы; идеалисты - потому, что в исследованиях пользуемся руководящими идеями, рассматриваем главное звено, отбрасывая факторы второстепенные и в этом смысле идеализируем реальные тела. [36]
Финитные методы имеют ту же природу, что и методы интуиционистской элементарной арифметики. Некоторые формалисты пытаются ограничить их еще уже ( Гильберт и Бернайс [ 1934, стр. [37]
В отношении к числу уроков я полагаю, что самое элементарное изложение юридических понятий не может занять менее-6 часов в неделю в трех старших классах, хотя бы дело ограничилось конкретною стороною одних законов России, так как хороший учитель при этом не избегнет своими словесными объяснениями упрочить приобретаемые знания и направить умы юношей в добрую сторону. Учитель же формалист или неумелый испортит какое угодно направление преподавания и при всякой программе. [38]
Что касается теоремы Гаусса-Остроградского, то в рамках содержательной интерпретации она очевидна и не требует доказательства. На приеме у формалиста этот номер не проходит. Обоснование может опираться на стандартную процедуру. [39]
На вопрос: где же заключена научная точность, обе стороны отвечают различно. Интуиционист говорит: в человеческой мысли, формалист: на бумаге. [40]
Итак, в заслугу работам формального характера А. А. Ильюшин ставит то, что они имели некоторое значение для развития принципов построения теории пластичности. Это понятно, ибо принципы построения теории пластичности у формалистов и А. А. Ильюшина одни и те же. [41]
БЮРОКРАТ, О лицо, принадлежащее к бюрократии. Должностное лицо, выполняющее свои обязанности формально, в ущерб делу; формалист, волокитчик. [42]
БЮРОКРАТ, 1) ллцо, принадлежащее к бюрократии. Должностное лицо, выполняющее свои обязанности формально, в ущерб делу; формалист, волокитчик. [43]
БЮРОКРАТ, 1) лицо, принадлежащее к бюрократии. Должностное лицо, выполняющее свои обязанности формально, в ущерб делу; формалист, волокитчик. [44]
![]() |
Фазный ротор. [45] |