Cтраница 2
В противоположность обычным сводимостям теории рекурсивных функций наши сводимости должны быть вычислительно эффективными. Мы вводим особое понятие эффективной - сводимости, которое достаточно для наших целей. [16]
Преобразуемость ( или сводимость) обычно определяется по отношению к языкам. В этом случае преобразование результатов не требуется, поскольку в качестве результата распознаватель цепочки выдает нуль или единицу. Для геометрических задач необходима большая гибкость, подкрепленная более общим определением. [17]
Обобщением m - сводимости является табличная ( U -) сводимость. [18]
Для описания этой сводимости будем считать квадратики роботами, которые могут получать и передавать сообщения через стороны. Пара букв допустима, если одна из них означает передачу сообщения, а вторая - прием того же сообщения. [19]
Однако рассуждения о сводимости или несводимости лишены содержания. Речь идет не о поглощении биологии физикой, но о выяснении единства живой и неживой природы. Физика, как общая наука о веществе и полях, никак не проще биологии. Следует говорить не о редукционизме, но об интеграции различных областей знания. Так, сейчас совершенно ясно, что в химических превращениях нет никаких явлений помимо физических, и химия сводится к физике. Это ни в коей мере не отменяет самостоятельности и значимости химии, напротив, химия получает более глубокое и общее обоснование. [20]
Нейманом была показана сводимость позиционных игр к играм в нормальной форме. [21]
С целью обеспечения сводимости и сопоставимости показателей, а также возможности механизации планово-учетных и расчетных операций при разработке техпромфинплана необходимо полностью использовать единые шифры, принятые в формах техпромфинплана буровой организации, приложенные к настоящему методическому пособию. [22]
Рассмотрим теперь случай сводимости к пуассоновскому распределению. [23]
Определяется ряд понятий сводимости одного интерро-гативного оператора к другому, причем выводимость рассматривается как особого рода определимость логики вопросов. Приводится большое количество теорем, характеризующих эти понятия и решающих проблему сводимости разных типов интеррогативных операторов. [24]
Определяется ряд понятий сводимости одного интерро-гативного оператора к другому, причем выводимость рассматривается как особого рода определимость логики вопросов, Приводится большое количество теорем, характеризующих эти понятия и решающих проблему сводимости разных типов интеррогативных операторов. [25]
Особая роль аксиомы сводимости ясно видна и в современных исследованиях по теории доказательств. Имеется непроходимая грань между предикативными и непредикативными теориями. Последние оказываются значительно сильнее своих предикативных аналогов, причем это усиление носит трансцендентный характер: не видно никаких возможностей получить непредикативную теорию как конструктивный предел последовательности предикативных теорий. [26]
Венского кружка принцип сводимости научного знания к эмпирически данному. Это ведет к внутренней противоречивости и эклектичности его гносеологической доктрины. [27]
Венского кружка принцип сводимости научного знания к эмпирически данному. Это ведет к внутренней противоречивости и эклектичности его доктрины. [28]
Венского кружка принцип сводимости научного знания к эмпирически данному. Это вело к внутренней противоречивости и эклектичности его доктрины. [29]
Венского кружка принцип сводимости научного знания к эмпирически данному. [30]