Чи існує загальна теорема, яка б за умови належної санітарії стверджувала, що більшість відомих результатів щодо використання реальних чисел можна реально використовувати, якщо розглядати лише обчислювані цифри? Або є належна характеристика результатів, які залишаються дійсними, якщо враховувати лише обчислювані цифри? Побічне питання полягає в тому, чи можна довести результати, що стосуються обчислювальних дій, без необхідності враховувати все реальне, або все, що не піддається обчисленню. Я думаю саме про обчислення та математичний аналіз, але моє питання жодним чином не обмежується цим.
Власне, я вважаю, що існує ієрархія обчислюваних дійсних даних, що відповідають ієрархії Тьюрінга (Це правильно?). Тоді, більш абстрактно, чи існує абстрактна теорія реального (я не впевнений, якою має бути термінологія), для якої можна було б довести ряд результатів, які стосуватимуться як традиційних реальних чисел, так і обчислювальних цифр, і до будь-якого рівня ієрархії Тюрінга обчислюваних дійсних даних, якщо вона існує.
Тоді моє запитання, можливо, могло б бути висловлене так: чи є характеристика результатів, які застосовуватимуться в абстрактній теорії реальних результатів, коли вони будуть доведені для традиційних дій. І чи можна було б довести ці результати безпосередньо в абстрактній теорії, не враховуючи традиційних результатів.
Мені також цікаво зрозуміти, як і коли ці теорії реально розходяться.
PS Я не знаю, куди це вмістити в моєму питанні. Я зрозумів, що велика частина математики на реалах узагальнена топологією. Тож може бути, що відповідь на моє запитання чи його частину можна знайти там. Але може бути і більше.