Cтраница 1
Конструктивный процесс, результатом к-рого является объект, одинаковый с А, наз. Высказывания, связанные с человеческой способностью осуществлять конструктивные процессы, часто формулируются в К. Это понимание теорем существования отличается от их понимания в теоретико-множественной математике, что вынуждает строить для К. [1]
Конструктивный процесс, результатом к-рого является слово, состоит в данном случае в выписывании этого слова буква за буквой. Таким образом, рациональные числа оказываются конструктивными объектами. [2]
Понятие конструктивного процесса и конструктивного объекта не определяются в К. [3]
Конструктивный объект является результатом конструктивного процесса, т.е. результатом применения алгоритма определенного типа. Говоря о конструктивном объекте, имеют в виду существование способа алгоритмического построения этого объекта. При этом не всякое множество является конструктивным объектом. [4]
В применении к потенциально неограниченно про-должнмым конструктивным процессам ( таким, напр. [5]
В микробиологической литературе для обозначения энергетических и конструктивных процессов пользуются также терминами катаболизм и анаболизм, имеющими отношение к распаду или синтезу органических молекул, происходящему соответственно с выделением или потреблением свободной энергии. [6]
Каждый из названных этапов включает в себя аналитические и конструктивные процессы. [7]
В применении к потенциально неограниченно продолжи мым конструктивным процессам ( таким, напр. [8]
Потребность в 02 у аэробов определяется его участием в энергетических и конструктивных процессах. В первом случае 02 служит обязательным конечным акцептором электронов, во втором - участвует в реакциях ( или единственной реакции) на пути многоступенчатого преобразования клеточных метаболитов или экзогенных субстратов. У облигатных аэробов большая часть 02 используется в качестве конечного акцептора электронов в реакциях, катализируемых цитохромоксидазами. Меньшая часть включается в молекулы с помощью ферментов, получивших общее название оксигеназ. В клетках факультативных анаэробов также содержатся цитохромоксидазы. [9]
Потребленный клетками субстрат идет и на получение энергии, и на конструктивные процессы - синтез клеточного материала. Такое использование питательных веществ называется окислительной ассимиляцией. [10]
Упомянем еще работы, в которых с точки зрения оснований математики анализируются сами конструктивные процессы итераций, например шаги построения натурального ряда классифицируются на достижимые и недостижимые. [11]
Принятие абстракции потенциальной осуществимости приводит к тому, что наряду с элементарными, целиком обозримыми конструктивными процессами ( напр. Такие процессы задаются своими предписаниями; сами эти предписания по существу и становятся предметом исследования. Шаги эти, таким образом, сводятся к написанию и графическому сравнению нек-рых слов, а также к замене вхождений одних слов в другие третьими словами. Окончание процесса определяется самим предписанием и может зависеть от результатов, полученных на шагах, предшествующих заключительному, причем принятие решения о заключительном характере данного шага также должно носить описанный только что элементарный характер. Такому предписанию не соответствует никакой потенциально выполнимый конструктивный процесс, однако здесь оказывается удобной условная терминология, согласно к-рой соответствующее предписание определяет неограниченно продолжаемый ( потенциально бесконечный) процесс. Для оправдания этой терминологии можно было бы также расширить исходные представления о конструктивных процессах, рассматривая наряду с потенциально реализуемыми процессами более абстрактные образования - процессы, отождествляемые с их предписаниями. В связи с появлением неограниченно продолжаемых конструктивных процессов возникает вопрос о средствах, при помощи к-рых можно убедиться в обрываемости задаваемого данным предписанием конструктивного процесса. [12]
Особенно четко потребность в восстановителе проявляется, если основным или единственным источником углерода для конструктивных процессов служит С02 - предельно окисленное углеродное соединение. Для превращения углекислоты в структурные компоненты клетки и клеточные метаболиты необходимо ее восстановление до уровня углеводов, белков, липидов. Это же справедливо и при использовании в качестве источника углерода органических соединений, более окисленных, чем вещества тела, например ацетата. [13]
Рибозо-5 - фосфат является промежуточным продуктом пенто-зофосфатного пути, и это еще раз демонстрирует тесную связь энергетических и конструктивных процессов метаболизма микроорганизмов. [14]
Такие алгорифмы в свою очередь могут естественно рассматриваться как некоторые конструктивные объекты, и, таким образом, сами конструктивные процессы также входят в конструктивную математику в качестве объектов исследования. Впрочем, на начальной стадии изучения конструктивной математики такое, уточненное в духе тезиса Черча, понимание конструктивных процессов не является необходимым. [15]