1
В какой степени математика Реалов может быть применена к вычислимым Реалам?
Существует ли общая теорема, которая при надлежащей дезинфекции утверждает, что наиболее известные результаты, касающиеся использования действительных чисел, могут фактически использоваться при рассмотрении только вычислимых вещественных чисел? Или существует правильная характеристика результатов, которые остаются действительными при рассмотрении только вычислимых действительных значений? Дополнительный вопрос заключается в том, можно ли доказать результаты, касающиеся …