Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mmonline.ru/forum/read/7/41340/41472/
Дата изменения: Tue Apr 12 23:30:47 2016
Дата индексирования: Tue Apr 12 23:30:47 2016
Кодировка: Windows-1251
MMOnline | Форумы | Разное | Хочу познакомиться с математикой

Хочу познакомиться с математикой

Автор темы Paul Fertser 
29.10.2004 20:39
Игорь Абрамов
и еще:
Вы Шеня-Верещагина то хоть смотрели ?
Там собственно аксиоматикой никто не балуется.
Наоборот подчеркивается, что в тонкости и "морские термины",
они не лезут. Я сейчас не могу точно утверждать, но вроде там даже
слова ZF не фигурирует.

И еще. В Фихтенгольце (очень неплохом учебнике, и я его
весьма уважаю) есть целый букет весьма мутных теорий,
по сути эквивалентных пределу по базе. Одно понятие
варианты чего стоит.
29.10.2004 20:42
А разве Вы это умеете?!! :)
Цитата

Свинтус писал(а) :
Что Гастрит хочет, не чтобы не знали про множества, а чтобы не знали про аксиоматику теории множеств. Кстати Гастрит- знание таких слов как лемма Цорна- тоже весьма полезно в алгебре ;)- а это однако теория множеств.
С уважением Свинтус

Ага. И при помощи этой "леммы" вы надоказываете кучу НЕВЕРНЫХ утверждений. Мой любимый пример здесь - "теорема" о "существовании" базиса Гамеля в бесконечномерном гильбертовом пространстве.

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

P.S.: Невежество ближе к истине, чем предрассудок...

29.10.2004 20:43
Точно не фигурирует.
Зато фигурирует у Зорича.
С уважением Свинтус
29.10.2004 20:44
А чем она Вам не нравится?
Кроме своей неконструктивности.
С уважением Свинтус
29.10.2004 20:48
Игорь Абрамов
Понятно
Традиционно множества, классическая логика, и алгоритмы
читаются в одном курсе. Собственно это и есть темы трех
томиков Верещагина и Шеня. То, что нужно нелогикам
от этих наук, вполне читается за один небольшой семестровый курс.
Так часто читают и математикам и программистам и всем кому
читают много математики и околоматематики.

И перечисленные мною вещи хотелось бы иметь в этом курсе.
(Теорему Геделя можно без доказательства или на пальцах)

Правда, там, где я читаю, у меня в одном курсе формальные
языки, вычислимость и сложность, но это уже другая,
программистско-американская традиция.
29.10.2004 20:49
Игорь Абрамов
Пришел Гастрит и все ....
свел к бессмысленному спору о секте конструктивистов :(
29.10.2004 21:04
Это прикол такой был
Цитата

Разговор на мехматском научном (не путать с учебными) семинаре:

Докладчик: ...последовательность сходится к нулю.
Присутствующий студент-второкурсник: А по какой базе?
Руководитель семинара: Стрелочка там, молодой человек, стрелочка...
Прикалывался студент- разве не очевидно ;-)
С уважением Свинтус
30.10.2004 11:33
ТТ
Ну ладно.
Только когда будете выбрасывать, лучше мне отдайте. У меня первого тома нет.
30.10.2004 11:37
ТТ
Студент
Это не студент прикалывался, а руководитель.

Анекдот в тему.

Школьник догадывается, что А есть предел f(x) при x->x_0, если x все ближе к x_0, то f(x) все ближе к А.

Первокурсник знает, что А есть предел f(x) при x->x_0, если для любого эпсилон больше нуля и т.д.

Профессор понимает, что А есть предел f(x) при x->x_0, если x все ближе к x_0, то f(x) все ближе к А.
30.10.2004 19:24
Unnamed
Что такое...
NGB? Про ZFC еще очень отдаленное представление есть...
30.10.2004 23:39
Roglik Tuart
А оно Вам надо?
Уважаемый, скажите на милость, а надо Вам оно? Если Вас так интересует математика, то, действительно, "пара" классических учебников поможет составить представление о сей науке, далее же дорога то лежит в НМУ (знаете такой?) - там вполне можно заниматься математикой совмещая с обучением в МАТИ, правда не передумаете ли Вы после прочтения этой пары учебников :) ???
31.10.2004 00:21
NGB она же NBG
Система аксиом Неймана-Геделя-Бернайса. Она различает классы и множества- множество это, то что может быть элиементом какого-либо класса.
Кроме того, в отличие от ZFC(бесконечна из-за аксиомы подстановки) эта система аксиом конечна.
Любое утверждение про множества в NGB доказуемо тогда и только тогда когда оно доказуемо в ZFC. Конечной системы аксиом эквивалентной ZFC не существует-- это доказал Montaque в 1961 году.
С уважением Свинтус
P.S.
Об этом написано подробно(кроме теоремы Montaque) и с формулировкой самих аксиом, например, здесь
(Френкель Бар-Хиллел Основания теории множеств).
Если я где-то ошибся --исправьте.
31.10.2004 13:18
Игорь Абрамов
бывает разное
НМУ целенаправленно готовит профессиональных математиков.
Т.е. людей, для которых занятия математикой основное, в
определенном смысле единственное занятие в жизни.

Однако это далеко не единственная категория людей, которым
есть смысл учиться математике в объеме больше стандартного.

1) Во многих "инженерных" дисциплинах знание математики
может оказаться очень полезным. Хотя, человек, может и не
сумеет применить некую теорию непосредственно, он будет в
состоянии искать правильных людей, задавать правильные
вопросы и понимать ответы.

2) Математикой можно интересоваться просто для общего развития.
Это значительно более осмысленное времяпрепровождение
(для нематематика), чем отгадывание кроссвордов, прохожение
101 уровня DOOM 234 или смотрения телевизора.
(Математику тоже конечно заниматься чем-то более полезным).
Для любителя, впрочем, тут главное не впасть в "ферматизм"
того или иного вида.
31.10.2004 14:30
Kilgor Traut
Вы то правы!
Что ж, не согласится с Вами нелегко. Что же касается НМУ - Вы посещаете их занятия или Вы просто в курсе тамошней ситуации?
31.10.2004 14:33
Unnamed
Спасибо (-)
31.10.2004 16:38
Игорь Абрамов
ответ
Цитата

Что же касается НМУ - Вы посещаете их занятия или Вы просто в курсе тамошней ситуации?

Просто в курсе. По-моему, совершенно замечательное учреждение.
31.10.2004 17:06
Kilgor Traut
ОК(-)
31.10.2004 17:31
Кстати по геометрии
мб Постников семестр 1?
С уважением Свинтус
31.10.2004 17:37
Игорь Абрамов
ИМХО
очень на любителя.
Но, может, это индивидуальная непереносимость.
Из его книг мне удалось прочесть только теорию Галуа
(начало, более технические разделы ближе к концу меня не
интересовали)
остальные его книги отскакивали от моего сознания.
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти