|
Apr. 25th, 2023|12:51 am |
В "Вычислимом" в 5 араграфе 1 главы "Рекурсивная геометрия" написано:
Основные объекты современных геометрических дисциплин (дифференциальная, аналитическая, алгебраическая геометрия) определяются как пары <множество, частично определенные функции на нем>... Множества определения частичных функций в подходящей топологии открыты, а сами функции образуют в этой топологии пучок. В этом параграфе мы проследим аналогии между теорией рекурсивный функций и более классическими геометриями |
|