Вычислимое число: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
м Бот: замена устаревшего математического синтаксиса в соответствии с mw:Extension:Math/Roadmap |
Arventur (обсуждение | вклад) Определение и АИ |
||
Строка 5:
[[Линейный порядок|Порядок]] на множестве вычислимых действительных чисел [[изоморфизм|изоморфен]] порядку на множестве рациональных чисел.
== Определение ==
Вещественное число <math>x</math> называется вычислимым, если существует [[алгоритм]], который позволяет для каждого <math>n \in P</math> вычислить за конечное число шагов двоичную дробь <math>a = \frac{k}{2^r}, k \in Z, r \in N</math>, такую, что <math>|x-a| < 2^{-n}</math><ref>''[[Биркгоф, Гаррет|Биркгоф Г.]], Барти Т.'' Современная прикладная алгебра. - М., Мир, 1976. - с. 375</ref>
== Свойства ==
Строка 12 ⟶ 15 :
== См. также ==
* {{Не переведено|:en:Turing degree|Степень неразрешимости}}
== Примечания ==
{{Примечания}}
{{math-stub}}
|