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

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

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

Привет


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

from Alex Plucer-Sarno
[info]plucer.livejournal.com
2008-03-24 07:53 (ссылка)
Миша, я идиот, не пойму как тебя зафрендить, мне было бы интересно тебя читать.

(Ответить) (Ветвь дискуссии)

Re: from Alex Plucer-Sarno
[info]ipatov-net.livejournal.com
2008-03-24 11:35 (ссылка)
Через RSS подпишись, это правильно будет, ЖЖ позволяет в френдленте RSS-источники транслировать.

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

Re: from Alex Plucer-Sarno
[info]tiphareth
2008-03-26 10:45 (ссылка)
Можно подписаться на [info]tiphareth_ljr@lj например

пардон, что не сразу ответил: роботы напали, да

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

какой программой
[info]provokator2008.livejournal.com
2008-03-24 14:22 (ссылка)
файлы *.ps просматривать?? спасибо.

(Ответить) (Ветвь дискуссии)

Re: какой программой
[info]mancunian
2008-03-24 15:22 (ссылка)
Кстати, да. Почему бы тебе не делать PDF?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]tiphareth
2008-03-28 15:14 (ссылка)
Там используется диалект русского ТеХа, написаный
Шенем-Львовским. Из него PDF получается кривой
(если из постскрипта генерировать), а latexpdf они
не сделали. Так что увы.

Но русские названия теховских команд в бабеле сделать нельзя.

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]mancunian
2008-03-28 17:15 (ссылка)
Я уже лет 10 примерно не набирал русского теха, но вроде никогда особых проблем не было. У Miktex'a, кажется, стандартная поддержка кириллицы, включая переносы.

Вообще, почему бы тебе их не учить по-английски? они бы тебе наверняка спасибо сказали. Кому нужен русский математический язык?

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

Re: какой программой
[info]zort
2008-03-24 15:28 (ссылка)
Adobe Distiller - платное.

ps2pdf из Ghostscript.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]zort
2008-03-24 15:32 (ссылка)
http://www.ps2pdf.com/

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]tiphareth
2008-03-28 15:15 (ссылка)
Он с данными PS файлами криво работает, увы
дистиллера у меня нет, потому что Линукс

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-28 16:58 (ссылка)
Standartnaya programma pod vindozom ehto psfile. No ya ne proveryal.

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

Re: какой программой
[info]zort
2008-03-28 20:13 (ссылка)
ну а почему бы прямо pdflatex не использовать ?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-28 20:17 (ссылка)
Russkikh bukv ne beret. Nado delat' pstopdf.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]tiphareth
2008-03-28 20:29 (ссылка)
ps2pdf с постскриптом, который делается
из ТеХа Львовского-Шеня, выдает ошибочный PDF
и много жалуется

К тому же,
в этом PDF все буквы немного выбиваются из строки,
и выглядит он уродски донельзя

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-28 21:30 (ссылка)
U tebya sil'no ustarevshie svedenie. Bukvy vybivalis' iz stroki na preview, i to davno, sejchas pofiksili vrode.

Ya vprochem kak vsegda zabyl, kakaya programma pravil'naya, ps2pdf ili pstopdf.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]tiphareth
2008-03-28 21:45 (ссылка)
Я у Львовского спрашивал, что делать
(мне нужен PDF для слайдов). Сказал,
пользуйся бабелем.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]tiphareth
2008-03-28 22:08 (ссылка)
Впрочем, он сказал пользоваться бабелем
не на то, а на отсутствие slitex для
ихнего теха.

А что касается ps2pdf -- ты, возможно, прав, но переставлять
весь ghostview с целью обновить ps2pdf я точно не хочу.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-29 07:05 (ссылка)
Kogda mne bylo nuzhno, ya poshel v izdetel'stvo MCCME (komnata naprotiv L'vovskogo) i mne vse tam podrobno ob'yasnili, no ya uzhe zabyl. L'vovskj tozhe kazhetsya znaet. Na mccme.ru vse chto nuzhno uzhe stoit, ya obychno kladu tuda i proizvozhu pdf tam. Imej v vidu na budushchee, esli ponadobitsya.

Ya *ne uveren*, chto ehto ps2pdf, a ne pstopdf.

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

Re: какой программой
[info]kaledin
2008-04-02 23:23 (ссылка)
Ya vyasnil vopros. ps2pdf ili pstopdf ehto pofigu, ps2pdf dazhe luchshe, ibo standartnee. Acrobat nachinaya s 5.0 ego dolzhen pokazyvat' bez problem. No poiska ne budet. V principe, tu zhe operaciyu, kotoraya iz latexa delaet rlatex, mozhno prodelat' s pdflatex'om, i oni v MCCME vse sobirayutsya, da nikak ne soberutsya.

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

Re: какой программой
[info]zort
2008-03-28 23:51 (ссылка)
>Russkikh bukv ne beret.

у меня берёт. после установки cm-super и векторные шрифты появляются.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-29 07:03 (ссылка)
Kakaya rusifikaciya TeXa -- babelfish ili Shen-Lvovski? S babelfishem beret konechno, no babelfish ne delaet perenosov.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]zort
2008-03-29 10:36 (ссылка)
>no babelfish ne delaet perenosov.

в смысле некачественно переносит, или вообще не переносит ?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-29 12:22 (ссылка)
Ran'she voobshche ne perenosil; sejchas mozhet selgka popravili. No problema v principe nerazreshima: TeX delaet perenosy na urovne samoj programmy, a babel ehto vsego lish' makropaket nad nej. V shenevskoj russifikacii izmenena sama programma.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]gastrit
2008-03-29 22:54 (ссылка)
> Раньше вообще не переносил

Ссылку на ruhyphen.tex в конфиге раскомментировать не пробовали?

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

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]kaledin
2008-03-30 11:26 (ссылка)
Da ya im ne pol'zuyus' voobshche. Znakomye pol'zuyutsya, i zhaluyutsya (perenosit, no huevo). Problema v principe nerazreshima cherez hyphenation tables, poluchaetsya urodstvo -- russkie pravila slishkom otlichny ot anglijskikh, i v russkom slishkom mnogo fleksii. Nuzhno vnosit' izmeneniya v algoritm.

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

Re: какой программой
[info]tiphareth
2008-03-28 20:30 (ссылка)
К шеневскому ТеХу нет pdflatex

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

Re: какой программой
(Анонимно)
2008-03-24 21:50 (ссылка)
http://pages.cs.wisc.edu/~ghost/
в линуксе evince или ему подобные

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

Re: какой программой
[info]ulysses4ever.livejournal.com
2008-03-25 13:11 (ссылка)
Evince -- под Linux: пользуйтесь фрисофтом...

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: какой программой
[info]tiphareth
2008-03-28 15:15 (ссылка)
Вот чрезвычайно удобное
http://pages.cs.wisc.edu/~ghost/gsview/

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

Re: какой программой
[info]tiphareth
2008-03-28 15:12 (ссылка)
Этой, наверное, удобнее всего
http://pages.cs.wisc.edu/~ghost/gsview/

Такие дела
Миша

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


(Анонимно)
2008-03-24 20:30 (ссылка)
Очень полезная лекция!

(Ответить)


[info]gastrit
2008-03-25 00:01 (ссылка)
Про лекцию 0.

Стр.2-3: недоказуема не вообще, а средствами допускающими формализацию в рамках самой теории. Это всё же две большие разницы (непротиворечивость той же арифметики, например, прекрасно доказана огромным числом способов).

И некоторые комментарии полуисторического плана:

1) Во времена Брауэра приличные люди английским не пользовались, и потому статья его называлась «De onbetrouwbaarheid der logische principes». Аристотелеву логику он отвергал не вообще, а конкретно в рассуждениях о бесконечном (с его точки зрения, закон исключённого третьего основан на возможности полного перебора, каковая для бесконечной области отсутствует).

2) Если Колмогоров конструктивист, тогда Гиммлер — раввин. Более агрессивно настроенного против конструктивной математики (и менее понимающего её смысл) деятеля ещё поискать надо.

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

(Ответить) (Ветвь дискуссии)

Держитесь, Миша! Вы молодец!
(Анонимно)
2008-03-25 07:31 (ссылка)
Миша, вы как настоящий математик бескорыстно несёте просвещение народу. А недоучившийся злой Гастрит в ответ смеет ругать самого Колмогорова. Больше он ничего не умеет. Слава Андрея Николаевича от этого нисколько не пострадает, а Гастрит покрыл себя позором.

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


[info]tiphareth
2008-03-27 13:54 (ссылка)
Спасибо! Поправил.

Извинения за нападение роботов.

>Если Колмогоров конструктивист, тогда Гиммлер — раввин.

Я написал "близких к Колмогорову". Который
возглавлял кафедру логики на мехмате и эти исследования
безусловно поощрял.

Лично я думаю, что явно конструктивистские
наклонности этой кафедры (и мехмата в целом) -
результат деятельности Колмогорова. Например,
то, что студенты второго-третьего курса не
знают "доказательства" леммы Цорна (в смысле -
вывода ее из AC). Формулировки тоже не знают,
хотя слово слышали.

При том, что основная область
деятельности мехматских деятелей - теория
функций действительного переменного
(интегралы Чейн-Стокса и тому подобный
антиквариат).

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]gastrit
2008-03-27 22:24 (ссылка)
> Извинения за нападение роботов.

Да не за что, даже интересно было почитать :-)

> Я написал "близких к Колмогорову". Который
> возглавлял кафедру логики на мехмате

С 1979 по 1987 (т.е. "не приходя в сознание": можете прикинуть его возраст на тот период). Создана же эта кафедра (в 1959-ом) была и до 1979-го руководилась Марковым, отношения которого с Колмогоровым были, мягко говоря, натянутыми (как раз в силу колмогоровского антиконструктивизма).

Кстати, классическая фраза «я считаю Маркова выдающимся математиком, но его конструктивистскую деятельность расцениваю как исключительно вредную» принадлежит гражданину, зело "близкому к Колмогорову".

> и эти исследования
> безусловно поощрял.

Откуда сведения? Все доступные мне источники (в т.ч. из кругов, "близких к Колмогорову") свидетельствуют о прямо обратном.

> студенты второго-третьего курса не
> знают "доказательства" леммы Цорна

На современном мехмате без труда можно найти студента, который не отличит синус от фикуса. Потому что там учебная часть такая (не отчисляют никого в принципе). Что всё сие как-то связано с мнимым "конструктивизмом" Колмогорова, мне довольно сомнительно.

> основная область деятельности мехматских деятелей -
> теория функций действительного переменного
> (интегралы Чейн-Стокса и тому подобный
> антиквариат).

Ну, дыхательными упражнениями такого рода заняты максимум полторы кафедры (причём как раз с подачи Колмогорова далеко не в последнюю очередь). Просто интернет-активным младшекурсникам лекторы по матану сильнее всего в глаза бросаются :-)

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2008-03-29 17:39 (ссылка)

>С 1979 по 1987 (т.е. "не приходя в сознание": можете
>прикинуть его возраст на тот период).

Возможно. Я школьником посещал (1985) семинар "Колмогоров,
Успенский, Шень", Колмогорова там не было, конечно,
но содержание лекций было вполне конструктивистское.
Не в смысле философии математики (ее не было), а в
смысле определения основных понятий конструктивной
математики.

Ну и основная популяризаторская литература на тему
вычислимых функций и множеств написана тоже Успенским.

>принадлежит гражданину, зело "близкому к Колмогорову".

А кому? Яндекс-Гугель молчит.

>> студенты второго-третьего курса не
>> знают "доказательства" леммы Цорна

>На современном мехмате без труда можно найти студента,
>который не отличит синус от фикуса.

Само собой. Я не про то, а про то, что ее в программе нет.

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]gastrit
2008-03-29 20:27 (ссылка)
> Не в смысле философии математики (ее не было), а в
> смысле определения основных понятий конструктивной
> математики.

Успенский рассматривает теорию рекурсии в рамках представлений теоретико-множественной математики. Ничего общего с конструктивизмом его деятельность не имеет.

Перечисляя сотрудников кафедры, Андрей Андреевич особенно тепло упомянул С.А. Яновскую и В.А. Успенского. В последнем случае он заметил: «Правда, Владимир Андреевич — классик». Имелось в виду, что Успенский, в отличие от Маркова, был сторонником теоретико-множественной, «классической» математики.

> Ну и основная популяризаторская литература
> на тему вычислимых функций и множеств написана тоже Успенским.

Угу. Сам себя не похвалишь — стоишь, как оплёванный.

> А кому? Яндекс-Гугель молчит.

Успенскому и принадлежит.

> Само собой. Я не про то, а про то, что ее в программе нет.

В программе чего? Матана? Линейной алгебры? Функционального анализа? И какого конкретно лектора (т.к. каждый читает свой собственный курс со своей собственной программой)? Насколько я помню, в моё время лемма Цорна упоминалась неоднократно — но не в рамках матана для первокуров, это точно.

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2008-03-29 20:30 (ссылка)
>Успенский рассматривает теорию рекурсии в рамках представлений
>теоретико-множественной математики.

А какая разница? Предмет исследований тот же
(теория алгоритмов), и методы тоже.

А придавать излишнее философское значение конструктивизму
и правда не стоит, он не настолько полезен. Хотя полезен,
бесспорно.

(Ответить) (Уровень выше) (Ветвь дискуссии)


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

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

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

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

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


[info]stormshield.livejournal.com
2008-03-25 04:56 (ссылка)
бля, Хелл мастер ругани
жалко, что все это будет вычищено

(Ответить)

(Комментарий удалён)

[info]stormshield.livejournal.com
2008-03-25 05:05 (ссылка)
well stop eating it then

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


[info]helvegr
2008-03-25 05:10 (ссылка)
В определении 0.1 не забыта рефлексивность?

(Ответить)


[info]olegmi
2008-03-25 17:07 (ссылка)
Это офтопик, но как раз тут выисказась конференция против топологии. :)
http://community.livejournal.com/ban_topology/4397.html
Народ издевается над православными мракобесами...

(Ответить)


[info]ipatov-net.livejournal.com
2008-03-28 01:24 (ссылка)
Image

(Ответить) (Ветвь дискуссии)


[info]ulysses4ever.livejournal.com
2008-03-29 15:24 (ссылка)
Мне очень стыдно и я бы на вашем месте на вопрос принципиально не отвечал, но я все-таки рискну спросить: расскажите, пожалуйста, кто изображен на картинке в красном кружке.

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


[info]tiphareth
2008-04-01 23:27 (ссылка)
test

(Ответить)