Mahsulot tavsifi
Post teoremasi: arifmetik iyerarxiyani Turing sakrashlari orqali belgilaydi. Har bir n≥1 uchun Σ_n^0 to'plamlari ∅^(n−1) ga nisbatan rekursiv ravishda sanaluvchi (r.e.) bo‘ladi; Π_n^0 ularning inkoridir; Δ_n^0 ham Σ_n^0 ham Π_n^0 bo‘lib, ∅^(n−1) ga nisbatan hisoblanadigan to‘plamlardir. Shu bilan arifmetik iyerarxiya darajalari Turing sakrashlari bilan mos keladi
#asosiy g'oyalari#post teoremasi#emil post
Muallif
Brend UzTasdiqlangan muallif
- Hujjatlari
- 74 897
- Sotilgan
- 2 394
