Контрольні запитання

1. Чи є N[TEX]\smile [/TEX]N² конструктивним простором? Відповідь поясніть.
2. Яке твердження можна надати формулі ∀x(xxS(0) = x), що розглядається в прикладі 13.1 ?
3. Які види нумерацій трапляються в теорії нумерацій алгоритмів.
4. Про що стверджується в теоремі про нерухому точку?
5. Яким чином будується канторова нумерація кортежів?