• Задачі для самостійного розв’язання

Задачі для самостійного розв’язання

1. Знайти канторові номери  впорядкованих трійок  С3(0, 0, 1) ; С3(1, 0, 0); С3(1, 1, 0).
2. За формулами (13.3), (13.4) знайдіть аналітичні залежності x = l(n) та y = r(n).
3. Використовуючи нумерацію за Гьоделем, знайдіть гьоделівський номер формули [TEX]\exists [/TEX]x(x+S(0) = 2xx).
4. Доведіть теорему 13.1.
5. Доведіть, що відношення «m – зведення» рефлексивне і транзитивне.