Документ взят из кэша поисковой машины. Адрес
оригинального документа
: 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 |
29.10.2004 20:39 Игорь Абрамов | и еще: Вы Шеня-Верещагина то хоть смотрели ? Там собственно аксиоматикой никто не балуется. Наоборот подчеркивается, что в тонкости и "морские термины", они не лезут. Я сейчас не могу точно утверждать, но вроде там даже слова ZF не фигурирует. И еще. В Фихтенгольце (очень неплохом учебнике, и я его весьма уважаю) есть целый букет весьма мутных теорий, по сути эквивалентных пределу по базе. Одно понятие варианты чего стоит. |
29.10.2004 20:42 Дата регистрации: 12 лет назад Посты: 1 209 | А разве Вы это умеете?!! :)
Ага. И при помощи этой "леммы" вы надоказываете кучу НЕВЕРНЫХ утверждений. Мой любимый пример здесь - "теорема" о "существовании" базиса Гамеля в бесконечномерном гильбертовом пространстве. С уважением, Гастрит P.S.: Невежество ближе к истине, чем предрассудок... |
29.10.2004 20:43 Дата регистрации: 11 лет назад Посты: 1 732 | Точно не фигурирует. Зато фигурирует у Зорича. С уважением Свинтус |
29.10.2004 20:44 Дата регистрации: 11 лет назад Посты: 1 732 | А чем она Вам не нравится? Кроме своей неконструктивности. С уважением Свинтус |
29.10.2004 20:48 Игорь Абрамов | Понятно Традиционно множества, классическая логика, и алгоритмы читаются в одном курсе. Собственно это и есть темы трех томиков Верещагина и Шеня. То, что нужно нелогикам от этих наук, вполне читается за один небольшой семестровый курс. Так часто читают и математикам и программистам и всем кому читают много математики и околоматематики. И перечисленные мною вещи хотелось бы иметь в этом курсе. (Теорему Геделя можно без доказательства или на пальцах) Правда, там, где я читаю, у меня в одном курсе формальные языки, вычислимость и сложность, но это уже другая, программистско-американская традиция. |
29.10.2004 20:49 Игорь Абрамов | Пришел Гастрит и все .... свел к бессмысленному спору о секте конструктивистов :( |
29.10.2004 21:04 Дата регистрации: 11 лет назад Посты: 1 732 | Это прикол такой был Прикалывался студент- разве не очевидно ;-) С уважением Свинтус |
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 Дата регистрации: 11 лет назад Посты: 1 732 | 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 Дата регистрации: 11 лет назад Посты: 1 732 | Кстати по геометрии мб Постников семестр 1? С уважением Свинтус |
31.10.2004 17:37 Игорь Абрамов | ИМХО очень на любителя. Но, может, это индивидуальная непереносимость. Из его книг мне удалось прочесть только теорию Галуа (начало, более технические разделы ближе к концу меня не интересовали) остальные его книги отскакивали от моего сознания. |
Сайт работает с 29.08.2000, Copyright © 2000−2011 MMOnline.Ru and MMForce.Net, Правовая информация – Свяжитесь с нами – Участие в проекте – Разместить рекламу |