Успенский В.А., Верещагин Н.К., Шень А. Колмогоровская сложность и алгоритмическая случайность
Подождите немного. Документ загружается.
′
∈ B ⟨ ⟩
′
−
×
− −
× ⟨ ⟩ ∈
− −
· | |
−
| | − *
⟨ ⟩ ∈
× ·
× ·
−
·
−
×
−
| |
· ×| |
·
· ×| |
·
·
−
·
· × | | · ×| | ·
−
| | − **
| | − * * *
− −
−
* * * *
− −
− −
− −
⟨ ⟩ | |
{ · }
−
∈ B { · }
−
·
′
·
′
|
′ ′
|
|
′
⟨ ⟩
′
′
| 6
′
6 |
′
6 *
⟨ ⟩
⟨ ⟩
⟨ ⟩
*
′ ′
∙ |
′
6
′
∙
′
| 6
′
′
′
′
′
′
×
′
×
∙ 6
√
∙
√
>
√
′
′
p
|
′
|
|
′
|
′ ′
′ ′
×
′
′
− −
⟨ ⟩
′
−
·
−
{ | ∈ }
∞
{ }
> >
∧ { | ∈ ∈ }
∨ { | ∈ } ∪ { | ∈ }
⟨ ⟩
{ } ∧ { } ⟨ ⟩
{ }∨{ }
∨
∧ ∨
∨ { | ∈ ∈ }
∨ ∨
|
{ } { }
→
→ { |∀ ∈ ⇒ ∈ }
|>
|> { ∈N | > }→{ }
{ } → { }
→ ∧ →
| |
→ ∧ →
| |
→ →
∧ →
∧ →
|
|
∨ → ∨
∨ → ∨
∨
∨ → ∨
∨
∨ → ∨ → ∨
∨
∨ →
→
6 →
→
6 |
∧ 6 →
∧
→
∧ ∨ →
∧ ∨ →
→
′
′′
′ ′′
′ ′ ′′ ′′
′ ′ ′′ ′′
′ ′′
′ ′′
′′
′
′
→
′ ′
→
′
′′
′′
′′ ′′
→
′′
→ →