У меня есть вопрос, ответ на который, вероятно, хорошо известен, но я не могу найти ничего значащего после небольшого поиска, поэтому я был бы признателен за некоторую помощь.
Мой вопрос заключается в том, известно ли, что решение о том, является ли число трансцендентным, неразрешимо.
Возможно, предполагается, что в качестве входных данных, скажем, программа, которая возвращает i-й бит числа. Заранее спасибо за любые указатели.
computability
computable-analysis
ipsofacto
источник
источник
Ответы:
Решение Кристоффера может быть использовано, чтобы показать, что, предполагая, что вещественные числа представлены так, чтобы мы могли вычислить пределы последовательностей действительных чисел, которые вычислимы по Коши. Напомним, что последовательность вычислимо Коши, если существует вычислимое отображение такое, что для любого мы имеем для всех . Стандартные представления вещественных чисел подобны таковым, например, то, где действительное число представлено машиной, которая вычисляет сколь угодно хорошее рациональное приближение. (Мы также можем говорить с точки зрения вычисления цифр, но тогда мы должны допустить отрицательные цифры. Это хорошо известная проблема в теории вычислимости вещественных чисел.)(aN)N е К |aм-aN| <2- к m , n ≥ f( к )
Доказательство. Предположим, были разрешимы. Для любой машины Тьюринга рассмотрим последовательность определенную как Легко проверить, что вычислимо по Коши, поэтому мы можем вычислить его предел . Теперь у нас есть если останавливается, поэтому мы можем решить проблему остановки. QED.S T bn
Существует двойная теорема , в которой мы предполагаем , что последовательность находится вне , но ее предел в .S S
Примерами множеств удовлетворяющих этим условиям, являются: открытый интервал, закрытый интервал, отрицательные числа, синглтон , рациональные числа, иррациональные числа, трансцендентные числа, алгебраические числа и т. Д.S {0}
Множество, которое не удовлетворяет условиям теоремы, является множеством рациональных чисел, переведенных невычислимым числом . Упражнение: является ли разрешимым?S={q+α∣q∈Q} α S
источник
Для заданной машины Тьюринга определим машину Тьюринга представляющую число следующим образом: На входе запускаю для шагов на пустом входе. Если остановлено, выведите . В противном случае выведите й бит .M M′ i M i M 0 i π
источник
Множество трансцендентных не открыто в (в частности, оно плотно и коденно в Следовательно, оно неразрешимо.R R
источник