Этот тред посвящён pure mathematics. Здесь из нескольких разных доказательств выбирают самое концептуально правильное, доказывают задачи из листочков для первого курса НМУ, а также читают научные статьи (пытаются). Если вы хотите задать вопрос типа "как мне взять этот интеграл", это не сюда. Вам нужен тред "для начинающих", он плавает неподалёку.Предыдущий: >>381147 (OP)
>>389536 (OP)1. https://arhivach.org/thread/18638/2. https://arhivach.org/thread/27246/3. https://arhivach.org/thread/27696/4. https://arhivach.org/thread/38709/5. https://arhivach.org/thread/46502/6. https://arhivach.org/thread/48852/7. https://arhivach.org/thread/52165/8. https://arhivach.org/thread/56479/9. https://arhivach.org/thread/63306/10. https://arhivach.org/thread/70618/11. https://arhivach.org/thread/74342/12. https://arhivach.org/thread/74341/13v1. https://arhivach.org/thread/76561/13v2. https://arhivach.org/thread/92428/14. https://arhivach.org/thread/78408/15. https://arhivach.org/thread/79152/16. https://arhivach.org/thread/82499/17. https://arhivach.org/thread/92427/18. https://arhivach.org/thread/84722/19. https://arhivach.org/thread/87923/20. https://arhivach.org/thread/91329/21. http://arhivach.org/thread/93067/22. https://arhivach.org/thread/94240/23. https://arhivach.org/thread/95680/24. https://arhivach.org/thread/96720/25. https://arhivach.org/thread/99481/26. https://arhivach.org/thread/100880/27. https://arhivach.org/thread/101335/28. http://arhivach.org/thread/106743/29. https://arhivach.org/thread/109198/30. https://arhivach.org/thread/114111/31. https://arhivach.org/thread/116099/32. https://arhivach.org/thread/118093/33v1. https://arhivach.org/thread/122613/33v2. https://arhivach.org/thread/122615/34. https://arhivach.org/thread/123717/35. https://arhivach.org/thread/128822/36. https://arhivach.org/thread/129039/37. https://arhivach.org/thread/131462/38. https://arhivach.org/thread/138362/39. https://arhivach.org/thread/13842940. http://arhivach.org/thread/140404/41. https://arhivach.org/thread/142386/42. https://arhivach.org/thread/145879/43. https://arhivach.org/thread/146833/44. https://arhivach.org/thread/152600/45. https://arhivach.org/thread/153157/46. https://arhivach.org/thread/156244/47. https://arhivach.org/thread/159628/48. https://arhivach.org/thread/165872/49. https://arhivach.org/thread/183576/50. https://arhivach.org/thread/187447/51. https://arhivach.org/thread/188358/52. https://arhivach.org/thread/197703/
>Известно, что адепты абстрактной алгебры могут доказать, что 2+2=1 (в кольце вычетов по модулю 3).Объясните, пожалуйста.
>>3895404 дает остаток 1 при делении на 3
>>389536 (OP)Аноны, а поясните в чем цимес истории с ℕ-петухом?
>>389569Тредик-то его читни. Суть в том, что он затралил парашу, а это и несложно, т.к. неконструктивная математика на самом деле не может определить N. Т.н. аксиомы Пеано исходят из того, что нам уже дано натуральное число, а оно нам нихуя не дано, т.к. не имеет формального определения. В математике здорового человека N определяется элементарно, по Маркову - натуральное число это слово в алфавите |. В математике же курильщика есть н-р бурбаковское "определение" из астрономического числа символов, разумеется, абсолютно бесполезное.
>>389571>н-р бурбаковское "определение" из астрономического числа символов, разумеется, абсолютно бесполезное. Но ведь оно не определено через ℕ?
>>389573Да. Но практической пользы от такого "определения" нет. Его вообще, походу, только сами бурбаки и понимали. Тогда как по факту понятие натурального числа абсолютно ясно даже ребенку. Более того, есть нейрофизиологические доказательства, что натуральные числа и операции над ними - естественная возможность мозга, точнее правой нижней париетальной коры (rIPC) и конкретного типа нейронов - т.н. "нумероны". Причем, речь не только о мозге человека, обезьяны и даже крысы могут в N без всяких бурбаков и верований в актуальную бесконечность и т.п. фофудью. Причем, восприятие числа основано на восприятии времени, что доказано Уолшем в его модели ATOM (A Theory Of Magnitude) на основе данных нейровизуализации и наблюдению больных с повреждением в этой области мозга. Что прямо доказывает правильность подхода пикрелейтед (1 акт интуиционизма).
>>389575>париетальнойПрефронтальнойфикс
>>389575Почему тогда в некоторых культурах нет понятия числа? Что-то мнеттвои рассуждения кажцтся сомнительными.
>>389581>в некоторых культурах нет понятия числаУ мартышек тоже нет понятия числа, однако они могут в N, арифметику и т.д (на что есть нейрофизиологические пруфы). Подозреваю, те культуры, о которых ты говоришь, весьма недалеко ушли от бабуинов. Тут суть как раз в том, что число - изначальное, долингвистическое, доязыковое понятие. Для операций с числами не нужен язык (опять же, все по Брвуэру, 1 акт интуиционизма). Поэтому в числа могут и новорожденные дети и даже зверушки, не могущие в язык.
У Канта есть нечто подобное - т.н. "transcendental aestetics" (быдл. "трансцендентная эстетика"). И он до этого дошел без нейрофизиологии. Это свидетельство в пользу тезиса Черча (понятие интуитивной эффективности равнообъемно понятию реурсивности).
>>389582Я не понимаю. Объясни. Вот проводили много экспериментов с какими-то там индейцами. Показывали им предметы и просили объяснить, как на их языке это количество предметов называется. Получилось, что у них есть несколько категорий (ну, что-то вроде "ноль, один, много", совсем как у программистиков, хи), и что одно и тожеколичество они относят к разным категориям в зависимости от того, добавили предмет к группе или убрали. То есть мы видим три банана, а они видят много бананов. Или немного бананов, если их только что было четыре.То есть считать они не умеют, вообще. Людей тоже считать не могут. Я уже не помню деталей, давно читал, но было что-то про то, что вот ушли несколько человек из племени рыбу ловить - и оставшиеся не понимали, что ушли, например, Джон, Пит и Мэри, а могли только размышлять в стиле "Джон здесь? Нет, Джона здесь нет". Короче, у них вообще понятия множества, объединения, коллекции как будто нет.Вот были эксперименты, которые показали, что муравьи могут в арифметику, да? Хотя это та еще антропоморфизация, на самом деле это показывает, как мне кажется, не то, что они могут в арифметику, а то, что они могут сжимать информацию, если оптимальное поведение этого требует. То есть некорректно говорить, что они могут в эн и арифметику, потому что для эн нужны числа, это именно понятийная концепция. А они просто могут в определенные паттерны поведения, которые мы можем объяснить с помощью концепции числа. Но это не говорит о том, что они могут в эту же концепцию. Если о чем это и могло бы говорить, то о некой материальности (и неизбежности, ечли хочешь) понятия числа. Но и это утверждение мне видится недостаточно обоснованным. Все-таки нельзя отождествлять некое свойство материальной системы с концепцией, помогающей нам это свойство абстрагировать.Вот. Поведение муравьев требует сжатия информации, которое мы можем объяснить с помощью нашей концепции числа. А поведение индейцев этого не требует, например. Поэтому я не понимаю, в чем тут фундаментальность.Алсо, говорить о том, что некоторые другие, отличные от нашей, культуры недалеко ушли от бабуинов - это тот еще шовинизм, как мне кажется. Если ты придерживаешься мнения о том, что (европейский) человек - венец творения, эволюционный прогресс движется поступательно и т.п. - то мы вряд ли найдем общий язык, как мне кажется. Извини, если что, я не осуждаю, просто выражаю опасения.
>>389575ты аргументируешь практическую пользу устройством мозга? Это же даже звучит глупо. В математике полно неинтуитивных и тяжелых для восприятия структур, которые на поверку оказываются удобными для работы с объектами. Да та же позиционная система исчисления, те же алгебраические структуры, те же категории. Так почему же мы должны отталкиваться не от них, а от нашего восприятия?
>>389583Если почитать ту терминологию, которую использовал Кант, то он скорее угадал.
>>389585>Показывали им предметы и просили объяснить, как на их языке это количество предметов называется. Получилось, что у них есть несколько категорий (ну, что-то вроде "ноль, один, много",Вопрос - неправильно построенный ответ. Вот ты сам себе и ответил - дело в языке. Человек может в натуральные числа и арифметику с рождения, это медицинский, прямо скажем, факт. Но вот человек растет, обучается языку. Хорошо, если язык развитый. А не такой, что вся математика на этом языке уровня "один, два, много". > А они просто могут в определенные паттерны поведения, которые мы можем объяснить с помощью концепции числа. Но это не говорит о том, что они могут в эту же концепцию.Нет, там речь именно о восприятии натурального числа в конструктивном смысле - как слова в алфавите | или т.п., а так же восприятия операций с числами. Концепция числа в интуиционизме и конструктивизме ничем не отличается от самого числа, существует только тот математический объект, который может быть построен. В противном случае "существование" чего-то есть мистика и т.п. >>389586>В математике полно неинтуитивных и тяжелых для восприятия структур, которые на поверку оказываются удобными для работы с объектами. Да та же позиционная система исчисления, те же алгебраические структуры, те же категории. Так почему же мы должны отталкиваться не от них, а от нашего восприятия? Восприятие числа - фундамент всех остальных построений, которые сами по себе могут быть сколь угодно тяжелыми для восприятия. Зависимые типы и правила вывода в MLTT сложно назвать интуитивно простыми, однако они конструктивны, т.е. построимы и выводимы из базовой интуиции. Основывая математику на теории множеств и логике, невозможно обойтись без парадоксов, которые из этих построений вытекают. Можно выдумывать сколько угодно костылей, в конечном счете формально-аксиоматический подход просто сталкивается с теоремой Геделя о неполноте - либо придуманные костыли неполны, либо противоречивы. В обоих случаях это бесполезные костыли.
>>389589>Восприятие числа - фундамент всех остальных построений, которые сами по себе могут быть сколь угодно тяжелыми для восприятия. Собственно, вопрос был о том, почему, а ты просто повторил эту мантру. Почему не восприятие паттерна, более фундаментальное?
>>389575>Более того, есть нейрофизиологические доказательства, что натуральные числа и операции над ними - естественная возможность мозга, точнее правой нижней париетальной коры (rIPC) и конкретного типа нейронов - т.н. "нумероны". Причем, речь не только о мозге человека, обезьяны и даже крысы могут в N без всяких бурбаков и верований в актуальную бесконечность А с каких пор убогие костыли эволюции как оптимизационного процесса с достаточно хуёвой эвристикой стали оправданием хуёвых определений чего-либо в математике?
>>389591>Почему не восприятие паттерна, более фундаментальное? Ну ок, дай определение восприятию паттерна. И покажи его нейрофизиологические основы, позволяющие говорить о наличии такого восприятия независимо от возраста особи и даже от ее вида. для начала хотя бы определение паттерна Со своей стороны я пруфы назвал - модель ATOM Уолша, если Брауэр и Кант не канают.>>389592>А с каких пор убогие костыли эволюции как оптимизационного процесса с достаточно хуёвой эвристикой стали оправданием хуёвых определений чего-либо в математике? Сами эти костыли для интуиционизма несущественны. Я о них говорю потому что они есть и вполне материальны, интуиционизм без них обходится более века. И я сомневаюсь, что у тебя есть возражения по существу к MLTT например. Да даже какие-нибудь нормальные алгорифмы Маркова ты вряд ли сможешь покритиковать. О чем тогда вообще разговор.
>>389593>Я о них говорю потому что они есть и вполне материальны, интуиционизм без них обходится более века.Неконструктивная математика обходится без этой хуйни уже больше двух тысячелетий. И что?
>>389594>И что? И даже N определить не может. Даже непротиворечивость арифметики до сих пор не доказана.
>>389595>И даже N определить не может.Ну бурбаки определили.>Даже непротиворечивость арифметики до сих пор не доказана. P ≠ NP уже доказал, доказатель мамкин?
>>389593>О чем тогда вообще разговор.О том, что это абсолютно неприменимо в современной математике, когда не формализованы даже положения математики двухвековой давности? И определения диктуются именно реалиями актуальной практики.>Ну ок, дай определение восприятию паттерна. И покажи его нейрофизиологические основы, позволяющие говорить о наличии такого восприятия независимо от возраста особи и даже от ее вида.Ты так залихвацки предполагаешь решенной трудную проблему сознания, отождествляя число в формальной теории и нечто связанное с числами в теории нейрофизиологической. А ответы на твои вопросы есть в гугле по запросу pattern recognition physiology.
>>389596>бурбаки определили.Заебись определили))) Давай поговорим об этом "определении". Что же такое единица согласно бурбакам? И вот это вот определение из квинтиллионов знаков или сколько там, его в аксиомы Пеано подставлять или что?>>389597>Ты так залихвацки предполагаешь решенной трудную проблему сознания, отождествляя число в формальной теории и нечто связанное с числами в теории нейрофизиологической. А в чем проблема? Число - изначальная интуиция времени. Об этом говорил Брауэр, это подтверждают современные исследования. На основе идей Брауэра созданы даже конструктивные основания (HoTT). А "паттерн" это нечто из области гуманитарной психологии, смешно и думать что у этих горе-психолохов будут хоть какие-то определения, не сводящиеся к мутной фуфлософии ниочем.
>>389598>А в чем проблемаВ том, что вещь не определяется ее описанием. https://en.wikipedia.org/wiki/Hard_problem_of_consciousnessНа основе "доказанной" гипотезы Римана тоже много что создано.>нечто из области гуманитарной психологиитермин из машинного обучения так-то.
>>389598>И вот это вот определение из квинтиллионов знаков или сколько там, его в аксиомы Пеано подставлять или что?Да, а в чем проблема? Всяко лучше чем РАСПЕЧАТКУ ДОКАЗАТЕЛЬСТВА хроматического числа планарного в квинтиллион шагов вручную проверять.
>>389598>И вот это вот определение из квинтиллионов знаков или сколько там, его в аксиомы Пеано подставлять или что?Ну если ты хочешь пользоваться минимумом символов (зачем?) и чисто формальной записью без использования естественного языка (какой нет ни в одной работе бурбакистов), то дерзай.
>>389600>вещь не определяется ее описанием. Так именно с этих слов начинается 1 акт интуиционизма Брауэра. Математический объект определяется возможностью его построения. В противном случае это просто аутизм или вера во что-то. >термин из машинного обучения так-то.В машинном обучении нет слова "психология". И "паттерны" там - вещественнозначные векторы, матрицы или тензоры. Т.е. конструктивные объекты, как ни крути.>>389601>Да, а в чем проблема?Проблема в том, что это определение не дает возможности построить на нем арифметику и доказать или опровергнуть ее непротиворечивость.
>>389601Почему задачу о х4 красках так никто и не решил адекватно?
>>389605Ви таки будете смеяться, но эта задача решена методами конструктивной математики. https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%87%D0%B5%D1%82%D1%8B%D1%80%D1%91%D1%85_%D0%BA%D1%80%D0%B0%D1%81%D0%BE%D0%BA
>>389606Об этом и вопрос >>389605-анона.
>>389606Я имею ввиду словами, по старинке, без ЭВМ. Кто-нибудь до сих пор пытается её так решить, или нет?
>>389604>Так именно с этих словИменно с этих слов начинается шестая книга глава евангелия... Походит на религиозный догматизм, не считаешь ли?>И "паттерны" там - вещественнозначные векторы, матрицы или тензоры. Т.е. конструктивные объекты, как ни крути.А персептрон об этом в курсе? Ему то все равно, может ли быть сведено что-то к математическому объекту. Ну или, если ты так уверен, то расскажи что представляет собой там тональность сообщения или картинки для google deep dream. Ну, а то, что он получает информацию в виде компьютерных данных, это не тайна мадридского двора.
>>389605Существует большой класс задач, решаемых только перебором, особенно в комбинаторике. Люди не решают их, потому что делать простую проверку для сотни тысяч вариантов это проблематично. Саму задачу о красках просто свели к доступному перебору.
>>389610Отлично. А кто-нибудь рецензировал код переборщика вместе с кодом компилятора которым софтинка была скомпеляна? Ну мало ли, сейчас время такое, сложные программы - баги живут в конпеляторах годами если не десятилетиями....
>>389609>Именно с этих слов начинается шестая книга глава евангелия... Походит на религиозный догматизм, не считаешь ли?Религиозный догматизм - это актуальная бесконечность, например. В интуиционизме существование чего-то означает возможность это что-то построить. Никакого догматизма абсолютно.
>>389612>догматизм это когда много богов, как в индуизме. у нас же есть только троица: отец, сын и святой дух, что означает возможность воскресения христова. Никакого догматизма абсолютно.Блажен, кто верует.
>>389610Жаль. Но всё же, мне кажется, наступит праздник и в комбинаторике.
>>389589Ладно, ты меня не услышал и просто еще раз повторил свои изначальные установки. Ладно.
>>389614Никогда.
>>389536 (OP)Пока я тут.Как будет выглядеть метрика (функция) на пространстве натуральных чисел?
>>389598Эта строка из википедии выглядит как-то совсем неправдоподобно. Вроде там намного меньшее число.
Платина.Есть соотношение: s/d = 0.7, d - известно.Чему будет равно s?
>>389670s/d = 7/10 iff s = 7d/10
>>389677А теперь докажи правомерность перехода от вещественного чисда к рациональному.
>>389681А теперь покажи где этот >>389670 петух вообще указал что s и d - вещественные (и вообще какие-либо). Судя по школоусловию можно предполагать по наличию операции деления лишь то что s и d принадлежат телу.
>>389681Алсо 0.7 - рациональное число.
>>389682>>389683Ну ладно, ты прошел тест.
>>389682Что за хуйню ты несёшь, наркоман?Мне надо выразить S из приведённой формулы. Отношение S к D должно быть 0.7 (в идеале). D известно, надо найти S.
>>389687Да съеби уже, дурачок.
>>389693Нахуй иди. Умник нашёлся тут, блядь.
>>389687Мамку свою вырази. Анон всё верно сказал.
>>389619Скоро, очень скоро.
>>389664На самом деле они определяли число 1 вот так. Пикрелейтед - скрин из книги.
>>389735Речь шла о развернутой формальной записи, очнись.
>>389736Так никто не может понять, что дает этот факт? Никто же не строит "конструктивные основания" на основе их формализма, он скорее нужен для интуитивного восприятия.
>>389736А зачем вам развёрнутая запись?
>>389739Кому "нам"? Ты тред читал перед тем, как спрашивать? Речь о том и шла, что она не нужна.Кстати, раз двощ теперь филиал мейлсру - куда перекатываться? На доброчане вроде аж несколько годных маттредов.
>>389536 (OP)Анон, интересует ситуация в топологии. Мне тут сказали, что общая топология умирает и нет смысла ей заниматься или даже углублённо изучать. Что думаете?
>>389759Взяли хорошее, годное определение Бурбаков, зачем-то развернули его до самого низа, а потом кудахтают, что то, что получилось, нинужно. Странные люди.
>>389827Что взять с опущенного конструктивиста? Конструктиист же хуже червя-пидора.
>>389797Чета мне здесь услышалось созвучное, словам о физике, сказанное в начале 20 века.
>>389827Так это Бурбаки его развернули.>>389832Где ты конструктивистов увидел?
Расскажите-ка мне лучше, как же так вышло, что интуиционизм, основанный по-сути, на солипсизме (а как иначе трактовать его исходную часть - чистую интуицию времени, не основанную на языке, опыте и прочих внешних явлениях), объясняет математику лучше, чем маняпостроения, не определяющие даже N и элементарную арифметику? Несостоятельность формализма, доказанная Геделем в теореме о неполноте, Гильберт, переобувшийся в метаматематику, конструктивную по своей сути. Логицизм Рассела и Уайтхеда, так же бесполезный вне своих конструктивных продолжений - интуиционистской логики, MLTT. И т.п. победки неконструктивной математики, полезные практически только в виде своих конструктивных применений, а вне их скатывающиеся в манярелигии с бесконечностями, всемогущими оракулами и т.д. И только солипсизм в математике, не изменившийся с работ Брауэра, позволяет добиться каких-то результатов. Почему так, хотелось бы ОПРАВДАНИЙ.>>389854>Где ты конструктивистов увидел? Бесноватого так корежит, что конструктивистов видит даже у себя под кроватью.
>>389854>Так это Бурбаки его развернулиНет. Я показал, каким определением пользовались Бурбаки.
>>389866У бурбаков в предисловии к первой книге написано, что сокращенные записи и вольности речи только для удобства читателя, по факту "говорим ленин - подразумеваем партия", у них там претензия именно на полную формализацию.
"Любят русские люди бунтовать!Встанут на колени перед барским домом и стоят подлецы!И ведь знают, что бунтуют и всё равно стоят!"
>>389867Так зачем надо раскладывать все до минимальных термов, объясни? Бурбаки все нормально делают, а не переопределяют все в каждом определении, у них нет страха введения новых символов.
>>389864Опять верующий пришел со своей проповедью, "опровержением всех ересей"? Но, если мы спросим тебя, почему это все присутствует в материальном мире, ты можешь сказать только "потому что верую". При этом как типичный религиозный догматик тебе кажется абсурдным (абсолютно такая же) вера других, как христианам казалась абсурдна вера язычников. >а как иначе трактовать его исходную часть - чистую интуицию времени, не основанную на языке, опыте и прочих внешних явленияхА почему, собственно, солипсизм, а не другой вид субъективного идеализма, например, кантовский? Почему не объективный идеализм, где чистая идейная интуиция и определяет бытие? Почему не диалектический материализм, где это отражение материи в сознании? Если ты знаком только с одной недалекой философской концепцией, это не повод приписывать ее куда не следует.
>>389880>зачем надо раскладывать все до минимальных термов, объясни?Потому что как-то манипулировать можно только с изначальными термами. Т.е. с каноническими элементами. Их можно заменить более высокоуровневыми абстракциями, неканоническими элементами, номинальными определениями и т.п. для удобства, но вычисляются все равно канонические элементы. Вот и подумай, как это должно выглядеть, если таковые состоят из каких-то там квинтиллионов знаков. Хотя, о чем это я, бурбакизм не предполагает возможности построить описанное. Но тогда встает вопрос, какая от него практическая польза.>>389882>Но, если мы спросим тебя, почему это все присутствует в материальном мире, ты можешь сказать только "потому что верую".Что именно присутствует? Ты о чем?>А почему, собственно, солипсизм, а не другой вид субъективного идеализма, например, кантовский? Почему не объективный идеализм, где чистая идейная интуиция и определяет бытие?Тут не суть на самом деле, просто у Брауэра ближе к солипсизму, это даже не особо моя мысль, хотя я и согласен с этим утверждением. Дело-то не в этом, а в том, почему такой аутизм гораздо лучше подходит для оснований математики, чем собственно математика?
>>389885>Потому что как-то манипулировать можно только с изначальными термами. Манипулировать кому и зачем? Человеку определенно неудобно, большинство математиков даже не в курсе, как канонично формализуются те абстракции, которые они используют. >Что именно присутствует? Ты о чем?Ну ты же задаешься вопросом: "почему дело так, а не иначе". При этом, как мне кажется, подразумеваешь, что математика должна быть построена на каких-то законах материального мира или от них отталкиваться, или я плохо понимаю? Собственно, от ответа на этот вопрос принципиально зависит и позиция. Если математика совершенно оторвана от бытия, то зачем ее какой-то земной критерий, вместо интуитивного?
>>389887>Манипулировать кому и зачем? Человеку определенно неудобно, большинство математиков даже не в курсе, как канонично формализуются те абстракции, которые они используют.А ты не видишь, что именно в этом вся проблема? В частности с тем, что неконструктивная математика до сих пор не может доказать непротиворечивости арифметики.>Если математика совершенно оторвана от бытия, то зачем ее какой-то земной критерий, вместо интуитивного? Конструктивный объект всегда может быть построен, в этом смысле интуиционизм гораздо больше привязан к бытию, чем какая-нибудь бурбакистика. Прикол в том, что интуиционизм основывается на солипсизме, что с точки зрения неконструктивной математики шизофрения какая-то. И тем не менее, по факту выходит, что это более годные основания, чем логицизм и формализм.
>>389888>А ты не видишь, что именно в этом вся проблема? В частности с тем, что неконструктивная математика до сих пор не может доказать непротиворечивости арифметики.Я не вижу в этот проблемы. Невозможность что-то доказать это же уже результат. Может ли конструктивная математики помочь, например, десятой проблеме Гильберта? Да и про непротиворечивость ты лукавишь, не объясняя почему мы должны пользоваться средствами теории, а не метатеории. >Конструктивный объект всегда может быть построен, в этом смысле интуиционизм гораздо больше привязан к бытию, чем какая-нибудь бурбакистикаПостроение же чисто умозрительное, какая-то связь с реальность даже не предусмотрена постановкой вопроса. При этом, насколько я знаю, критерии конструктивности совершенно неопределенны (вера в тезис черча, например). И именно от того, как мы поставим обоснуем этот критерий, и зависит само наше построение. Возникает вопрос, а почему такая система претендует на формализацию всей математики? Доступно ли ей это?
>>389866Ты бы почитал их хоть для начала, ох.
>>389869Доброчан же. Все будет хорошо. Сделай первый шаг.
>>389867Энивей, никакая более лучшая формализация математики невозможна. У Бурбаки минимально достаточный набор знаков.
>>389959> никакая более лучшая формализация математики невозможна.Формализация математики - тупиковый путь, что доказывается теоремой Геделя о неполноте. Уже после этого формализм можно списывать на свалку истории. Однако, несвежий труп поебывают до сих пор. Закопали бы уже обратно.>>389893>Построение же чисто умозрительное, какая-то связь с реальность даже не предусмотрена постановкой вопроса. Предусмотрена, возможность построения объекта - это как раз постановка вопроса.>Возникает вопрос, а почему такая система претендует на формализацию всей математики? Доступно ли ей это? Доступно. HoTT как раз из этой области. Проблема только в том, что там еще полно работы, по-сути, конструктивными основаниями никто и не пытался заниматься до относительно недавнего времени, все веровали в формализм, да и сейчас большинство веруют.
>>390004Пожалуйста, сформулируй теорему Гёделя о неполноте и объясни, о каком тупике ты говоришь.
>>390006Все элементарно настолько, что есть даже в предисловии к первой книге бурбаков. Любая формальная система либо неполна, либо противоречива. Сами бурбаки отнеслись к этому вопросу в стиле пикрелейтед. Прежде всего, надо думать, по той причине, что никогда и не надеялись что вся математика будет когда-то формализована, н-р на основе той же теории множеств.
>>390007>Любая формальная система либо неполна, либо противоречиваЭто неверно: существует обширный класс полных непротиворечивых формальных систем. Ты выставил себя идиотом, дальнейший разговор с тобой лишён смысла.
>>390009>существует обширный класс полных непротиворечивых формальных систем.Вся математика к ним не относится.
Более того, принципы метаматематики, приписываемые Гильберту, были впервые изложены Брауэром задолго до того, как Гедель теоремой о неполноте показал несостояельность программы Гильберта. После чего Гильберт и переобулся в конструктивный по своей сути подход, названный метаматематикой.
>>390014Что за книга?
>>390020http://gen.lib.rus.ec/book/index.php?md5=1F429F7BAC43FFFDB0EC4A5157EFEECD
>>390021А, я думал. что это овервьюшка всей математической философии, типа шапировского The Oxford Handbook of Philosophy of Mathematics and Logic. Тогда читать не буду.
>>390004>Предусмотрена, возможность построения объекта - это как раз постановка вопроса.С чего вдруг возможность построения определяет реальный объект? Это наоборот максимальный отрыв от реальности, ведь вместо связи с ней берется совершенно оторванный от реальности критерий возможности построения. Но это я повторяюсь.>ДоступноДа неужели, а что делать с результатами в классическом анализе, это у конструктивистов объявляется неверным? Я уж не знаю сколько нужно "работы", чтобы с такими убогими вещественными числами идти дальше.>>390009И в скольких из них можно определить арифметику?
>>390042>С чего вдруг возможность построения определяет реальный объект?А что по-твоему, определяет существующий объект в математике? >Это наоборот максимальный отрыв от реальности, ведь вместо связи с ней берется совершенно оторванный от реальности критерий возможности построения.Ты читаешь что пишешь-то? Что может быть реальнее фактически построенного объекта? Расскажи.>а что делать с результатами в классическом анализе, это у конструктивистов объявляется неверным? С какими результатами, например?
>>390044>существующий объект в математикеЕсли мы говорим в математике, то я бы с большим интересом поискал "несуществующий" объект, прежде чем делать дистинкции.>Ты читаешь что пишешь-то? Что может быть реальнее фактически построенного объекта? Расскажи.Ну не верю я в тезис Черча, представь себе. Следовательно, конструктивная математика работает по какому-то невменяемому критерию, непонятно почему именно такому. >С какими результатами, например? Лемма о конечном покрытии, например, да и вообще все теоремы касательно сходимости и непрерывности. Весь анализ можно в помойку выкинуть.
>>390053>Если мы говорим в математике, то я бы с большим интересом поискал "несуществующий" объект,И тут мы опять приходим к изначальному вопросу - что есть существование в математике? >Лемма о конечном покрытии, например, да и вообще все теоремы касательно сходимости и непрерывности. Весь анализ можно в помойку выкинуть. Конструктивный анализ никто не отменял, например.
>>390054>Конструктивный анализЧто-то среднее между "вегетарианская котлета" и "православный коммунист".
>>390054С чего ты взял существование в реальном мире имеет какое-то отношение к существованию в математике?Например, бесконечность в математике существует. В реальности ещё не факт, что она есть. Или аксиома выбора, чем она так непонравилась ко-ко-конструктивистам?
>>390056>не понравилась фикс
>>390055Так и скажи, что не знаком с темой. Это будет хотя бы честно. Есть там и лемма о покрытиях, и интегральчики и все остальное при месте. >>390056>Например, бесконечность в математике существует.Существует в каком смысле? Я в это уверовать должен? Или что?
>>390056То есть вот у бурбаков написано "существует бесконечное множество", а вот в коране написано, что существует Аллах. В чем разница между этими определениями существования?
>>390058А почему я должен уверовать в то, что её нет? Взять хотя бы мощьность действительных или натуральных чисел. >>390059>То есть вот у бурбаков написано "существует бесконечное множество", а вот в коране написано, что существует Аллах. В чем разница между этими определениями существования?>У констррутивистов написанно "не существует бесконечного множество", а вот в коране написано, что не существует бога кроме Аллаха. В чем разница между этими определениями не существования?
>>390054>И тут мы опять приходим к изначальному вопросу - что есть существование в математике? Тогда ответный вопрос: ты считаешь возможно построить заведомо нереальный объект?>Конструктивный анализ никто не отменял, например. Так толку от него, если современные ученые, ушедшие далеко далеко вперед, отталкиваются от понятий классического анализа, до которых конструктивный еще даже не добрался (а некоторые опроверг или переделал, что подразумевает огромный массив "плохо доказнного").
>>390060>У констррутивистов написанно "не существует бесконечного множество",Нигде такого не написано, господин соврамши. Даже принцип исключенного третьего не отвергается в тех случаях, когда он может быть непосредственно доказан на конструктивном объекте.>А почему я должен уверовать в то, что её нет? Взять хотя бы мощьность действительных или натуральных чисел. Это случай абстракции потенциальной бесконечности. Если есть правила конструирования бесконечного объекта, никто не отрицает его бесонечность (N или н-р шкала множеств у бурбаков). Ты же веруешь в актуальную бесконечность, т.е. бесконечность саму по себе, в отрыве от конкретного объекта, который можно построить. И такая вера то же самое что вера в домовых.
>>390062Ты свел все к своей вере в частично рекурсивную функцию и обвиняешь кого-то в ереси.
>>390061>ты считаешь возможно построить заведомо нереальный объект?Реален тот объект, который можно построить. В отрыве от построимого объекта, что есть реальность?
>>390062>конкретного объекта, который можно построитХорошо, как построить точку? По определению:Точка есть то, что не имеет частей.
>>390065Ну толсто же. Точка имеет координаты. Это уже правила ее построения.
>>390064Формулу Эйлера можно построить? Насколько объекты в ней реальны?
>>390066Неа, не фига. Это биекция между координатами и самой точкой, что нарисованна на плоскости.>>390064В реальности ты не построишь не одной точки. Хоть одну нарисуй, построй.
>>390071> Это биекция между координатами и самой точкой, что нарисованна на плоскости.А кто сказал, что надо рисовать? Координаты задают объект - точку. Задают однозначно. Т.е. имеем конструктивный объект. >В реальности ты не построишь не одной точки. Хоть одну нарисуй, построй. Еще раз, что по-твоему есть реальность в математике?
И чуть не забыл, считать ли нам реальными числа навроде 2^(sqrt(2))?
>>390073Ты не можешь даже точки посторить, получаеться, что геометрия не ко-ко-консруктивная?
>>390076Какой мне смысл писать десятый раз одно и то же. Не понимаешь - попробуй религию. Конструктивные определения евклидова пространства, как и его подмножеств, мало отличаются от неконструктивных. Возможность построить объект не равна возможности нарисовать его.
Я тут подумал, когда теория множесТв набирала обороты то её хвалили, типа там рай для математиков и т.д. Но потом бац и парадоксы! А что если с консруктивизмом и гомотипамитеории тоже самое? Сейчас его восхваляют, а потом бац И ПАРАДОКСЫ НАХУЙ!!! Я на 100% уверен, что в этой молодой теории будут свои парадоксы похлеще удвоение шара. Не обольщайтесь. Раньше теорию множеств тоже считали непротиворечивой.
>>390080>парадоксы похлеще удвоение шара.Но это не парадокс, это лишь "удивительный факт".>тоже считали непротиворечивойА она противоречива? Можно пруф?
>>390081>Но это не парадокс, это лишь "удивительный факт".Я знаю.>Можно пруф?Парадокс Рассела. Раньше считали, что есть множество всех множеств.
>>390080>когда теория множесТв набирала обороты то её хвалили, типа там рай для математиков и т.д. Кто хвалил-то? Тот самый Гильберт, который обокакавшись со своей программой, быстренько переобулся в конструктивизм?>Но потом бац и парадоксы! Какой нежданчик, а?>Я на 100% уверен, что в этой молодой теории будут свои парадоксыЭтой молодой теории больше сотни лет. Напомню, что диссертация Брауэра была написана в 1907 году. Пока ни одного парадокса.
>>390083>Пока ни одного парадокса.>Пока
>>390084Теперь уже и не будет, расслабься. Раньше надо было. С появлением же MLTT все вычисляется на камплюктерах.
>>390082В ZF нет никаких множеств всех множеств. Старайся лучше.
>>390086Я говорил про ранюю теорию множеств.
>>390086>В ZF нет никаких множеств всех множеств.Игнорировать источник парадоксов тоже выход, да. Если проблему не замечать - само как-нибудь рассосется.
А что значит пострить объект?
>>390089Задать правила его построения. Например, на основе алфавитов (знаков и переменных) и производящих схем (примеры - каноническая система Поста, алгорифмы Маркова). Это классика, это знать надо.
>>390088В чем игнорирование? Это я бы сказал конструктивное изменение, воспрещающее строить множества из еще непостроенных элементов.
>>390091>Это я бы сказал конструктивное изменение, воспрещающее строить множества из еще непостроенных элементов. Если множества считаются заведомо существующими математическими объектами (ведь требование их построимости не фигурирует в ZF), почему не может существовать множество их подмножеств?
>>390090Ох лол, а ведь несколько сотен лет до появление конструктивизма думали, что в действительных числа нет ничего противоречивого!
>>390088В теории NBG (конечно аксиоматизируемой) есть класс всех множеств. Не вижу проблемы. Как известно, непротиворечивость ZFC эквивалентна утверждению о существовании одного большого кардинала. То есть, по сути, непротиворечивость ZFC эквивалентна утверждению "ZFC непротиворечива". Если вы можете сделать это утверждение по каким-либо, каким угодно, причинам, то вы спокойно можете заниматься математикой.
>>390094>В теории NBG (конечно аксиоматизируемой) есть класс всех множеств. А в коране есть Аллах. Класс всех множеств может быть построен? Или в каком смысле он "есть"?
>>390095А может ли быть построенно само построение?
>>390096Да. Я же выше назвал примеры - алгорифмы Маркова, системы Поста. Они сами по себе конструктивные объекты.
>>390095>А в коране есть АллахА коструктивно математике есть построение. Чем построение не являеться Аллахом? Мы можем взять и построить Аллаха по своему желанию.
>>390092>ведь требование их построимости не фигурирует в ZFЧет не очень понимаю, а само ZF это что? Давай так множество это объекты построимые в ZF, зачем путаться с каким-то интуитивным определением начала века?
>>390097Но ведь есть контруктивные объекты, построение которых неконструктивно!!! Как ты построишь число 1?
>>390097А можно построить тот факт, что алгоритмические вычислимые объекты исчерпываются этими системами? А, я же забыл, веру нельзя построить конструктивно, ее можно строить только в своем сердце.
>>390098>А коструктивно математике есть построение. Есть. И оно само по себе построимо. Третий раз скажу про алгорифм Маркова.>Чем построение не являеться Аллахом? Тем, что оно конструктивный объект и построимо, а Аллах - нет.>Мы можем взять и построить Аллаха по своему желанию. Не можем, нет правил построения.>>390100>Но ведь есть контруктивные объекты, построение которых неконструктивно!!! Нету таких.>Как ты построишь число 1? Натуральные числа по Маркову - это слова в алфавите |. Т.е. | - это 1, ||| это 3. Если совсем просто - счетные палочки.
>>390101>А можно построить тот факт, что алгоритмические вычислимые объекты исчерпываются этими системами? Возможно построить то, что построимо. Все очеь просто, не нужно ни во что веровать и делать глобальных априорных утверждений.
>>390103СТОП! Ты берёшь и считаешь, что существую какие-то абастрактые счётные палочки и слова в алфавите маркова, так? Разве это не верунство? С чего ты взял, что они существуют вообще? И как ты мне построишь число 1 и главное из чего?! Если вся конструктивная математика строиться на натуральных числах, тогда из чего строятся они?! А? Для построения еденицы нужно больше, чем нарисовать палку.
>>390104>Возможно построить то, что построимо...в машине дяди Федя.
>>390105>С чего ты взял, что они существуют вообще?С того, что их можно построить.>И как ты мне построишь число 1 и главное из чего?! Если вся конструктивная математика строиться на натуральных числах, тогда из чего строятся они?! А? Из счетных палочек. Понятие натурального числа базовое, понятное любому человеку и не зависит от языка. Нейрофизиологическая основа - модель ATOM, некоторые нейроны в rIPC, т.н. нумероны. Ну или базовая интуиция времени по Брауэру.>Для построения еденицы нужно больше, чем нарисовать палку. Не нужно. Палка - конструктивный объект.
>>390107>С того, что их можно построить.Построй мне число 1, а не эту ёбанную палку! >Из счетных палочек. Понятие натурального числа базовое, понятное любому человеку и не зависит от языка. Нейрофизиологическая основа - модель ATOM, некоторые нейроны в rIPC, т.н. нумероны. Ну или базовая интуиция времени по Брауэру.Ага, а я возьму и строию sqrt(2), как гипотенузу треугольника, ПОСТРОЕННОГО из трёх ПАЛОК двух длины 1 и одной длины sqrt(2). Найс. Я только что построил корень из двух и он коструктивный объект! Палки-то использованны. Может для построенния этого числа нужно что-то ещё?>Не нужно. Палка - конструктивный объект.Действительно.Ах да, я всё ещё жду построения числа 1.
>>390108>Построй мне число 1, а не эту ёбанную палку! Это одно и то же.>Ага, а я возьму и строию sqrt(2), как гипотенузу треугольника, ПОСТРОЕННОГО из трёх ПАЛОК двух длины 1 и одной длины sqrt(2). >Ах да, я всё ещё жду построения числа 1. Я говорю о равенстве палки и слова в алфавите |. Это и есть конструктивное построение. Из палок числа строятся дробями (2 палки делим на 3) и т.д.
>>390095>в каком смысле он "есть"?Перед его описанием стоит квантор существования.
>>390110>Перед его описанием стоит квантор существования. Ну точно, как в коране. Нарисуй квантор существования перед словом "Аллах" и будет то же самое. Или ты из вкантора существования можешь получить правила построения того, что этот квантор объявляет существующим?
>>390111Почему ты считаешь правилами построения только то, что назвал правилами построения священный Марков? Я вот считаю универсум фон Неймана построимым.
>>390112>Почему ты считаешь правилами построения только то, что назвал правилами построения священный Марков? Почему "только"? Это просто один из примеров.>Я вот считаю универсум фон Неймана построимым. Если у тебя есть правила его построения, то он и построим. В противном случае встает вопрос, почему ты так считаешь.
>>390107Продолжая продолжать.В начале конструктивный бог сотворил понятие натурального числа.Земля же была безвидна и пуста, и тьма над бездною, и Дух Брауэра носился над текстом. И сказал конструктивный бог да будет нормальный алгоритм Маркова, и был нормальный алгоритм Маркова. И увидел конструктивный бог, что он хорош, и отделил им построимые объекты от непостроимых.И назвал конструктивный бог построимые объекты интуитивными, а непостроимые тьмой. И сказал конструктивный бог, да будет частично рекурсивная функция посреди текста, и да отделяет она текст от текста. И создал конструктивный бог твердь, и отделил текст который под твердью, от текста, который над твердью. И стало так.И назвал конструктивный бог твердь машиной Тьюринга....И создал конструктивный Господь Бог человека из праха земного, и вдунул в лице его дыхание интуиции времени, и стал человек душею конструктивною.
>>390115Так почему же слово| в алфавите "|" не определяет натуральное число 1? Поясни. Я же пояснил, почему таки определяет.
http://dxdy.ru/topic16275.htmlЯ нашел нашего конструктивиста на dxdy! Деанон по маске Гая Фокса! И высказывания такие же.
>>390116Потому что понятие натурального числа дал человеку конструктивный господь в виде интуиции времени (в трактовке преподобного Брауэра)? Или тебе нужны какие-нибудь нейроны актуальной бесконечности?
>>390117Какой годный ответ. Всё это время мы занимались философией, а не математикой.
>>390120>Какой годный ответ. И правда годный. Назвать все неудобные вопросы философией, и вроде как нет проблемы.
>>390121Неа, это философия. Вот ещё один годный ответ.
>>390122Если бы все было так просто. Но нет. MLTT, конструктивные основания (HoTT) это не философия. Брауэра можно попытаться объявить философией, но не конкретные языки программирования с зависимыми типами, например.
>>390123>Брауэра Как же я проиграваю над этим дрочем на Брауэра, прямо пророк-господь-бог.
>>390123Но все равно все сводится к построимости. У Брауэра это свободно становящиеся последовательности, у дальнейших конструктивистов тезис Черча-Тьюринга, а без решение этого сугубо философского вопроса, такая теория просто не претендует на формализацию математики, а просто развивает какую-то область.
>>390114>Если у тебя есть правила его построенияУ меня есть правила его построения. Смотри, берём пустое множество. Оно будет верум-нуль. Далее берём его булеан - это будет верум-1. Потом булеан булеана - это верум-2. И так далее. На каждом шаге n получаем верум номер n. Если шаг n предельный, то за верум-n считаем объединение всех ранее построенных верумов. За ультимате-верум принимаем объединение всех верумов.
>>390124>Как же я проиграваю над этим дрочем на Брауэра, А что с ним не так? Единственный кто понял как и на чем нужно основывать математику, показал несостоятельность программы Гильберта задолго до Геделя.
>>390127>А что с ним не так>прямо пророк-господь-богСлишком много его упоминаний сектантами в своей речи.
Что такое актуальная бесконечность?
>>390129Бесконечность "сама по себе", в отрыве от конкретного бесконечного объекта. В классической математике веруют в ее существование, даже если называют вопрос существования философией.
>>390130К какому объекту привязан алфавит конструктивной математики?
>>390130Что значит бесконечность сама по себе и как она выглядит в классеческой математике?
>>390123Вопрос только в том, что программирование забыло в математике.
Какие умные люди на dxdy сидят, даже там считают ко-ко-косрутивистов фанатиками! ЛОИС им!
>>390128Так ты посмотри, >>390127 какой няшный :3 Такой-то истинный ариец, сычует на дачке, ссыт за шиворот всяким гильбертам, ну как его не упоминать.>>390131>К какому объекту привязан алфавит конструктивной математики?К конструктивным элементам алфавита.>>390132Никак не выглядит, в нее веровать надо. Абстракция актуальной бесконечности - одна из базовых абстракций классической математики. Вопрос ее построимости принципиально не ставится, типа это философия. Поэтому остается веровать.>>390133С точки зрения MLTT математика это и есть программирование.
>>390135Ага, там ключевая фраза, что "я не знаю за конструктивный анализ, но считаю, что ты вот фанатик". Очень умный аргумент.
Привлеку внимание к >>390126
>>390135>какой няшныйЯ не тня чтобы внешность мужиков оценивать и не гей.>сыт за шиворот всяким гильбертамА я сейчас возьму и нассу за шиворот Брауэру. Гилберт пизже и сделал для математики гораздо больше.
>>390136>С точки зрения MLTT математика это и есть программирование. Скорее это смерть математики.
>>390137>я не знаю за конструктивный анализОн такого не говорил.>но считаю, что ты вот фанатикПо твоему то же упонимание пророка пять раз за сообщение не сектанство?
>>390136>К конструктивным элементам алфавита.А длина строки конечна или бесконечна? А вариантов символов в ней конечное число или бесконечное? А как это доказать?
>>390140Двачую!
>>390138Ну берем 0, определяем функцию следования succ. Дальше все это объединяем. Если получилось что-то отличное от пустого типа, то объект построен.>>390139>Гилберт пизже и сделал для математики гораздо больше. Метаматематику, придуманную Брауэром? Или свою программу, несостоятельность которой показал сначала Брауэр, а потом Гедель?>>390142>А как это доказать? Построить. Иначе никак.
>>390145Верум - законный объект?
>>390145 >Иначе никак.Ну так строй! Не построив алфавит, куда идти дальше то?
>>390145Почитать про то что и где сделал Гильберт, можно хотя бы в той же википедии. По значимости это перекрывает всех нынешних погроммистопетушков.
>>390146Если его можно построить, то да. >>390147Что мешает задать алфавит?
>>390149Я дал описание, как построить верум. Верум построен?
>>390148Двачую.Вопрос к сектанту - фракталы конструктивный объект?
>>390150>Я дал описание, как построить верум. Верум построен? Если в результате применения этих правил он построится - то да.
>>390152У меня он построится. У тебя?
Петуху Брауэру до Гилберта никогда по значимости не достать!
>>390153У меня, у тебя, какая разница? Конструктивный объект построится безотносительно того, кто его строит.>>390154Ну да, с основаниями облажался, пошел Эйнштейну помогать.
>>390155Вот у меня верум построился. А у тебя? Просто ответь.
>>390155Как бы не восхвалял своего пророка, по сравнениюю с Гилбертом он так-себе учённый.
>>390157Я сомневаюсь, что булеан нуля это вообще конструктивный объект, так скажем. Нуль он в африке нуль, какие у него могут быть множества подмножеств, отличные от него самого, т.е. того же нуля?
>>390160Как же тошнит от этих ванаби-интеллигентных петухов. Вы через Вы и Вы погоняет. МНЕ КАЖЕТСЯ ВЫ НЕНАМЕРЕННО ДОПУСТИЛИ ОШИБКУ; БОЮСЬ, ЧТО ВАМ ПОМЕРЕЩИЛСЯ ЛИШНИЙ НУЛЬ В ЧИСЛЕ.Готов поспорить процентаж девственников там выше, чем у нас раз в 10.
>>390161А меня так конструктивисты бесят!Готов поспорить процентаж девственников там выше, чем у нас раз в 10.
>>390159В булеане нуля содержится ровно один элемент: нуль.
В конструктивной математике конечное число простых чисел?
>>390165Да. Брауэр так скозал!
>>390165Нет, бесконечное. Доказательство Евклида конструктивное, представь себе. Как уже сказано выше, никто не отрицает потенциально бесконечные объекты, если даны правила их построения.
>>390168А количество способов ебли твоей мамаши - то конструктивный объект.
>>390168Тебе дали правила построения верума. Ты их принимаешь? Если да, то вопрос закрыт.
N тоже бесконечно, к слову. >>390170Так там 0 получится, судя по всему.
>>390171Нет, с чего бы. Булеан - это множество всех подмножеств. V0 = 0V1 = {0}V2 = {0, {0}}
>>390172>Булеан - это множество всех подмножеств. Ну. А какие подмножества у нуля? Булеан нуля есть 0. И любое их объединение и пересечение тоже 0. Чтобы получилось N, надо брать функцию следования от нуля, s(0) = 1, s(s(0)) = 2 и т.д. Вот это будет конструктивно. А нули гонять смысла нет.
>>390173>Булеан нуля есть 0.Это неверно. У нуля есть подмножество: пустое. Булеан нуля - одноэлементное множество.
>>390175>Булеан нуля - одноэлементное множествоОдноэлементное множество, состоящее из нуля?
>>390176Одноэлементное множество, содержащее нульэлементное множество. В качестве нуля можно использовать любой праэлемент.
>>390177А не проще взять алфавит | и строить натуральные числа как слова в этом алфавите? А то уже праэлементы какие-то.
>>390178Праэлемент - термин, которым можно назвать в том числе твою палочку. Совершенно неважно, каким символом обозначается нуль. Важно, что символ для множества без элементов у нас имеется.
>>390179И чем тогда твое построение отличается от функции следования >>390173 ?
>>390180Более минималистичная нотация. Итак, ты принимаешь верум?
>>390168Но в том доказательстве не конструируется еще одно простое число, а просто показывается, что должно быть еще одно. Правила, по которому его найти можно, там нет.
>>390183пусть 1 и 2 простые числа.12+1=3123+1=71237+1=43ну ты понел
Элементарная теория множеств.Пикрелейтид. Братья, я всё правильно расписал (голубым выделено)? Нужно было тип формально доказать то, что голубым не выделено, но автор учебника уёбок какой-то и примеров даже не дал, не знаю, правильно ли я всё это делаю.Помогите!
>>3901911·2·3·7+1 = 43 (простое)1·2·3·7·43 + 1 = 1807 = 13·139 (составное)
>>390191>>390230Действительно ли, если перемножить все простые числа, следующие по порядку, и прибавить к ним единицу - в результате получится простое число.Интересно, есть ли какой-либо закон, позволяющий гарантированно на выходе получить простое число, не обязательно всю последовательность. Слышал их много, но интересует такой, самый результативный, чтоб мало пропусков было...Вот значит, нарыл квадратичный трёхчлен Эйлера:x² + x + 41, где x - от 1 до 2398
>>3902342398^2 + 2398 + 41 =5750404 + 2398 + 41 =5752802 + 41 = 5752843 = 1091·5273 (составное)
>>39023441^2 + 41 + 41 = 1763 = 41·43 (составное)
>>390230Ну да. Без актуальной бесконечности какой-то отсос выходит, ведь мы не можем конструктивно построить ВСЕ простые числа.
Где почитать про графы и всё, что с ними связано? Для быдла, да. Какой-нибудь универский учебник подойдет, наверное, там обычно простым языком пишут.
>>390249Ну, вообще-то...43 не следует за 7, а 7 не следует за 3 в списке простых чисел.И...1·2·3·5 + 1 = 31 - простое,1·2·3·5·7 + 1 = 211 - простое,Однако,1·2·3·5·7·11·13·17·19·23·29·31·37·41·43·47·53·59·61·67·71 + 1 = 557940830126698960967415391= 1063·303049·598841·2892214489673 (составное)
>>390234> есть ли какой-либо закон, позволяющий гарантированно на выходе получить простое числоНет.
>>390249Причем тут актуальная бесконечность? Потенциальная (построимая) бесконечность - совсем другое дело, сто раз уже было сказано. Разница в том, что в нее веровать не нужно, т.к. есть правила ее получения для потенциально бесконечного объекта. А актуальная бесконечность - это догмат веры о существовании бесконечности самой по себе.
>>390277Верум построим. Следовательно, ZFC имеет модель.
>>390278А там в итоге не множество ли всех множеств получается?
>>390279Нет. Там получается верум.
>>390280Походу, эту вашу теорию множеств и правда можно построить в прувере. https://coq.inria.fr/V8.2pl1/contribs/ZFC.html https://www.ps.uni-saarland.de/Publications/documents/Kaiser_2012_Formal.pdf Т.е. она выводима в зависимых типах, в MLTT. Тогда встает вопрос, зачем она нужна в неконструктивном варианте, если все возможные следствия из нее можно получить на камплюхтере?
Поясните, какие книжки у Бурбаков годные ( инбифо все) в качестве учебников, помимо теории множеств?
>>390306Ни одной. Бурбаки писались не для того чтобы их читали а чтобы показать как охуенно они могут.
>>390310Не слушай этого.
>>390311А разве это не правда с любыми ОСНОВАНИЯМИ МАТЕМАТИКИ?Всмысле кто вообще за всю историю прочел например Расселовский высер?
>>390312>А разве это не правда с любыми ОСНОВАНИЯМИ МАТЕМАТИКИ?С любыми -нет, не правда. Правда только с сортами добреца типа бурбаков с расселом.
>>390312У Бурбаки же больше, чем одна книга. https://en.wikipedia.org/wiki/Nicolas_Bourbaki#Books_by_Bourbaki
>>390315Но ведь они все про основания
>>390316Наркоман ты штоле? У бурбаков про основания только первая книга. Остальное уже на основе теории множеств. Н-р, алгебра. Там внезапно про алгебру, а не про основания.
>>390318Всё в математике - про основания.
Что такое превращение подобия с точки зрения теории множеств? Вот есть у меня треугольник в R^2, что с ним сделает функция превращения подобия? Как её описать вообще можно?
>>390321Читай Колмогорова 6-8 класс. Там на основе теории множеств и преобразований про это говорят.
Как у такой композиции может быть неподвижная точка? Даже если у превращения подобия и вращения одна и та же точка, сдвиг ведь её сдвинет.
Поясните дауну, как математики пишут научные статьи? У них возникают собственные идеи, и они самостоятельно выводят и доказывают теоремы? Откуда они берут темы для статей? Это пиздец как надо мыслить.
>>390535В основном идеи рождаются на конференциях, в неформальных беседах. В наши дни - просто в скайпике говорят и по ходу что-то изобретают.
>>390535>Откуда они берут темы для статей? Даёт научный руководитель.>У них возникают собственные идеи, и они самостоятельно выводят и доказывают теоремы?Да.мимо-со-статьей
>>390549Поэтому Вербицкий говорит, что одному математикой невозможно заниматься?
>>390552Конечно, одному можно заниматься только аутизмом.
>>390552Да хуйня всё это. Если хочешь, чтобы спиздили твои идеи или просто потратить время на бухло и блядей - работай в коллективе. Если хочешь результатов - работай один.
>>390550>> Даёт научный руководитель. А кто является научным руководителем у доктора наук?
>>390558https://terrytao.wordpress.com/career-advice/attend-talks-and-conferences-even-those-not-directly-related-to-your-work/
>>390564Его мамка.
>>390565Это само собой. Но про работу ничего не сказано со всякими хуями.
>>390568Много математиков, включая Тао, работают над twin prime conjecture вместе.
>>390570Если бы он мог, он бы их всех нахуй послал.
>>389536 (OP)>В.В. В деловом отношении Америка меня сразу поразила. В первый же день, когда я приехал в Гарвард, мне вручили ключи от квартиры, от офиса и чек на тысячу долларов. А я был обычным, никому неизвестным аспирантом. Уже тогда на факультете было много математиков из России. Деканом был Дмитрий Каждан. С ним я тоже должен разделить свою премию. Он и его коллеги поддерживали меня в тот период, когда в России я жить уже не мог, а в Америке еще не мог. Помню, как во время своего первого Рождества в Бостоне я в сильном подпитии попал в какой-то негритянский квартал. Там меня обобрали, избили и выбросили на снег. Это, конечно, добавило неприятных ощущений, но и вообще я тогда с жуткой тоской почувствовал, как мне не хватает московских дворов, как мне противно «их» Рождество. Хотелось, чтобы был мой Новый год – елка, мама, подарки.
>>390572Однажды пидораха - навсегда пидораха. Ностальгия симптом аутизма. Блядь, убил бы за ключи от квартиры и чек.
>>390572 А вы говорите жизнь... Не жизнь, а сплошная метафизика!
>>390574>Ностальгия симптом аутизмаПравда?
>>390576Конечно. Что есть эта тяга к крайне специфичной зоне комфорта? Оно и есть. Обратный трейт - тяга к новизне (один из биг файва), обусловленный скукой по отношению к прошлому. Но если ты тревожная омежка-аутист, то ты слишком боишься нового и как результат стремишься зарыться в старом. Это форма эскапизма.
>>390577Приятно иногда вспомнить прошлое а Володю ещё и негры отпиздили, такой-то стресс; но всё время пребывать в ностальгии, да, аутизм.Это кусок интервью Воеводского, вот полностью:http://www.polit.ru/article/2006/08/22/voevod/
>>390135> Тем более, что я действительно не специалистОхуенно.Я, кстати, ничего не понимаю в этой вашей математике, ребята, но по-моему вы все тут фанатики, и вас всех надо забанить - от греха подальше.
>>390158Еще один охуенный аргумент. "А вот пацаны, которых считают крутыми, сказали, что он самый крутой, поэтому результат его работы правильный, а результат работы другого, на букву бэ, - неправильный, и все, кто не считают его плохим и неправильным, - фанатики."Заебись, чо.
>>390605Да это хороший аргумент. Или по-твоему тот же Рыбников, которого пацаны считают полным фриком может быть прав?
Наконец-то: https://2ch.hk/d/res/401126.html
Может кто на пальцах объяснить мимопроходившему выпускнику мухосранского политеха, что такое некоммутативная геометрия? Кстати, этот ваш Мотидзука, с ним учОные разобрались? Поняли о чем он писал и что это дает? Или все еще в процессе?
>>390613Рыбников просто великовозрастный еблан. В свои-то годы не осилить формулу тяготения Ньютона, которую 10-летняя школота понимает, это просто верх альтернативной одаренности. Покажи хоть один результат работ Рыбникова кроме 1,5 смишных плаката про "русское объемное мышление".
>>390679Брауэр просто великовозрастный еблан. В свои-то годы не осилить формулу записи действительныъ чисел, которую 10-классники понимают, это просто верх альтернативной одаренности. Покажи хоть один результат работ Брауэра кроме 1,5 смишных результата про "M встречаеться в записи числа пи".
>>390635С каждым уравнением можно связать геометрический образ, например x²=0 — парабола. Это называется алгебраическая геометрия. Некоммутативная геометрия пытается её расширить на случай xy≠yx.
>>390680Теорема Брауэра о неподвижной точке. Слышал?
>>390683Теорема Рыбникова о сложение Слышал?
>>390684Так и запишем: топологию не знает.
>>390685Так и запишем: математику руссов не знает.
Я смотрю, тут еще долго жопы будут гореть с Брауэра. Спорить о его заслугах смешно, конструктивная математика, метаматематика, MLTT и HoTT как примеры. Несостоятельность программы Гильберта он показал задолго до Геделя. И так далее. Насчет базовой интуиции времени как основы всей математики, для того времени подобные определения вообще были нормой, предлагаю вспомнить канторовское определение множества. Брауэр, к слову, даже и объяснил почему оно изначально неправильно. Впоследствии именно так и оказалось, канторовская теория множеств изначально противоречива, т.к. в ней возможны парадоксы.
>>390691В первую очередь у меня горит жопа с верунов, которые считают, что есть понятия истинности и ложности вне человека. В этом плане они ничем не отличаются от каких-нибудь христиан, которые считают, что бог есть вне их воображения.
>>390691>Метаматематика, MLTT и HoTT как примерыОчень интересно, ебать, а чё он ещё сделал?
>>390682ай, молодца! даже такому как я понятно
>>390693А разве не достаточно того что Иисус написал Библию?
>>390697Нет.Я свою религию пытаюсь создать, хочешь в неё войти?
>>390572Приятно, когда меня цитируют.В.
>>390707Tits or GTFO
>>390707Приятно, когда под меня мимикрируют.В. В.
>>390707>>390708Прятно, когда анонам приятно.
>>390254Так по логике надо факториал брать, а не эту непонятную последовательность.
>>390723Нахрена?
>>390727пусть n последнее простое число. Тогда n!+1 следующее.
>>3907297! + 1 = 5041 = 71 * 71
>>390731Раз нет формулы, для скатерти Улама, тогда вот...1.4 млрд. простых чисел:magnet:?xt=urn:btih:C73C4E9F00AD46369A5893B615AF2790ECD2F8A7&dn=hostingaccounts_bigprimes.net_1400000000-primes.7zНа самом деле, там 1302397653 простых чисел, последнее из которых 30057700549Это один текстовый файл, размером овер 14 ГБ.Не каждым блокнотом открывается.Разделитель - байт 0A. Символ сброса строки.Резалку построчную на питоне - нашел здесь. https://gist.github.com/anonymous/3d73ab56f61ac9efa85f7898cb6881ffС её помощью разрезал файл на 13024 txt-шника по 100000 строк в каждом.Каждая строка - простое число..join(chunk)[:-1] вместо .join(chunk) - удаляет сброс строки в конце каждого файла при разрезании.Кто будет резать всё это - %03d.txt следует заменить на %05d.txt чтобы имена файлов были по порядку и имели одну длину (00000.txt - 13024.txt)Иначе, при запаковывании в архив, файлы не будут читаться по порядку, а будут паковаться так:[001, 010-019, 100-199, 1000-1999, ..., 002, 020-029, 200-299,...] а надо по порядку.Ну да ладно...Дело вот ещё в чем, анон...Большинство длинных простых чисел - отличаются незначительно, и их можно было бы упаковать с меньшим объемом,например, выразив их как последовательность интервалов между простыми числами.Вот она, эта последовательность: A001223 в OEIS. https://ru.wikipedia.org/wiki/%D0%98%D0%BD%D1%82%D0%B5%D1%80%D0%B2%D0%B0%D0%BB%D1%8B_%D0%BC%D0%B5%D0%B6%D0%B4%D1%83_%D0%BF%D1%80%D0%BE%D1%81%D1%82%D1%8B%D0%BC%D0%B8_%D1%87%D0%B8%D1%81%D0%BB%D0%B0%D0%BC%D0%B8Большинство интервалов (если не все) - являются четными числами, поэтому если разделить эти интервалы на 2, можно было бы ещё более сжать эту последовательность.Короче, как бы так красиво забить в минимальный объем максимально возможное количество простых чисел последовательно,ну чтобы развернуть скатерть Улама в 11-ти измерениях из M-теории, в многомерном массиве, например?..Может что-то и получится, лол
>>389536 (OP) Теперь это простых чисел тред. >>390738
Нашел нормальный учебник анализа. Автор - Дьедонне!
>>390745Я тебе больше скажу, он ещё и на русском есть.
>>389571Где тред нат-петуха?
>>389571Что за хуйня? Почему нельзя, как обычно, взять пустое множество и натравить на него аксиомы Пеано?Поцыки, по чём учить гомоалгебру?
>>389571>натуральное число это слово в алфавите |Здесь порочный круг. Чтобы определить слово, тебе уже нужно понятие числа.
>>390756Чтобы что угодно сделать, тебе нужен пространственно-временной континиум, а доказать его ты не можешь, потому что сам им являешься.Не знаю, чем вам не нравятся аксиомы и определения - мы просто допускаем, воображаем, принимаем на веру. Ты же принял на веру то, что ты разумен и твои выводы могут иметь смысл?
Сап. Помогите, пожалуйста.Что обычно в математической литературе подразумевают под записью на пикрелейтед?Имеют в виду, что элемент a принадлежит функции f вообще - то есть, может лежать как в области заданий X, так в области значений Y? Либо имеют в виду, что a - это именно "выходное значение", то есть, элемент только Y?
>>390757Так и запишем: конструктивисты не могут определить N.
>>390758Пусть f - функция A->Y, X - подмножество A.Под символом f(X) понимается множество всех таких y из Y, что существует x из X такой, что f(x)=y.
>>390755бамп вопросу, ну
>>390757Буду игнорировать этого фанатика и запощу вот такую конструктивную книжку.http://iphras.ru/uplfile/logic/log17/Li_17_Nepeivoda.pdfПоехавшие считают нормальную математику грязной и упоминают Брауэра по 7-8 раз на странице. Пиздец. Как же им мозги промывают. Секта ей-богу.
>>390761ty.А когда говорят, что элемент принадлежит функции вообще, без image или pre-image, просто функция от х, это что значит?
>>390766Не знаю, нестандартная терминология. Вообще, функция иногда рассматривается как множество пар. Когда говорят, что x - элемент функции f, могут понимать под этим, что x - упорядоченная пара, являющаяся элементом f как множества.
>>390758Пусть А -какое-нибудь множество, тогда f(A) - множество, значениями которого являются f(x), где x - элемент из А. В твоём примере. a - элемент множества f(A ОБЪЕДИНЕНИЕ B), тогда существует элемент s принадлежащий A ОБЪЕДИНЕНИЕ B, такой, что f(s)=a. Ясно?
>>390755Ты на каком уровне? Если классика: Weibel, но это хардкорчик. Как вариант, можно начать, например, с главы в Лэнге.
>>390765это же непейвода, он ваще не математик, а CS-специалист. Этим ребятам надо было преподать чуть-чуть гомологической алгебры, чтоб они похоронили свои конструктивистские бредни.
>>390770Ну так, с категориями знаком, с группами тоже вроде бы. А какие пререквизиты к этому Weibel'ю,
>>390760А как же N-объект в категории?Другими словами, начальный объект категории диаграм вида 1->X->X.
>>390772Ты так говоришь, как будто сиэс - не математика.Ты так говоришь, как будто в России Удмуртии есть сиэс.
>>390787>будто сиэс - не математика.Вроде как и математика, но от неё петушиным зашкваром конструктивизма веет.
>>390788Фанатики, уйдите.
>>390789>засрал весь тред своими Бауэром>называет кого-то фанатиком
>>390772Конкретно Непейводе это бы не помогло. Он ебнутый, Николай Непейвода.
>>390786p.s. вспомнил, что это вроде начальный объект в категории N-алгебр
>>390756>Здесь порочный круг. Чтобы определить слово, тебе уже нужно понятие числа. Понятие числа - интуиция времени, пикрелейтед 1. Никакого порочного круга нет, N-пивень.>>390765>Поехавшие считают нормальную математику грязнойНемного неверное определение. Более точное - пикрелейтед2. Дело не в грязи, а в порядке. Математика 1 порядка - чистые ментальные конструкции, созданные методом 2го акта интуиционизма на основе первичной интуиции времени со свойствами из 1 акта интуиционизма. Соотв-но математика 2 порядка - это лингвичтическое описание конструкций 1го порядка. Математика 3го порядка - метаматематика. И т.д.
>>390802От того, что ты говоришь "интуиция времени", порочный круг не пропадает.
>>390803От того, что ты на ровном месте придумал "порочный круг", он не появляется. Есть алфавит |. Есть производящие схемы построения слов из него. Все ясно определено, просто и понятно.
>>390804Пятая аксиома Пеано как выглядит?
>>390805Зачем она мне? Есть алфавит, есть правила порождения слов из него. Все полностью определяется этими элементами, которые сами по себе конструктивны. Можно сколько угодно путаться в определениях, определения в математике вторичны, 2ой пик >>390802
>>390806То есть математической индукции у тебя нет. Ясно.
>>390808Есть функция следования, succ. Как пример, наверни нумералы Черча. Попытка свести математику к каким-то аксиомам, оторванным от конкретного конструктивного, построимого, объекта - это изначальный фейл и путь в никуда.
>>390809Как ты доказываешь формулу Гаусса?Что 1+2+3+...+n = n(n+1)/2 для любого n.
>>390810Причем здесь Гаусс? Я тебе говорю: неконструктивные аксиомы обрекают математику.
>>390810Строим зависимый тип по этому правилу. Если он не нулевой, имеем готовое доказательство.
>>390811Хер с ними. Ты мне докажи формулу Гаусса без использования индукции.>>390812Подробнее.
>>390808Мат индукция - это весьма сомнительная хуйня. Вот смотри: у меня нет ферари. Я спрашиваю своего друга - у него тоже нет ферари, Мой друг спрашивает своего друга - у его друга тоже нет ферари. Таким образом, выстраивая цепочку друзей, я делаю вывод, что ферари не может быть ни у кого.Мат индукция неявно подразумевает некую предсказуемость математических сущностей, которая, однако, не была доказана.>>390806Человек есть мера всех вещей: существующих - в том, что они существуют, и несуществующих - в том, что они не существуют (Протагор)Понятие чисел интуитивно и просто воспринимается человеком как данность, вроде "два - это когда корова и еще корова".
>>390814А все кобылы чёрные, да, знаем. Проследуй под шконку.
>>390813Забудь про индукцию. У тебя из-за нее все проблемы. Тебе же сказали, есть заданный алфавит, есть заданные производящие схемы. Хоть формула Гаусса, хоть что.
>>390816Произведи мне доказательство формулы Гаусса.
>>390814>Понятие чисел интуитивно и просто воспринимается человеком как данность, вроде "два - это когда корова и еще корова". Вообще, не только человеком. Я уже упоминал нейрофизиологическую модель ATOM, подобное понятие числа есть и у животных. >>390817Я тебе уже подсказал, как это сделать на любом языке с зависимыми типами.
>>390819А не надо подсказывать, ты тут не пророк. Просто покажи готовое доказательство. 100% в нём будет метаиндукция. В нормальной математике формулу Гаусса можно доказать парой строчек, а в вашей секте как с этим дела обстоят?
>>390820>100% в нём будет метаиндукция. Будет зависимый тип, конструктивный объект. Третий раз тебе говорю - все эти твои псевдоумные слова, не привязанные к конструктивному объекту - ментальный онанизм.
>>390821Где доказательство, маня?
>>390822Доказательство без возможности построить объект - это манядоказательство. Тебе сто раз сказано, что единственный способ доказать - это построить. Покажи, как построить твою формулу Гаусса и сам увидишь ответ.
>>390823Это я от тебя доказательство прошу, алё. В вашей "математике" формула Гаусса вообще есть?
Лол, конструктивисты слили N-петуху. Какой позор.
>>390824Он еще натуральным числам не дал определение.
>>390825Я тебе больше скажу, конструктивис и есть N-петух.
>>390825За шиворот слили, да. >>390826Давно дал и неоднократно. Кукарекать что ваши пруфы не пруфы можно сколько угодно.
>>390828>Давно далНет, ты этого не сделал: не надо врать.
>>390829Пикрелейтед твой N, пивень. Алфавит | и слова из него и есть натуральные числа по Маркову. Кукарекай сколько угодно, факт есть факт.
>>390829Понимаешь, конструктивисты - ебанутые. У них вообще остутствует доказательства в их исходном смысле. Второй пик обазац снизу. >>390765
>>390830Как ты отличишь одну палочку от другой?
>>390832По позиции, блядь.
>>390831>У них вообще остутствует доказательства в их исходном смысле. Что есть "доказательство в исходном смысле"? Доказать что-то можно только построением этого чего-то. Иначе что ты доказываешь? Пустоту? Аллаха?>>390832А зачем отличать? Одна палка - это число 1. Две - число 2 и т.д. 1 ничем не отличается от 1.
>>390830Чувак, вот смотри. Формула для суммы первых n натуральных чисел. Классическая формула, её все знают. Любой первокурсник доказывает её на первом курсе. Гаусс её в школе доказал. В этом треде почти любой анон без труда сможет написать доказательство этой формулы, которое любой нормальный математик без возражений примет. В чём для тебя проблема просто ВЗЯТЬ И ДОКАЗАТЬ эту несчастную формулу? Если в твоей "конструктивной математике" эта формула вообще имеет место, конечно. Просто, блядь, покажи, как вы эту формулу доказываете. Если вообще доказываете, сектанты ебаные.
>>390836Тебе же говорят - формула в данном случае производящая схема. Ее элементы - слова алфавита. Строим зависимый тип из заданного алфавита по заданной производящей схеме в любом языке с зависимыми типами. Получаем тип. Если он не пустой - формула доказана, если пустой - она ложна. Что именно из этого тебе непонятно?
>>390837>Тебе же говорят - формула в данном случае производящая схема.Приведи схему тут.
>>390835>Что есть "доказательство в исходном смысле"? Доказать что-то можно только построением этого чего-то. Иначе что ты доказываешь? Пустоту? Аллаха?Вот про это я и говорю, поехавшие. Просто отбитые люди. Доказать в исходном смысле - вывести из аксиом тоерему. Ещё и ссылаеться постоянно на пустоту, Аллаха и веру. Как же беднягам мозги промыли. >>390835Что значит зачем? Ты не хочешь отвечать на этот вопрос, потому что, в нём используются натуральные числа для упорядочевания множества палок. И для нумерации палок нужны числа, иначе ты не отличишь одну палку от другой.
>>390837Ну вот построй. Получи. Тогда и поговорим.
>>390838Ты сам ее написал. Формула - это и есть доказательство. Вопрос только в том, что из нее построится. Если непустой тип - то она верна.>>390839>Доказать в исходном смысле - вывести из аксиом тоерему. Аксиомы откуда возьмешь?>>390840Мне специально ради тебя программирование осваивать? Согласись, крайне шаткий аргумент ты притащил. Тебе ж говорят, в любом случае что-то построится, даже если пустой тип.
>>390839>Ты не хочешь отвечать на этот вопрос, потому что, в нём используются натуральные числа для упорядочевания множества палок. И для нумерации палок нужны числа, иначе ты не отличишь одну палку от другой. Тебе уже сказали про нумералы Черча. Не нужны никакие мистические понятия, оторванные от конкретного построения.
>>390841>Аксиомы откуда возьмешь?Ну ты же откуда-то берёш?
>>390841>Ты сам ее написал.Нет, я не писал никакого конструктивного доказательства. Я призываю тебя взять и написать конструктивистское доказательство того, что у вас понимается под формулой Гаусса.
>>390841>Мне специально ради тебя программирование осваивать? Согласись, крайне шаткий аргумент ты притащил. Тебе ж говорят, в любом случае что-то построится, даже если пустой тип.Просто охуеть. Что-бы доказать такую простую формулу нужно столько ебатни. Нахуй тогда ваше говно вообще нужно? Оно того не стоит.
В 53 треде г-дами анонимами сделано важное научное открытие: чтобы быстро и эффективно обоссать конструктивиста, достаточно потребовать от него доказать формулу Гаусса. Исследования продолжаются.
>>390847Заскринил твой пост. Буду использовать его для унижения конструктивистов.
>>390846Не в защиту петуха будет сказано, но это аргумент уровня /b/. Всё-таки чтобы abc-гипотезой обмазаться придётся поебаться с IUT и никто не даже не вопрошает нахуя это говно нужно.
>>390849Ну так формула Гаусса - это не abc-гипотеза как бе, её доказательство все знают.
>>390843Что я откуда взял, поясни?>>390847Ты этим доказал только то, что лично я не знаю какого-нибудь Окамла. Очень ценное доказательство.>>390850>формула Гаусса - это не abc-гипотеза как бе, её доказательство все знают. Ты можешь построить ее из этого доказательства?
>>390851>Что я откуда взял, поясни?Аксиомы.
>>390851Я могу её доказать. Ты - не можешь.
>>390852Какие?
>>390853Докажи.
>>390855Формула верна для n=1, очевидно. Если формула верна для k, то она верна и для k+1, так как 1+2+...+k+k+1 = k(k+1)/2 + (k+1) = (k(k+1) + 2(k+1))/2 = (k+2)(k+1)/2. Следовательно, формула верна для любого натурального числа n.Теперь ты докажи на свой манер.
>>390854Ну есть у вас какие-то аксиомы, так?
>>390857Сам спросил - сам принес пик с ответом. Не может быть никаких аксиом вне реализующих эти аксиомы объекта. Поэтому следующий раз не неси хуйни, что я какие-то там аксиомы принес, окда?>>390856Ну вот видишь, ты же сам и написал производящие схемы для построения этой формулы. Очевидно, что для любого k получается результат отличный от нуля. Это и есть построение, т.е. конструктивное доказательство.
>>390858>ОчевидноУ меня это гарантируется пятой аксиомой Пеано. А у тебя?
>>390859А у него интуитивная очевидность вместо аксиом. Такая вот штрогость.
>>390859Функцией следования, например, схемами построения нумералов Черча.>>390860Я же попросил, не неси хуйни.
>>390858То есть аксиомы есть? Это же верунство!
>>390861>Функцией следования, напримерОбъясни.
>>390862Третий раз прошу - хватит нести хуйню. Читай, что тебе пишут.>>390864Succ же. s(0) = 1, s(1) = s(s(0) и т.д. А почему ты на 5 аксиому Пеано ссылаешься, ты ж в нее не веруешь.
>>390866Ну и как ты из этой Succ выводишь, что формула верна для каждого натурального числа?
>>390866>Третий раз прошу - хватит нести хуйню. Читай, что тебе пишут.Ебанько, тебе тоже самое посоветовать. Получаеться, в конструктивной математике есть аксиомы. И она ничем не лучше формализма.
>>390866От тебя просят предъявить конструкцию, которая из множества гипотез {P(1), P(k)→P(k+1)} позволяет вывести формулу ∀nP(n).
>>390867Если она верна для k, то она верна и для следующего за k. >>390868>Получаеться, в конструктивной математике есть аксиомы.Тупой ты. Назови мне хоть одну аксиому в конструктивной математике, оторванную от конкретного конструктивного объекта.
>>390870А зачем? Главное, что аксиомы есть.
>>390869Ну ты ж сам ее написал только что. Замени P(k+1) на S(k) (ф-ю следования).
>>390870>Если она верна для k, то она верна и для следующего за k. И что с того? Как ты получаешь, что она верна для всех натуральных чисел?
>>390871ЮГлавное, что аксиомы есть. Ну если так яскозал даун с мейлру, то значит точно есть.
>>390872Допустим, заменил. Получилось множество гипотез {P(1), P(k)→P(Succ(k))}Дальше что? Квантор всеобщности как возникает?
>>390874>Ну если так яскозал даун с мейлру, то значит точно есть.Ага, ЕСЛИ ТАК ЯСКАЗАЛ БРАУЭЕР, ЗНАЧИТ ТАК ОН ЕСТЬ!ЕСЛИ ТАК ЯСКАЗАЛ КО-КО-КОНСТУРКТИВИСТ С ДВАЧЕ, ЗНАЧИТ ТАК ОН ЕСТЬВЕРУНЫ ВСЮДУ ВЕРНУ, АКСИОМ НЕТУ, АКСИОМЫ ЭТО АЛЛАХ, ВЕРУНЫ, ДОКАЗАТЬ ЧТО-ТО ЭТО ЕГО ПОСТРОЕНИЕСЧИТАЕМ НА ПАЛОЧКАХ БРАУЭР
>>390873Построением соответствующего ей объекта. Т.е. применением ее подряд ко всем натуральным числам. Т.к. реально на это не хватит никаких ресурсов, результат вычисляется только для заданных чисел (lazy evaluation). >>390875>Квантор всеобщности как возникает? Только непосредственным построением. Иначе никак, остается только веровать.
>>390877>Только непосредственным построением. То есть чтобы утверждать, что формула Гаусса верна для n=100500, тебе нужно построить 100500 формул? Ты серьёзно?
>>390878Да, я абсолютно серьезно. А ты серьезно считаешь, что вот написал квантор всеобщности, и что-то доказал? А я вот возьму коран и нарисую там квантор существования возле слова "Аллах", и чем такое "доказательство" будет хуже твоего?
Может выгоним эту конструктивную мразь репортами? Он конкретно заебал.
>>390880Тебя тут никто не держит, можешь идти гореть жопой куда-нибудь еще.
>>390881Понимаешь, тут полтреда спора с этим ебланом. Ты хочешь, чтобы мат-тред так выглядил? Даже мемасы лучше этого.
>>390879>Да, я абсолютно серьезно.Ну так пиздуй нахуй отсюда, ебанько безумное.
>>390880Поддерживаю этого оратора. Пожаловался что конструктивистопетух всех заебал.
>>390880Нет, это репрессии и подлость.
Ну что вы тут, веруны? Зачем горите-то, доносы пишите, я думал мне по делу кто-то может пояснить, а у вас даже против солипсизма Брауэра как оснований математики аргументов нет. Нехорошо получается для формализма.
>>390886У тебя на пике констуктивист спит, которому снится о том, что Гилберт не прав?
>>390888Вообще-то программа Гильберта обоссана и в неконструктивной математике, Геделем. Правда, Брауэр сделал это еще раньше. А "гильбертовская" метаматематика это брауэровская математика третьей культуры 3его уровня >>390802 2ой пик.
>>390889Ясно, я понял. На пике конструктивист, который думает о том, как бы ему в мат-тред обоссать Гилберта.
>>390890Мне незачем обоссывать то, что обоссано вдоль и поперек за многие десятки лет до моего рождения, я просто констатирую факт. Но, я таки хотел бы увидеть ответ на это >>390879
Не тред, а German Goo Girls фильмец. Моча повсюду.
>>390892А чего ты ждал от фанатика конструктивизма?
>>390846>Что-бы доказать такую простую формулу нужно столько ебатни. Нахуй тогда ваше говно вообще нужно? Оно того не стоит.Стоит. Вся математика - про ебатню. Поскольку всю простую ебатню уже исследовали вдоль и поперек, мы вступаем в новую эпоху математики - мы будем писать книгу с доказательством теоремы "1+1 = 2". Главное, что математикам есть чем заняться, и они могут поныть о том, что им не дают финансирования/мест.
>>390895>мы будем писать книгу с доказательством теоремы "1+1 = 2". Главное, что математикам есть чем заняться, и они могут поныть о том, что им не дают финансирования/мест. А что, уже есть неконструктивные доказательства, что 1+1=2, т.е. непротиворечивости арифметики?
Как думаете, Бурбаки в этом треде так же бы обссывали друг друга?Так и представляю Вейля в роли N-петуха!
>>390798Детектор на починку!
>>390911Тоесть ты не фанатик? А ко-ко-консруктивис?
>>390912Не угадал оба раза.
>>390910У них, кстати, проблемы с Арнольдом были, как тут пишут. http://mathoverflow.net/questions/153604/the-arnold-serre-debate
>>390912Нет, он - ℕ-петух
А верно, что 0 ∈ ℕ?
>>390917Только в английской литературе.
>>390814>ПротагорСофист цитирует своих! Все в палестру!
>>390897Полным полно, например, у Бурбаки.
>>390937А как же Гёдель?
>>390937Метаматематика, угадал?
>>390938А он здесь причём?
>>390939А тебе финитные методы нужны, маня?
>>390917Только в математике людей. У животных своя расчеты.
>>390941Неконструктивные, маня. Метаматематику Брауэр придумал, >>390889 еще до того, как Гильберт в нее переобулся, не зашквар ли вам такими методами пользоваться?
>>390910Врядли Вейль был таким веруном, и помимо этого если бы среди Бурбаков был N-петух они бы нихуя не написали бы, только срались о мета-индукции на каждом собрании.
Кто-нибудь вкинет в тред хотя бы одно конструктивное доказательство? Даже для формулы Гаусса его никто так и не смог привести.
>8-9 октября(суббота-воскресенье) будет открыт набор в модераторы. Не пропустите возможность попасть в молодой, стремительно развивающийся коллектив! Об открытии набора будет сообщено дополнительно.Аноны, которые хуесосят модера, а чего бы вам самим не подать заявку? Будите конструктивиста терепть.
>>390947>тереть
>>390948Потёр конструктивиста на удачу.
>>390947Мне нельзя, я - вахтёр.
>>390949Чувак, на тебе теперь порча! Поплюй через левое плечо и постучи по дерево!
>>390880Не стоило петю петей называть, он может ещё больше обидеться и пощёчину дать. дело КуринаА если без ерунды - пусть будет, меня, например, очень веселит этот тред.
>>390951Потёр хуй об губы конструктивиста. Теперь я спасён?
>>390953Да.
>>390943>до того>переобулсяА чем он раньше занимался? Смешно говорить, что один из основателей метаматематики в нее переобулся.
>>390938>>390938>>390938утраиваю адеквата
>>390830А красные палочки - мусорские?
>>390957Ты хотел сказать дауна? Или это тред математики 1930 года, где все в ахуе сидят еще?
>>390956>А чем он раньше занимался? Хуйней, если одним словом. Программа Гильберта, слышал? Опять же, Брауэр доказал ее неработоспособность еще до Геделя.>>390947>Будите конструктивиста терепть. Пикрелейтед. Я ничего не нарушаю, так-то.
>>390961Ну ща я на смотрящего подамся, и мы с пацанами будем решать нарушаешь ты что-то или нет.мимо-вахтёр
>>390962Если будешь банить ни за что - пожалуюсь Усманову.
>>390963Пацаны решат.
Однако, вопрос остается - какие есть неконструктивные доказательства непротиворечивости арифметики? Может ли современная неконструктивная математика со всеми своими высокими достижениями доказать, что 1+1=2?
>>390961>Программа Гильберта, слышал? Опять же, Брауэр доказал ее неработоспособность еще до Геделя.Доказал? Тащи сюда пруф, навроде теорем Геделя. Или просто петушился, что "не выйдет"? Так таких скептиков было дохуя, тот же Пуанкаре. >Хуйней, если одним словом. Программа Гильберта, слышал?По этой программе работали Цермело, Фон Нейман, Гедель, Борель, Аккерман, генцен... Хуйня в общем, раз вася так сказал.
>>390966Однако остаётся еще один вопрос: какие конструктивные доказательства вообще бывают, ибо конструктушок не привёл ни одного.
>>390966Например, с помощью трансфинитной индукции Генценом.
>>390968Двачую, ко-ко-консрутивист только свои клювом чесать может.
>>390968Ты просто читать не умеешь, какая тебе математика. Я же неоднократно упоминал Маркова. Алфавит | и производящие арифметические схемы, вот и все что нужно для построения.>>390967Я тебе принес ссылку на эту его работу, статья 1928А. Сама статья есть в сборнике его работ под редакцией Гейтинга, но на немецком.
>>390972Ты мне скажи, там есть доказательство или там просто кукареку? Я же уже сказал, что среди кукареку Брауэр далеко не первый.Если же там есть доказательство, то получается Гедель незаслуженно украл славу у Брауэра, что вряд ли.
>>390973Только кукареку. В конструктивной математике вообще нет такого понятия, как доказательство. Ко-ко-косруктивист считает, что если что-то можно построить, то он что-то доказал. Еблан он, короче.
>>390973>Ты мне скажи, там есть доказательство или там просто кукареку?Ты не понял. Там объяснение, почему такой подход в принципе неработоспособен с точки зрения интуиционизма. Как позже выяснилось, Брауэр был прав. >>390974>В конструктивной математике вообще нет такого понятия, как доказательство.Куда ты лезешь, клован? Выше ты кукарекал про какие-то аксиомы, в которые я верую, так и не привел пример. Теперь очередные кукарекания школотрона? Я уже сто раз объяснял, что есть доказательство. Если оно не подразумевает возможности построить то, что оно доказывает, то что оно вообще доказывает?
>>390976А что доказывает возможность построить объект?
>>390976>Ты не понял. Там объяснение, почему такой подход в принципе неработоспособен с точки зрения интуиционизма. Как позже выяснилось, Брауэр был прав. Ну повторил за умными дядями, молодец. Правда интуиционизм тут не причем, Гёдель ведь был формалистом.
>>390977И да, вот тебе в догонку - с чего ты взял, что твоё доказательство вообще правильно? Чем доказательство от противного неправильное? Или те же аксиомы? Твоя конструктивная математика основывается на аксиоме, что объект можно построить, то он доказан. Просто ты не называешь её аксиомой. Даун.
>>390976>Там объяснение, почему такой подход в принципе неработоспособен с точки зрения интуиционизма.>Там объяснение, почему такой подход в принципе неработоспособен с точки зрения христианства.Ясно.
>>390979Вот этого двачну!
Здарова, бляди. Мастер Теории Множеств здесь. Преклонись мне.А теперь смотри внимательно на пикрил, шваль, голубое - это то, что нужно было формально доказать.Ниже три строки под голубым - моё доказательство. У меня всё получилось правильно, обезьяны? Ясно, что мысль правильна и доказывать надо именно так, я говорю именно о записи - правильно ли я всё формально записал и оформил? Можно так записывать? С местного уёбка брал пример, если что.Сосите.
>>390982Зарепортил.
>>390976>так и не привел примерЧто все частичные алгоритмические функции частично рекурсивны. Можно назвать это главной догмой современных интуиционистов. Ну, а там делить уже на веру в физическую машину или веру в какой-нибудь автомат.
>>390982>У меня всё получилось правильно, обезьяны? Нет.>правильно ли я всё формально записал и оформил?Нет.>Можно так записывать?Нет.
>>390982вторая строчка из доказательства не имеет никакого смысла.
>>390987>>390988Не помогайте уёбку, репортите его.
>>390977Возможность построить объект этот объект и доказывает. Т.е. доказывает возможность его существования. >>390979>с чего ты взял, что твоё доказательство вообще правильно? С того, что есть фактически построенный объект, соответствующий доказательству. >Чем доказательство от противного неправильное?Тем, что не дает возможность построить объект. Если такой возможности нет, чем ты докажешь правильность твоего доказательства?>>390986Это не догма. Знаешь почему? В нее веровать не нужно. То, что какое-то правило работает в каждом отдельном случае, никак не означает, что его необходимо обобщать на все случаи и потом уже исходить из обобщения, а не из конкретного случая. То же самое можно сказать про "аксиому" выше. Это не аксиома.
>>390989Ты думаешь мой пост ему сильно помог?
>>390988А как его можно переформулировать, тварь? Элемент из A не принадлежит объединению А и другого множества B. Ебанат тупой, как это записать формально?
>>390990>Возможность построить объект этот объект и доказывает. Т.е. доказывает возможность его существования. Наличие первородного греха показывает что Иисус не зря умер за наши грехи
>>390987Не кудахтай тут, ублюдок. Напиши мне решение лучше.
>>390990> Или те же аксиомы? Твоя конструктивная математика основывается на аксиоме, что объект можно построить, то он доказан. Просто ты не называешь её аксиомой. Даун. А чего ты на это ничего не написал? Ах, да ведь в ко-ко-консруктивной математике нет аксиом. А вот хуй, есть.
>>390989Лол.
>>390993Ты и правда дебил, если не видишь разницы между этими утверждениями.
>>390997Я ещё раз повторяю>>390995
>>390997>Ты и вправду дебил если не видишь разницы между Аллахом и Иисусом!
>>390990>То, что какое-то правило работает в каждом отдельном случае, никак не означает, что его необходимо обобщать на все случаи и потом уже исходить из обобщения, а не из конкретного случаяПолучается нельзя вывести никакого физического закона? Интересная вера, ядреная.>>390997Разница действительно есть. Утверждение про иисуса это теорема, а у тебя аксиома, определяющая существование.
>>390996Пофиксил.
>Мы с матерью как-то изобрели для него насмешливое прозвище, и с тех пор, в разговорах между собой, никогда не называли его по имени. Это прозвище глубоко врезалось в мою память; еще долгое время после смерти матери я так и называл его (разумеется, про себя). Сейчас мне кажется, что мое пренебрежительное отношение к нему сформировалось определенно не без участия моей матери. Она всю жизнь отличалась сильным характером, и даже после ее смерти я еще лет двадцать, быть может, по-прежнему находился под ее влиянием. Я безоговорочно перенял ее систему ценностей, во многом определившую ее образ жизни. Мягкий, приветливый, нисколько не воинственный характер моего друга без лишних слов был сочтен «ничтожным» - и немедленно стал объектом насмешки.Шурик та альфачем у нас был, обоссал бы всех ИТТ
>>390998С чего ты взял, что это аксиома?>>391000>Получается нельзя вывести никакого физического закона?Получается, можно обойтись. Я же написал, читай лучше. А если можно обойтись, это не догма и не аксиома.
БЛЯДИНЫ, КОТОРЫХ Я МАТЕРЕЙ ЕБАЛ, ПОМОГИТЕ МНЕ НАХУЙ! ПРОСТО СКАЖИТЕ, КАК ЭТУ ВТОРУЮ СТРОЧКУ КОРРЕКТНО ПЕРЕПИСАТЬ, ТВАРИ МЕРЗКИЕ! ТУПОРЫЛЫЕ УЁБИЩНЫЕ ТРЕКЛЯТЫЕ СУКИ!МНЕ НУЖЕН ОДИН ЕБУЧИЙ ПРИМЕР НАХУЙ! СОСАТЬ МОЙ ХУЙ, БЛЯДЬ!
>>391003>С чего ты взял, что это аксиома?А из чего она следует? Если принимаеться безаговорочно, и не подлежит критике, значит аксиома.>>391004Cuck, please. >>391001
>>391004Разделяй язык высказываний и множеств. Есть высказывание P, исходное утверждение. Есть знаки этого языка. Во второй строчке у тебя икс принадлежит высказыванию, но это не имеет никакого смысла в рамках языка множеств.
>>391003Ты говоришь чего-то про непротиворечивость арифметики, но тем не менее подразумеваешь, что (возможно) существует класс задач, недоступный конструктивной математике вообще. Как с таким противоречием можно жить?
>>391005>А из чего она следует? Ты скажи, из чего она следует. Ты же и придумал, что это аксиома. Т.е. перевернул все с ног на голову. Хотя изначально это вопрос существования в математике. Объект существует, если может быть построен. В противном случае, о существовании можно говорить только в каком-то мистическом смысле, оторванном от конкретного существующего объекта.
>>391006Ебливая мразь, это я понял, а как корректно переписать нахуй, собака?
>>391009Ты просто не называешь это аксиомой, но эта аксиома. Назовём её аксиомой существования.
>>391010Когда я тебе в прошлый раз подробно расписовал, ты даже мне спасибо не сказал. Неужели ты думал, что я тебе буду помагать после такого?
>>391013Блядь, друг, прости. Учусь самостоятельно теории множеств третий день, но в учебниках для начинающих cuck'и даже примеров не дают. Ни одного просто нахуй примера за всю тему. Вот и выходит у меня такая хуйня в упражнениях.Как это нужно написать, скажи, пожалуйста.
>>391008>тем не менее подразумеваешь, что (возможно) существует класс задач, недоступный конструктивной математике вообще.Ты можешь прямо назвать этот класс задач?>>391012>Ты просто не называешь это аксиомой, но эта аксиома. Назовём её аксиомой существования. И что это за аксиома, если от нее можно просто отказаться? Существование построенного объекта есть его существование. Зачем мне какая-то аксиома для этого?
>>391010Зачем тебе это надо? Забей на эти задачи.Вообще: х в А и не(х в А и х в В) = х в А и (х не в А или х не в В) = (х в А и х не в А) или (х в А и х не в В) = х в А или х не в В.
>>391014Не выёбывайся знанием английского и иди читать Пратусевича. Как прочтёшь первую главу пересаживайся на свои английские учебники.
>>391016х в А и х не в ВбыстроfiX
>>391015>Ты можешь прямо назвать этот класс задач?Конечно, не частично-рекурсивные алгоритмически вычислимые функции.>Зачем мне какая-то аксиома для этого? Ну тогда пусть построение объекта не есть его существование. Dixi.
>>391017Начинается блядь. Ну зачем ты проецируешь своё незнание английского на меня? Мне вообще похуй, от зубов отлетает. Я русский знаю хуже. Чего ты начал? Хуй соси.
>>391017Или листочки решать для матшкольников 57 школы.
>>391015>И что это за аксиома, если от нее можно просто отказатьсяПопробуй.>Существование построенного объекта есть его существованиеТо есть непостроенный объект, который можно построить, не существует? Ух ты. Например, нельзя построить число Грэма в степени числа Грэма. У тебя не хватит бумаги, как минимум. Здорово, не все натуральные числа существуют и могут быть конструктивными объектами.
Пиздец, хуесосу бугуртящему помогают, а когда я своё запостил - вообще без ответов было. Блядь идиоты ёбаные.
>>391019С какой стати алгоритмически вычислимая функция не конструктивна? Если есть алгоритм для ее построения?>Ну тогда пусть построение объекта не есть его существование.Еще одна аксиома?
>>391020Еблан, там просто понят написанно. С основ логики до примеров с доказательствами. Подробно. Лучше для таких cuck'ов, как ты, просто нет варианта. >>391023А что ты запостил?
>>391025Страницы с карандашом.
>>391026Помню. Мне плохо видно было, я тебе ещё говорил про ручку. Сложно читать из-за освещения и карандаша. Так бы проверил.
>>391026ИТТ одни тянки. Мы не обращаем внимания на тихих хикк, нам нужны буйные альфачи!
>>391016Спасибо! Забыл про эту хуйню с отрицанием всего выражения. Глупо.>Зачем тебе это надо?По сути мне это не надо, но это же просто оргазмъ, когда докапываешься до правильного решения.Я вот сам правильно доказал пикрелейтид. Пол дня оргазмъа!Да и, блядь, как я понимаю, в высшей математике начального уровня множества везде, почему бы не уметь очень хорошо с ними работать, знать основные свойства? Да и я так скилл доказательства развиваю.>>391017Нахуй с ним иди, друг. Алсо, это >>391020 тоже мой друг. Который тоже идёт нахуй.
>>391028>буйные альфачи>>391001
>>391024>С какой стати алгоритмически вычислимая функция не конструктивна? Если есть алгоритм для ее построения?Есть, но его нельзя записать в терминах частично рекурсивной функции или машины Тьюринга. >Еще одна аксиома? Отрицание твоей. Считаешь, ответ не нужен? Но тогда чем конструктивная математика отличается от библии, там же тоже можно верить и не верить?
>>391029Оргазмы надо получать ебя баб, cuck, а не решая математические задачи.
>>391029Во всех учебниках начального уровня необходимая ТМ даётся во введении(множества, операции над ними[пересечение, объединение, разность, симметрическая разность], отображения, классы эквивалентности, законы Де-Моргана).
>>391030В интернете альфач, как-никак.
>>391034В интеренете каждый омежка может стать альфачом.
>>391035Ты ведь не стал.
>>391036А зачем? Это же каким же опущенцем надо быть, чтобы самоутверждатся в инете.
>>391037Чтобы поддерживать баланс. Если прибывать в состоянии омеги 24/7, то и до куколда недалеко.
>>391039Получается, альфачи в интернете омегами притворяются? Создают еот треды, поёбывая тянок в пердачелло?
>>391039А я думал, что кукодлами становятся алфачи, чтобы поддерживать баланс и не стать омегами.
>>39104193.7% альфачей какнуты религией и всякой социальной поеботней вроде педоистерии. Еще больше омег правда.
ещё вот помогите пожалуйстаа
>>391040>>391041Им не нужно поддерживать баланс. Они будут скатываться в сторону альфачества, это не зашкварно, в отличии от скатывания в омеганство.
>>391046Понимаешь, когда альфачество переполняеться, то оно меняет свой знак и становится омеганством. И для разрядки аьфач становится куколдом.
>>391049Какой ужос! И что теперь делать?
>>391002Откуда это и про кого?
>>391006Зачем ты отвечаешь говорящей собаке?
>>391051Гротендик, Урожаи и посевы.
>>391055Спасибо.
Это он о Шурике.Аноны, не вычисляете интегралы всю жизнь - не стать вам великими математиками! Топосы, схемы какие-то неправославные! Фу! От лукавого!
Дед стандартный. Вытиран.
>>391059ПОНТРЯГИН НАША ГОРДОСТЬ! ПРАВОСЛАВИЕ!
>>390989Зарепортил уёбка
https://2ch.hk/sci/res/391083.htmlПерекатываемся.
