24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Задача: Сосачеры в /sci/ часто собираются группами и начинают обсуждать основания математики . После это они ссорятся настолько, что никакие двое из них после этого вместе ничего не обсуждают. К концу года выяснилось, что в дальнейшем они могут обсуждать основания математики только поодиночке. Докажите, что если число обсуждений оснований математики было к этому времени больше 1 , то оно не меньше числа сосачеров в /sci/.
Шпраг и Гранди играют в следующую игру. На столе лежат три кучки камешков: в первой 1935, во второй 1939, в третьей >2015. За один ход разрешается брать любое ненулевое количество камешков из любой кучки. Проигрывает тот, после чьего хода образовываются две кучки с одинаковым количеством камешков. Шпраг ходит первым. Кто выигрывает при правильной игре?
>>255030 Люблю такие задачи на сообразительность, но сейчас мне лень думать, мне вообще все лень. Сейчас я хочу обсуждать основания математики с аноном. Давай анон, расскажи мне какие существуют полные и при этом непротиворечивые теории в математике?
>>255056 Из рекурсивно аксиоматизируемых перво-порядковых ничего сильно более интересного нет. А если не интересоваться рекурсивной аксиоматизируемостью или интересоваться теориями второго порядка, то там раздолье.
>>255020 Контрпример. В /sci/ десять сосачеров. В первом обсуждении приняли участие все сосачеры. Во втором обсуждении принял участие только сосачер номер 2. Больше обсуждений не было.
>>255138 Как ты себе представляешь обсуждение, в котором участвует только один человек? Обсуждения между различными альтер-эго одного поехавшего сосачера не считаются (т.е. то, что они могут обсуждать только поодиночке, означает, что таких обсуждений уже не будет).
>>255164 Ну так ответь тогда определенно. Почему ты тут оскорбляешь анонимуса, называешь его чучелом, но при это не предлагаешь аргументированного ответа?
>>255172 >Почему ты тут оскорбляешь анонимуса Потому что он пытается давать советы касательно теории множеств, не зная теоремы Кантора. Таких убивать надо.
>>255171 Бесконечность натуральных чисел является самым маленьким по мощности множеством, поэтому абсолютно все бесконечные множества больше, чем множество натуральных чисел.
>>255186 Можешь взглянуть на почти любой подход к основаниям математики, кроме теоретико-множественного и обнаружить, что там аксиома степени отметается, как ложная или необоснованная. Что там говорить, Кантора активно критиковали еще современники.
>>255190 Ты не знаком с терминологией Бурбаки. Бурбаки | русская школа -----------------|--------------------- больше | больше или равно строго больше | больше меньше | меньше или равно строго меньше | меньше
Например, верно, что 5 меньше 5. Но неверно, что 5 строго меньше 5.
>>255200 Основания - это интересно и увлекательно. Да и вообще, если не хочется чтобы возникали вопросы об основаниях, то нужно использовать примерно такие формулировки >Можно ли доказать или опровергнуть в ZFC, что существуют бесконечно большие величины, превышающие бесконечность натуральных чисел (1, 2, 3...)? вместо >Существуют ли бесконечно большие величины, превышающие бесконечность натуральных чисел (1, 2, 3...)?
>>255192 >почти любой подход к основаниям математики Ты мне напомнил тех кукаретиков-недоучек, которые утверждают, что почти любая теория происхождения жизни, кроме теории эволюции, не приемлет видообразования, оно отметается, как ложное или необоснованное.
>основаниям математики Тебе же ещё в прошлом треде объяснили, что тебе здесь не место.
>>255206 >чтобы возникали вопросы об основаниях >Можно ли доказать или опровергнуть в ZFC, что существуют бесконечно большие величины, превышающие бесконечность натуральных чисел (1, 2, 3...)?
Может лучше такое, чтоб уж совсем ясно стало:
>Можно ли используя кириллические и латинские буквы, цифры, русский язык, общепринятую математическую номенклатуру, аксиоматику ZFC, доказать, что существуют бесконечно большие величины, превышающие бесконечность натуральных чисел (1, 2, 3...)?
>>255209 Разница в терминах. Говорить "больше или равно" приходится гораздо чаще, чем говорить "больше". Поэтому генерал повелел под словом "больше" понимать "больше или равно", а для обозначения более редкого случая неравенства говорить "строго больше".
Аналогично, каждое множество является своим подмножеством. M ⊂ M. 5 < 5.
>>255210 Нужно использовать ровно тот уровень точности формулировок, чтобы окружающим было в точности понятно, о чем именно идет речь. >>255207 Только вот теория эволюции общепризнана среди адекватных людей в силу того, что в отличие от других подходов в её пользу есть ряд сильных рациональных аргументов. А вот люди вроде тебя были обучены теоретико-множественному подходу еще в матшколе(на младших курсах матфака) и не хотят критически смотреть на проблематику оснований.
>>255233 Я написал ровно то, что хотел. Он популярен среди математиков т.к. он удобен. В его пользу есть аргументы, но аргументы есть и в пользу других подходов. Специалисты, т.е. логики и философы математики, его не отбрасывают, но говорить о его тотальной доминации (или даже просто о доминации) в этой среде не приходится.
>>255240 Ответ зависит от того, что есть. Здесь бывает по крайней мере 3 подхода: как в теории множеств (множество пар), как алгоритм, преобразующий одни объекты в другие и аксиоматически (например, считать, что если если есть 2 типа объектов, то есть и тип отображений между ними).
>>255240 Тебе религия не позволяет теорией множеств пользоваться? Родина им дала удобную теорию - пользуйся. Используй множества, блядь! Не хочу, хочу жрать говно! Что такое? Это математики? Суки, мудачьё - фелософы.
>>255243 Есть классическая логика первого порядка.
>>255246 Я хочу работать с более широким классом объектов, чем множества. Например, мне интересны отображения категорий. Естественное преобразование хочу определить.
>>255248 >Есть классическая логика первого порядка. На одной логике первого порядка ничего не построишь. > Например, мне интересны отображения категорий. Касательно оснований теории категорий. Есть несколько подходов. Самый простой - классы, но ты об этом наверняка знал. Есть ряд подходов в которых не рассматривают больших категорий, это требует немного дополнительной аккуратности относительно наивного подхода, но на практике всегда работает (см. аксиома вселенных Гротендика). Люди рассматривают категории в рамках интуиционистских теорий типов, но я в этом плохо разбираюсь (см. Homotopy Type Theory). Еще есть альтернативная теория множеств NF в рамках которой легально рассматривать в качестве множеств совокупность всех множеств, категорию всех групп, категорию всех категорий и т.д.; но из-за специфики аксиом, категория SET там не оказывается декартово-замкнутой, так что подход очень сомнителен для использования на практике.
>>255252 Категорию можно определить аксиоматически. Вводятся два предиката Obj(x, C) и Mor(x, C), интуитивно суть утверждения, что x является соответственно объектом/морфизмом категории C. С помощью этих предикатов формулируются аксиомы категории. Символ ∈ при таком определении не используется, поэтому такое определение нельзя считать частью теории множеств.
Вообще, можно было бы, наверное, просто ввести вдобавок к Obj и Mor один специальный функциональный предикат, http://en.wikipedia.org/wiki/Functional_predicate , и не заморачиваться. Но это выглядит как костыль.
>>255254 Прекрасно - это первопорядковая аксиоматизация категорий. Но если ты на этой основе хочешь построить содержательную теорию, то могу огорчить тебя - ничего не выходит. Еще Лавер пытался разработать самодостаточный базис теории категорий, аксиоматизировав категорию всех категорий (разумеется он понимал, что нужо одновременно рассматривать различные функторы, категории и естественные преобразования); это оказалось довольно сложной задачей, её в итоге решили, но аксиоматика оказалась весьма неприятной.
>>255206 А что, в аксиоматике Цермело—Френкеля мощность континуума никак не вводится? И мощность четных натуральных у них меньше мощность всех натуральных?
>>255273 Лучший отдельный источник по этой теме, из тех что я знаю - это Ralf Kromer. Tool and Object: A History and Philosophy of Category Theory. Есть ряд более специализированных, если интересно что-то конкретное - спрашивай.
>>255217 >А вот люди вроде тебя были обучены теоретико-множественному подходу еще в матшколе(на младших курсах матфака) и не хотят критически смотреть на проблематику оснований. Критически смотреть на проблему оснований означает быть сектантом, возящимся со своими ебанутыми и нахуй не кому не нужными системами и, главное, доёбывать нормальных математиков? >>255233 >Ты забыл добавить, что теоретико-множественный подход не выдерживает никакой критики и что все умные люди давно уже от него отказались. Теоретико-множественная идеология — одно из центральных открытий в математике, которое, в отличие от многих логических изёбств, породила нетривиальные, изящные и постоянно применяющиеся в математике рассуждения о бесконечности. Теория множеств не сводится к паре знаков принадлежности и пересечения и не является исключительно логической системой для обоснования математики, поэтому она и получила такое распространение. Отказались от него только в сектантском манямирке.
>>255282 >>Ты забыл добавить, что теоретико-множественный подход не выдерживает никакой критики и что все умные люди давно уже от него отказались.
Это был сарказм. Меня самого уже доебал этот любитель оснований на самоподдуве. Есть два других треда, но он почему-то предпочитает сидеть именно там где его хуесосят.
>>255282 >означает быть сектантом, возящимся со своими ебанутыми и нахуй не кому не нужными системами Если что, здесь слово системы можно заменить на категории(комлексы, любой другой термин из чистой математики) и получится столь же верное с внешней точки зрения утверждение – какая-то польза для остального мира может и быть, но это скорее случайность. > главное, доёбывать нормальных математиков? Так называемый нормальный математик, в предположение его адекватности, в случае отсутствия желания обсуждать подобные темы вполне может игнорить подколы в духе >>255182. Я ведь никого не заставляю с этим разбираться, если не интересно.
То, что математики пользуются теорией множеств на самом деле крайне естественно и правильно (зачем усложнять себе жизнь дополнительными ограничениями). Но подробный анализ доказательств многих теорем показал, что в реальности все за редчайшими исключениями доказательства, при некоторой аккуратности, могут быть проведены в рамках куда боле слабых аксиоматик, чем формальная теория множеств. И нет, я не предлагаю незаинтетресованным математикам заморачиваться на этот счет.
Воннаби матфаковцы и прочие поклонники вербита - это хохлы от математики, я всё понял. Как известно, в каждой области есть свои хохлы. Например в межимиджбордовых отношениях - это нульчеры, в музыке это всякое претенциозное говно с трипкодом, слущающее примитивную вечуху и из-за этого свысока смотрящее на всех остальных. А в околоматематике бесполезными и крикливыми даунами являются вербитяне.
Каким надо быть аутистом, чтобы не суметь ебануть биекцию между множеством натуральных чисел и множеством чётных натуральных чисел? Даже такой быдлопрогер как я из провинциального манявузика и то смог это сделать, а итт никто до сих пор почему-то не подсказал вопрошаещему анону.
>>255423 Существование бесконечных множеств ниоткуда не следует. Нет оснований считать, что бесконечные множества существуют. В этом мире нет ничего бесконечного. Существование бесконечных множеств просто принимается на веру, без всяких поводов. Это аксиома в ZFC.
>>255436 Тот анон прав, физика действительно не приемлет бесконечностей. Если в физической теории возникает бесконечность, это говорит о том, что данная теория не полна, а сама бесконечность показывает границу применимости этой теории. Бескоенчная плотность материи в ЧД возникает в общей теории относительности, и это значит, что ЧД это и есть та самая граница применяемости для ОТО. ОТО не может объяснить, что происходит внутри границ горизонта событий. Нужна более полная теория.
>>255478 И че? Про 1 я сказал к тому, что с такими аргументами > В этом мире нет ничего бесконечного. следует пройти нахуй из треда. Нормальным людям похуй че там существует, а че нет. Как же я вас ненавижу, ебучие философы.
>>255515 >Нарушает же, иначе бы движения не было бы в этой вселенной. >Бесконечная плотность >движения не было бы в этой вселенной У тебя какая-то другая логика, как это вообще связано?
>>255509 Согласно Ньютоновской механике такие объекты как ЧД вообще образовываться не могут. А ОТО подходит только для описания процессов происходящих вблизи горизонта событий, с внешней его стороны. Вообщем ясно все с тобой.
>>255522 >Согласно Ньютоновской механике такие объекты как ЧД вообще образовываться не могут. Охлол, гравитация описывается ньютоновской механикой и может сжимать объект до бесконечности, всё прекрасно образуется.
Да я все еще здесь, и я хочу обсуждать основания математики прямо сейчас. Давай же анон, обсуди уже со мной что-нибудь из оснований математики. В частности мне бы очень хотелось что-нибудь почитать про неклассические логики. Посоветуйте соответствующую литературу пожалуйста.
>>255543 Математики занимаются хуйней! надо начать с самого начала! с метаметаметаматематики! надо исследовать саму суть науки, вдруг она противоречива!
>>255574 Да, но ведь, как показал на друг Гёдель, удовлетворительное доказательство непротиворечивости невозможно. Остаётся лишь искать противоречия. Но несложно видеть, что всякое занятие математикой в частности и является поиском противоречий в математике, даже если это и не соответствует желаниям математика.
>>255578 >Да, но ведь, как показал на друг Гёдель удовлетворительное доказательство непротиворечивости невозможно Это нельзя считать достоверным, из-за малого количества исходных данных. Начинать рассуждения нужно не с Геделя, а с Гегеля. Сперва мы должны обрисовать круг интерпретации, зайти внутрь языкового смысла и смысла языка, разделить языковой смысл и смысл языка, таким образом определить полученную терминологию. Само понятие непротиворечивости диалектически должно быть определено, как категория бытия или инобытия, аксиологически должна быть уяснена ценность непротиворечивости, как ценностной категории. Только тогда мы будем в состоянии войти в поставленную проблематику и изучить саму постановку проблемы.
>>255614 Ты не в те исходные данные полез. Основы, исходные данные это математическая логика. Это и есть на самом деле суть всего этого геделесрача, парадоксов теории множеств и кризиса оснований математики. Гугли классические и неклассические логики.
>>255616 >Основы, исходные данные это математическая логика. Люди вроде тебя, черпающие знания из околофилософской псевдоматематической научно-популярной литературы, приучены считать математическую логику исходной точкой в изучении основ математики. Вы просто не в состоянии критически взглянуть на проблематику такого рода подхода. Все умные люди сейчас строят основания математики начиная с языка и языкового смысла, с диалектических и аксиологических категорий, как мыслимой и ценностной единиц соответственно.
>>255631 Который с портретом Гегеля про разделение языкового смысла и смысла языка. Чувствуется знакомство с классиками постмодерна - если не в натуре поехавший, то стебется.
Куда делся тред со списками списков литературы? Кстати, почему энтри-левелом по теории множеств многие советуют лекции Верещагина-Шеня? Очень неочевидное изложение, во многом рассчитанное на подготовленного чтеца: я даже после практически полностью понятой книги Столла не полностью вьезжаю во все формулировки этих лекций. Собственно, что энтрилевельного можете посоветовать по дискретной математике и computer science?
>>255660 >почему энтри-левелом по теории множеств многие советуют лекции Верещагина-Шеня? А на русском по теории множеств больше ничего и нету. Есть лекции Йеха переведенные, но там всё очень сжато и разобраться без бэкграунда будет крайне тяжело. Все остальное, что есть - говно мамонта, вроде Хаусдорфа, Куратовского.
Винберг Э.Б., «Курс алгебры» Кострикин А.И., Манин Ю.И., «Линейная алгебра и геометрия» Кострикин А.И., «Введение в алгебру» (три части) Городенцев А.Л., «Лекции по алгебре» (доступны на его сайте) Шафаревич И.Р., «Основные понятие алгебры»
Теория представлений
Теория представлений симметрической группы (Фултон У.Таблицы Юнга и их приложения к теории представлений и геометрии.) Теория групп и алгебр Ли (связь с симплектической геометрией метод орбит Кириллова) (Винберг Э.Б., Онищук А.Л. Семинар по группам Ли и алгебраическим группам, Серр Ж.-П. Алгебры Ли и группы Ли, Хамфрис Дж. Введение в теорию алгебр Ли и их представлений, Кириллов А.А. Элементы теории представлений,Кириллов А.А. Лекции по методу орбит.) Теория квантовых групп, бесконечномерных алгебр Ли (алгебры Вирасоро, алгебры Каца-Муди) и групп петель, плюс начала теории вертексных операторных алгебр. (Демидов E.E.Квантовые группы, Бурман Ю.М., Фейгин Б.Л.Бесконечномерные алгебры Ли — I: полубесконечные формы, алгебра Вирасоро и вертексные операторы, Кац В.Г.Бесконечномерные алгебры Ли, Прессли Э., Сигал Г. Группы петель) Введение в геометрическую теория представлений (извращенные пучки, геометрическая конструкция U(sln); ит.д.) (Chriss N., Ginzburg V. Representation theory and complex geometry.)
Коммутативная алгебра
Атья М., Макдональд И. Введение в коммутативную алгебру,Matsumura H. Commutative algebra. (неплохо бы иметь представление об аффиной алгебраической геометрии) D. Eisenbud. Commutative algebra, with a view towards algebraic geometry.
Гомологическая алгебра
Когомологиии алгебр Ли (Фукс Д.Б. Когомологии бесконечномерных алгебр Ли) Производные категории, начало гомотопической алгебры (Гельфанд С.И., Манин Ю.И. Методы гомологической алгебры)
Анализ
Базовый уровень
Рудин У. Основы математического анализа. Шабат Б.В. Введение в комплексный анализ. Львовский С.М. Лекции по математическому анализу. Львовский С.М. Лекции по комплесныому анализу. Зорич В.А. Математический анализ. Нарасимхан Р. Анализ на вещественных и комплексных многообразиях. Арнольд В. А. Обыкновенные дифференциальные уравнения
Линейный Функциональный Анализ
Классический функциональный анализ и теория меры (Кириллов А.А., Гвишиани А.Д. Теоремы и задачи функционального анализа, Вербицкий М. Лекции по теории меры)
Более продвинутый анализ (эллиптические и дифференциальные операторы, расслоения и т.д., переход к языку пучков, C-алгебры, KK-теория)
Анализ на многообразиях с привлечением пучков, векторные расслоения (Вербицкого М. Курс Анализ-4 (НМУ), Ramanan S.Global calculas, Неструев Дж. Гладкие многообразия и наблюдаемые, Мищенко А.С. Векторные расслоения и их применение) Ведение в операторные алгебры, некоммутативная геометрия Конна, применение операторных алгебр в топологии (общая идеология) (Мерфи Дж. C-алгебры и теория оперторов,Соловьев Ю.П., Троицкий Е.В. C*-алгебры и эллиптические операторы в дифференциальной топологии)
Алгебраический анализ
Теория D-модулей (Bernstein J., «Algebraic theory of D-modules»; Ginzburg V., Lectures on D-modules; Касивара М., Шапира П., «Пучки на многообразиях»)
Топология
Базовый уровень
Виро О.Я., Иванов О.А., Харламов В.М. и Нецветаев Н.Ю., «Элементарная топология» Вербицкий М., Лекции по топологии Васильев В.А., «Введение в топологию» Милнор Дж., Уоллес А., «Дифференциальная топология. Начальный курс»
Алгебраическая топология
Фоменко А.Т., Фукс Д.Б., «Курс гомотопической топлогии» Милнор Дж., Сташеф Дж., «Характеристические классы» Ботт Р., Ту Л.В., «Дифференциальные формы в алгебраической топологии»
K-теория
Атья М., «Лекции по K-теории» Каруби М., «K-теория»
Теория узлов
Прасолов В.В., Сосинский А.Б., «Узлы, зацепления и трехмерные многообразия» Chmutov S., Duzhin S., Mostovoy J., «Introduction to Vassiliev knot invariants» Атья М., «Геометрия и физика узлов»
Геометрия
Базовый уровень
Городенцев А.Л., Лекции по геометрии (НМУ) Манин Ю.И., Лекции по алгебраической геометрии (часть 1) Аффиные схемы. Харрис Дж., Алгебраическая геометрия (начальный курс)
Комплексная геометрия
Вуазен К., «Теория Ходжа и комплексная алгебраическая геометрия» Гриффитс Ф., Харрис Дж., «Принципы алгебраической геометрии» Манин Ю.И., «Калибровочные поля и комплексная геометрия»
Введение в алгебраическую геометрию
Шафаревич И.Р., «Основы алгебраической геометрии» Хартсхорн Р., «Алгебраическая геометрия» Eisenbud D., Harris J., «The Geometry of Schemes» Мамфорд Д., «Красная книга о многообразиях и схемах»
Абелевы многообразия и теория тэта-функций
Мамфорд Д., «Лекции о тэта функциях» Полищук А.Е., «Абелевы многообразия, тэта-функции и преобразование Фурье»
Дифференциальная геометрия
Бессе А., «Эйнштейновы многообразия» Милнор Дж., «Теория Морса»
Симплектическая и пуассонова геометрии
Vaisman I., Lectures on the geometry of poisson manifolds Рейман А.Г., Семенов-тян-Шанский М.А., «Интегрируемые системы»
Теория деформаций
Kontsevich M., Soibelman Y., «Deformation theory»
Теория графов
Звонкин А.К., Ландо С.К., «Графы на поверхностях и их приложения»
Комментарий Хеллера: По этому списку хочется заметить, что он ценен тем, что составлен действительно разбирающимся человеком, который понимает то, что в этих книгах написано (часто списки составляются людьми невменяемыми). Так же очень ценно, что это довольно свежий взгяд молодого человека, а не старика-профессора, который математику воспринимает уже не так, как обычный студент. Так же нет ретроградства в виде рекомендаций учебников алгебры Гельфанда и Ван дер Вардена, которые может быть и хорошие книги, но уже давно появились гораздо более удачные учебники, о которых старшее поколение может просто не знать. Ну и от себя я добавлю, что сам список на мой взгляд не полный. Не хватает теории графов, комбинаторики, теории вероятностей и прочих вещей, с которыми математик все же должен быть знаком по моему убеждению — список в этом плане сильно отражает научные интересы моего товарища. Я его публикую в том виде, в каком он его составил без каких-либо правок.
>>255664 У Столла только зачатки теории множеств, ещё и наивный подход. Там же ничего почти нету. Даже не вводятся понятия ординала и кардинала. Сказали, что такое множество и отношение, и всё, дальше пошла логика.
Такой вопрос: конспектируете ли вы (хотя бы минимально) книги, которые читаете? У меня так значительно повышается уровень запоминания и воспрития, но вот и трудозатрат это требует в разы больше.
>>255676 Но ведь ты, в чем я практически уверен, практически не имеешь представления о том, что происходило в теории множеств по крайней мере с 30-х. Это не говоря уже о том, что анон скорее всего просто хочет разобраться в Лемме Цорна, трансфинитной индукции и т.п.
>>255702 Этот список дурацкий и состоит из довольно случайных проблем. Но во-первых технически даже повисшие проблемы скорее повисли в 70-х. А например проблема сингулярных кардиналов - это часть более-менее прогрессирующей программы по изучению континуум функции. Но в целом, видимо (все-же я этим всем не занимаюсь), гораздо лучшее представление об актуальных проблемах области даёт аналогичный список из английской вики. https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Set_theory
>>255701 Но я же пытаюсь его учить! Думаю, к тому времени когда инглиш действительно будет мне нужен когда дойду до той лит-ры, которую не перевели, я успею его подтянуть.
>>255708 Так лучший способ научится понимать математический английский - это читать математические тексты по английски (пусть со словарем). На самом деле это проще, чем кажется т.к. математические построения при достаточном понимание происходящего достраиваются и поэтому нет необходимости понимать все детали написанного.
>>255710 Сейчас на это нет времени, читай выше, надо освоить хотя бы начала. Английский - потом, но спасибо за совет. Всё ещё реквестирую курсов лекций по теории множеств НА РУССКОМжелательно видео. заметил, что с ними достаточно просто работать как с дополнением к книжкам или наоборот - использовать видеолекцию как ликбез к теме, чтобы хотя бы узнать о чем разговор и начинать запоминать основные понятия я думаю вы поняли
>>255715 В 9 классе нет времени? Кому ты пиздишь-то? Скидываешь книжку по теории множеств и метрическим пространствам на телефон, на уроках всякой литературы и химии и прочей ебалы читаешь ее и решаешь задачи. Приходишь домой и продолжаешь.
Английский учится так: берешь какой-нибудь сериал, в котором нет кучи хитровыебанных слов, смотришь с субтитрами. Книжки читаешь со словарем. После первого просмотренного сериала и прочитанной книги ступор пройдет, математические тексты сможешь вообще без словаря читать.
>>255751 И вообще, если человек интересуется математикой, экзамен для олигофренов в 9 классе он как-нибудь напишет. Я в 9 классе вообще математикой не интересовался и не шарил в ней, и никаких сложностей у меня не возникло. Русский я тоже не представляю, как можно плохо написать, если ты не узбек какой-нибудь.
>>255748 Присоединюсь к вышеотписавшимся. В 9 классе самое то заниматься математикой, да и в 10 ещё можно. Так что занимайся пока есть возможность. А вот в 11 уже будешь дрочить ЕГЭ/олимпиады.
>>255672 Но Столл охуенен разжевыванием, а для энтри-левела это важнее всего. Я вот попытался осилить "Дискретную математику для инженера" Кузнецова - автор начал хорошо, неплохо кратко представил теорию множеств, но потом, на логике, полез в области, где без 100 грамм и знаний в высшей алгебре не разобраться, начал неочевидно и с формализмом описывать изоморфизмы/гомоморфизмы и хотя я нихуя не понял, но продолжал читать, так как улавливал логику автора. Но где-то на 70-ой странице я логики атора не уловил и дропнул. Кстати, начал читать >>255661 - начало тоже вполне годно в плане того, что написано "как для людей". Почитаем - посмотрим.
Пацаны, а есть формализованное понятие "простоты" функций? Слышу часто "простейшая функция", а как ее определяют? Вот как такие функции A(x) расставить по простоте: 1) A=x2 2) A=x^2 3) A=xA(x) 4) A=x^x 5) A=5 6) A=x
Что вы тут развели вокруг меня? Я реквестил материалы по теории множеств, а вы начали за экзамены, язык, родителей, пиздеж. Что угодно, лишь бы не по сабжу, ну или по касательной. Как будто из /б и не выходил.
>Скидываешь книжку по теории множеств и метрическим пространствам на телефон, на уроках всякой литературы и химии и прочей ебалы читаешь ее и решаешь задачи. Приходишь домой и продолжаешь.
Мой телефон - звонилка за 500р. За наводку на метрические пространства спасибо.
>берешь какой-нибудь сериал, в котором нет кучи хитровыебанных слов, смотришь с субтитрами
>>255860 >материалы по теории множеств Верещагин, Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. Александров. Введение в теорию множеств и общую топологию. Куратовский, Мостовский. Теория множеств. Хаусдорф. Теория множеств. Йех. Теория множеств и метод форсинга. Коэн. Теория множеств и континуум-гипотеза. Бурбаки. Основные структуры анализа. Книга 1. Теория множеств. Френкель, Бар-Хиллел. Основания теории множеств. Кантор. Труды по теории множеств.
Komjath, Totik. Problems and Theorems in Classical Set Theory. * T. Jech. Set Theory - The Third Millennium Edition, revised and expanded.
Это книги конкретно о множествах, которые читают все. Ну, или притворяются, что читают.
>>255866 В этом списке устарело вообще все кроме Верещагина Шеня и свежего издания Йеха (с Komjath, Totik я не знаком - не знаю). В принципе с натяжками еще можно рассматривать Александрова и старого Йеха, но остальное это уже просто смешно.
>>255870 Это книга написана людьми застрявшими в классической теории множеств. При длине в 400 страниц там нет ни конструктивных множеств, ни метода форсинга, без которых немыслима современная теория множеств (по крайней мере судя по оглавлению). Существенная часть покрытых тем может быть интересна только в рамках самой теории множеств и при этом большинство продвинутых из них уже давно выпали из области активных исследований. Подозреваю, хотя нужно бы взглянуть на список обозначений, что обозначения там тоже весьма старомодны.
>>255866 Верещагина с Шенем пытался читать, но не осилил. Собственно реквестировал чего нибудь энтрилевельного чтобы качественно да хоть как нибудь вникнуть в их книгу, потому как примеры, которые в ней приведены очень интересны и я сразу загорелся идеей осилить такую-то имбу вангую срач. Алсо, может от такой постановки реквеста будет больше пользы? повторюсь, /r материалы, которые помогут мне осилить матлогику и теории алгоритмов Верещагина с Шенем.
>>255868 >зелень Не разбираешься - не лезь. Выше уже аргументировали, почему книги полное говно. Я дополню, что Верещагин-Шень по сути буклет, а не учебный материал, а русский перевод Йеха такой же старый, как твоя мать.
>>255874 Я ничего пристойного и более простого, чем Верещагин Шень по теории множеств не знаю. И не думаю, что оно есть. Поучи пока более простой раздел, например анализ (разумеется без излишнего задрачивания примеров), когда уровень математической культуры повысится можешь вернуться к теории множеств.
>>255882 Ну охуеть, учить матан перед множествами, перед тем, на чем он стоит? Можешь как нибудь аргументировать свой прогноз того, что это хоть как то поможет?
Нужна помощь геометра. Возьмем полую трубку (медленно убыващего радиуса). Вставим ее в себя, до тех пор, пока внутри она не пройдет n полных оборотов. После этого склеим концы трубки (пересекая все внутренние слои). 1) Чему построенная поверхность будет эквивалентна или какой там соответствующий термин? 2) Какова наименьшая размерность пространства, в котором существует эквивалентная поверхность без самопересечений (по аналогии с 4мерным пространством и бутылкой Клейна)?
>>255884 Для изучения матана теорию множеств нужно знать в минимальном объеме, который дается в начале подавляющего большинства курсов и учебников по матану. Поможет это тем, что на более простых примерах ты научишься разбираться в математических определениях и доказательствах, после этого более замысловатые построения из теории множеств тебе дадутся легче.
>>255887 Эм, не думаю. Подрачивал матан какое то время, там песня про эпсилоны и ряды. Откровенно говоря да я охуел просто, не могу уловить никакой связи. А если разговор как раз о культуре, то ящитаю тут ближе алгебра, для которой как раз теория множеств и нужна парадокс
>>255889 Приличные учебники по алгебре, например Винберг, ничуть не проще того же Верещагина Шеня ровно поэтому я и советую матан. А вообще, учить ли матан или алгебру с этой точки зрения не очень важно - буквально методы ни того ни другой не используются в теории множеств.
>>255895 Тогда зачем? Мне интересна именно теория множеств как оче мощная штука и сейчас я хочу уделить время именно ей. >не очень важно Хз, судя по лекции Алгебра 1-1 отсюда http://erb-files.narod.ru/да, >>255891-кун, ты прав, для алгебры будет крайне полезно вдуплить в теорию множеств.
>>255896 Тогда продирайся через Верещагина Шеня. В алгебре для всех относительно простых тем из всей теории множеств достаточно знать только лемму Цорна, а для нее не обязательно специально учить теорию множеств.
>>255883 Я предлагаю открыть нового Йеха или вообще пропустить теорию множеств как отдельный предмет, нужный для многолетней карьеры уровень дается в хороших учебниках алгебры.
>>255899 >Я предлагаю открыть нового Йеха Но Йех, судя по старым лекциям, нихуя не предназначен для первого, ни даже для второго взгляда на теорию множеств.
>>255873 Я не считаю, что человек, желающий разбираться в теории множеств, может не знать, например, конструкцию упорядоченной пары по Куратовскому. Книга Куратовского-Мостовского - набор знаний, которые сейчас считаются общеизвестными. Общеизвестное нужно знать. Для метода форсинга нужны другие книги. Темы, действительно, интересны только в теории множеств. Так и реквест был строго про теорию множеств, поэтому я не упомянул даже книги по логике.
>>255878 Неверно, что эти книги говно. Верно, что ты зелень.
>>255884 Вообще говоря, матан не стоит на множествах. Теоремы матана не являются простой переформулировкой теорем из теории множеств.
>>255887 Теория - громко сказано, в матане используются только элементарные определения.
>>255889 Не нравится эпсилон-дельта - читай более топологичный подход, окрестности наверняка покажутся тебе весьма наглядными. Учебник Рудина, например.
>>255896 AMS недавно понизило уровень теории множеств в MSC с первого на второй. Теперь теория множеств считается таким же по статусу разделом "Логики и оснований", что и теория моделей, теория вычислимости и рекурсии, теория доказательств и алгебраическая логика.
Поц, тебе тут уже верно сказали, что в анализе, алгебре, геометрии, чём угодно другом из ТИОРИИ множеств тебе нужно знать только то, что эти, собственно, множества можно задавать и про простейшие операции объединения-пересечения-разности над ними. Это вообще всё за десять минут можно в википедии посмотреть, гораздо полезнее для твоего математического знания будет если ты собственно саму алгебру/анализ/геометрию/топологию будешь учить, а не хуйню вроде теории множеств и уж тем более не дай бог всерьёз начать читать про ОСНОВАНИЯ, станешь поехавшим как шизик итт. Что ты тут ещё выёбываешься?
>>255918 Новый Йех - это первая книга посвященная именно теории множеств, которую я читал. Все ок было. Другой вопрос, что я ее читал на 3 курсе, а не в 9 классе. >>255924 Проблема Куратовского-Мостовского состоит в том, что изучение этих общеизвестных, в узких кругах, тем там чудовищно растянуто. Зачастую они, например, уходят в явно излишне углубленное изучение кардинальной арифметики, для специалистов по этой теме оно может и полезно, но явно есть куда более приоритетные темы. Для поверхностного знакомства с теорией множеств куда лучше на мой взгляд подходят учебники по логике; например, в Шенфилде, несмотря на то что глава по теории множеств занимает всего 120 страниц, есть и общеизвестные факты, и конструктивные множества, и метод форсинга (вообще, он тоже несколько архаичен, нужно бы взглянуть на более современные учебники по логике, наверняка уже есть что-то более удачное). Для продвинутого изучения есть третье издание Йеха, в котором содержание Куратовского Мостовского покрыто на примерно первых 140 страницах.
>>255962 Но ведь я знаю, что вы любите решать диффурчики под водочку. Нахуй мне платить буржуям бездуховным, если можно заплатить родному анончику. Денюжка на водочку за мной не заржавеет!
>>255945 Делишь обе части на (y')^4. Слева у тебя получится полином от (y/y'), а справа ( ((y')^2 - yy'') / (y')^2 )^2, т.е ((y/y')')^2. Переобозначаешь, решаешь.
>>255945 Делишь обе части на (y')^4. Слева у тебя получится полином от (y/y'), а справа ( ((y')^2 - yy'') / (y')^2 )^2, т.е ((y/y')')^2. Переобозначаешь, решаешь.
>>255924 >Неверно, что эти книги говно. Верно, что ты зелень. Книги настолько же ценные как принципиа математика или николяевский трактат.
>Я не считаю, что человек, желающий разбираться в теории множеств, может не знать, например, конструкцию упорядоченной пары по Куратовскому. Книга Куратовского-Мостовского - набор знаний, которые сейчас считаются общеизвестными. >Общеизвестное нужно знать. Так изучают военный устав, а не математику. У всего должны быть мотивировки и применение.
>>256005 По теории множеств кидали сверху прекрасную ссылку с подборкой лекций. А если нужно именно ее применение в алгебре и анализе, то ничего отдельно читать не надо.
>>255924 >Вообще говоря, матан не стоит на множествах. Ну я имел ввиду континуум задать там, тыры-пыры, а так да, ты прав. >не нравится эпсилон-дельта Нет, всё нормально >AMS недавно понизило уровень теории множеств в MSC с первого на второй. Теперь теория множеств считается таким же по статусу разделом "Логики и оснований", что и теория моделей, теория вычислимости и рекурсии, теория доказательств и алгебраическая логика. Я наверное покажусь недальновидным, но мне это интересно.
>>255935 Да я в курсе, мне чисто Верещагина-Шеня осилить.
>>256013 Капланский - энтрилевел, где-то на уровне Верещагина Шеня. Йех и эти лекции в целом довольно близки. Я бы скорее рекомендовал Йеха. Он подробнее разбирает базовый материал, в нем освящено значительно больше более продвинутых вопросов и похоже эти лекции игнорят дескриптивную теорию множеств. Но на самом деле это не так принципиально, в любом случае если чего-то в этих лекциях нет, а хочется, то можно дополнить Йехом. >>256018 Не все учебники должны быть всеобъемлющими. Йех не покрывается по той банальной причине, что он существенно больше и я тебе уже объяснял, почему целиком покрывать Куратовского-Мостовского не надо.
>>256013 Если ты физик, то теория множеств тебе вообще не нужна. Читаешь Algebra - Charter 0, затем все остальное. Если интересуешься, можешь быстренько Верещагина-Шеня навернуть.
>>256035 Терминология важна. Если ты говоришь на русском, а весь мир говорит на английском, то у параши будешь ты, а не мир. Так же и с Фихтенгольцем. Он реально по-варварски пишет.
>>256039 Это была аналогия. Конкретнее говоря, если ты прочитаешь Фихтенгольца, то ты получишь терминологию, которая очень сильно отличается от обычной. Ты не сможешь просто так читать остальные книги, не сможешь применять свои знания в приложениях.
>>256018 Может и покрывает, так сразу и не поймешь. Терминология старая, да сформулировано всё немого замысловато. Как я понял, привычные обозначения для функции, области значений и определения функции там не используются. Теорема Кантора, например, получилась страшно непонятной хренью, на мой взгляд. Несколько раз прочитал условие и доказательство, так толком и не смог переварить. В лекциях же понимание аналогичной теоремы никаких трудностей у меня не вызвало, а главное, что после этих лекций ты сможешь читать любую другую современную книгу по теории множеств, а после Куратовского-Мостовского - вряд ли.
>>256046 Я же блядь уже вам говорил, поехавшие - как вы скажете по-английски отрезок? Ну просто нет такого понятия, чтобы было однозначное соответствие.
>>256057 Во-первых, невооруженным глазом можно заметить что это 2 слова. Во-вторых неясна ситуация с открытостью/закрытостью концов. В-третьих, line же - линия, а не прямая, странно что line segment подразумевает прямую. Может это и устоявшийся термин, но кмк довольно хуевый.
open interval = интервал closed interval = отрезок интервал или отрезок = промежуток промежуток, закрытый с одного конца и открытый с другого = полуинтервал Охуительные обозначения в русскоязычной литературе. Помню еще в школе заставляли наизусть знать эту хуйню.
>>256091 >2 слова Пиздец претензия. >Во-вторых неясна ситуация с открытостью/закрытостью концов Ясна. Сегмент - закрытый интервал. Line segment - точный перевод слова "отрезок". >line же - линия, а не прямая Пиздец грамотей.
>>256101 Вон Стюарт признает, что line segment - это базовое понятие, которое в Калькулусе заменено в силу каких-то причин на open interval, closed interval. мимокрок
Бля, посоны, я понял. Line segment и interval - это синонимы. Собственно, в этой же статье >>256097 написано >A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. В общем, идите нахуй.
>>256098 Ну давай разберем тобой написанное: >>2 слова >Пиздец претензия. Конечно, ведь вся суть науки в обозначениях (с) Один ученый >>Во-вторых неясна ситуация с открытостью/закрытостью концов >Ясна. Сегмент - закрытый интервал. Line segment - точный перевод слова "отрезок". Ты в глаза чтоли долбишься, сука? > A closed line segment includes both endpoints, while an open line segment excludes both endpoints > Отрезок - множество вещественных чисел x, удовлетворяющих неравенству a \le x \le b
>>line же - линия, а не прямая >Пиздец грамотей. Пиздец, я просто в ахуе. Как можно спорить с тем, что просто общеизвестная истина. Можешь в словарь толковый попробовать заглянуть > A path through two or more points (compare ‘segment’); a continuous mark, including as made by a pen; any path, curved or straight
Тут у нас господа получается внезапный неловкий момент - когда русскоязычная терминология лучше - у пиндосов просто нет четкого понятия прямой и отрезка. Начинаю отсчет до бомболейло всех русикохейтеров-пиндосодрочеров.
>>256206 Есть одна безусловная общая черта между людьми, спорящими с толковыми словарями, и утверждающими, что основания нинужны - и те и другие дибилы.
>>256272 Там об этом и не говорится. Если вкратце, то суть идеи, которую автор пытается донести в том, что в основе математики (так же как и в квантовой физике) лежит принципиальная неопределенность. Эта неопределенность делит математические истины на 2 категории: постижимые и непостижимые. Так же как и в физике - можно описать квантовую механику, установить истинность уравнения Шредингера и т.д. - это постижимая категория. Но принципиально невозможно доказать истинность объяснения волновой функции (что это? параллельные вселенные или просто недетерминированный коллапс?) - это принципиально непостижимая категория. >Постижимые математические истины — это в точности то бесконечно малое меньшинство, которое можно передать в виртуальной реальности. Однако непостижимые математические категории (например, среды Кантгоуту) тоже существуют, т. к. они сложным образом появляются в наших объяснениях постижимых категорий.
>>256289 >Ты так и не нашел применений оснований где-либо помимо изучения самих оснований. Вещь в себе. Типичный довод инструментализма, который в этой книге тоже рассматривается.
>>256270 >математики характеризуют «натуральные числа» 1, 2, 3,... — прежде всего — точным определением: >1 — это натуральное число. >За каждым натуральным числом следует только одно число, которое также является натуральным. >1 не следует ни за каким натуральным числом. Контрпример. Рассмотрим множество из двух элементов {1, 2}. Последующее число для x будем обозначать символом x'. Положим 1' = 2; 2' = 2. Эта конструкция подходит под описанные автором аксиомы, но, очевидно, не является натуральными числами.
Если автор допускает такие неточности, то его книга находится на уровне жёлтых газет.
>>256299 Твое множество из двух элементов не удовлетворяет аксиомам Пеано, и поэтому не может считаться множеством натуральных чисел. >>256302 http://scisne.net/a526?pg=3 Начало 1 главы, 10-15 абзац, там он подробно поясняет, почему позитивизм (крайняя степень инструментализма) это бессмысленная хуета.
>>256308 >не удовлетворяет аксиомам Пеано Зато вполне удовлетворяет аксиомам, которые автор предъявляет в качестве точного определения натуральных чисел.
>>256311 Не согласуется с традиционным пониманием, ок? Например, это множество не бесконечно.
>>256319 >Зато вполне удовлетворяет аксиомам, которые автор предъявляет в качестве точного определения натуральных чисел. Просто привел 2 из 5 аксиом. Ведь сразу понятно, что речь идет о всех аксиомах. Надо делать скидку на то, что это науч.поп. Главное, что суть идей у автора правильная.
>>256321 Автор выдал это за точное определение. Это ужасно. Наверняка какой-нибудь гуманитарий уже прочёл эту книгу, впечатлился и написал в своей статье, что точное определение натуральных чисел вот такое. Не вижу смысла читать книгу, автор которой позволяет себе такие подставы. Я знаю математику, поэтому увидел ошибку в аксиомах. Но другие-то науки я не знаю. Что, если автор наврал и в остальной части книги?
Дайте-ка я угадаю не открывая, это какое-нибудь полурное среди быдла хуйло вроде САЗДАТИЛЯ ВАЛЬФРАМА написало псевдонаучпопчик? Ещё и за деньги толкает небось?
обобщение множествах разных взглядов разных людей под определение в одном предложении это полное дилетанство. Автор походу критикует взгляды лично Поппера, который не совсем и позитивистом был.
>Начало 1 главы, 10-15 абзац Держи книжку, страницы 1-541, все абзацы. Из нее ты узнаешь, почему нельзя так мудацки рассуждать о философии науки, демонстрируя полное незнание предмета. http://www.alleng.ru/d/phil/phil059.htm
>>256329 Нет, не узнает. Книга Липкина бессодержательна. Она не содержит того главного, что образует науки: цепочки логических выводов и проверяемых утверждений. Это просто сборник догм, которые сообщество российских философов деятельно форсит.
>>256330 >что образует науки >цепочки логических выводов >проверяемых утверждений Сантехник, ты? Философия не является наукой.
>сборник догм Конкретно плиз, каких догм. В книге рассматривается эволюция взглядов и набор современных взглядов, при этом не выделяя какую-либо из точек зрения. Ты можешь выбрать любую из них. Гёдель, например, в старости резко ударился в феноменологию.
>>256337 > Сантехник, ты? Забавно, что этот форс продолжает жить исключительно благодаря тому, кого изначально и прозвали сантехником. Сантехник - это противоположность философа, дурашка, философа мы договорились называть шизиком. А тебя, неспособного понять абстрактные объяснения шизика и настаивающего на физикализме и механистичности, решили назвать сантехником. Ну, разобрался, наконец?
>>256337 Философия является наукой. Деятельность философа заключается в следующем. Сначала философ читает тексты какой-либо области, выбирает несколько интересных терминов и собирает как можно больше контекстов, в которых эти термины встречаются. Далее философ пытается дать определение каждому термину так, чтобы это определение, во-первых, охватывало всё случаи употребления термина, но, во-вторых, не было бы слишком обширным, не включало бы в объём определяемого термина вещи, которые не включаются в него в существующей литературе. Это определение должно быть точным: каким бы не был предложенный философу объект, философ должен наверняка понимать, попадает ли этот объект под используемое философом определение или же не попадает. Далее философ извлекает следствия из своих определений и, возможно, получает даже какую-то новую теорию, для которой создаёт новый набор понятий. Некоторые из тех людей, которые называются философами, на самом деле не являются философами. Например, философом не является упомянутый пол-треда назад Гегель.
>>256343 Ты даже не назвал критерии, которые определяют науку. Тексты читают и разбирают термины абсолютно все люди. Также способы справедливого обозначения предмета словом любой человек делает исходя из жизненного опыта.
>>256341 Так я не физикалист, и я не пытаюсь мерить философию рамками произведенной ею методами. Ха-ха позитивизм не подпадает под собственные критерии, гавно ебаное, у нас в Долгопрудном за такое обоссывают!
>>256343 Судя по тому, как ты упорно избегаешь общепринятые термины и городишь велосипеды на избитые темы, ты скорее всего являешься шизиком и разговор с тобой бесплоден.
>>256345 Т.е. ты отказваешься считать философие деятельность, которую почти все считают философией. Принимать определение термина резко выпадающее из общепринятого диапозона значений - это глупая и бессмысленая практика, все-равно новое значение не приживется, а тебя будут регулярно неправильно понимать.
>>256349 Стало быть, проверяемость утверждений философа состоит в том, чтобы >во-первых, охватывало всё случаи употребления термина, но, во-вторых, не было бы слишком обширным, не включало бы в объём определяемого термина вещи, которые не включаются в него в существующей литературе. И в чем же здесь проверяемость? Ты хоть понимаешь суть. Ты просто продумываешь лексические значения синонимов одного термина.
>>256353 >стало быть Что стало быть? Тут не нужны никакие выводы. Ты сказал, что наука должна быть такая-то и такая-то. Я прошу у тебя критерии этих самих параметров. 1) Критерий проверяемости утверждений 2) Критерий логичности вывода
>>256354 Я другой анон, вообще философу объяснил, что его критерии несостоятельны. И например, эти параметры в силу своего не соответсвия работе философа не делают из философии науку.
>>256349 Утверждение проверяемо титтк для него указаны предпосылки и указан способ проверки, то есть алгоритм получения заключения из предпосылок. Если проверяемое утверждение совпадает с заключением, полученным способом проверки из предпосылок, то оно верно, иначе неверно. Логический вывод - переход от одних утверждений к другим с помощью какой-нибудь логики.
>>256350 Есть, по крайней мере в России, некоторая довольно крупная совокупность оккупировавших философские факультеты людей, которые обмазываются материалами, которые в этой совокупности считаются значимыми. Значимыми являются тексты Протагора и кассеты Мамардашвили. У этой совокупности людей есть некий набор мемов, среди которых теорема Гёделя о неполноте, теорема Тарского о невыразимости истины, принцип неопределённости Гейзенберга и прочее. Мемы эти есть просто словосочетания, механически заимствованные из науки. Они используются совершенно не в том смысле, в котором используются в науке. Также у членов этой совокупности есть некая авторитетность: член совокупности авторитетен настолько, насколько остальные члены совокупности считают его авторитетным. Авторитетность некоего человека из совокупности может повышаться, если авторитетные члены признают этого человека более авторитетным. Деятельность членов этой совокупности заключается в написании текстов, содержащих алогичные цитаты из других текстов, написанных членами этой совокупности, а также из значимых материалов. Тексты эти смысла не несут, они используются только для написания других текстов членами этой совокупности. Точное описание этой совокупности требует использования теории рекурсии, в которой я разбираюсь слабо. Подробнее можно прочитать в книге "Интеллектуальные уловки. Критика современной философии постмодерна". Это хорошая книга, её написал идейный создатель Корчевателя Сокал, см. "мистификация Сокала".
>Как я уже сказал, не существует такого метода доказательства как «индукция». Идея доказательства каким-то образом достигнутой «почти-определенности» в науке — миф. Каким образом я мог бы «почти-определенно» доказать, что завтра не опубликуют удивительную новую физическую теорию, опровергающую мои самые неоспоримые допущения относительно реальности? Или то, что я не нахожусь внутри генератора виртуальной реальности? Но я говорю все это не для того, чтобы показать, что научное знание действительно «второсортно». Ибо идея о том, что математика дает определенности — это тоже миф. Дэвид Дойч, профессор Оксфордского университета, член лондонского королевского общества, специалист в области теоретической физики и квантовых вычислений.
>>256351 Но зачем? Если ты, например, не считаешь общепризнанным, что Платон или Гегель являются философами, то ты оторван от реальности и спорить с тобой бессмыслено.
>>256359 Школьники не способны абстрагироваться от своих школьных знаний, они их считают данностью, продолжением физической реальности. Потому им так трудно увидеть недоказуемость эквивалентности арифметических операций с числами и с яблоками. мимо
>>256358 >стена текста Положим так (судя по моему ограниченному знакомству с современной академической философией в Россиии скорее согласен, что смысла для людей вне тусовки там мало). Только какое это имеет отношение к тому, что считать философией, а что нет?
>>256364 Ты не можешь прочитать мой пост, но намерен разговаривать со мной о философии? Коротко. Я не считаю совокупность описанных мной людей философами, однако их существование признаю. Это не философы, это просто странный клуб любителей писать ахинею. Философами я считаю людей, занимающихся деятельностью >>256343.
>>256365 Однако далеко не каждому школьнику повезло с такой рациональностью. Если тебя ебут, то ты пидор, если ты ебёшь, то пидор тот, кого ты ебёшь. Вот пример рациональности большинства школьников.
>>256358 > Значимыми являются тексты Протагора и кассеты Мамардашвили. >Интеллектуальные уловки. Критика современной философии постмодерна БЛЯДЬ ИЗЫДИ ОТСЮДА ДОЛБОЕБА КУСОК ИЗЫДИ БЛЯДЬ В ФИЛОСОФАЧ СЪЕБИ ГОСПОДИ УХОДИ ПО ХОРОШЕМУ ПРОШУ
>>256366 Пошел нахуй, тут с тобой никто не будет говорить, ты шизик, прочитавший одну книжку. Сначала попробуй осиль хотя бы Рассела, Карнапа, Тарского, Геделя, раннего и поздного Витгенштейна, а потом пытайся что-то сказать.
ОТОШЁЛ НА 5 МИНУТ А ВЫ УЖЕ ПО УШИ ВЪЕБАЛИ ОСНОВАНИЙ, РОДИНА ИМ ЭТАЛЬНЫЕ КОГОМОЛОГИИ ДАЛА, СИДИ - ПОСТИГАЙ СУЩНОСТЬ МИРОЗДАНИЯ, ТАК НЕТ ЖЕ, ХОЧУ ЕЩЁ БОЛЬШЕ НАВЕРНУТЬ ОСНОВАНИЙ
>>256366 Хвала Аллаху, что у тебя не спрашивают, кому степень присуждать и чем философам заниматься. Иначе была бы не наука, а эдакая смесь патентных троллей и партийной номенклатуры.
>>256367 Такой пример очень красноречивый, ведь он в точности соответствует философии. Если тебя ебут, то ты пидор, еслы ты, он пидор. Опыт, интуиция, логика.
>>256359 >Основания математики вообще не относятся к математике, а лежат где-то в промежутке между философией и метафизикой. Адепты оснований соревнуются друг с другом в скептицизме - наберет больше всех очков тот, кто поставит под сомнение наибольшее количество несомненных доселе научных фактов; и громогласно потребует их обоснования. Миша Вербицкий, профессор ВШЭ, докладчик на IMC, специалист в гиперкэлеровых многообразиях и алгебраической геометрии и разрыватель пуканов на саентаче
>>256368 Главным образом они нужны теоретикам теории чисел, у них от них профиты какие-то сильные. Но теоретиков чисел мало, и работают они где-то на отшибе. В других разделах математики p-адические числа нужны скорее просто в качестве источника примеров, нежели необходимого инструмента.
>>256369 Предположу, что ты являешься членом описанной мной совокупности людей. Ты требуешь, чтобы я был членом этой совокупности; не-членов клуба ты не считаешь полноценными людьми. Я прав?
> Главным образом они нужны теоретикам теории чисел, у них от них профиты какие-то сильные. Но теоретиков чисел мало, и работают они где-то на отшибе. В других разделах математики p-адические числа нужны скорее просто в качестве источника примеров, нежели необходимого инструмента. Пиздос, каким теоретикам ещё, мы в школе в своё время хуячили диофантовые уравнение при помощи п-адического всякого говна.
>>256376 Согласен ли ты с тезисом нового сантехника: основания математики и есть наша философия, а в рашкинских институтах долбятся в жопу мамардашвили?
>>256379 >Я прав? Давай я тоже спрошу у тебя. Предположим я прочитал критику фильма от режиссера. Там отчетливо написано, что фильм говно. Я даю тебю ссылку на критику, при этом отказываюсь смотреть фильм. Я прав? Ну или я доказываю тебе теорему Ферма в 10 строк, делая отсылки к неким теоремам, которые тоже отказываюсь читать. Я прав?
>>256384 Ты просто переходишь на личности. Моя критика не зависит от справедливости "Логико-философского трактата". Тебя никак не должно волновать, что и когда я читал, что и когда я ел, чем и когда я увлекался.
Годов пять назад Есенин Вольпин на семинаре Нагорного рассказывал что он сделал "грандиозное открытие" и "всю математику можно построить на числе 27 роль которого совершенно недо оценивается современными учеными" Нет ли какой то информамции о развитии этой теории?
>>256395 Естествознание в принципе сформулировано философами. "Мне мамка не закон, я сам себе котлет разогрею!" - примерное содержание твоего бунтарского комментария.
>>256390 >Моя критика не зависит от справедливости Твоя критика - говно несущественное, показывает твое незнание предмета, неумение применять удобнейшие философские термины. Но ее можно рассматривать до тех пор, пока она ссылается на книжонку одного левого любителя интегралов под водочку, который удосужился привести некоторые аргументы. Но если ты ссылаешься на критика современной философии, будь добр, осиль хоть эту современную философию. Хоть в виде нейтральнейшей книжки Липкина, хоть в виде гарвардского учебника или википедии.
>>256404 Все правильно. Наука это продукт философии, она не может рассматривать философские вопросы своими методами. В этом и смысл абсурдности "применения позитивизма к самому себе".
>>256384 >Согласен ли ты с тезисом Нет. Но думаю, что это обсуждение надо заканчивать или продолжить в /ph/.
А здесь можно обсудить такие насущные вопросы, как: 1. Cуществует ли число 2^(2^100)? 2. Когда можно использовать закон исключенного третьего? 3. Допустимы ли непредикативные определения (постороения множеств, исходящие из существования завершенной вселенной множеств)? 4. Есть ли однозначный ответ на гипотезу континуума?
>>256409 Нет, я говорю что "философ" раньше и "философ" сейчас - это разные слова с разным семантическим значением. Профессиональные философы в сегодняшнем смысле - биомусор и, очевидно, такая философия никому не нужна. А раньше люди, которые занимались коническими сечениями, ботаникой, прикладным правом - назывались философами, теперь они называются по-другому.
>>256412 1) Оно существует в теориях, где оно определено (в арифметике Пеано например) 2) Когда тебе захочется, если не хочется, можно и не использовать 3) Набор слов какой-то. 4) Есть. Она независима от ZFC
>>256414 Бессмысленный вопрос. Так или иначе философия присутствует в решении любой проблемы.
>>256412 >Нет Ну тогда и иди нахуй с "не читал но осуждаю". Нет смысла спорить с неграмотным любителем научпопа, сознательно отрицающим первоисточники.
>>256412 1)Да 2)Когда нет однозначного закона перехода от ХУЙ до ПИЗДА. 3) Допустимы существования множеств с определенномы параметрами существенности 4) Нет, но ты можешь создать однозначную систему и дать согласно ей ответ, или обоссать себе лицо.
>>256407 Я бы с большим интересом побеседовал о постструктурализме, но этот тред не подходит для этой беседы. Вкратце, я считаю постструктуралистов и иже с ними всего лишь писателями ахинеи, см. "Интеллектуальные уловки". Я использую как можно более простые слова специально чтобы дистанцироваться от постмодерна.
>>256412 Но ведь ответы на эти вопросы всем известны. Я предлагаю более интересный вопрос.
Как известно, для каждого кардинала существуют две очевидные операции: взятие последующего кардинала и взятие кардинала булеана. Обозначим их соответственно + и pow. Если a и b кардиналы такие, что b = a+ или b = apow, то b называется последующим для кардинала a. Предельным кардиналом называется кардинал, который не является последующим ни для какого кардинала. Вот требуется классифицировать предельные кардиналы.
>>256424 В решении какой научной проблемы помогла профессиональная философия? Была ли ситуация, когда приглашались профессиональные философы как эксперты в каком-то вопросе, связанном с наукой?
>>256426 >Вкратце, я считаю постструктуралистов и иже с ними всего лишь писателями ахинеи, см. "Интеллектуальные уловки". Язык математики позволяет написать 2+2=5, значит язык математики идиотский, см. Есенин-Волпин "Как я ебал твою мать". Автор твоей обоссаной книжонку нихуя не понял и жалуется.
>>256428 Профессиональной философии не существует. По сути любой ученый это философ, осознанно и неосознанно принявший определенную позицию, набор тезисов.
>>256443 Положение в реальности такого: на эту статью в википедии любой уважающий человек (после аспирантских курсов по философии, где заставляют это дерьмо наварачивать ложкой), будет ссать с высокой башни. А учёные разбираются как им ваять науку не хуяря томики Канта, а следуя чётко отлаженному методу, который формировался при помощи проб и ошибок на протяжении веков другими людьми, занимающимися этой же наукой.
>>256448 >при помощи проб и ошибок Ай лолд. Научный метод изначально был придуман философом, рассуждающим, сидя под ярким греческим солнцем.
>томики Канта Очевидно, что никто их не хуярит, как не хуярят и Ньютона, Лейбница и Гамильтона в оригинале, люди предпочитают учебники. И читая учебники, никто даже не понимает, что эти учебники написаны согласно сложившейся философской традиции, поэтому они автоматически впитывают ее, им кажется, что она дана им сразу.
>>256452 Это я называю тебя сантехником и уже заебался напоминать, почему и что под этим подразумеваю. Ты настолько тупой, что не способен даже этого запомнить? Да, тебе до наук далеко, тебе бы для начала стихотворения потренироваться позаучивать.
Классическое поведение сантехника - обозвать всех сантехниками, отвергнуть статью из википедии и продолжать игнорировать собственное говно в своих штанах.
>>256460 Научный метод это вера, которая благодаря жизненному опыту и опыту поколений кажется наиболее достоверной, но также можно поверить во что угодно. И да, говоря "научный метод", я подразумеваю огромное количество разных точек зрения на него, которые соседстсвуют в научном сообществе. Есть сантехники-реалисты типа Сокала, есть абстрактные ребята, типа Тарского и Геделя в старости.
>>256462 >к чему К математикам, которых никто не читает в оригинале, а узнает фамилии из учебников.
>>256426 >Но ведь ответы на эти вопросы всем известны. Я предлагаю более интересный вопрос. Нет. Точнее говоря, даже если известны, они щачастую оказываются разными. Поэтому о них можно спорить.
На твой же вопрос вроде ответ сингулярные и недостижимые; кажется можно было доказать, что 2^k всегда регулярный, но я что-то сходу не вспомню, нужно еще подумать.
>>256417 Касательно твоих ответов на 1 и 4, все эти вопросы правильно понимать не в дух "доказуемо ли в формальной теории T, что ...", а "верно ли на самом деле, что" (разумеется, всякий ответ подразумевает либо уточнение понятия "верно на самом деле", либо его отвержения). Касательно 3., речь о конструкциях вроде "рассмотрим совокупность всех счетных групп, ...., [используя эту совокупность] построим счетную группу, предположим, что эта группа не обладает свойством A, ... [используя тот факт, что она сама лежала в совокупности] мы обнаруживаем, что эта группа обладает свойством A - противоречие, тем самым группа обладает свойством A". На самом деле такие трюки не очень часто применяются в математике, один из примеров - это теорема Крускала.
>>256471 Тем не менее, реальность останется одной и той же. Ты можешь сплести сколь угодно хитрую паутину из слов, но боль от ударов дубины, которой бьёт тебя по голове тупой гопник, не станет от этого менее неприятной. От речи и всех -измов ты легко можешь отказаться, от реальности - нет.
Представьте себе пожарных, которые не ездят на пожар и ничего не тушат. Зачем тогда они вообще нужны?.. — А кто же будет бороться с пожарами? — отвечают пожарные. — Так ведь вы же не боретесь, — говорят им. — Неправда, вот недавно гражданин Бор потушил начинающийся пожар полотенцем. — Но он же не пожарный. — В этот момент он был пожарным, потому что действовал как настоящий пожарный. И он сам написал, что ему здорово помогло знание основ пожаротушения. — Но если тушением пожаров всё равно занимаются обычные граждане, то зачем нужны профессиональные пожарные?.. Которые совсем не борются с огнём?.. А недавно из ехавшей по улице пожарной машины вылетела сигарета, ветер отнёс её к дому гражданина Лобачевского, и тот занялся пламенем. Причём никто из ваших не явился его потушить! — Видите ли, отказ от содержания нашей пожарной части никак не поможет предотвратить пожары. Если не будет профессиональных пожарных, это ещё не значит, что никто не будет иметь дело с огнём. Люди всё равно будут играть со спичками, засыпать с непотушенной сигаретой. Не мы, так кто-нибудь другой будет поджигать дома. А вот профессиональных пожарных у вас уже не будет. — Но вы же всё равно не тушите ничего! — Неправда, вот недавно обычный гражданин Бор потушил пожар полотенцем... Это автоматически делает его одним из нас — пожарным, хоть и любителем. А представляете, на что способен настоящий профессиональный пожарный? Который годы потратил на изучение отличий пожарного багра от пожарного шланга? Обществу должно быть намного спокойнее, когда у него на страже такие профессионалы. — Но вы же ничего не делаете в случае пожара! — Мы бдим. А после пожара — пишем о нём отчёты. Никто не способен написать отчёт так, как это сделает профессиональный пожарный.
>>256498 >>256497 Нужен плагин под хром, который по клику скрывает минимальное множество содержащее данный пост и транзитивно замкнутое по отношению "в посте A есть ссылка на пост В". Чтобы скрывать нахуй таких дебилов.
>>256517 Аксиомы с чисто логической точки зрения: это набор буковок, а теоремы - другой набор буковок полученный из первого по определённому набору правил, что значит "имеющих смысл в реальности"?
SOOQA, КАКОЙ ЖЕ У МЕНЯ БУГУРТ ОТ ВАС, СОЗДАЙТЕ СЕБЕ ТРЕД "СУЩЕСТВУЕТ ЛИ ЦИФРА "2" С ТОЧКИ ЗРЕНИЯ РАННЕГО ПОСТМОДЕРНИЗМА" И ЕБИТЕСЬ ТАМ СО СВОИМ ГЁДЕЛЕМ, НАХУЙ ВЫ ЖИВЁТЕ БЛЯТЬ, ПИЗДОС
>>256518 > что значит "имеющих смысл в реальности"? Соответствующих опыту взаимодействия математика с физической реальностью. Что непонятно ещё? Может, ещё спросишь, что такое реальность?
>>256523 Мне понятно лишь что никакого естественного отображения математики в реальность нет. В математическом моделировании вообще зачастую бывает что на одно явление/процесс по 10 моделей, каждая со своими минусами и плюсами. Бывает и наоборот, когда одна модель описывает сотни процессов (линейное дифференциальное уравнение, например), ты о чём вообще?
>>256528 Если бы математика не отображалась на реальность (или наоборот), то нахуй бы никому не сдалась. Но реальность такова, что два яблока плюс два яблока - это ровно четыре яблока.
>>256538 Лучше спроси у анона, который ставил вопрос - это я самоисправлялся. Но вообще, формальная постановка в подобных вопросах не нужна, а скорее вредна.
>Скорость борды: 100 п./час На моей памяти здесь такого не было. Остается только удивляться, почему /ph/ - мертвая борда, если срачи за философию могут быть столь активны.
>>256699 - Ром, а что это тут у тебя звуки странные? Ты над докторской работаешь? - А..чё)) - Не поняла. Что ты делаешь? - Да потанцевать решил) - Ты идиот? - А чё потанцевать нельзя?) - Ты идиот? - А чё потанцевать нельзя?) - Ты идиот
Задача:
Сосачеры в /sci/ часто собираются группами и начинают обсуждать основания математики . После это они ссорятся настолько, что никакие двое из них после этого вместе ничего не обсуждают. К концу года выяснилось, что в дальнейшем они могут обсуждать основания математики только поодиночке. Докажите, что если число обсуждений оснований математики было к этому времени больше 1 , то оно не меньше числа сосачеров в /sci/.