Cтраница 1
Полное К-множество вполне соответствует интуитивному пониманию множества - в силу теоремы 8.1 применение к полным К-множествам операций объединения, пересечения, дополнения и квантификации снова приводит к полным К-множествам. Для произвольных К-множеств в силу теоремы 8.3 это не имеет места. [1]
Любое полное К-множество К-разрешимо. [2]
Всякое полное К-множество К-счетно. [3]
Получаем диагональное полное К-множество слов в алфавите cti... Оно содержит слово а тогда и только тогда, когда а принадлежит полному К-множеству с геделевским номером па, где па - геделевский номер слова а - Дополнение этого К-множества является полным К-множеством и не совпадает ни с одним из полных К-множеств с номерами из тт. [4]
Таким образом, естественно считать, что любое полное К-множество является и множеством в интуитивном смысле. [5]
Множество геделевских номеров полных К-систем в заданном алфавите не является полным К-множеством. [6]
Полное К-множество вполне соответствует интуитивному пониманию множества - в силу теоремы 8.1 применение к полным К-множествам операций объединения, пересечения, дополнения и квантификации снова приводит к полным К-множествам. Для произвольных К-множеств в силу теоремы 8.3 это не имеет места. [7]
Полное К-множество вполне соответствует интуитивному пониманию множества - в силу теоремы 8.1 применение к полным К-множествам операций объединения, пересечения, дополнения и квантификации снова приводит к полным К-множествам. Для произвольных К-множеств в силу теоремы 8.3 это не имеет места. [8]
Получаем диагональное полное К-множество слов в алфавите cti... Оно содержит слово а тогда и только тогда, когда а принадлежит полному К-множеству с геделевским номером па, где па - геделевский номер слова а - Дополнение этого К-множества является полным К-множеством и не совпадает ни с одним из полных К-множеств с номерами из тт. [9]
Получаем диагональное полное К-множество слов в алфавите cti... Оно содержит слово а тогда и только тогда, когда а принадлежит полному К-множеству с геделевским номером па, где па - геделевский номер слова а - Дополнение этого К-множества является полным К-множеством и не совпадает ни с одним из полных К-множеств с номерами из тт. [10]
Получаем диагональное полное К-множество слов в алфавите cti... Оно содержит слово а тогда и только тогда, когда а принадлежит полному К-множеству с геделевским номером па, где па - геделевский номер слова а - Дополнение этого К-множества является полным К-множеством и не совпадает ни с одним из полных К-множеств с номерами из тт. [11]
К-конструктивизм привлекателен именно своей конструктивностью. Встав на эту позицию, К-существо, в определенном смысле, рассуждает только о том, что точно знает, не привлекая никаких гипотез о свойствах объектов внешнего мира. Множества становятся вполне определенными объектами, а именно, полные К-множества и только они являются множествами. В частности, приняв некоторый алфавит а... К-существо может изучать любое множество слов в этом алфавите, непосредственно исследуя соответствующую полную К-систему. [12]