Успенский В.А., Верещагин Н.К., Шень А. Колмогоровская сложность и алгоритмическая случайность
Подождите немного. Документ загружается.
∈ {N
⊥
}
→
∈ {N
⊥
}
→
N N
⟨ ⟩ ↦→
C
B
−
⟨ ⟩ ↦→
≍
→∞
≍ |≍
|
′ ′
′
′
′
−
′
‖
|
‖
‖
∈
‖
‖
{ } |
‖
|
‖ >
‖
→ ∞
→∞
‖ >
′
C
′
>
′
6
→∞
‖ >
′
′
6
B
‖ >
>
|
>
| 6 ‖ >
→ ∞
→∞
|
′
C
|
′
′
↦→ |
′
∃ ∀ > |
′
′
⟨ ⟩
|
⟨ ⟩
⟨ ⟩ >
′
⟨ ⟩
′
′
|
B
→∞
|
′
C
→∞
|
′
′
′
↦→ |
′
→∞
|
∑
′ ′
′
→∞
| ⇔ ∃ ∃ ∀ |
′
⟨ ⟩
·|·
⟨ ⟩ >
′
′
′ ′
B
‖ >
‖
{ } |
⟨ ⟩ ↦→
‖
∈
→ F
N
N
‖
′
‖
′
| { }
‖
∈
− ‖ 6 ‖ 6
′
‖
−
∈
|
∈
|
‖
→∞
‖ >
′
′
′
−
→ ∞
∑
6
↦→
′
′
C
′
′
B
′
′
′
′
−
̸
−
↦→
′
′
∑
6
′
C ⟨ ⟩
′
′
⇔ ∃ ∀