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