Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2008-03-24 07:31:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:12 Rounds - My Big Hero
Entry tags:math, mccme

Лекция 0, о лемме Цорна и аксиоме выбора
Завтрашние лекции по топологии
Лекция 10 о равномерной сходимости и
Лекция 0 о лемме Цорна и аксиоме выбора.

Также листочки, номер 7, о связности
топологических пространств.

Все предыдущее тут:
http://lj.rossia.org/users/tiphareth/1054564.html?nc=39

Как всегда - буду донельзя признателен за любые
замечания и комментарии

Привет



(Читать комментарии) - (Добавить комментарий)


[info]gastrit
2008-03-29 21:03 (ссылка)
Предмет исследований как раз разный. С точки зрения Маркова, математика — это разновидность машиноведения, и объекты её исследования столь же материальны, сколь и фрезерные станки. Под такое представление об объекте подбираются и методы работы. С точки зрения Успенского, конструктивные объекты идеальны и суть частный случай канторовско-цермеловских "множеств". Методы работы — соответствующие.

Плюс к сказанному, конструктивная математика не сводится к теории рекурсии. И за её пределами (в том же анализе) между условным Успенским и условным Марковым начнётся просто мордобой — кстати, сам же Успенский в своих воспоминаниях о Колмогорове описывает известный эпизод с происшедшей на докладе Бассалыго стычкой между Марковым и Колмогоровым.

С уважением,
Гастрит

P.S.: Собственно, к чему всё это. Интуиционизм и конструктивизм — это методологические позиции (определённые системы взглядов на природу математических объектов и суждений о них), а не узкие теории. Так что если Вам неинтересно "философское значение", тогда и говорить надо не про "конструктивизм", а про "теорию алгорифмов" и "теорию рекурсии". Каждому термину — своё место.

(Ответить) (Уровень выше)


(Читать комментарии) -