symm

Mathlib.Computability.TuringDegree

URI: https://scilib.ai/kg/mathlib#TuringEquivalent.symm

English

If f ≡ᵀ g then g ≡ᵀ f.

Русский

Если f эквивалентно g по Тьюрингу, то g эквивалентно f.

LaTeX

$$$ \forall {f g : PFun Nat Nat},\ TuringEquivalent f g \rightarrow TuringEquivalent g f$$$

Lean4

@[symm]
theorem symm {f g : ℕ →. ℕ} (h : f ≡ᵀ g) : g ≡ᵀ f :=
  Equivalence.symm equivalence h

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru