Демо (html) Математическая логика и теория алгоритмов



w-непротиворечивая формальная система является

неполной

Автомат, однократно считывающий входную строку слева направо, называется

конечным

В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений

рекурсивно перечислимо

В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s недоказуемо; 2) Øs доказуемо - из перечисленного

1

В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s опровержимо; 2) Øs опровержимо

ни 1, ни 2