Репер Крипке играет реп на скрипке

А где у Манина про пучки? Я читал только "Вычислимое". Напомнило книгу "библиотечка программиста - обзор основных открытий теории алгоритмов" Успенского.

(Reply to this) (Thread)

В "Вычислимом" в 5 араграфе 1 главы "Рекурсивная геометрия" написано:


Основные объекты современных геометрических дисциплин (дифференциальная, аналитическая, алгебраическая геометрия) определяются как пары <множество, частично определенные функции на нем>... Множества определения частичных функций в подходящей топологии открыты, а сами функции образуют в этой топологии пучок. В этом параграфе мы проследим аналогии между теорией рекурсивный функций и более классическими геометриями

(Reply to this) (Parent) (Thread)

ok, понял

(Reply to this) (Parent) (Thread)

сказал о-ка - получи хуйка

(Reply to this) (Parent)