Успенский В.А., Верещагин Н.К., Шень А. Колмогоровская сложность и алгоритмическая случайность
Подождите немного. Документ загружается.
⟨ ⟩
′
B
{ }
C
′
′
′
′
′
′ ′
′
′
B
′ ′
∪
6
⊂
C
B
N
⊥
⊥
⊥
⊥ N ∪ {⊥}
N →
N
⊥
⊥
⊥
N
⊥
→ N
⊥
6 6
N
⊥
̸ ⊥
′
̸
⊥
′
6
C 6
̸6 ⊥ ̸
{ }
̸ ⊥
{ }
′ ′
̸ ⊥
′
B
→ N
⊥
⟨ ⟩ ∈ × N
⊥
↦→
→ N
⊥
⊂ × N
⟨ ⟩ ∈ 6 ⇒ ⟨ ⟩ ∈
⟨ ⟩ ∈ ⟨ ⟩ ∈ ⇒
C ∈ N
⟨ ⟩ ∈ ⊥
⟨ ⟩ ∈
⊥
∈
′
′
6
′
̸ ⊥
′
⊥
′
6
B
→ N
⊥
→ N
⊥
N
N
→ N
⊥
′
− 6 6
′
6 −
6
′
C
′
′
′
′ ′
′
′ ′ ′
′ ′
′
′
′
B
′
′ ′
′
∈
− 6
C − 6
−
6
↦→
−
−
− −
B
↦→
−
∑
−
6
C
̸
∑
−
6
−
B
6
∑
−
−
6
− −
′
6 −
C
′
6 −
−
>
∑
−
6
−