Сохранен 518
https://2ch.hk/sci/res/268391.html
24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!

Математика, тред №18

 Аноним 22/05/15 Птн 02:11:59 #1 №268391 
14322499199340.jpg
Когда я учился в школе, изучал
топологию по подпольному (ротапринтному)
ультра-раритетному изданию Фукса-Фоменко-Гутенмахера.
Этот текст был практически самиздатом, и ходил
по рукам; издали его сильно позже.
Картинки стимулировали неимоверно.

Ибо (а) загадочные (б) забавные (в) иногда
нечто математическое действительно изображают
и (г) очевидно, что писали эту книгу хорошие парни,
а не унылые сухари и выбегаллы, раз полкнижки
забрали под абстрактное искусство.

Было очень четкое ощущение, что некоторые
части математики хорошие, а другими занимаются
исключительно выбегаллы с заросшими шерстью
ушными раковинами. А критерии были примерно
такие как раз - есть места, где ходят веселые
люди и в свободное от работы время рисуют
абстрактные картины, ходят в походы и сочиняют
смешные штуки про историю, а в других науках
сплошной карьеризм, комсомольское начальство,
освобожденные секретари, рабфак, гниль
и мертвечина.

Я б наверное и стал бы топологом, кабы в какой-то
момент меня не остановил Витя Гинзбург, сказав,
что если я не прекращу изучать алгебраическую
топологию здесь и сейчас - придется мне навсегда
стать алгебраическим топологом, а эта наука вымирает
и скоро совсем вымрет. За это я ему тоже признателен,
однако вымирала, и действительно вымерла.

Вообще ж, ощущение того, какие науки хорошие
а какие нехорошие, есть одна из главных
способностей математика.

Но забавно, что веселые люди с походами и
абстрактным искусством кончили тем же самым
маразмом, что и выбегалла; и сейчас практически
не отличаются. Потому что упадок.

Предыдущий: >>266475
Аноним 22/05/15 Птн 02:29:23 #2 №268395 
Топология нужна только для того, чтобы диффуры решать, а так, бесполезна чуть более чем полностью.
Аноним 22/05/15 Птн 02:31:27 #3 №268396 
14322510872220.jpg
Это сейчас модно так - писать строфами?
Аноним 22/05/15 Птн 02:43:28 #4 №268397 
>>268395
Предположим, я предъявлю тебе предмет X. Как ты решишь, полезен он или бесполезен?
Аноним 22/05/15 Птн 02:56:11 #5 №268399 
>>268397
Если этот предмет войдет в пизду твоей мамаши, то полезен.
Аноним 22/05/15 Птн 03:46:12 #6 №268408 
14322555727750.jpg
Анон, то ли я чего-то не понимаю, то ли автор учебника.
Как я понимаю, по условию задачи требуется чтобы ровно 1 человек родился первого января, и ровно 2 родились восьмого марта.
Рассчитывается вероятность события...

Так, ОК, пока писал что-то понял. Хоть и на уровне "понимаю почему работает формула, но не могу поверить что она работает в этом случае."
Но остался вопрос почему в одной строке написано что n-k=199, а в следующей уже =198, и далее используется 198, хотя по-моему должно быть 199.

Ну и насоветуй годный задачник по Теории Вероятностей.
Аноним 22/05/15 Птн 05:14:12 #7 №268412 
>>268391
> веселые люди и в свободное от работы время рисуют абстрактные картины, ходят в походы и сочиняют смешные штуки про историю
Люди_с_красивыми_лицами.жепеге
Аноним 22/05/15 Птн 11:01:38 #8 №268454 
>>268396
Такие дела
Привет
Аноним 22/05/15 Птн 13:52:28 #9 №268491 
14322919488520.png
14322919488541.png
Я ниче не понял(
Аноним 22/05/15 Птн 14:02:43 #10 №268492 
>>268491
чо за книга анон? тож хочу почтать
Аноним 22/05/15 Птн 14:03:23 #11 №268493 
векторы точены, симлексы дрочены
Аноним 22/05/15 Птн 14:08:10 #12 №268494 
>>268492
Р. Грэхем, Д. Кнут, О. Паташник. Конкретная математика. Основание информатики
другой анон
Аноним 22/05/15 Птн 14:15:11 #13 №268495 
Привет /сай/мат. Объясни-ка мне такую вещь. Вот есть у нас произведение, допустим пикрилейтед 2х2. Понятно, что в переводе на русский язык это значит "два по два" или же "два и два". Также по определению произведение есть множество упорядоченных пар (х, у). Так и есть, на рисунке имеем четыре пары. Т.е. Каждая пара есть единица и их сумма равна произведению 2х2. А теперь вопрос. Как объяснить почему каждая пара (ху) есть единица?
Аноним 22/05/15 Птн 14:16:13 #14 №268496 
14322933733420.jpg
Вот пик
Аноним 22/05/15 Птн 14:56:35 #15 №268502 
14322957958070.jpg
14322957958101.jpg
14322957958722.jpg
14322957958743.jpg
Сыграем в игру "Проведите линии"
Аноним 22/05/15 Птн 14:57:43 #16 №268503 
14322958635060.jpg
14322958635061.jpg
14322958635072.jpg
14322958635083.jpg
>>268502
Вторая часть
Аноним 22/05/15 Птн 15:04:07 #17 №268504 
>>268495
Наркоман, блядь…
Тебе всего лишь нужно подумать, от чего зависит количество этих самых пар в декартовом произведении. Да-да, комбинаторика. Если множество X состоит из 3-х элементов, множество Y — из 2-х, то декартово произведение X × Y будет иметь 3 × 2 элементов, то есть 6.
Аноним 22/05/15 Птн 15:07:23 #18 №268506 
>>268504
Да и вообще, ты как-то непонятно шарахаешься от произведения действительных чисел к декартову произведению. Разберись в определениях.
Аноним 22/05/15 Птн 15:08:47 #19 №268507 
>>268504
Сам ты наркоман, вопрос не в этом, точки я и без тебя посчитать могу. Вопрос в том, как объяснить что любая упорядоченная пара есть единица
Аноним 22/05/15 Птн 15:17:36 #20 №268509 
То-то же
Аноним 22/05/15 Птн 15:18:07 #21 №268510 
>>268507
В чём единица, в каком пространстве? Что в данном случае для тебя единица? Ты сам-то понял, что сделал? Попробую показать, что вижу я. Ты взял множество X = {a, b}. Получил декартово произведение X × X, в котором логично будет четыре пары. И в конце у тебя получилось, что b × b = 4. Понимаешь, количество элементов в декартовом произведении никак не зависит от свойств элементов в изначальном множестве X (да там вообще может отсутствовать произведение). И то, что у тебя получилось, закономерно, но не обязательно. Просто так вышло, что количество пар считается так же, как произведение чисел в множестве X. Надеюсь, ты понял, но не уверен.
Аноним 22/05/15 Птн 15:18:41 #22 №268511 
>>268510
И вообще я про точки не говорил. Они здесь неважны.
Аноним 22/05/15 Птн 15:21:00 #23 №268512 
>>268510
Нет, я подразумевал именно натуральные числа
Аноним 22/05/15 Птн 15:21:37 #24 №268513 
И мне интересны именно точки. Тебе не важны, мне важны
Аноним 22/05/15 Птн 15:23:37 #25 №268514 
>>268512
>Просто так вышло, что количество пар считается так же, как произведение чисел в множестве X.
>комбинаторика
Ну что тебе непонятно?
К чему тебе эти точки?
Аноним 22/05/15 Птн 15:27:37 #26 №268515 
>>268511
Меня не устраивает "так вышло", я хочу это осмыслить
Аноним 22/05/15 Птн 15:36:21 #27 №268516 
>>268515
Тогда смотри. 2 × 2 = 4. Это произведение двух чисел. Просто-напросто произведение, ничего большего. X = {1, 2} — это наше множество, состоящее из двух элементов. Декартово произведение X × X = {(1, 1), (1, 2), (2, 1), (2, 2)}. То есть четыре элемента. Вопрос: как рассчитать количество элементов в декартовом произведении? Очень просто: нужно умножить КОЛИЧЕСТВО элементов первого множества на КОЛИЧЕСТВО элементов второго множества (это комбинаторика). Множество у нас одно — X. Элементов в нём джва. Заметь здесь играет роль именно КОЛИЧЕСТВО элементов, а не сами элементы. Когда ты берёшь натуральные числа, так получается, что КОЛИЧЕСТВО элементов в множестве X равно максимальному элементу этого самого множества. Ничего больше, никакой подоплёки.
Аноним 22/05/15 Птн 15:37:35 #28 №268517 
Не знаю, я просто иногда думаю над той или иной темой, мучу конструкции разные, формулирую, осмысляю короче пытаюсь прийти к теории немного по-своему, а потом как наткнусь на какую нибудь хуйню и залипну на неделю. Бывает даже небезрезультатно но это редко
Аноним 22/05/15 Птн 15:41:29 #29 №268518 
>>268516
Хм, ну так это и есть по определению, я же писал об этом вначале. В любом случае надо поспать.
Аноним 22/05/15 Птн 15:46:18 #30 №268520 
>>268518
>я же писал об этом вначале
>Также по определению произведение есть множество упорядоченных пар (х, у).
Множество упорядоченных пар — это ДЕКАРТОВО произведение. К произведению в натуральных числах отношения практически никакого не имеет.
>Так и есть, на рисунке имеем четыре пары.
Что так и есть? У тебя в голове смешались кони, люди, произведения.
>В любом случае надо поспать.
Давно пора.
Аноним 22/05/15 Птн 15:48:10 #31 №268521 
>>268520
Возможно. А к чему имеет?
Аноним 22/05/15 Птн 15:48:57 #32 №268522 
>>268520
К множествам же.
Аноним 22/05/15 Птн 15:49:14 #33 №268523 
>>268522
>>268521
Аноним 22/05/15 Птн 15:49:21 #34 №268524 
И почему не имеет к декарту?
Аноним 22/05/15 Птн 15:51:40 #35 №268525 
>>268524
Ладно, сдаюсь. Ты меня затралел)))
Аноним 22/05/15 Птн 15:51:49 #36 №268526 
>>268522
А чем двойка не множество?
Аноним 22/05/15 Птн 15:52:46 #37 №268528 
>>268526
Множество из одного элемента? Дальше что?
Аноним 22/05/15 Птн 15:54:46 #38 №268530 
>>268528
Ну вот и всё не знаю
Аноним 22/05/15 Птн 15:59:30 #39 №268532 
>>268528
Нет из двух единичек
Аноним 22/05/15 Птн 16:13:21 #40 №268536 
>>268532
Я кстати почти серьезно. Но ведь в тм нельзя задать такую конструкцию, да? 1+1=2
Аноним 22/05/15 Птн 16:15:49 #41 №268537 
Хотя можно
sageАноним 22/05/15 Птн 16:16:39 #42 №268538 
>>268491
когда у тебя 0 прямых есть 1 плоскость
чертишь 1 прямую, плоскость разделяется на 2 части
вторую прямую - на 4 части
ты мог бы нарисовать вторую прямую параллельно первой, и плоскость разделилась бы на 3 части
но по условию прямые добавляются так чтобы они делили плоскость на максимальное число частей
требуется дать формулу на сколько частей делит плоскость n прямых
эту задачу ты можешь решить сам, не читая черезжопных объяснений авторов
посмоти какая формула подойдет для 4-5 прямых и докажи по индукции для остальных
Аноним 22/05/15 Птн 17:58:02 #43 №268556 DELETED
>>268408
Виленкин-кто-тотам
Аноним 22/05/15 Птн 18:00:46 #44 №268557 DELETED
>>268503
Кто на второй? Альзо еврейская математика во всей красе, лол, у всех одни и те же глазки.
Аноним 22/05/15 Птн 18:06:11 #45 №268558 
14323071712350.jpg
>>268520
Зря ты так, я тут чутка поаутировал с этими квадратиками и вывел формулу разности между числом и квадратом числа для натуральных. Какой профит?
Аноним 22/05/15 Птн 18:27:49 #46 №268560 
14323084699490.jpg
Поясните по хардкору: есть уравнения (65), продиффиринциировали их и получили уравнения (66а), (66б), (66в). Как теперь из этих уравнений получили уравнения (68)? То, что приравняли производные от Хи, Уи и Zи к нулю, я увидел, но все равно не могу приравнять правую часть, скажем, (66а) к левой части первого уравнения (68).
Аноним 22/05/15 Птн 18:30:04 #47 №268561 
>>268560
>продифференцировали
фикс
Аноним 22/05/15 Птн 18:34:56 #48 №268563 
>>268558
Проверю, что ли.
Для 1 формула верна.
Пусть она верна для n.
Тогда (n+1)^2 = n^2 + 2n+1 = n+2S(k=1;n-1) + 2n+1 = (n+1)+2S(k=1;n).
По индукции, формула верна для всех n.
Аноним 22/05/15 Птн 18:37:42 #49 №268564 
>>268528
а почему нет?
Аноним 22/05/15 Птн 19:46:51 #50 №268570 
>>268558
Долго аутировал? Формула правильная, да. Профитов лично я не вижу. Созревает вопрос: а зачем? и как ты дошёл до этого, начав с квадратиков? как это всё связано? каков ход твоих мыслей?
Аноним 22/05/15 Птн 20:25:34 #51 №268572 
>>268391
Тред создал специально чтобы поделиться с нами своим бессвязным инфантильным бредом?
sageАноним 22/05/15 Птн 20:45:03 #52 №268573 DELETED
>>268536
докажи.
Аноним 22/05/15 Птн 20:52:27 #53 №268574 
>>268560
Одно из уравнений умножаешь на синус, другое на косинус и наоборот, складываешь/вычитаешь.
Аноним 22/05/15 Птн 20:55:37 #54 №268575 
14323173376070.jpg
Разъясните вот это доказательство. Почему W(n) = mW(n-1) мне понятно. А как мы дальше переходим к рекуррентной формуле W(n) = m^2 W(n-2)? Что представляют из себя слова W(n-2)? Слова с фиксированными первыми 2 буквами? Зачем мы это делаем, если изначально нас интересуют только слова, отсортированные по 1-й букве?
Аноним 22/05/15 Птн 22:58:31 #55 №268585 
Помнится, тут был один сосницкий 9-тиклассник, который пытался выучить теорию множеств по Верещагину_Шеню.
Так вот, почитай-ка лучше это:
http://libgen.in/book/index.php?md5=7C676232E8EE6A77BE05A407DE07BEEE
И посмотри это:
https://pirateproxy.sx/torrent/7877740/TTC_-_Prove_It_-_The_Art_of_Mathematical_Argument_(compressed)

Пользы намного больше будет, чем от Верещагина-Шеня, да и английский подтянешь.
Аноним 22/05/15 Птн 23:33:09 #56 №268586 
>>268558
Долго выводил? По-моему всем известно, что
n^2 = сумма по 2i-1 от i=1 до n.
Проще говоря - квадрат числа есть сумма нечетных чисел от 1 до n
Аноним 22/05/15 Птн 23:51:01 #57 №268587 
>>268557
Александр Буфетов
Аноним 23/05/15 Суб 00:48:51 #58 №268589 
Какие есть численные методы решения нелинейных уравнений, основанные на второй производных и производных более высокого порядка?
Вот есть метод Ньютона - там, грубо говоря, функция приближается формулой, основанной на первой производной, и из этого приближения получается расчетная формула.
Есть метод секущих - там почти тоже самое, только вместо производной используется ее замена направленной разностью первого порядка.
Есть какие-нибудь методы, построенные на формулах относительно второй/третьей/четвертой производной? Интересны даже не столько они, сколько их обобщение на R^n (при решение систем нелинейных уравнений, в основном, только метод Ньютона и используется, правда с большим количеством модификаций).
Аноним 23/05/15 Суб 00:53:28 #59 №268592 
>>268589
>при решении систем
быстрофикс
Аноним 23/05/15 Суб 01:36:43 #60 №268598 
>>268589
рунге - кутты тебя чем не утраивает?
Аноним 23/05/15 Суб 03:43:40 #61 №268603 
саентачи, один маленький вопрос:
математика - это самая научная наука?
Аноним 23/05/15 Суб 04:03:54 #62 №268604 DELETED
>>268603
Конечно, нет.
sageАноним 23/05/15 Суб 05:10:56 #63 №268607 DELETED
>>268604
Нульчую этого, самая научная наука это, разумеется, теология
^_^
Аноним 23/05/15 Суб 15:39:50 #64 №268662 
Повторю здесь вопрос, заданный мной в ньюфаг-треде.
Как доказывается коммутативность XOR? Если через выражение a ⊕ b = (a ⋁ b) ⋀ ~(a ⋀ b), то как доказать коммутативность конъюнкции и дизъюнкции?
Аноним 23/05/15 Суб 15:40:50 #65 №268664 
>>268662
А что такое конъюнкция и дизъюнкция (определения)?
sageАноним 23/05/15 Суб 16:09:30 #66 №268673 
>>268662
> как доказать коммутативность конъюнкции и дизъюнкции?
Подставив нолики и единички
Переставив a и b местами
Снова подставив нолики и единички
Сравнив результат
Аноним 23/05/15 Суб 16:22:26 #67 №268677 
>>268673
Конъюнкция может быть не только операцией в булевой алгебре из двух элементов, но и в булевой алгебре (и даже в решётке) в общем случае. Правда в таком случае коммутативность просто постулируется.
Аноним 23/05/15 Суб 18:15:10 #68 №268696 
14323941104000.jpg
>>268570
Всё просто, я заметил что 3^2= 1+2+3+2+1 (пикрилейтед), а потом вывел формулу, ну и проверил. Какие профиты? Я сейчас читал о факторизации целых чисел и думаю, можно как-нибудь применить это тут. Сейчас посмотрим... Я тут немного поебался с этим, но дошел до места с которого видно что качественный вывод займет немало времени и сил, а мне они нужны для другой темы, так что не сегодня.

>>268585
Это я

>>268586
А я нашел именно разницу между квадратом числа и числом Z+.
Аноним 23/05/15 Суб 18:20:11 #69 №268697 
>>268598

Так он же для дифференциальных уравнений.
А мне для обычных нелинейных.
Меня вообще все во всех методах устраивает, просто интересно
Аноним 23/05/15 Суб 18:33:00 #70 №268699 DELETED
>>268696
>а какие профиты
Почитай что-нибудь по тч, лол, много нового узнаешь. Конкретного ничего не посоветую, т.к. область эта беспросветное говно, а все учебники малочитабельная параша 60х годов.
Аноним 23/05/15 Суб 18:40:44 #71 №268700 
>>268699
Ну так я и читал сейчас за факторизацию, а вопрос исходный был вообще не по тч.
Аноним 23/05/15 Суб 18:44:16 #72 №268701 
>>268699
>Какие профиты
В том посте я как раз и хотел ответить на этот вопрос, т.к. тот анон профитов не увидел.
Аноним 23/05/15 Суб 18:49:01 #73 №268702 
>>268699
>область эта беспросветное говно
Всм? Там же куча годноты, как минимум великая теорема ферма годнота. Или ты имеешь ввиду что хуй знает чем там ещё дальше заниматься?
Аноним 23/05/15 Суб 18:49:54 #74 №268703 
>>268702
>Там же куча годноты, как минимум великая теорема ферма

фикс, слишком много годноты
Аноним 23/05/15 Суб 20:22:00 #75 №268718 
>>268702
>великая теорема ферма
Бесполезный факт.
Аноним 23/05/15 Суб 20:37:55 #76 №268719 
14324026754980.png
>>268673
Табличный метод доказательства - первое, о чем я подумал. Но ведь должны же быть и другие методы? Более, скажем, общие.
>>268664
Значит, все-таки нужно доказывать через конъюнкцию и дизъюнкцию. В найденных мной доказательствах присутствует символ "⊢" (sequent notation). Ладно, буду копать дальше, спасибо за подсказки.
>>268662-ой
Аноним 23/05/15 Суб 21:08:55 #77 №268726 
>Значит, все-таки нужно доказывать через конъюнкцию и дизъюнкцию. В найденных мной доказательствах присутствует символ "⊢" (sequent notation). Ладно, буду копать дальше, спасибо за подсказки.

Тут ситуация вот какая. Когда людям хочется просто заниматься дискретной математикой, то они конъюнкцию и дизъюнкцию определяют просто как функцию типа {0,1}->{0,1}, и тогда доказательство - это просто конечная проверка по таблицам истинности.
Когда людям хочется заниматься логикой и теорией доказательств (там где и присутствует символ "⊢"), то они определяют /\ просто как значок и определяют набор правил, как с помощью этого значка из одних строк (конечных наборов значков) можно получать другие, а потом получившуюся "машинку, играющую со строками" исследуют на разные интересные эффекты. И в таких терминах не очень-то понятно что такое коммутативность. Таки дела.
Аноним 23/05/15 Суб 21:13:58 #78 №268727 
14324048380300.png
Помогите решить.
m^{*,(J)} - внешняя мера Жордана
элементарное множество - конечное объединение d-мерных параллелепипедов (возможно с некоторыми вырезанными гранями коразмерности>0).
Аноним 23/05/15 Суб 21:36:27 #79 №268739 
>>268726
>Когда людям хочется заниматься логикой и теорией доказательств (там где и присутствует символ "⊢"), то они определяют /\ просто как значок и определяют набор правил, как с помощью этого значка из одних строк (конечных наборов значков) можно получать другие, а потом получившуюся "машинку, играющую со строками" исследуют на разные интересные эффекты. И в таких терминах не очень-то понятно что такое коммутативность.
Так вот куда я ненароком залез, получается? В некую разновидность символьных вычислений с изменяемыми правилами? Не скинешь почитать чего-нибудь на эту тему?
Это уже что-то вроде проклятия. Быть мне компилятором Пролога в следующей жизни, не иначе.
Аноним 23/05/15 Суб 21:43:54 #80 №268746 
>>268739
Любой учебник по логике. Например (стандартный семестровый курс) Cori, Lascar "Mathematical logic: A course with exercises", если хочется краткого обзора и на русском, то можешь почитать брошюру Манин "Доказуемое и недоказуемое".
Аноним 23/05/15 Суб 21:47:17 #81 №268752 
>>268746
Спасибо. На русском, как я понял, подобное искать бесполезно (Запрос "proof of commutativity of exclusive or" выдал намного более интересные и ценные результаты, нежели его русский аналог), так что отдельная благодарность за "Mathematical logic: A course with exercises".
Аноним 23/05/15 Суб 21:57:38 #82 №268761 
Разбавлю скучный диалог задачкой:
Доказать, что существует бесконечно много простых чисел вида n!+1.
Аноним 23/05/15 Суб 23:05:03 #83 №268783 
>>268761
Все, на что меня пока что хватило:
Результатом n! является четное число для n > 1;
Все четные числа кроме 2 являются нечетными;
Результатом n!+1 является нечетное число;
Аноним 23/05/15 Суб 23:13:53 #84 №268786 
>>268761

я, конечно, математик уровня б.
однако если применить индукцию, то вроде как ничего:
дня n=1 вражение имеет вид n!+1=2, то есть простое число
для n+1:
n!*(n+1) +1 = n!n + n!+1
n!n имеет в делителях все числа с 1 до эн, а n!+1 является простым, то есть делится только на само себя и единицу.
соответственно, они не имеют общих делителей.
То есть n!n + n!+1 простое число.

Вроде всё доказано, не?
Аноним 23/05/15 Суб 23:16:28 #85 №268788 
>>268761
5!+1=11*11
>соответственно, они не имеют общих делителей.
>То есть n!n + n!+1 простое число.
Не "то есть".
Аноним 23/05/15 Суб 23:20:14 #86 №268791 
>>268788
>>268786

Аноним 23/05/15 Суб 23:21:04 #87 №268793 
>>268788
это конечно аргумент.
простенько не вышло, беда-печаль
Аноним 23/05/15 Суб 23:54:01 #88 №268799 
https://ru.wikipedia.org/wiki/%D0%9E%D1%82%D0%BA%D1%80%D1%8B%D1%82%D1%8B%D0%B5_%D0%BF%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D1%8B_%D0%B2_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D1%87%D0%B8%D1%81%D0%B5%D0%BB>>268793

простенько и не выйдет, лол. см. "Факториальные числа"
тащемта, по сути надо доказать/опровергнуть существование верхней грани множества простых чисел данного вида. Но ведь хуй ты ж это сделаешь.
Аноним 23/05/15 Суб 23:55:32 #89 №268800 
>>268799
Окъ, тот кун нас затраллел. А теперь совершенно простая задача: доказать что составных чисел вида n!+1 бесконечно много.
Аноним 24/05/15 Вск 01:13:00 #90 №268808 
>>268718
Но из-за неё появилось много хорошей математики, не?
Аноним 24/05/15 Вск 01:13:55 #91 №268809 
>>268808
александр смирнов в треде
Аноним 24/05/15 Вск 01:43:47 #92 №268813 
>>268719
Клини, "Введение в метаматематику". Наряду с книжкой Гильберта, эта книга является фундаментальной в формальном выводе. Конечно, есть намного более современные книги, за прошедший век появилось колоссальное количество новых идей, и сам формальный вывод уже успел стать полумёртвой дисциплиной. Однако книга Клини всё ещё играет в метаматематике ту же роль, что курс маркиза де Лопиталя в калькулусе, с ней все считаются так или иначе.

Всё расписано максимально доходчиво, включая символ ⊢.
Аноним 24/05/15 Вск 02:09:51 #93 №268816 
>>268813
В современном мире, где есть компьютеры и каждая домохозяйка знает о языках программирования и формализации, на "формальный вывод" нужно тратить от силы час времени. Современная метаматематика занимается не тем.
Аноним 24/05/15 Вск 02:16:50 #94 №268817 
>>268816
Как будто я спорю.
Аноним 24/05/15 Вск 02:28:11 #95 №268818 
>>268813
Спасибо, буду осваивать.
Аноним 24/05/15 Вск 02:34:38 #96 №268819 
>>268818
ты либо пизданешься и охуешь по этому что-то осваивать. тот кун бы ещё HoTT предложил в качестве первого учебника логики
Аноним 24/05/15 Вск 02:42:50 #97 №268821 
Объясните дураку, почему в алгоритме Евклида (a,b) = (r,b) = (b,r)
Аноним 24/05/15 Вск 02:51:14 #98 №268823 
>>268821
потому что ты пидар.
пусть a>b и (a,b) = g
если h делит b и h делит a-b, то h делит и a так как (a-b)/h = a/h - b/h так что (a-b,b) <= (a,b)
с другой стороны a-b делится на g т.к. (a-b)/g = a/g - b/g и b делится на g, так что (a-b,b)=(a,b)
Аноним 24/05/15 Вск 02:53:38 #99 №268824 
14324252184760.jpg
14324252185071.jpg
Анатолий Фоменко[\b] - Математика: Двумерная сфера в трехмерном пространстве может быть вывернута наинанку

Интуитивно ясно, что стандартную окружность, вложенную в плоскость, нельзя «вывернуть наизнанку» посредством гладкой гомотопии в классе погружений. Можно доказать, что при любой попытке выворачивания обязательно возникнут угловые, «плохие» точки, как результат стягивания бесконечно малых петель. В то же время, двумерную сферу можно вывернуть наизнанку в трехмерном евклидовом пространстве в классе гладких погружений. То есть, самопересечения сферы допускаются, однако изломы и нарушения гладкости запрещены. Изобразить выворачивание сферы довольно сложно. Известно несколько способов таких изображений. Одно из них условно показано на рисунке.
МИФОЛОГИЯ
Храм змея-дракона. Легендарное существо как смесь разных животных: несколько голов, туловище змеи, ящера, крокодила, крылья птицы. Иногда в состав тела входят части рыбы, пантеры, льва, козла, собаки, волка и др. Огнедышащий змей — наиболее распространенный мифологический образ европейских легенд. В греческих мифах трансформировался в образ лернейской гидры с девятью змеиными головами. Змей — священный символ египетского фараона (змея Урей). Радуга — символ змея. Этот символ может быть благодатным, либо гибельным. По мифологии мунда радуга — напоминание об огненном потопе (огненном дожде), который изрыгнул змей, чтобы погубить мир.

Анатолий Фоменко[\b] - Анти-Дюрер. Из цикла: "Диалог с авторами XVI века". Геометрическая фантазия на темы общематематических концепций.

Датчики случайных чисел.

Рисунок возник после размышлений (с позиций математика) над известной гравюрой А. Дюрера "Меланхолия".

За прошедшие со времен Дюрера три столетия многое изменилось в восприятии научных достижений современников. Точку зрения автора на эту эволюцию читатель может понять, сравнив гравюру Дюрера с авторской графической работой.

Приведем лишь один пример. Дюрер поместил в верхний правый угол магический квадрат. Здесь он заменен десятичным разложением числа е = 2,71828182845904523536
0287471352662497757247093699959574966967...

Эта последовательность цифр записана по квадратной спирали, раскручивающейся от центра квадрата (см. цифру 2 в центре) против часовой стрелки.

Изображены только 121 знак десятичного разложения е. Такие десятичные разложения (некоторых иррациональных чисел) используются сегодня как датчики случайных чисел во многих статистических исследованиях...
Аноним 24/05/15 Вск 02:56:03 #100 №268825 
>>268823
Да это хуйня, у меня другой вопрос
Почему если a = bq + r | 0<=r<b то (a,b) = (r,b) = (b,r)
Аноним 24/05/15 Вск 02:59:05 #101 №268826 
>>268825
(a,b)=(a-b,b)=(a-2b,b)=(a-3b,b)=...=(a-(q-1)b,b)=(a-qb,b)=(r,b)
Коммутативность НОДа доказывать, надеюсь, не нужно.
Аноним 24/05/15 Вск 03:01:18 #102 №268827 
>>268826
О, ахуенно. Интересно, почему об этом нигде не пишут или я в глаза ебусь
Аноним 24/05/15 Вск 03:07:47 #103 №268828 
>>268819
Клини написал хорошую и очень доступную книгу.
Аноним 24/05/15 Вск 03:08:56 #104 №268829 
>>268827
Ок, а почему тогда НОД(a,b) будет на том шаге когда остаток будет равен нулю?
Аноним 24/05/15 Вск 03:16:27 #105 №268830 
>>268829
Почему наибольший общий делитель нуля и икса равен иксу ( (0,х)=х)? ну ХУЙ ЗНАЕТ может потому что 0 делится на х и х делится на х и при этом, х не делится на х+n (n>1)?
Аноним 24/05/15 Вск 03:20:49 #106 №268831 
Объясните зачем нужны высшие гомотопические группы.
Ну \pi_1 посчитать еще довольно просто, но ебля с высшими просто неописуемая по сравнению с теми же (ко)гомологиями.
Так тут еще и этальную \pi_1 придумали.
Зачем?
И чего еще кстати можно делать с ними кроме как различать пространства(ну кроме совсем тривиальных примеров применения аля Брауэр)
Аноним 24/05/15 Вск 03:21:36 #107 №268832 
>>268830
Действительно
Аноним 24/05/15 Вск 03:23:04 #108 №268833 
Почему кстати этальные \pi_n не определяют.
Через расслоения может как-то попытаться.
Или определяют таки?
Аноним 24/05/15 Вск 03:25:11 #109 №268834 
оппост, тащемта
>Я б наверное и стал бы топологом, кабы в какой-то
момент меня не остановил Витя Гинзбург, сказав,
что если я не прекращу изучать алгебраическую
топологию здесь и сейчас - придется мне навсегда
стать алгебраическим топологом, а эта наука вымирает
и скоро совсем вымрет.
Аноним 24/05/15 Вск 03:25:33 #110 №268835 
>>268830
потому, что наибольший общий делитель правильно определять, как образующий идеала (d) = (a,b).
а на самом деле, как предел диаграммы
Аноним 24/05/15 Вск 04:00:37 #111 №268837 
>>268835
Ето ещё что? я как то смотрел лекции об этих всех штуках, но ничего не понял. мб найдется простое объяснение
Аноним 24/05/15 Вск 04:01:32 #112 №268838 
>>268837
это вербитодети выёбываются словами, о которых мельком слышали
Аноним 24/05/15 Вск 04:05:02 #113 №268839 
Я вот не понимаю, кто сюда так бодро пишет в такое время? Студентота с Владивостока или аноны которые ещё не ложились? Я из мск
Аноним 24/05/15 Вск 04:05:53 #114 №268840 
>>268838
Ну хоть в общих чертах узнать полезно я тоже хочу
Аноним 24/05/15 Вск 04:27:13 #115 №268841 
>>268837
Идеал I коммутативного кольца M - это когда
1) I подкольцо M
2) mi∈I для любого i∈I, m∈M
Пересечение любого семейства идеалов - идеал.

Идеалом, порождённым множеством {a, b}, называется пересечение всех идеалов, содержащих элементы a, b. Обозначается (a, b).

Главный идеал - это идеал, который порождается одноэлементным множеством a. Элемент a называется образующим ака порождающим элементом идеала. Идеал, порождённый a, обозначается как (a).
Аноним 24/05/15 Вск 09:05:14 #116 №268855 
>>268391
А вот скажите лучше, почему ни древние Греки, ни Арабы, ни Индусы, ни Китайцы так и не смогли ни в пределы, ни в производные, ни в аналитическу геометрию, ни вообще в то, что называют высшей математикой? У них же были и потребность и какие-то мысли по этому поводу - черепахи там с Ахилесами, вычисление площадей исчерпаниями, квадратуры круга, которые они не могли доказать. Так почему же за х.з. сколько веков они так и остались на элементарном уровне, а потом за какие-то 150-200 лет в 17-18 веках математика сделала ебать какой скачок? Это же не физика, не техника, где нужен какой-то базовый уровень развития цивилизации. Это же логика, абстракции, сиди думай, совершай открытия. Думали они по всему видно дохуя, а открытий что-то не оче.
Аноним 24/05/15 Вск 09:19:48 #117 №268856 
>>268855
Могло не сохраниться. Могло быть нахуй не нужным на практике.
>Это же не физика, не техника, где нужен какой-то базовый уровень развития
А ещё ты недооцениваешь вклад общей урбанизации в склад мышления гомососапиенса.
Аноним 24/05/15 Вск 09:35:06 #118 №268861 
>>268855
Ну так математика сделала скачок по запросу физики (Ньютон, ага).
Аноним 24/05/15 Вск 09:38:21 #119 №268862 
>>268855
Для пределов требуется понятие бесконечности, а древние греки поголовно были ультрафинитистами и запрещали даже возведение числа в четвёртую степень как геометрически бессмысленное.
Аноним 24/05/15 Вск 11:25:13 #120 №268878 
>>268856
>>268861
Практические запросы и тогда были, как и предпосылки для дальнейших исследований. Написал же про исчерпания.

Вот это >>268862 больше на правду похоже. Догматы-догматики.
Аноним 24/05/15 Вск 11:36:22 #121 №268880 
>>268862
>как геометрически бессмысленное
Ну х.з. был же Платонизм, утверждавший реальность любых мыслимых идей и существование понятий отдельно от их реальных воплощений.
Аноним 24/05/15 Вск 12:03:22 #122 №268883 
>>268841
ну таки приятней думать все же, как о подмудуле с такими порождающими.
А то еслиб я такое в первый раз прочел, то не понял бы нифига.
Аноним 24/05/15 Вск 12:26:42 #123 №268885 
картофан
Аноним 24/05/15 Вск 13:23:16 #124 №268892 
>>268391
Ю.И.МАНИН. ВМЕСТО ПОСЛЕСЛОВИЯ

МАНИН ЮРИЙ ИВАНОВИЧ: член-корреспондент РАН, член многих иностранных академий, включая Академию Наук Ватикана, директор математического ин-та им. Макса Планка (Бонн, Германия), главный научный сотрудник математического ин-та им. В.А.Стеклова (РАН, Москва), лауреат премии Московского математического общества (1963), лауреат Ленинской премии за работы по алгебраической геометрии (1967), лауреат международной золотой медали Брауера за работы по теории чисел (1987), лауреат международной премии Фредерика Ессера Неммерса (1994).

Автокомментарий, которым снабжен каждый лист А.Т.Фоменко, избавляет меня от необходимости разбирать отдельные работы: моя задача — указать общий для них контекст.
Самый широкий контекст — несомненно, цивилизация, в культурологическом употреблении этого слова, когда оно противопоставляется не только природе, но и культуре.
Цивилизация как образ жизни общества есть процесс, предполагающий совокупность высоко специализированных общественных действий, создающих сложные искусственные структуры, которые обречены на распад или окаменение, будучи извлеченными из своей цивилизации.
Основной материальной структурой цивилизации является Город. Он же, в философском плане, является основной идеологемой, с которой соотносятся все проявления духовной жизни общества. Отношение к Городу может меняться в очень широких пределах, утопические пректы голубых городов будущего могут сосуществовать с призывами вернуться к почвенным ценностям, но Город неизменно находится в центре всех разнонаправленных тенденций развития цивилизации. Он питает индустрию, идеи прогресса и утопии, он же порождает исторический пессимизм, иррациональный милитаризм и темные мифы современности.
Математика — это эзотерический язык цивилизации. Неоднократно отмечалось, что математика по своему существу тавтологична; внутренний смысл любого вычисления или доказательства — сохранение истинности на всем пути от посылок до выводов: но тогда каждый шаг на этом пути — тавтология.
Цивилизация тавтологична, как математика. Ее творческий дух проявляется не столько в выборе пути по бесконечно ветвящемуся дереву тавтологий, сколько в выборе системы ценностей, которая определяет этот путь, или, скорее, отвергаемые пути.
Листы Фоменко задают эту систему ценностей серией отрицаний, что обусловлено вторым, суженным контекстом его творчества — цивилизацией двадцатого века.
Вот возможное словесное чтение этой графики; тоталитаризм есть геометрия: свобода есть свобода бегства, а не бега: уход во внутреннюю свободу есть деформация тела и души.
Христианство видится через систему призм, преломляющих изначальный образ, который уже невосстановим. Крест исполинских размеров — торжество тоталитарной геометрии, а распятая на нем душа — незначащее мгновение геометрической вечности. Рационализированный миф язычества и рационализированный миф христианства в графике и тексте Фоменко художественно равноправны: первый обладает, пожалуй, более высоким художественным потенциалом, ибо ближе к подсознанию. Распятия Фоменко проявляют изначальный парадокс христианства, давно замеченный на Востоке; ТАКОЙ КРЕСТ нельзя любить и нельзя сделать символом ничего человеческого.
Геометрия (в техническом смысле этого слова — теория измерений и твердых тел) противостоит топологии как стена или крест противостоят живому телу. Гомеоморфизм изображается скрученной в пыточной камере плотью: сама камера вырастает до вселенских размеров: она не может быть ограничена даже стенами. Стены у Фоменко ничего не ограничивают и ничего не разделяют: если приглядеться — их пытают этим существованием, так же как и людей. Реалистически изображена мука: все остальное лишь чудится измученному сознанию. Имеются многочисленные переклички между работами Фоменко с резко выявленными урбанистическими мотивами и так называемой «бумажной архитектурой»: они заслуживают отдельного рассмотрения.
Дюрер изучал перспективу как дар искусству от просвещенного просветленного) разума: Фоменко возвращает этот дар с серьезностью, которая могла бы показаться пародийной, если бы не была трагической. Его вариации не темы старых мастеров (например, высоко ценимая мною «Меланхолия») — отчаянное усилие возобновить диалог с культурой, и в этом он повторяет судьбу всего искусства постиндустриальной эпохи.
Геометрия правит перспективой, топология — деформацией.
Деформация вообще есть старинный многофункциональный прием искусства. Олень в наскальной галерее великолепно деформирован бегом — разные части его тела увидены в разные моменты времени. Детский рисунок или ковчег Мемлинга деформирован прекрасным видением времени, для которого нет мгновения, а есть лишь длительность, равноправная с пространственной протяженностью. Фигуры Микельанджело деформированы напором божественной энергии, рвущейся изнутри всего сущего: фигура Босха — ухмылкой дьявола: фигуры Сальвадора Дали — тщательно спроектированным хаосом.
Фоменко предлагает читателю на выбор два способа рационализации искаженного мира; посредством математики или мифологии, то есть смыкает вершины рационального размышления с глубинами архаического и бессознательного.
В этом сопоставлении есть глубокая и поучительная ирония: невозможность выбора заставляет признать его ненужность, отождествить крайности и взглянуть со стороны на спокойное существование бытового рассудка. Если в Гамлетовском безумии есть своя система, то и во всякой системе есть свое безумие: способы, которыми Фоменко это демонстрирует, доходят до изощренности в комментарии к листу 139 (каталог-243); сообщение о том, что узор игральных камней на стене изображает десятичное разложение π, но одна из цифр сознательно изменена. Недоступность истины, сопровождаемая сознанием искаженности ее передачи — слишком хорошо знакомое моим современникам чувство: здесь оно усугубляется внезапным пониманием, что истина и не нужна.
Со всем тем я не хочу сказать, что нам и художнику следует искать утраченный рай гармонии. Дело художника — честность и умение: тогда он становится одним голосом в большом хоре времени, музыка для которого пишется неведомо кем.
Аноним 24/05/15 Вск 13:59:57 #125 №268897 
>>268892
Посмотрел картины Фоменко - лютейший вин, как я раньше о нём не знал.
Аноним 24/05/15 Вск 14:03:09 #126 №268898 
>>268855
Потому что те вещи которые ты перечислил как "простые" простыми кажутся только задним числом. Помимо них, в истории была куча другого математического знания, которая просто отмерла со временем и до нас не дошла, осталось только это - особо удачное. Чтобы его открыть может и не нужно ничего технически сложного сделать, но нужно точно выделить связи, убрать ненужное, посмотреть с другой стороны, что в контексте может быть очень сложно. Точно так же наши потомки будут недоумевать типа "А что это наши предки ни до Батхертов Сосницкого, ни до пруфологической алгебры не додумались, даже теоремы перечисления мемов не знали, тупые ваще)".
Аноним 24/05/15 Вск 14:07:28 #127 №268901 
>>268897
киньте сюда текст новикова, где он засирает фоменко и прочих
Аноним 24/05/15 Вск 14:24:12 #128 №268903 
>>268901
кто такой этот хуесос? Вот Манин - уважаемый поцан, картины Фоменко заапрувил.
Аноним 24/05/15 Вск 14:38:57 #129 №268905 
>>268903
Клаасика вербитодаунизма.
Аноним 24/05/15 Вск 15:12:20 #130 №268916 
>>268905
казалось бы, причём тут вербит? а ни при чём тут вербит
Аноним 24/05/15 Вск 15:15:42 #131 №268917 
>>268916
Зато вербитодауны ещё как причём.
Аноним 24/05/15 Вск 15:16:52 #132 №268918 
>>268917
что же, спорить не буду, вербитодаунам лучше знать, причём вербитодауны или не причём.
Аноним 24/05/15 Вск 15:24:33 #133 №268920 
>>268697
Ах тыж, туплю
Просто слово "уравнение" у меня по дефолту значит "дифференциальное уравнение".
Аноним 24/05/15 Вск 15:29:39 #134 №268922 
>>268905
>>268917
эй картофельный))) привет
Аноним 24/05/15 Вск 17:20:44 #135 №268939 
http://www.youtube.com/watch?v=YDeUg7hzYs8
https://www.youtube.com/watch?v=Qij1teVkfIk
https://www.youtube.com/watch?v=esqXG_w8Cpw
Аноним 24/05/15 Вск 17:25:03 #136 №268943 
>>268939
Так он всё правильно говорит же! Между прочим, выходит так что нас наёбывают и гораздо глубже, например нужно испровлять конструкцию произведения объектов в декартово-замкнутых категориях (что, по сути, прямое обобщение обычного 71=111111*1), что-то нужно менять на метматематическом уровне. А то выходит, что это всё проделки жидомасонов которые хотят уничтожить русское знание, реконструкции математики нить иди!
Аноним 24/05/15 Вск 17:47:25 #137 №268950 
14324788459540.jpg
Нэш все. Отправился сегодня к Платону.
Аноним 24/05/15 Вск 17:54:05 #138 №268951 
не знаешь что такое гомологии - кричи вербитодауны
не знаешь что такое кольцо - кричи вербитодауны
не знаешь что такое многообразие - кричи вербитодауны
засирают картофанчик - кричи вербитодауны
не обмазываются диффурурами и подстановочками - кричи вербитодауны
Аноним 24/05/15 Вск 17:54:33 #139 №268952 
>>268950
Обидно.
Аноним 24/05/15 Вск 18:07:28 #140 №268955 
14324800481880.jpg
Good night, sweet prince.
Аноним 24/05/15 Вск 18:09:38 #141 №268957 
14324801783720.png
Я конечно всё понимаю, но... герой фильма?! Идиоты.
Аноним 24/05/15 Вск 18:19:33 #142 №268958 
>>268957
Лол, картофанычи обосрались.
Аноним 24/05/15 Вск 18:21:18 #143 №268959 
...после освоения материала
матшколы (дифференцирование, интегрирование простейших функций,
ряды, сходимость, ряды Тэйлора) весь остальной контент курса "анализа"
надо запихать в курсы общей топологии, теории меры,
анализа на многообразиях и функана.

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

Преподавание калькулюса в его стандартном формате
надо приравнять к преступлениям против личности и карать
как-нибудь особенно жестоко.
Аноним 24/05/15 Вск 18:22:49 #144 №268960 
>>268957
А кто у нас герой того фильма? Неужто Мишенька? А я то всегда думал, что Нэш.
Аноним 24/05/15 Вск 18:23:06 #145 №268961 
>>268951
Вербитодауну припекло.
Аноним 24/05/15 Вск 18:36:13 #146 №268963 
>>268961
KARTOFANCHES, ETO TI?
Аноним 24/05/15 Вск 18:37:15 #147 №268964 
Как решить сравнение 1 = 2a mod(a+2) ?
Аноним 24/05/15 Вск 18:41:03 #148 №268968 
>>268963
Школьник, please.
Аноним 24/05/15 Вск 18:42:15 #149 №268970 
>>268968
Паслён клубненосный, плес
Аноним 24/05/15 Вск 18:42:36 #150 №268971 
>>268957
>герой фильма?! Идиоты
>мам, смотри, я тип небыдло
Аноним 24/05/15 Вск 18:43:05 #151 №268972 
>>268959
Толстота-то какая.
Миша совсем скатился - аргументы уровня траллёнка из бэ.
Аноним 24/05/15 Вск 18:54:57 #152 №268977 
14324828970080.jpg
>>268880
А бесконечность немыслима. Кто будет её мыслить, того изгнать из города за богохульство.
Аноним 24/05/15 Вск 19:01:20 #153 №268979 
>>268964
Аноним 24/05/15 Вск 19:11:04 #154 №268981 
>>268855
Вообще- то, по крайней мере греки, скорее всего вполне смогли бы. Потому что Антифон, Евдокс, Герон и прочие уже занимались чем- то вроде недоанализа.
Аноним 24/05/15 Вск 19:17:28 #155 №268982 
>>268952
> Обидно.
На самом деле нет.
Я думаю, гибель шизика повод для критики теории игр и всего остального. Так что давайте обосрем его наверное?
Аноним 24/05/15 Вск 19:19:13 #156 №268983 
>>268964
пиздец
Аноним 24/05/15 Вск 19:23:05 #157 №268984 
>>268702
a + 2 = 2a - 1
a = 3
Аноним 24/05/15 Вск 19:23:50 #158 №268985 
Нет.
Аноним 24/05/15 Вск 19:28:03 #159 №268987 
>>268984
Как ты это сделал? даун в треде
Аноним 24/05/15 Вск 19:35:47 #160 №268990 
14324853479090.jpg
>>268985
пидора ответ.
Аноним 24/05/15 Вск 19:48:37 #161 №269000 
>>268972
таки а с чем конкретно ты не согласен?
Аноним 24/05/15 Вск 20:04:47 #162 №269011 
>>268981
Не сделали, значит, не могли.
Аноним 24/05/15 Вск 20:48:32 #163 №269022 
14324897128910.jpg
Пацаны, помогите, пожалста студенту-оболтусу! В первую очередь молю мат.статистистов.
Как проверить временной ряд на стационарность?
Есть ряд, вообщем,
0; -0.01; 0.02; -0.06; и т.д. примерно 1000 значений.
Гуглю второй день - читаю разные сайты. Никак не могу врубиться. Прихрамывает у меня статистика, да и тервер на обе ноги.
Думаю, надо юзать тест Дикки-Фуллера, но чет там какая-т о хрень понаписана.
Все же просто должно быть, казалось бы. Но написано везде так как будто читать это бьудет только Колмогров или сами эти Дики и Фуллер.
Очень буду признателен.
Аноним 24/05/15 Вск 20:49:16 #164 №269023 
>>268957
Как же раздражают эти киношные представления о гениальности. Вот помню как Хокинг в недавнем фильме начеркал с утро десяток задач, заданных ему и его сокурсникам, которые блять нихуя не решили, типа он такой невъебенно охуенный, что прям еще и уместил их на карманном расписании поездов. Или блять как этот экономист Нэш провел невъебенную лекцию по калькулусу для первокурсников, просто написав на доске дифур, и объявив о своей охуенности. Блтяь и все телок еще насаживают как нехуй, и могут пиздеть о какой-то хуйне. Настоящие фильм про математику должен быть драмой, где нищие еврейские дети, загнанные антисемитским правительством в пустующие аудитории второго гуманитарного корпуса, ебут себя в жопу резиновым членом. Или, если серьезно, как подающие надежду студенты к выпуску или даже после защиты диссертации начинают зацикливаться на каких-то темах, аутируют над сложными задачами, и пропадают в ебаной пустоте говна, нищеты и пожизненной девственности. О которых после выпуска ничего не слышно, и которые нихуя нового не придумали, но всю жизнь к этому шли.
Аноним 24/05/15 Вск 20:51:43 #165 №269024 
>>269023
Но мы же хотим фильм о жизне Джона Нэша, а не о твоей.
Аноним 24/05/15 Вск 21:05:50 #166 №269027 DELETED
>>269023
>где нищие еврейские дети, загнанные антисемитским правительством
Вербит, плиз.
Аноним 24/05/15 Вск 21:10:59 #167 №269028 DELETED
>>268808
Так вся ТЧ. Все открытия в ТЧ полезны только в криптографии и в ТЧ.
Аноним 24/05/15 Вск 21:19:28 #168 №269030 
>>269023
Сохраняй спокойствие и продолжай изучать прелести математики. А то как будто не небыдло.
Аноним 24/05/15 Вск 22:07:15 #169 №269035 
14324944356390.jpg
>>268391
Платиновый вопрос.
Посоветуйте книг для начинающих.
Аноним 24/05/15 Вск 22:12:21 #170 №269037 
>>269035
Элементы математики Бурбаки.
Аноним 24/05/15 Вск 22:45:49 #171 №269046 
>>269037
Двачую этого ценителя.
Аноним 24/05/15 Вск 22:46:32 #172 №269047 
>>269035
"Алгебра" Гельфанд Шень
Аноним 24/05/15 Вск 22:47:19 #173 №269048 
>>269047
Не слушай этого говноеда. Читай Бурбаки
Аноним 25/05/15 Пнд 00:13:51 #174 №269062 
Неш всё.
Аноним 25/05/15 Пнд 00:15:38 #175 №269063 
>>269028
Ничего удивительного, ведь ТЧ рассматривает наиболее низкий с точки зрения абстракции класс объектов - целые числа и их свойства. Найденные результаты некуда перекладывать, поскольку все остальное оперирует объектами более высокого уровня.

Ценность ТЧ в том, что это эдакий бенчмарк математики, показывающий, насколько нихуя математики не знают и не умеют. Задачи формулируются на уровне пятиклассника, а решить их не помогают ни K-теории, ни гомологические алгебры, ни прочие ваши очень важные современные кококо. Либо надо триста лет ковырять их вилкой со всех сторон, как Уайлс и компания, либо объебаться ноотропами, запереться в кладовке на 20 лет, изучить 2500 страниц работ предшественников и нахуярить 4 статьи на клингонском, как Мочидзука.
Аноним 25/05/15 Пнд 01:00:43 #176 №269066 
>>269063
Есть теорема о том, что не существует рекурсивно аксиоматизируемой теории, которая бы давала ответ на вопрос имеет ли любое диофантово уравнение решение или не имеет. Поэтому слабость или сила К-теорий и гомологических алгебр тут ни при чём, под любую сколь бы то ни было мощную теория можно подобрать диофантово уравнение, которое она не разрешит - такова судьба, щито поделать.
Аноним 25/05/15 Пнд 01:04:45 #177 №269068 
>>269066
Ты о десятой проблеме Гильберта?
Аноним 25/05/15 Пнд 01:05:41 #178 №269069 
>>269068
Об одной из её переформулировок, да.
Аноним 25/05/15 Пнд 01:36:56 #179 №269073 
14325070165860.png
сосоны, поясните что происходит в примере.
формально подставляем y=x^sqrt2 в рациональную функцию, далее полагаем x=0. это ведь просто будет f(0,0)/g(0,0), если трактовать это по-обычному.
если что, это Lang - introduction to algebraic geometry.
Аноним 25/05/15 Пнд 01:37:11 #180 №269074 
>>269069
На этот факт можно посмотреть и под другим углом
>Теорема Матиясевича утверждает, что любое множество, порождаемое алгоритмом (на техническом языке - перечислимое), диофантово. В частности, таково множество номеров доказываемых теорем любой формальной системы, скажем, всей аксиоматизированной математики.
>Перенумеровав методом Гёделя все синтаксически правильные утверждения натуральными числами, мы затем можем написать программу, или алгоритм, перечисления всех доказуемых результатов нашей теории (ее теорем). Моделью теории, таким образом, становится определенная с помощью (многократной) функция f: Z^+ -> Z^+ (первое Z^+ - это номер порождаемой теоремы, второе - номер утверждения теории). Вместо того, чтобы спросить, доказуема ли теорема номер n, мы можем спросить, разрешимо ли уравнение f(x) = n.

То есть вся математика (да и вообще любая аксиоматизированная теория) содержится в ТЧ. Ковыряйте ТЧ - познаете математику. Равно как и наоборот: будете ковырять ТЧ - выковыряете такой пиздец, шо я ебал его мама рот.
Аноним 25/05/15 Пнд 01:43:22 #181 №269075 
>>269074
Хуйню написал, если честно.
Аноним 25/05/15 Пнд 01:49:18 #182 №269076 
>>269075
В смысле? Зеленый текст из книжки.
Аноним 25/05/15 Пнд 01:50:06 #183 №269077 
>>269076
Я про >вся математика (да и вообще любая аксиоматизированная теория) содержится в ТЧ
Аноним 25/05/15 Пнд 01:55:23 #184 №269079 
>>269077
Ну и что не так? Вместо того, чтобы доказывать утверждение, нумеруй утверждения в рамах теории, строй функцию f, решай уравнение f(x) = n - и узнаешь, что верно оно или нет. Алсо, алгоритм эффективный, то есть можно восстановить доказательство, если оно тебе нужно. То есть вместо знания математики достаточно иметь комп и уметь решать диофантовы уравнения.
Аноним 25/05/15 Пнд 01:56:48 #185 №269080 
>>269079
Ну и как отсюда можно восстановить например доказательство гипотезы Каталана?
Аноним 25/05/15 Пнд 01:57:26 #186 №269081 
>>269080
Да всё правильно он пишет, пройди стандартный курс логики и не позорься.
Аноним 25/05/15 Пнд 02:05:28 #187 №269083 
14325087285730.png
>>269080
Как - описано зеленым текстом. Если тебя интересует конкретное описание алгоритма, то читай Манин, Панчишкин "Введение в современную теорию чисел". Алсо, для некоторых задач есть явные представления в виде диофантова уравнения. В той же книжке приведена ссылка на работу, в которой даны диофантовы формы гипотезы Римана и проблемы четырех красок. На пике приведен многочлен, положительными корнями которого являются простые числа (и только они).
Аноним 25/05/15 Пнд 02:06:01 #188 №269084 
>>269083
Кароче https://upload.wikimedia.org/math/2/9/4/2945ed93856bc258c45cb1d858f39278.png
Аноним 25/05/15 Пнд 02:08:10 #189 №269085 
>>269083
ну только не положительными корнями, а множество положительных значений совпадает с множеством простых чисел.
Аноним 25/05/15 Пнд 02:11:26 #190 №269086 
>>269085
А, ну да, напиздел, сорри
Аноним 25/05/15 Пнд 09:34:50 #191 №269102 
Пиздец вы пидары тут сидите.
Аноним 25/05/15 Пнд 09:49:50 #192 №269104 
>>269102
вербитенок прибежал
Аноним 25/05/15 Пнд 10:11:09 #193 №269106 
>>269074
Уточни, что ты подразумеваешь под ТЧ, какую-то конкретную аксиоматическую теорию?
Аноним 25/05/15 Пнд 10:25:08 #194 №269108 
>>269028
да вся ваша ебучая математика, кроме пресловутых интегральчиков бесполезна так-то
Аноним 25/05/15 Пнд 13:47:14 #195 №269136 
14325508341670.png
>>268391
Аноним 25/05/15 Пнд 14:30:37 #196 №269149 
>>269108
Для тебя - да. Потому что ты вторичный хуй.
Аноним 25/05/15 Пнд 15:01:14 #197 №269155 
14325552747350.jpg
>>269104
ПАШОЛ НАХУЙ! Я - >>269022-кун. Сука, никто блять не ответил. Че за мудаки вы тут сидите? Хоть бы кто написал - "иди сам разбирайся". Нет же, блять, тупо игнорят. Козлы.
Кстати, уже помогать не надо. Разобрался сам. Не так уж тяжело оказалось. Построил авторегрессионную модель. Сравнил коэффициент b=a-1 c табличками Дики-Фуллера и все.
А ВЫ ВСЕ ПИДАРАСЫ ЗДЕСЬ!

Аноним 25/05/15 Пнд 15:03:49 #198 №269156 DELETED
>>269155
Иди сам разбирайся.
Аноним 25/05/15 Пнд 15:25:11 #199 №269159 
>>269155
Тебе здесь никто ничего не должен, мудило.
Аноним 25/05/15 Пнд 15:45:40 #200 №269166 
>>269155
Тут твоё говно нахуй не всралось. Тут самые илитные намбер теористы обсуждают насущные проблемы.
Аноним 25/05/15 Пнд 16:07:58 #201 №269170 
>>268831
пидоры на мой вопрос тоже отвечайте
Аноним 25/05/15 Пнд 16:20:57 #202 №269171 
>>269155
Ты какой-то очень грубый, нехороший анонимус. Ты мне не нравишься, уходи отсюда.
Аноним 25/05/15 Пнд 17:04:22 #203 №269178 
14325626625530.jpg
Это тред илитариев что ли?
Аноним 25/05/15 Пнд 17:05:18 #204 №269179 
>>269155
Есть же вопросов и ответов тред.
Аноним 25/05/15 Пнд 17:07:39 #205 №269180 
>>269179
Утоп вроде.
Аноним 25/05/15 Пнд 18:31:52 #206 №269204 
Объясните по-хардкору, чем занимается теория чисел? Из университетского курса ТЧ я так и не понял, чем ТЧ отличается от алгебры, и зачем ее надо было выделять в отдельный предмет.
инбифо: тч изучает числа
Аноним 25/05/15 Пнд 19:11:55 #207 №269222 
>>269178
это тред вербитосрача с участием вербитодаунов

Аноним 25/05/15 Пнд 19:17:56 #208 №269223 
>>269204
гуглить пробовал?

алгебра изучает алгебраические структуры
или по другому операции над элементами некоторого множества

ТЧ изучает числа совершенно верно

ТЧ вон использует аппарат матана и что ты ж с матаном ее не путаешь?

вообщем разница в целях и предмете изучения


Аноним 25/05/15 Пнд 20:17:24 #209 №269240 
>>269106
Что бы и кем бы ни подразумевалось под ТЧ, одной из исследуемых ею объектов являются диофантовы уравнения (разрешимость, нахождение множества корней и т.д.). Для всего сказанного выше этого достаточно.
Аноним 25/05/15 Пнд 20:17:38 #210 №269241 
>>268981
Ну так вот собсно и интересно, почему не смогли. Ведь фактически лет за 100 с небольшим лет Лейбниц, Ньютон, Эйлер, ну там еще Бернулли разные с Якоби заебашили практически весь матанализ. Не думаю, что чисто интеллектуально каждый из них был прям вот в разы умнее Платонов с Архимедами 400 лет пиливших свои начала и в конце концов пришедших лишь к кризису идей. Что-то тут было еще.
Аноним 25/05/15 Пнд 20:23:49 #211 №269243 
>>269241
У древних не было удобной системы обозначений равно как и абстрагированием пользовались очень слабо, чего стоит один Пифагор, который считал, что чиселки существуют как (мета)физические объекты. Поэтому заебашить нормальный анализ было равносильно реализации ООП на брейнфаке.
Аноним 25/05/15 Пнд 20:31:17 #212 №269245 
Как формально доказать, что произведение двух, трех, четырех... последовательных чисел делится на 12, 123, 1234 соотв-но? Интуитивно понимаю, но хочу строгости.
Аноним 25/05/15 Пнд 20:32:54 #213 №269246 
>>269245
РаЗмеТоЧКА%%
Аноним 25/05/15 Пнд 20:33:49 #214 №269247 
>>269245
>1х2, 1х2х3, 1х2х3х4 соотв-но
fix
Аноним 25/05/15 Пнд 20:34:51 #215 №269248 
>>269241
Потому что кризис эллинизма гроб гроб кладбище, а латинянам греческие умствования особо не уперлись? Хз на самом деле.
>>269243
>У древних не было удобной системы обозначений
Что ты несешь, лол.
>равно как и абстрагированием пользовались очень слабо, чего стоит один Пифагор, который считал, что чиселки существуют как (мета)физические объекты
Пифагор- то тут причем? Он был сильно раньше и вообще у тебя походу какая- то каша в голове.
Аноним 25/05/15 Пнд 20:35:25 #216 №269249 
>>269245
Рассмотри остатки при делении на 2, 3, 4 соответственно. Хотя бы у одного числа будет остаток 0.
Аноним 25/05/15 Пнд 20:36:53 #217 №269251 
>>269249
Это не формальное доказательство
Аноним 25/05/15 Пнд 20:44:36 #218 №269253 
>>269249
Само собой понятно, что если один множитель делится на 2, следующий делится на 3, то произведение будет делиться на 6.
Аноним 25/05/15 Пнд 20:51:54 #219 №269255 
>>269248
Вообще, как мне видится с дивана, причина была в в том, что над ними довлела развитая культура. Т.е. у них, с их точки зрения, уже была развитая, стройная и хорошо разработанная математика, которая была вписана как общекультурный так и в философский контекст. Греки стали чересчур культурными и умными, что сковывало полет мысли, вот они и забуксовали.
Аноним 25/05/15 Пнд 20:54:43 #220 №269256 
>>269248
>Что ты несешь, лол.
Самое первое использование обозначения для операции умножения в литературе - 1631 год. Для сложения - 1489. Про использование переменных вообще можно промолчать. До этого момента практически все хуярили словами. Попробуй хотя бы дать строгое определение предела без использования переменных.

>Пифагор- то тут причем? Он был сильно раньше
define сильно. Раз ноль ни те, ни другие не изобрели, значит, у обоих было одинаково хуево с абстрагированием.
Аноним 25/05/15 Пнд 20:58:31 #221 №269257 
>>269251
Ты спросил как формально доказать, а не просил привести его. Да и оформить верную идею в формальное доказательство надо бы уметь самому.

>>269253
>если один множитель делится на 2, следующий делится на 3
Не обязательно следующий. Один из кучки множителей делится на 2, второй возможно он же делится на 3.
Аноним 25/05/15 Пнд 21:01:08 #222 №269259 
>>269257
>Ты спросил как формально доказать, а не просил привести его. Да и оформить верную идею в формальное доказательство надо бы уметь самому.
Сам, к сожелению, не могу, вот и спрашиваю. Прошу привести формальное доказательство.
>Не обязательно следующий. Один из кучки множителей делится на 2, второй возможно он же делится на 3.
Я в курсе и уже двести лет пользуюсь этой идеей, но захотелось все таки четко это закрепить.
Аноним 25/05/15 Пнд 21:34:00 #223 №269260 
>>269240
Не достаточно, если утверждаешь подобное:
>То есть вся математика (да и вообще любая аксиоматизированная теория) содержится в ТЧ

Можно говорить, что теория A содержится в B, если всё аксиомы A либо содержатся в B, либо являются теоремами B. Ты же не определяешь ТЧ как аксиоматическую теорию, а просто как некую область, которая занимается диофантовыми уравнениями. Тогда из твоих слов получается, что любая теория вкладывается в область математики - ерунда выходит.
Аноним 25/05/15 Пнд 21:35:21 #224 №269261 
>>269256
Нахуя оно нужно, строгое определение предела, в контексте данного разговора? Ну да, строгое нельзя, а ещё нельзя собрать из говна и палок атомный авианосец, но кагбе речь немного не о том, если ты не заметил.
>define сильно
Скажи честно, ты хоть кого-нибудь из греческих математиков, кроме Пифагора знаешь? Чем они занимались, какие задачи решали, как воспринимали математику, а какие задачи решал Пифагор?
Аноним 25/05/15 Пнд 21:53:13 #225 №269263 
Сосач, поясни почему схемы не нужны, а гротендик сосал хуи?
Аноним 25/05/15 Пнд 21:53:16 #226 №269264 
>>268855
http://shkrobius.livejournal.com/514159.html
http://shkrobius.livejournal.com/514159.html?thread=7944815#t7944815
> Они строго говоря "метод исчерпания" называются - процедура предельного перехода для частного случая известна со времен Архимеда. Только милиционеров там приходится подбирать под ситуацию ну и епсилон-дельты каждый раз заново проделывать
Аноним 25/05/15 Пнд 21:54:54 #227 №269265 
>>269263
Потому что это не так.
Аноним 25/05/15 Пнд 21:55:11 #228 №269266 
>>269260
Я не говорю, что одна теория содержится в другой теории в математическом смысле. Я говорю о том, что все доказательства одной теории можно восстановить, исследуя другую, в частности, найдя алгоритм нахождения решений нужного диофантового уравнения. В этом смысле вся содержательная часть одной теории содержится в другой, т.к. из результатов одной теории можно получить все результаты другой.
Аноним 25/05/15 Пнд 22:12:49 #229 №269274 
>>269263
Но ведь схемы нужны, а Гротендик няша был.
Аноним 25/05/15 Пнд 22:14:41 #230 №269275 
>>269261
Какие-то маневры.
>Нахуя оно нужно, строгое определение предела, в контексте данного разговора?
Потому что говорили о том, что Лейбницы с Ньютонами заебашили весь матанализ, а потом удивлялись, почему Платоны с Архимедами не смогли сделать то же самое. С определения предела начинается матанализ. Не могли разобраться с этим вопросом - значит, не смогли бы осилить и все остальное, потому что в матане доматановая интуиция практически не работает, а формального аппарата для расписывания по-хардкору нет.
>Ну да, строгое нельзя, а ещё нельзя собрать из говна и палок атомный авианосец, но кагбе речь немного не о том, если ты не заметил
Речь именно об этом, если ты не заметил. Я не знаю, какой тезис ты пытаешься обсуждать, и самое главное, с кем. Свой тезис я обрисовал выше.

>Скажи честно, ты хоть кого-нибудь из греческих математиков, кроме Пифагора знаешь?
Скажи честно, ты можешь отвечать по существу, а не переводить стрелки? В любом случае, пользоваться абстрагированием не там где надо с точки зрения результата эквивалентно тому, чтобы не пользоваться им вообще. Вопрос был о том, почему, например, древние не смогли запилить матан, хотя были к этому близки. Ответ - не разработали удобной системы обозначений, и не умели абстрагироваться от нужных для этой цели вещей. Если нуль до средневековья не считался числом, если Зенон траллил всех своей черепахой, если иррациональность корня из двух вызвала у всех такой бугурт, то если бы кто-то стал говорить что-то о бесконечно малых числах, его бы просто обоссали.
Аноним 25/05/15 Пнд 22:39:59 #231 №269281 
>>269274
Зачем?
Аноним 25/05/15 Пнд 22:49:24 #232 №269282 
>>269281
Про алгебро-геометрические коды слышал, например?
Аноним 25/05/15 Пнд 22:57:37 #233 №269284 
>>269282
А схемы то зачем?
Аноним 25/05/15 Пнд 23:00:33 #234 №269287 
>>269266
Ну ладно. Можно здесь поподробней:
>строй функцию f, решай уравнение

Как эффективно строить функцию? Насколько я понял, определение этой функции носит неконструктивный характер.
Аноним 25/05/15 Пнд 23:01:51 #235 №269290 
>>269284
Изучение пространств модулей
Аноним 25/05/15 Пнд 23:02:28 #236 №269292 
>>269284
А ты собрался алгеом без схем изучать? Это всё равно что быть алгебраистом и не пользоваться теорией категорий.
Отвергать удобные языки неразумно.
Аноним 25/05/15 Пнд 23:02:49 #237 №269293 
>>269287
Ну для гипотезы Римана и прочих, как выше упоминалось, вполне построили. Так что видимо достаточно конструктивный.
Аноним 25/05/15 Пнд 23:04:13 #238 №269296 
>>269292
Нормально занимались до гротендика, да и сейчас многие занимаются.
А теория категорий зачем нужна?
Совершенно бесполезная вещь на проверку. И опять же и занимались и занимаются без нее. Вот подойди к любому на мехмате и спроси лемму йонеды, он тебе не ответит.
Аноним 25/05/15 Пнд 23:05:06 #239 №269297 
>>269296
Но ведь на мехмате не занимаются АГ. только водовкой с картофанчиком
Аноним 25/05/15 Пнд 23:05:43 #240 №269298 
Одни вскукареки, что надо и удобно, а по делу то скажите.
Придумывать новые слова, переформулировать старые задачи в новый терминах и гонять все туда-сюда не очень то полезно, как мне кажется.
Аноним 25/05/15 Пнд 23:06:18 #241 №269300 
>>269290
>>269298
Аноним 25/05/15 Пнд 23:06:25 #242 №269301 
>>269297
Алгеброй занимаются же, без теории категорий.
вербятки опять понабежали
Аноним 25/05/15 Пнд 23:07:05 #243 №269302 DELETED
>>269298
Наивный школьник, плеазе.
Аноним 25/05/15 Пнд 23:07:12 #244 №269303 
>>269300
Ты бы сказал еще изучение схем.
Зачем нужны эти пространства модулей.
Почему без них нельзя.
Почему в них без схем нельзя
Аноним 25/05/15 Пнд 23:07:31 #245 №269304 
>>269300
Ты бы сказал еще изучение схем.
Зачем нужны эти пространства модулей.
Почему без них нельзя.
Почему в них без схем нельзя
Аноним 25/05/15 Пнд 23:08:09 #246 №269305 
>>269301
Ну так пусть занимаются, факт в том что они лишают себя удобств, и это их право.
Это то же самое, что сейчас добровольно жить без электричества.
Аноним 25/05/15 Пнд 23:09:46 #247 №269306 
Где удобство.
Можно конкретный пример задачи не рожденной схемами, а из вне, которая становиться сильно проще от категорий и схем.

Аноним 25/05/15 Пнд 23:13:19 #248 №269308 DELETED
>>269306
Да, можно.
Аноним 25/05/15 Пнд 23:14:22 #249 №269309 
>>269296
> Вот подойди к любому на мехмате
Проиграл с подливой, НА САМОМ МЕХЪ-МАТЕ никто не ответит, вот уж трагедия нахуй.
Аноним 25/05/15 Пнд 23:16:19 #250 №269310 
14325849795670.jpg
>>269303
>Зачем нужны эти пространства модулей.
Аноним 25/05/15 Пнд 23:17:04 #251 №269311 
Кококоок схимы нужны патамушта богатый язык и без категорий нельзя мотематикой заниматься, а михмат говно.

Вот все аргументы схемоебов-вербитиков
Аноним 25/05/15 Пнд 23:17:42 #252 №269312 DELETED
>>269310
Не понял картинку, разъясните для мимокрока.
мимокрок
Аноним 25/05/15 Пнд 23:18:24 #253 №269313 DELETED
>>269311
Согласен. А ты - говно и школьник.
Аноним 25/05/15 Пнд 23:18:56 #254 №269314 
>>269312
май ский ж ук
Аноним 25/05/15 Пнд 23:19:02 #255 №269315 
>>269293
В чём профит тогда? Гипотеза Римана как была нерешенной, так и осталась после сведения её к диофантовому уравнению.
Аноним 25/05/15 Пнд 23:19:17 #256 №269316 
>>269306
Посчитай гомологии группы A (полупрямое произведение) Z x Z, А - абелева и действует на ZxZ обращениями.
Аноним 25/05/15 Пнд 23:20:13 #257 №269317 DELETED
>>269314
АХАХА!!111
нихуянепонел
Аноним 25/05/15 Пнд 23:20:56 #258 №269318 
>>269313
Покажи, что любой дивизор на гладкой кривой - главный.
Вот прямо здесь и сейчас, раз такой крутой.
Аноним 25/05/15 Пнд 23:21:51 #259 №269319 DELETED
>>269318
Сыбись, говно.
Аноним 25/05/15 Пнд 23:22:17 #260 №269320 DELETED
>>269318
>дивизор
дальшек не читал
Аноним 25/05/15 Пнд 23:22:52 #261 №269321 
>>269312
Я сам нихуя не понял, картофаны видимо совсем пизданулись и думают что Уайлс преподаёт в МГУ и считает по 17 диффуров за день.
Аноним 25/05/15 Пнд 23:22:53 #262 №269322 
>>269312
Говно для даунов из МДК. Не забивай голову.
Аноним 25/05/15 Пнд 23:23:28 #263 №269323 
>>269316
Гомологии - дальше не читал
Аноним 25/05/15 Пнд 23:23:38 #264 №269324 
>>269320
ТЕЛЕВИЗОР
Аноним 25/05/15 Пнд 23:24:22 #265 №269326 
>>269323
гомо - дальше не читал
Аноним 25/05/15 Пнд 23:25:25 #266 №269327 
>>269326
Обмажутся своими гомотопиями и ебуться с жопу.
В вышке слышал целый гомосеминар проводят. Пиздец просто.
Аноним 25/05/15 Пнд 23:25:42 #267 №269328 DELETED
>>269326
Г - дальше не читал. Жрите своё говно сами, говноеды.
Аноним 25/05/15 Пнд 23:26:01 #268 №269329 
>>269323
Докажи, что x^n+y^n=z^n не имеет ненулевых целых решений в тройках (x,y,z) при натуральных n>2.
Аноним 25/05/15 Пнд 23:26:48 #269 №269330 
>>269329
нахуя?


Аноним 25/05/15 Пнд 23:27:14 #270 №269331 
>>269329
http://math.stanford.edu/~lekheng/flt/wiles.pdf
Изи.
Аноним 25/05/15 Пнд 23:27:26 #271 №269332 DELETED
>>269330
Лах.
Аноним 25/05/15 Пнд 23:28:04 #272 №269333 DELETED
>>269331
--> >>269332
Аноним 25/05/15 Пнд 23:28:59 #273 №269334 
>>269330
Ты неправильно вопрос сформулировал. Вместо:
>Можно конкретный пример задачи не рожденной схемами, а из вне, которая становиться сильно проще от категорий и схем.
Нужно было написать:
>Можно конкретный пример интегральчика или диффурчика, который становиться сильно проще от категорий и схем.
>>269331
там используются и категории и схемы
Аноним 25/05/15 Пнд 23:29:14 #274 №269335 
Типичный мат тред на дваче.
Ни одну задачу в итоге ни одна сторона не решила и ни одного нормального аргумента не привела.
Аноним 25/05/15 Пнд 23:29:55 #275 №269336 
>>269333
тычоэ
Аноним 25/05/15 Пнд 23:30:57 #276 №269338 
Как вопрос какой-то по вербитоматематике задешь, так никого нет тут. А как вбросишь, что схемы не нужны, так сразу сбежались гротедники мамкины.
Аноним 25/05/15 Пнд 23:31:01 #277 №269339 
>>269336
Ну а хули ты хотел, филиал aosp'a и прочих коко-олимпиадок? Тут сириус люди обсуждают сириус концепции, нам не до петушинных конкретных задач.
Аноним 25/05/15 Пнд 23:31:37 #278 №269340 
>>269312
Скорее всего просто пародирование без дополнительного смысла аналогичной картинки про Гауса (или Эйлера или может какого-то другого классика), какой-то вопрос про ряды и реакции более современных математиков.
Аноним 25/05/15 Пнд 23:32:29 #279 №269341 
>>269335
Школьники набижали.
Аноним 25/05/15 Пнд 23:34:11 #280 №269342 
>>269340
Бернулли жи. Но картинка вообще ни в пизду ни к селу. Во-первых мочидзуки не угарает по трансфинитным группам и лоу-левел структурной теории бесконечных групп, во-вторых не понятно, хули ему противостоят математики занимающиеся, по сути, довольно схожими вещами, в третьих не понятно при чём тут МГУ если там ни один хуй с ним никак не связан, в четвёртых (если предположить, что это противопоставление первой и второй культуры) то вопрос о поиске контрпримера для ебанутого утверждения - как раз сильно второкультурный и картофельный.
Аноним 25/05/15 Пнд 23:35:16 #281 №269343 
>>269338
Ну так пиздеть - не думать о задачах, тут надо работать языком, а там - головой.
Аноним 25/05/15 Пнд 23:38:36 #282 №269346 
>>269338
>>269311
>>269335
>>269306
Вот вы заебали, читайте пикрелейтед начиная с красной строки. Это из Красной книги Мамфорда.
Аноним 25/05/15 Пнд 23:39:06 #283 №269347 
14325863467730.png
14325863467751.png
>>269346
Пикрелейтед здесь
Аноним 25/05/15 Пнд 23:52:29 #284 №269349 
>>269315
Ну в чем профит от теоретических результатов? Решали десятую проблему Гильберта, решили, бонусом получили сей забавный факт. Зачем он нужен? Пиздос, тебя что, ебет это что ли?
Аноним 25/05/15 Пнд 23:57:35 #285 №269350 
>>269346
Что здесь нужно увидеть? Тут же одни восторженные возгласы и воздаяния похвал. На такое только школота ведется и домохозяйки. Где конкретные примеры, о которых просили?
Аноним 26/05/15 Втр 00:03:32 #286 №269351 
>>269349
Нужен, чтобы прочувствовать некоторые метаматематические эффекты, на самом деле.
Аноним 26/05/15 Втр 00:07:03 #287 №269352 
>>269351
Ну да, но это же не назовешь "профитом". К практике это имеет мало отношения. Алгоритм есть, но он же может опизденительно долго работать. И как в таких условияхобъяснить человеку, что наличие взаимосвязи, причем вычислимой - само по себе охуенный результат?
Аноним 26/05/15 Втр 00:07:37 #288 №269354 
>>269350
Тебе и этого недостаточно, чтобы прочувствовать всю мощь и силу разума ВЕЛИКОГО ГРОТЕНДИКА?
Запомни, он не любил примеры.
Аноним 26/05/15 Втр 00:07:38 #289 №269355 
>>269349
Я имею ввиду, что не нужно позиционировать такое сведение к уравнениям как универсальный способ решения задач.
Аноним 26/05/15 Втр 00:07:40 #290 №269356 
>>269241
Во-первых, математические исследования довольно резко затухли примерно после захвата греческих государств Римом; не будут излишне спекулировать здесь, но интеллектуальный климат явно поменялся. Касательно того, почему они за время активной деятельности фактически застряли в геометрии. Думаю, ключевым здесь являлось то, что они занимались исследованием именно геометрии. Судя по всему, они рассматривали только построения, которые осмыслены в геометрии. А это означало огромные затруднения в разработке чего-либо без явной геометрической интерпретации. Например, взгляни на теорию отношений Евдокса - для того, чтобы просто определить безразмерные величины (с операциями поля) потребовался весьма изощренный ход. Думаю в скачке математического развития в 17-18 веках поворотную роль сыграл Декарт, который фактически и начал игнорировать тонкие соображения о геометрическом смысле чисел. Декарт же оказался возможен вероятно и правда из-за развития алгебраических обозначений.
Аноним 26/05/15 Втр 00:10:52 #291 №269357 
>>269354
Восторженный школьник, please.
наверняка, дальше предисловия ты не читал
Аноним 26/05/15 Втр 00:12:32 #292 №269358 
14325883526580.png
>>269347
Ну получается ПОКА не нужны. Вот как станут "общепринятой составной частью инструментария работающего математика", тогда можно будет о чем-то говорить.

А если без троллинга, то авторы ваших книг просто не умеют объяснять предметно, на конкретных примерах. Вот по теоркату тоже посмотрел предисловия всех книг, что тут советуют - везде бла-бла про то, как эта теория элегантно и органично обобщает все-все-все. А по существу ничего. Ну только про применение к типизации в программировании пару слов.

А надо как на пике объяснять. Сразу понимаешь, че надо учить, зачем, и потом как и где им пользоваться.
Аноним 26/05/15 Втр 00:13:19 #293 №269359 
>>269354
Ну а помимо Гротендика никто неможет пояснить по-хардкору, что ли?
Аноним 26/05/15 Втр 00:14:19 #294 №269361 
>>269358
Просто "конкертные кококо примеры" нужны только всяким петушарам.
Аноним 26/05/15 Втр 00:14:59 #295 №269362 
>>269355
Это не способ решения задачи, это факт глубокой взаимосвязи. О том, что диофантовы уравнения и ТЧ вместе с ними столь же сложны, сколь и вся математика, например.
Аноним 26/05/15 Втр 00:16:39 #296 №269363 
>>269361
Нет, просто илитка не может объяснять проще, чем в книжке, которую дрочит.
Аноним 26/05/15 Втр 00:16:46 #297 №269364 
>>269361
сделайте уже макрос вербитенок стартер пак
Аноним 26/05/15 Втр 00:17:18 #298 №269365 
>>269363
Точнее школьники не могут прочесть дальше предисловия
Аноним 26/05/15 Втр 00:25:23 #299 №269368 
>>269362
Почему-то меня это не очень удивляет. Уже сам факт того, что всем утверждениям можно присвоить номера, наталкивает на связь с арифметикой.
Аноним 26/05/15 Втр 00:26:24 #300 №269369 
>>269368
лол что?
Аноним 26/05/15 Втр 00:29:52 #301 №269371 
Есть два типа математиков - чистые теоретики и задачерешатели. Вторым нужны примеры, первые обходятся без них.
В этом итт треде мы наблюдаем конфликт этих двух типов. Разумеется, они никогда не найдут общий язык.
Аноним 26/05/15 Втр 00:34:35 #302 №269373 
>>269371
есть два типа математика: математики и пидоры которые только на двачах пиздят о хуйне всякой
Аноним 26/05/15 Втр 00:37:23 #303 №269374 
>>269368
Ну не знаю. Мало на свете счетных множеств, что ли? Им всем можно присвоить номера, дальше-то что?

Я из книжки не скопировал кусок о том, что при построении f получается не в виде многочлена, вообще говоря, т.е. получается не диофантово уравнение. Но там же говорится, что есть способ сведения к многочлену, то есть все нормально.

На самом деле если начать листать доказательство теоремы Матиясевича, то быстро пропадает интерес. Львиную долю составляет именно представление всего подряд в диофантовой форме.
Аноним 26/05/15 Втр 00:38:34 #304 №269375 
>>269373
Вот этому чаю
Аноним 26/05/15 Втр 00:41:08 #305 №269376 
>>269371
Такое деление математиков есть только в голове вербитодауна.
Задачерешатель Мочидзука пытаясь решить abc-гипотезу наплодил кучу новой теории. Как такое вписывается в твой мишамирок?
Аноним 26/05/15 Втр 00:44:01 #306 №269377 
>>269376
Да хуй с ним, деление есть. Но то что примеры не нужны это пушка пиздец. К слову гротишка тоже задачи решал
Но я все же уверен, что наш анонимус тралит толстокак и я
Аноним 26/05/15 Втр 00:44:22 #307 №269378 
>>269376
Я же не говорил, что шкала дискретная.
Лучше быть где-то посередине, но есть яркие представители и на обоих краях шкалы.
Аноним 26/05/15 Втр 01:32:50 #308 №269382 
>>269275
>>269356
Я же дал ссылку.
Архимед ЗНАЛ про предельный переход. И ЕМНИП даже считал площади, интегрируя.
>>269264
Аноним 26/05/15 Втр 02:13:48 #309 №269388 
>>269382
Ну да, в применение исключительно к подсчету объёмов и, возможно площадей. Это ровно и демонстрирует мой (>>269356) тезис об рассмотрение греками только геометрически-осмысленных понятий.
Аноним 26/05/15 Втр 02:29:37 #310 №269389 
>>269382
Допустим, но качественный переход заключается в рассмотрении предела последовательности чисел, а не площадей. С учетом того, что произведение чисел тогда мыслилось исключительно как площадь прямоугольника, а доказательства без геометрического построения считались хуйней на постном масле, это абстрагирование было для них нетривиально. Алсо, знать про предельный переход (в какой-то задаче) - не то же самое, что уметь им пользоваться (где-либо еще). Зенон в каком-то смысле тоже знал про предельный переход, за счет чего и траллил успешно всех своими апориями, причем он даже дальше шагнул, ибо не пердолился с площадями, а работал прямо-таки с числами - половина пути, четверть пути и так далее. Однако это все здорово, но без нормального формализма на этом далеко не уедешь, ведь даже предел отношения бесконечно малых - уже хер пойми что, и из интуиции да площадей фигур формулу Лопиталя не выродишь.
Аноним 26/05/15 Втр 02:38:01 #311 №269390 
Посоны, расскажите почему любое простое число большее 3 представимо в виде 6k+1 или 6k-1. В гугле не нашел.
Аноним 26/05/15 Втр 02:46:21 #312 №269391 
>>269390
Ну посмотри на 6k, 6k+2, 6k+4, 6k+3. Когда они могут быть простыми? Ясно, что очень редко.
Аноним 26/05/15 Втр 02:51:10 #313 №269392 
>>269391
>Ясно, что очень редко.
>любое

Прекрасно
Аноним 26/05/15 Втр 02:52:18 #314 №269393 
>>269392
Ну понятно, что если не 6k+1 то 6k-1, но яннп почему, можно доказательство?
Аноним 26/05/15 Втр 02:56:27 #315 №269394 
ещё мне не ответили вот на это >>269259, а ведь изи же должно быть. ех, математики...
Аноним 26/05/15 Втр 03:07:10 #316 №269395 
и тишина... ну понятное дело, что пиздеть не мешки ворочить доказывать теоремы и не важно что сейчас 3 утра
Аноним 26/05/15 Втр 03:12:02 #317 №269396 
>>269393>>269395 Ну ты сука дибил. Попробуй мозг включить.

Аноним 26/05/15 Втр 03:21:17 #318 №269397 
>>269396
Слив
Аноним 26/05/15 Втр 03:27:17 #319 №269398 
>>269396
А вообще я понял, но слишком неформально но не думаю что ты понял лучше, иначе бы объяснил
Аноним 26/05/15 Втр 05:02:48 #320 №269399 
>>269390
любое целое имеет одно из следующих представлений: 6k, 6k+1, 6k+2, 6k+3, 6k+4, 6k+5=6m-1. все кроме первого и последнего имеют очевидные делители
не знаю, зачем повелся на толстый траллинг и серьезно ответил на вопрос
Аноним 26/05/15 Втр 06:18:04 #321 №269406 
>>269376
Разница между создателем теорий и быдлом не в том, что создатель теорий не решает задачи. Они оба решают задачи.
Но создатель теорий для решения задачи создаёт теорию и решает задачу с её помощью, часто попутно решая другие задачи.
А быдло не создаёт теорий и решает задачу по принципу "налепил бессвязной хуйни и олимпиадных хитрых трюков".
Аноним 26/05/15 Втр 09:30:13 #322 №269451 
>>269406
>разница между создателем теорий и не создателем теорий в том, что создатель теорий создает теории

Лол, создатель теории ИТТ, быстро все решать задачи.
Аноним 26/05/15 Втр 10:29:54 #323 №269499 
Сап, матчан, в кратчайшие сроки нужно научиться решать разнообразные системы уравнений, а я дальше метода Гаусса не ушел да и тот забыл, надо освежить. Что посоветуешь? Важно чтобы пояснялось с ОСНОВ знаю, вы любите это слово, иначе никогда не понимал почему нужно использовать тот или иной способ и быстро забывал не имея четкой картины в голове. Системы нелинейных уравнений тоже нужны. Левел: школьник

Молю, антон, через неделю сдавать оче важный экзамен не егэ, а я в системах как хуй в рукомойнике.
Аноним 26/05/15 Втр 10:41:34 #324 №269515 
>>268855
Само понятие "предел" ввели в 18 веке, так что же ньютон и лейбниц дикарями и отсталыми были, лол?Древнегреческому архитектору нахуй не нужны были ваши производные и пределы.И откуда ты считаешь что греческая математика осталась на элементарном уровне?По сути азы матана это те же самые наработки греков, только расширенные и дополненные уже европейскими\арабскими учеными.
Аноним 26/05/15 Втр 12:04:41 #325 №269569 
>>269499
Значит так. Сейчас ты идёшь на libgen.org и качаешь Миша Вербицкий "Избранные мысли", издательство МГУ. Затем учишь французский и читаешь EGA, параллельно зазубриваешь, вот прямо, блять, зазубриваешь все работы Громова, если ничего не поймёшь — похуй, даже лучше. После этого тебе предстоит аутировать с программой Мори, вариациями структур Ходжа, гипотезой о геометризации, программой Ленглендса, театрами Ходжа и гипотезой Тейхмюллера. После этого — Мочизука. Как только ты вьедешь в его работы и найдёшь в них ошибку, так сразу у тебя появляется шанс понять, что такое число и что с ним нужно делать. Засунь его в гомотопическую теорию типов и выведи оттуда сложение чисел. После этого предстоит самое тяжёлое — вывести вычитание и умножение с делением. Картофаны будут кричать об интегралах, вербитодауны говорить о кольцах, но они все ускользают от сути, они не видят и не осознают ее. Ты же к тому моменту будешь повелевать числами, расставляя их в пучки, пучки в схемы, а схемы в топосы. Тогда, возможно, ты сможешь решать системы линейных уравнений и приблизиться к искусственному, высшему интеллекту. Удачи.
Аноним 26/05/15 Втр 12:12:37 #326 №269572 DELETED
>>269569
>Миша Вербицкий "Избранные мысли"
Я анально насиловал сраную рашку
Брайтонским батоном колбасы.
Я рашпилем анальным ебал ебал
Ебал ебал ебал ебал ебал ебал.
Аноним 26/05/15 Втр 12:19:45 #327 №269575 
>>269569
>качаешь Миша Вербицкий
>вербитодауны

А можно чуть менее основные основы? Чтоб прочел пару формулировок и теорем несложных и более менее понял какой способ когда применять и как это работает в общем?
Аноним 26/05/15 Втр 12:38:48 #328 №269577 
>>269572
Разумно.
Аноним 26/05/15 Втр 12:49:52 #329 №269582 
>>269575
Ну ребят, плиз, очень хочется по-хорошему разобраться
Аноним 26/05/15 Втр 14:08:54 #330 №269631 
Поясните на Мочизуку. На википедии пишут что в доказательстве нашли ошибку и вопрос до сих пор открыт. Это так?
И да - верифицировал бы на coq'е и никаких вопросов бы не осталось.
Аноним 26/05/15 Втр 14:32:12 #331 №269648 DELETED
>>269631
>на coq'е
>этот хацкельпетушок
--> /pr
Аноним 26/05/15 Втр 17:25:12 #332 №269772 
>>269631
Мамку свою на коке верефицируй.
sageАноним 26/05/15 Втр 17:27:17 #333 №269776 
>>269631
>Это так?
Нет
Аноним 26/05/15 Втр 17:37:30 #334 №269784 
14326510507340.jpg
>>269648
уебывай
Аноним 26/05/15 Втр 18:47:35 #335 №269845 
>>269371
Что ,теоретики не решают задач?
Аноним 26/05/15 Втр 19:06:27 #336 №269857 
>>269582
Нашел, спасибо >:с
sageАноним 26/05/15 Втр 21:06:45 #337 №269892 
14326691341240.jpg
>>269499
Ебнутый чтоле? Какие уравнения? Вариантов 9000 и все странные. Ну, ты можешь захотеть решать системы алгебраических уравнений и соснуть даже с одним, если степень больше пяти. Можешь диффуры захотеть решать, а можешь даже в частных производных, но в любом случае соснешь, так как решаются по-нормальному только всякие частные случаи.
Аноним 26/05/15 Втр 21:21:58 #338 №269894 
>>269892
Моар пикчи, анон, молю. Имя художника или ресурс, откуда брал.
Аноним 26/05/15 Втр 21:25:13 #339 №269895 
>>269894
Извини, нашел на начном б в киберпанк треде. Поищи сам в гугле.
Аноним 26/05/15 Втр 22:38:54 #340 №269911 
14326691341240.jpg
14326691341291.jpg
>>269895
Уже нашел, спасибо.
cornelius dämmrich
sageАноним 26/05/15 Втр 22:59:46 #341 №269915 
>>269911
>Уже нашел
Вот полудурок, нахуй ты нам об этом сообщаешь? Срать на твои пикчи и на тебя вместе с ними. Что ты, блять, завалил своё ЕГЭ.
Аноним 26/05/15 Втр 23:01:48 #342 №269916 
Каким англоязычным аналогам отвечают курсы анализа Зорича и Кудрявцева? Calculus (+multivariable) и Real analysis?
Аноним 26/05/15 Втр 23:02:17 #343 №269917 
>>269916
Рудин жи.
Аноним 26/05/15 Втр 23:05:26 #344 №269919 
>>269916
spivak
Аноним 26/05/15 Втр 23:06:41 #345 №269920 
чаю тебе
Аноним 26/05/15 Втр 23:12:02 #346 №269924 
>>269917
>>269919
Да нет, я имел в виду не книги, а разделы. Какие разделы покрывают Зорич и Кудрявцев?
Тут, кстати, всплыл один момент, мол у американцев счисление нескольких переменных и векторный анализ - одно и то же.
Аноним 26/05/15 Втр 23:18:13 #347 №269925 DELETED
>>269916
Кудрявцев? Calculus for dummies, наверное.
Аноним 26/05/15 Втр 23:39:29 #348 №269936 
>>269924
>счисление нескольких переменных и векторный анализ
А что это такое? По названию действительно одно и то же вроде.
Аноним 26/05/15 Втр 23:45:10 #349 №269941 
>>269499
Ебнутый чтоле? Какие уравнения? Вариантов 9000 и все странные. Ну, ты можешь захотеть решать системы алгебраических уравнений и соснуть даже с одним, если степень больше пяти. Можешь диффуры захотеть решать, а можешь даже в частных производных, но в любом случае соснешь, так как решаются по-нормальному только всякие частные случаи.
Аноним 27/05/15 Срд 01:55:50 #350 №269956 
14326809506850.jpg
Анон, как найти построить нормаль, таким образом, чтобы она была с той же стороны что и другая нормаль. Криво как-то написал. Вот например, нам дан вектор v1, у него нормаль n1, как определить направление нормали n2 у вектора v2, так чтобы она была с одной стороны. Блин. Короче нарисовал картинку, надеюсь поймешь. Ах да, нужно в трехмерном случае(хотя я и для двухмерного не знаю как)
Аноним 27/05/15 Срд 03:55:54 #351 №269965 
>>269941
я думаю имелись ввиду СЛАУ

анон видимо хотел узнать про метод Крамера например
Аноним 27/05/15 Срд 05:40:00 #352 №269971 
>>269965
Так вот же
>Системы нелинейных уравнений тоже нужны.
Именно это и взрывает мозг.
Аноним 27/05/15 Срд 08:01:08 #353 №269980 
>>269971
ох
Аноним 27/05/15 Срд 08:40:14 #354 №269984 
Сап, сцай. Есть один большой направленный граф, причем он настолько большой, что полностью в память обычного компьютера он залезть не может в принципе, и потому анализировать его трудновато. Но для произвольной его вершины можно просто построить его окружение, то есть найти соседние вершины.
Собственно, в чем дело. Было бы невероятно охуенно перейти от рассмотрения путей в этом графе к векторному полю в каком-то пространстве, может быть с неевклидовой метрикой/интересной топологией.
Можно ли это проделать вообще (хотя бы приближенно)?
Каким требованиям должен удовлетворять граф?
Как это сделать для простого графа?
Например, для квадратной решетки с какими-нибудь такими направленными ребрами, что количество входящих и исходящих ребер одинаково.
Может быть, эту задачу уже кто-то ставил? Какая часть теории графов тут наиболее релевантна?
Аноним 27/05/15 Срд 09:48:36 #355 №269997 
>>269956
Конечно, же имелось ввиду не вектор, а плоскость. Дурость всякую на ночь глядя написал.
Аноним 27/05/15 Срд 11:10:18 #356 №270026 
Сколько компонент связности у пространства всех непрерывных отображений действительных чисел в действительные числа (с топологией порожденной метрикой p(f,g)=sup |f-g| по всей прямой, с обрезанием бесконечных значений). Я например, насчитал как минимум 3.
Аноним 27/05/15 Срд 11:21:59 #357 №270034 
>>270026
что значит бесконечные значения
и что значит их обрезание
ты ебанутый чтоли сука
Аноним 27/05/15 Срд 11:26:25 #358 №270038 
>>270026
Ну и компонента одна: t*f+(1-t)g - путь соединяющий f,g
Аноним 27/05/15 Срд 12:05:07 #359 №270051 
>>270034
>>270038
Короче ясно, тут только картофанщики, школьники и любители порассуждать об их любимом основании математики.
Какого хуя ты вообще отвечаешь на вопрос если ты нихуя не знаешь?
Для таких даунов разжевывываю:
0) В пространстве непрерывных функций R -> R можно ввести "метрику", положив p(f,g)=sup|f-g|, по всем x из R, однако в такой метрике могут быть бесконечные расстояния между точками, например между x и x^2. Но это определение корректно задает топологию, ибо корректно определяет окрестности. Так вот, для таких глупеньких как ты, я сказал что вместо такой метрики, допускающей бесконечное расстояние, можно взять "обрезанную", например p'(f,g)=min{1,p(f,g)}, которая является метрикой в смысле всех определений.
1) Я спрашивал про компоненты связности, а не линейной связности.
2) То что ты написал неверно, это пространство тем более не линейно связно: например функции 2 (тождественная константа) и x^2 нельзя связать путем, который ты написал, это следует, например, из того что для предложенного пути прообраз открытой окрестности, содержащей точку 2 (тождественную функцию) состоит из одной точки, и это множество не является открытым в C(R).
Аноним 27/05/15 Срд 13:33:09 #360 №270073 
>>269915
А мне нравится.
Аноним 27/05/15 Срд 13:36:30 #361 №270074 
>>269915
но у меня на пробном было 18 баллов из 22-х
Аноним 27/05/15 Срд 13:44:22 #362 №270077 
>>270051
Я знаю как вводится топология на CR
При каждом t tf+(1-t)g - непрерывна, то есть лежит в CR, ну и просто показать, что при близких t функции отличаются мало, то есть отображение I \to CR - непрерывно.
Аноним 27/05/15 Срд 14:11:23 #363 №270087 
14327250835730.png
помогите, как сделать эту задачу объясните
Аноним 27/05/15 Срд 14:45:42 #364 №270098 
>>270087
У тебя 8 карт. Нужно
1. Выбрать все сочетания из трёх карт. Их будет N.
2. Выбрать все сочетания из трёх карт, сумма которых нечётна. Их будет M.

Ответом будет M/N.

N = (83) = 8!/(3!5!) = 56.
Чтобы найти M, перебери все 56 вариантов вручную.
Аноним 27/05/15 Срд 14:48:25 #365 №270099 
>>270098
лол, такая задачка из экзамена. Это где я столько времени найду на экзамене.
Аноним 27/05/15 Срд 15:14:21 #366 №270103 
>>270077
> что при близких t функции отличаются мало
а они не отличаются мало. Найди мне такое t>0 чтобы функция t x + (1-t) x^2 отличалась меньше чем на 1/2 от x^2
Аноним 27/05/15 Срд 15:19:50 #367 №270107 
>>270098
>1. Выбрать все сочетания из трёх карт. Их будет N.
их будет 10 (234,235,345,233,255,334,555,553,533,455)
>2. Выбрать все сочетания из трёх карт, сумма которых нечётна.
5 сочетаний
(234,233,255,334,455)
ответ 5/10 = 1/2
правильно?
>>270099
около 4ех минут заняло.
Аноним 27/05/15 Срд 15:25:47 #368 №270109 
>>270107
>5 сочетаний
>(234,233,255,334,455)
А лол нет
234,555,553,533
4 сочетания, ответ 2/5
Аноним 27/05/15 Срд 15:50:48 #369 №270115 
>>270107
Их будет не десять. Их будет пятьдесят шесть.
{первая карта, вторая карта, третья карта}
{первая карта, вторая карта, четвёртая карта}
...
{первая карта, вторая карта, восьмая карта}
Аноним 27/05/15 Срд 16:01:24 #370 №270119 
>>270115
Подожди, но ведь например "первая, вторая, четвертая" и "первая, третья, четвертая" дают нам одинаковые комбинации карт 2,3,4. Всего уникальных комбинаций может быть 10, я их перечислил.
Аноним 27/05/15 Срд 16:14:41 #371 №270122 
>>270087
ПЕЗДОС картофашики тебе какой-то хуйни накидали, тут же очевидная СМЕКАЛОЧКА: сумма будет чётной, когда выбрана одна чётная карта и две нечётных.
Аноним 27/05/15 Срд 16:24:13 #372 №270128 
>>270122
Картоха ты блядь наглухо упоролся, или вконец поехал? Какая блядь смекалочка? Вероятность то чему равна?
Аноним 27/05/15 Срд 16:26:57 #373 №270131 
>>270119
По определению вероятности, тебе нужно считать количество сочетаний карт, а не количество сочетаний рисунков на картах. Разные карты с одинаковым рисунком - это разные карты.
Аноним 27/05/15 Срд 16:28:37 #374 №270133 
>>270128
C(2,1)*C(6,2)/C(8,3)
Аноним 27/05/15 Срд 18:07:03 #375 №270142 
>>270087
Вот ещё задача:

точка А имеет координаты (1,3)
Точка Б имеет координаты (4,-1)
прямая линия Л проходит через обе точки.

Линия с уравнением 2у=3х-4 перпендикулярна линии Л ? Докажи это.
Аноним 27/05/15 Срд 18:09:03 #376 №270143 
>>270142
точнее не "Докажи это", а покажи как ты получил ответ
Аноним 27/05/15 Срд 18:14:25 #377 №270144 
>>270087
Попробую и я внести свои пять копеек.
1)Количество возможных наборов: 8x7x6.
2)Количество нужных наборов, одна чётная и две нечётных карты: 1x6x5+1x6x5.
3)Находим их отношение.
Аноним 27/05/15 Срд 18:18:00 #378 №270145 
>>270144
Ты подсчитал вероятность, составления чётного числа. Во втором шаге одно нечётное и два чётных или три нечётных, то есть 2x1x6+6x5x4
Аноним 27/05/15 Срд 19:14:19 #379 №270180 
>>270103
Ну да. С просонья облажался, плохо, когда область определения не компакт.
Аноним 27/05/15 Срд 19:25:53 #380 №270191 
>>270122
>>270133
Уважаемый картоха-кун, у меня СМЕКАЛОЧКА сломалась. Объясни пожалуйста, как ты эти цифры получил?
Аноним 27/05/15 Срд 20:30:10 #381 №270213 
>>270191
mamka tvoya = kartoha, a ya tut KATEGORIYAMI i GOMOLOGIYAMI zanimaus
Аноним 27/05/15 Срд 20:42:35 #382 №270215 
>>270213
Ну отвлекитесь на пару минут, ну что вам стоит? Ну вы же на срач на этой борде и то больше времени тратите.
Аноним 27/05/15 Срд 20:44:14 #383 №270217 
>>270215
Сколько вариантов всего? Сколько вариантов взять одну чётную? Сколько вариантов взять две нечётных? Что такое комбинаторное правило произведение? Есть ли ещё какие-то варианты, кроме как взять одну чётную и две нечётных?
Аноним 27/05/15 Срд 22:34:36 #384 №270239 
>>270142
вектор нормали прямой Л (3,-2)
направляющий вектор прямой АБ: Б-А = (3,-4)
их скалярное произведение не 0, значит они не перпендикулярны
Аноним 27/05/15 Срд 22:38:27 #385 №270240 
>>270239
я не понял
откуда ты (3,-2) взял
Аноним 27/05/15 Срд 22:40:12 #386 №270241 
>>270239
для любой прямой
ax+by=c
вектор нормали - это (a,b)
Аноним 27/05/15 Срд 23:48:22 #387 №270256 
>>270026>>270051
Очевидно же. Функции разбиваются на классы эквивалентности p(f, g) < inf. Сколько классов столько и компонент связности (их очевидно не меньше континуума, но видимо даже 2^R). Так как каждая компонента связности открыта, а внутри компоненты связности путь t*f+(1-t)g действительно непрерывен.
Аноним 28/05/15 Чтв 00:49:04 #388 №270266 
>>270256
>видимо даже 2^R
Так непрерывных функций на R всего континуум. Хотел сказать, потому что непрерывная функция восстанавливается по значениям в рациональных точках, но ведь плоскость сама равномощна R, зачем тогда пишут такое неочевидное доказательство? Тут какой-то подвох.
sageАноним 28/05/15 Чтв 02:54:07 #389 №270286 
>>270256
Да, действительно, мне сегодня это самому пришло в голову, но в тред решил не отписывать, всем же похуй.
>>270266
Ты не прав, функций на R больше чем континуум.
Аноним 28/05/15 Чтв 07:57:39 #390 №270293 
14327890594060.jpg
Посоны что это за преобразование? В ряд Тейлора это не разлагается, а больше мыслей нет.
Аноним 28/05/15 Чтв 08:17:53 #391 №270294 
>>270293
http://www.wolframalpha.com/input/?i=series+expansion+1%2Fsin%28x%2F%282n%29%29&dont-show-dyn=on

Дальше вносится константа перед интегралом и всё получается как на пике.
Аноним 28/05/15 Чтв 09:42:34 #392 №270318 
14327953549330.jpg
>>269984
Аноним 28/05/15 Чтв 09:54:55 #393 №270319 
>>270294
Ок, я понял что это лорановское разложение, но все ещё не могу понять как косеканс разложить имея только ручку с бумагой. Я имею ввиду как аналитически получить коэффициенты ряда и как вывести их через числа Бернулли. Просмотрел свои книжки по ТФКП, ответа не нашёл.
Аноним 28/05/15 Чтв 10:56:15 #394 №270324 
14327997752420.png
Господа, предлагаю зафорcить новый мемчик и тредов в /b/ про ЕГЭ - пи-струнную теорию. Как вам?
Аноним 28/05/15 Чтв 11:24:06 #395 №270328 
>>270324
хуйня
Аноним 28/05/15 Чтв 12:34:24 #396 №270338 
>>270324
лол, это уровня Сосницкого или даже выше!
форсь, благославляю!
Аноним 28/05/15 Чтв 14:20:05 #397 №270358 
>>270087
Карта чётная, если на ней чётное число, и нечётная в противном случае.
Сочетание чётное, если сумма чисел с входящих в него карт чётна, и нечётное в противном случае.

Сочетание чётное тогда и только тогда, когда в него входят две нечётные и одна чётная карта.

Нечётных карт шесть, чётных карт две.
Значит, число чётных сочетаний равно числу сочетаний из шести карт по два, помноженному на два.

Это будет 2*6!/2!4! = 30.
Значит, чётных сочетаний тридцать.
А всего сочетаний 56. Значит, нечётных сочетаний будет 56-30 = 26.

Искомая вероятность будет 26/56.
Аноним 28/05/15 Чтв 15:13:11 #398 №270380 
14328151919080.png
14328151919101.png
Котаны,помогайте. Первый пик - это задача распределения ресурсов. Второй пик - она рассматривается в случае отсутствия коррупции. Вопрос в том как изменится второй пик,если функции будут линейные g(x)=ax, H(x)=Dx, h(x)=d*x
Аноним 28/05/15 Чтв 17:14:43 #399 №270400 
>>270380
пошел нахуй со своей экономикой
давай лучше про мочидзуку поговорим
Аноним 28/05/15 Чтв 17:45:12 #400 №270408 
14328243125160.jpg
>>268391
Ответьте ребятки, пожалуйста, на два вопроса. Очень важно.
1. Кто сколько способен сосредоточенно работать?
2. Как изменялось это время?

картинка для привлечения внимания
Аноним 28/05/15 Чтв 17:47:17 #401 №270410 DELETED
>>270408
2 часа.
Никак.
Аноним 28/05/15 Чтв 17:49:15 #402 №270412 
>>270410
Отвлекаешься на что нибудь? Сколько потом нужно отдыха?
Аноним 28/05/15 Чтв 17:50:44 #403 №270414 DELETED
>>270412
2 часа в сутки сосредоточен. Не подряд, а в сумме, примерно. Отдыхаю как все - ночной сон.
Аноним 28/05/15 Чтв 18:34:06 #404 №270439 
Анон, почему сравнения по модулю, где одно из сравниваемых чисел отрицательное выглядит как
-a=-nd+b
а не
-a=nd-b?
Аноним 28/05/15 Чтв 21:37:49 #405 №270559 
Наукач, поясни, почему натуральные числа начинаются с единицы, а не нуля? Что бы это поменяло? Правда ли, что у бездуховных таки ноль входит в натуральный ряд?
sageАноним 28/05/15 Чтв 21:39:19 #406 №270562 DELETED
>>270559
Иногда удобно с нулём, иногда без. Смысл натуральности-то понимаешь?
Аноним 28/05/15 Чтв 21:44:59 #407 №270572 
Анон, я решил немного себя "поднять", начать с малого.
Что посоветуешь почитать мне по матиматике, но что бы было расписанно популярно для начала.Что бы как то завлекло чтоли.
С чего начать?
Спасибо.
Аноним 28/05/15 Чтв 22:01:57 #408 №270619 DELETED
>>270572
Курант Роббинс "Мы твою мать в рот ебали"
Аноним 28/05/15 Чтв 22:23:07 #409 №270661 
14328409875990.jpg
>>269984
>Было бы невероятно охуенно перейти от рассмотрения путей в этом графе к векторному полю в каком-то пространстве, может быть с неевклидовой метрикой/интересной топологией.
>Можно ли это проделать вообще (хотя бы приближенно)?
Можно. Берешь пространство R^3, укладываешь вершины на плоскость z = 0, вдоль каждого пути между ребрами "приподнимаешь" поверхность, типа как на пикрелейтеде, так чтобы вдоль пути нормаль к поверхности была направлена вверх. Все, теперь векторное поле - нормали к получившейся поверхности. Путям соответствуют кривые, не лежащие в плоскости z = 0, в точках которых векторное поле направлено вверх. Вершинам соответствуют концы путей, или, что то же самое, точки плоскости z = 0, в любой окрестности которых имеются точки с z > 0, в которых векторное поле направлено вверх.

Доволен? Нет? Так ставь вопрос нормально, сука.
Аноним 29/05/15 Птн 00:06:02 #410 №270790 
Один мой друг закончил политехнический ВУЗ. Теперь хочет упороться общей алгеброй - с чего начать - теория групп, теория категорий? Посоветуйте
sageАноним 29/05/15 Птн 00:07:19 #411 №270791 DELETED
>>270790
Снимайте штаны, показывайте вашего друга.
Аноним 29/05/15 Птн 00:52:04 #412 №270795 
>>270319
Разложи синус в тейлора. Теперь в знаменателе большая и страшная дробь. Вынеси из нее x. Получится что-то типа (1/x)/(1- остаток ряда). Дальше раскладываем по стандартной формуле для б.у.г.п. Получаем необходимый результат.
Аноним 29/05/15 Птн 01:00:58 #413 №270796 
>>270790
http://dmvn.mexmat.net/content/algebra/algebra-1s-golod-pdf.rar
Мехматовские лекции 1й семестр 1й курс. Вкус сезона, картофан де люкс. Все красивенько и по пунктикам, плюс с рисуночками для самых конченных. И минимум левой хуйни - все из написанного встретится если не по жизни (что вообще из алгебры может встретиться в жизни после политеха?), то в дальнейших дисциплинах. Осилишь - сможешь читать что угодно по алгебре и не будешь задавать подобные вопросы. Не осилишь - ну ты понял.

>>270572
Учебник того класса, на котором начал проебывать математику. Я не шучу. Только ищи нормальный, где объясняют нормальным языком, с доказательствами, с упражнениями со звездочкой и т. д., чтобы изучил и на всю жизнь в голове осталось. Виленкин, например, хуйни не напишет.
Читаешь тему, смотришь упражнения, знаешь, как решать - пропускаешь, не знаешь - решаешь. Если решать задачи "на подумать" доставляет - продолжаешь, потом гуглишь олимпиадные задачи, потом можно переходить к вузовской программе. Если не доставляет - считай что это не твое и нечего мучать анус.
Аноним 29/05/15 Птн 02:50:15 #414 №270809 
>>268391
Привет пацаны. Я работаю инженером, и математика у меня была 3 года назад. Сдали и забыли. Но сейчас на новом месте работы где приходится иметь дело с ТАУ и Теорией сигналов, я чувствую себя немного неуютно тк многое из математики забыл. Так вот есть ли какая нибудь хорошая книга, которая именно позволит понимать какая связь между интегралом на странице и реальным миром?
Аноним 29/05/15 Птн 03:08:17 #415 №270814 
>>270796
rar конченый формат помни это (как и doc всякий)
Аноним 29/05/15 Птн 04:21:08 #416 №270818 
14328624683370.jpg
Анон, срочно, насоветуй задачник по алгебре логики, пикрелейтед - примерный список тем.
Задачник обязательно с ответами должен быть. (Ответами, не решениями)
Аноним 29/05/15 Птн 04:31:42 #417 №270820 
>>270809
Ну посмотри определение интеграла, в чем проблема?
Аноним 29/05/15 Птн 12:16:39 #418 №270902 
>>270820
ну я хочу въехать во все эти дела. Что бы какое то фундаментальное понимание было.
Аноним 29/05/15 Птн 12:23:26 #419 №270915 
>>270902
Теорию множеств знаешь? Теорему Кантора-Бернштейна доказать можешь? Если нет, то читай книгу "Теория множеств", которую написали Куратовский и Мостовский.
Аноним 29/05/15 Птн 12:54:28 #420 №270965 
>>270915
я все эти слова помню из универа, но очень образно. Просто когда учился в универе, математику учил лишь бы сдать. В основном налегал на программирование и микроконтроллеры. Собственно не зря налегал, устроился на нормальную работу после универа. Сейчас перекатился на другую работу левелом по выше и посложнее из за знакомств, и того что обмазался ПЛИСками. А тут математику желательно знать, и не хочу казаться долбаебом. Вроде бы помню еще из универа то что объясняли на ЦОСе и ТАУ, но как черный ящик вроде то что должно придти на вход и выйти на выход знаю, а вот как это внутри происходит с точки зрения математики не знаю(само собой понимаю как это реализовать схемно и программно). Но не хочу быть тупой обезъянкой которой говоря что делать, а она и ваяет не понимая. Поэтому и хочу понимать что за Лапласианы, дивергенции и тд. И как с помощью них работать, и что когда применять.
Аноним 29/05/15 Птн 14:23:57 #421 №271032 
>>269499
>Системы нелинейных уравнений
Если алгебраические, ебашь через результант, например.
Аноним 29/05/15 Птн 15:09:20 #422 №271090 
>>270795
Спасибо за ответ. Я до этого представлял синус через косинус и биноминальное разложение, ничего не вышло. Сейчас, сделав через геометрическую прогрессию первых двух членов получилось вывести точные два члена как на пике. А дальше с большой ошибкой, ну да ладно. Но все-таки как вывести точную формулу и чилса Бернулли? Что такое б.у.г.п., может я не так понял. Нашел брошурку квант про числа Бернулли, но как-то не очень помогает.
sageАноним 29/05/15 Птн 15:59:22 #423 №271106 
>>271090
>Что такое б.у.г.п., может я не так понял
Бесконечно убывающая геометрическая прогрессия, наверное
мимопроходил
Аноним 29/05/15 Птн 16:14:39 #424 №271110 
>>270818
Где вообще нужна эта хуйня? Ответ "при построении релейных схем" не катит, потому что эти схемы 99% математиков нахуй не нужны.
Аноним 29/05/15 Птн 16:16:58 #425 №271111 
>>270965
читай кракурвышмат
Аноним 29/05/15 Птн 16:23:12 #426 №271113 
>>270818
Идея не очень, потому что во всех этих логиках и абстрактных дрочильнях большинство задач - на доказательство.
Аноним 29/05/15 Птн 16:23:29 #427 №271114 
>>271032
А что не через базисы Гребнера? Удобней же.
Аноним 29/05/15 Птн 16:34:35 #428 №271116 
Поясните, что за форс с эти картофаном? Я так и не нагуглил происхождение этого мемоса.
Аноним 29/05/15 Птн 16:42:59 #429 №271118 
>>271116
Нету никакого мемоса, тут один поехавший (но шарящий в матане, подсказал мне однажды) это говно форсит.
Аноним 29/05/15 Птн 16:44:16 #430 №271119 
>>271118
Есть мемос, даже и особенно Вербитский его форсит.
Аноним 29/05/15 Птн 16:46:27 #431 №271120 
>>271111
что это значит? или какой то тонкий местный юмор?
Аноним 29/05/15 Птн 16:47:27 #432 №271121 
>>271120
Демидович. Краткий курс высшей математики.
Аноним 29/05/15 Птн 16:52:56 #433 №271122 
>>271121
Благодарю.
Аноним 29/05/15 Птн 17:17:58 #434 №271127 
>>268761
Ахаххаха блядь. Скажите мне, что тут просто игнорируют такие посты, или я больше ни секунды своего времени не буду тратить в этих тредах.
Аноним 29/05/15 Птн 18:25:57 #435 №271143 
>>271127
В чем проблема-то, по-твоему?
Аноним 29/05/15 Птн 18:26:28 #436 №271144 
>>268800
Я решил. Поддвачиваю, задача очень простая, решается в одну строчку.
Предлагаю сделать её маттредовским тестом на быдло.
Аноним 29/05/15 Птн 18:29:05 #437 №271145 
>>271127
Открытые проблемы под видом "задачек" игнорируют, да.
>>268799
Аноним 29/05/15 Птн 18:54:41 #438 №271151 
>>271090

http://en.wikipedia.org/wiki/Bernoulli_number

смотри там "Generating function" - мне лень сюда копировать. Раскладываешь синус сверху и снизу по комплексным экспонентам, сокращаешь на комплексную экспоненту, чтобы получить снизу типа exp(iq)-1, числа Бернулли у тебя и полезут
Аноним 29/05/15 Птн 20:42:10 #439 №271170 
Вербитоблядки, а ТФКП это картофан или нет?
Аноним 29/05/15 Птн 21:30:14 #440 №271178 
>>271110
программерам нужна например
Аноним 29/05/15 Птн 21:46:29 #441 №271179 
>>271178
Лол нахуя? Дело в том, что я не чистый математик, а прикладной алгеброеб, и я не вижу применения этой параше. В конечных автоматах? Так они не нужны, если ты программированием деньги зарабатываешь.
Аноним 29/05/15 Птн 22:37:07 #442 №271190 
>>271143
>>271145
Да потому что любой матшкольник знает, почему простых чисел бесконечное количество. А для вас тут целое открытие, пиздос.
Аноним 29/05/15 Птн 22:40:38 #443 №271191 
>>271190
>бесконечно много простых чисел вида n!+1
Аноним 29/05/15 Птн 23:05:06 #444 №271195 
>>270796
Спасибо за совет мехматовских лекций, посмотрю.
Аноним 30/05/15 Суб 00:15:32 #445 №271199 
>>271195
ни в коем случае не читай это говно
Можно читать Винберга книжку
Есть еще учебник Городенцева. Немного посложнее воспринимается, но вообще говоря лучше и подборка материала хорошая. Вообще даже полезнее совмещать обе книжки.
Аноним 30/05/15 Суб 00:22:54 #446 №271200 
>>270790
Кстати почему именно общей алгеброй?
Аноним 30/05/15 Суб 01:27:43 #447 №271214 
>>271170
Если практически никому не нужная хуйня типа многомерной тфкп - то нет, ты чё, картоха, охуел там жы камплексы гамологии есть))
Ну а если более человеческая тфкп, то чистеший картофан, какие-то там интегральчики-водочки, фуу))
Аноним 30/05/15 Суб 01:48:12 #448 №271215 
Если есть два топ. пространства А и Б, есть пространство непрерывных функций. А есть ли что-то похожее на пространство непрерывных функций, определенных не всюду на А?

Например, взять диаграмму замкнутых подмножеств А, сопоставить каждому элементу диаграммы пространство непрерывных функций из него в Б, а потом взять предел диаграммы?
Аноним 30/05/15 Суб 01:50:52 #449 №271216 DELETED
>>271190
Ну докажи, что бесконечно много простых чисел близнецов.
Аноним 30/05/15 Суб 03:42:07 #450 №271218 
Посоветуйте книг по теории игр \ исследованию операций \ каким-то ебаным алгоритмам на графах, по всей этой обосанной хуйне.
Аноним 30/05/15 Суб 04:24:55 #451 №271220 
>>271215
Так бери подпространство A, индуцируй топологию, чо как не родной-то.
Аноним 30/05/15 Суб 11:48:08 #452 №271241 
>>271170
Если назвать это ТФКП, то картофан, а если "компликсный анализ" или "анализ на компликсных многаабризиях" - то годнота.
Аноним 30/05/15 Суб 12:16:32 #453 №271243 
>>271215
Для алгебраических многообразий есть рациональные функции. Но видимо ты про них знаешь итак и хочешь общетопологическую версию.
Аноним 30/05/15 Суб 13:37:52 #454 №271245 
14329822727680.gif
По лицу не бейте, посоны.
Решил вспомнить молодость, и, блядь, залип.
Как эту хуйню разложить на множители (нет, выносить единичку перед многочленом - не вариант)?
Аноним 30/05/15 Суб 13:54:42 #455 №271247 
14329832828840.gif
>>271245
Аноним 30/05/15 Суб 14:05:55 #456 №271250 
>>271247
Это понятно.
Но со второй половиной что делать-то?
Аноним 30/05/15 Суб 14:20:04 #457 №271252 
>>271250
a2 - b2 - a - b =
a2 - b2 - (a + b) =
(a-b)(a+b) - (a+b) =
(a-b - 1)(a+b)
Аноним 30/05/15 Суб 14:22:47 #458 №271253 
>>271252
Пзжиздец я даун. Спасибо.
Аноним 30/05/15 Суб 15:21:55 #459 №271256 
>>271220
Да, это и хотелось бы. Чтобы пространства непрерывных функций из подмножеств А склеивались соответственно самим подмножествам. Тогда можно обобщить "гомотопию" отображений примерно следующим образом: гомотопия - соединение путем в пространстве отображений, обобщение гомотопии - соединение путем в нашем сверх-пространстве-отображений.
Если в итоге получится интересная идея, почему этого нигде нет?

>>271243
Пока не знаком с АГ, имеются в виду пучки функций? Пучки строятся на открытых, а тут хотелось бы взять замкнутые, чтобы потом брать компактно-открытую топологию.
Аноним 30/05/15 Суб 15:31:14 #460 №271258 
Аноны, решил тут угореть по созданию функциональных ЯП, теперь думаю, что в каком порядке изучать. Начинать собираюсь с дискретной математики, потом математическая логика. Нормальный порядок? Куда копать потом, если это освою?
Аноним 30/05/15 Суб 15:51:48 #461 №271261 
>>271258
видимо надо будет изучить теорию категорий, только не знаю что посоветовать в твоём случае (хотя можешь погуглить по ключевым словам типа haskell, category theory, type theory, homotopy type theory, anabelioids, inter-universal teicmuller theory)
Аноним 30/05/15 Суб 15:57:47 #462 №271262 
>>271261
Спасибо, посмотрю.
Аноним 30/05/15 Суб 17:11:39 #463 №271270 
>>271261
>anabelioids, inter-universal teicmuller theory
Лол.
Аноним 30/05/15 Суб 18:14:47 #464 №271285 DELETED
>>271258
>Начинать собираюсь с дискретной математики, потом математическая логика. Нормальный порядок? Куда копать потом, если это освою?
Это, конечно, полезно, но совершенно в другом направлении. Копать в сторону computer science, синтаксиса и семантики ЯП.
Аноним 30/05/15 Суб 18:28:38 #465 №271288 
>>271285
>Копать в сторону computer science, синтаксиса и семантики ЯП.
Это само собой, я больше про математические основы этого всего спрашивал. Но все равно спасибо за ответ.
Аноним 30/05/15 Суб 18:51:24 #466 №271297 
Аноны, объясните мне, почему если в любом калькуляторе вбить √4, то ответом будет 2, а не (-2)? Ведь у 4 есть два квадратных корня : (-2) и 2, так почему предпочтение всегда отдаётся позитивному числу?
Аноним 30/05/15 Суб 19:10:18 #467 №271301 
>>271297
Забивать символ ± из-за одной операции нет смысла. Кому надо, тот поймет сам, а память у калькулятора не резиновая.
Аноним 30/05/15 Суб 19:11:43 #468 №271302 
>>271297
√x =def a: a>=0 and a2=x
Аноним 30/05/15 Суб 19:19:27 #469 №271306 
14330027679150.png
>>271297
Аноним 30/05/15 Суб 19:28:33 #470 №271308 
Анон, где можно посмотреть доказательство того, что равенство a = b продолжает выполняться, если возвести его в квадрат? До сих пор не знаю, как восполнить этот пробел.
Аноним 30/05/15 Суб 19:31:24 #471 №271310 
>>271308
Может так:
a = b
a^2 = b^2
a^2 = a^2
Аноним 30/05/15 Суб 19:34:04 #472 №271311 
>>271302
>>271306

Спасибо, не думал, что в метематике встречаются такие нестрогости.
Аноним 30/05/15 Суб 19:38:25 #473 №271314 
>>271311
математике

самофикс
Аноним 30/05/15 Суб 20:27:25 #474 №271320 
>>271311
Какие нестрогости в математике? Ты разве не видишь разницы между АЛГЕБРАИЧЕСКИМ корнем и АРИФМЕТИЧЕСКИМ? Первый из них даже функцией не является.
Аноним 30/05/15 Суб 20:35:46 #475 №271321 
>>271320
Он не является однозначной функцией, у него несколько ветвей.
Аноним 30/05/15 Суб 22:04:15 #476 №271329 
>>271308
Докажи, что произведение двух тождеств есть тождество ( т.е. Из того, что a = b и c = d следует, что ac = bd ).
Аноним 30/05/15 Суб 22:05:22 #477 №271331 
>>271329
Доказывал такое свойство для классов вычетов по модулю, но в поле действительынх чисел не знаю как доказать. Алсо, я щас не соображаю ничего, потмоу что хочу спать.
Аноним 30/05/15 Суб 22:05:50 #478 №271332 
>>271329
Ябучая разметка.
> a X c = b X d
Конечно.
Аноним 30/05/15 Суб 22:16:59 #479 №271336 DELETED
>>271331
>но в поле действительынх чисел не знаю как доказать
Да пиздец, это же школьная задачка.
Аноним 30/05/15 Суб 22:17:54 #480 №271337 DELETED
>>271288
Просто по сути для твоей задачи математика нужна лишь только для того, чтобы понимать написанное в книгах по CS.
Аноним 30/05/15 Суб 22:20:29 #481 №271338 
>>271337
Математика нужна мне для попыток создать что-то новое и исследовать его. Понимание написанного в книгах по CS у меня есть, как и диплом по изобретению велосипедов.
Аноним 30/05/15 Суб 23:15:40 #482 №271340 DELETED
>>271338
МакКлейн "Категории для работающего математика". Но опять же, опыта создании функциональных языков уже дохуя и будет глупо его игнорировать.
Аноним 31/05/15 Вск 00:05:47 #483 №271356 
Аноны , раскажите насколко отличается уровень развития математики в США в сравнении с россией, плз.
Аноним 31/05/15 Вск 00:28:00 #484 №271365 
>>271356
США - бажествина
Сраная рашка-педарашка страна-дураков - фуу параша полная((
Аноним 31/05/15 Вск 00:58:03 #485 №271368 
>>271340
Спасибо за книгу. Игнорировать уже созданное не собираюсь, цель - попытаться найти что-либо новое и интересное.
Аноним 31/05/15 Вск 02:06:58 #486 №271379 
>>271288
Я бы скорее советовал почитать про лямбда исчисление и теории типов. Можно использовать этот источник http://www.paultaylor.eu/stable/Proofs+Types.html (я сам не читал, но выглядит здраво).
Маклейн дело хорошее, но по-моему на самом деле имеет довольно опосредованное отношение к функциональному программированию. Категории, конечно, применяются в ряде мест в ф.пр., но требуемые понятия вполне можно изучить и на месте. В принципе для создания чего-то нового может потребоваться больше терката, но похоже это довольно экзотично и в большинстве случаев на самом деле не потребуется.
Дискретная математика и существенная часть мат.логики здесь вообще не нужна ни под каким соусом.
Аноним 31/05/15 Вск 08:56:24 #487 №271406 
>>271365
Я серьезно спросил. Интересно же.
Аноним 31/05/15 Вск 09:42:44 #488 №271412 
>>271356
Хуй знает, как в США, но в Швейцарии на первом курсе матфака проходят то, что у нас проходят за три года на картофанно-водочных.
Аноним 31/05/15 Вск 13:28:34 #489 №271427 
>>271412
А в какой стране с математическим образованием легче всего? Ктонить знает?
Аноним 31/05/15 Вск 14:48:52 #490 №271479 
>>271256>>271215
Если брать открытые подмножества, то ты хочешь чего-то в стиле римановой поверхности для аналитической функции. Ну, т.е. надо брать множества (U, f опр. на U) и склеивать по пересечениям, если функции на нем совпадают.
Казалось бы, также можно взять и замкнутые, но чувствую, что возникнут всякие глупые общетопологические проблемы. Например, исчезнет хаусдорфовость.
>>271412
Да ладно. Наверняка ты путаешь undergraduate и postgraduate. В России в бакалавриате ебошат совсем по хардкору, просто чем дальше, тем больше этот хардкор скатывается в еблю трупа столетней давности, поэтому уже в магистратуре разница значительна и не в нашу пользу.
В общем, ссылку давай.
>>271356
Смотря что ты понимаешь под уровнем развития. У меня сложилось ощущение, что на школьном и undergraduate уровне мы чуть ли не впереди планеты всей. По крайней мере наши матшкольники реальные задроты-звери, которых может как понятия во многих странах нет. А в бакалавриате во всяких Америках страдают хуйней и повторяют школьную программу, попутно занимаясь баскетболом и организацией всякого говна на уровне квн. Зато чем ближе дело к современной науке, тем у России дела хуже и хуже, т.к. и денег нет и программы устарели.
Аноним 31/05/15 Вск 15:27:06 #491 №271503 
>>271479
Да, по крайней мере в америке, до постграда мы круче, по способности учащихся конечно, за учебную программу конечно так говорить нельзя. Зато потом, все "дипломанты" отсеиваются, и те, кто идёт в аспирантуру и далее быстро догоняют и оставляют рашку позади.
Аноним 31/05/15 Вск 15:34:26 #492 №271511 
>>271479
>В общем, ссылку давай.

http://dxdy.ru/topic97890.html

Анализ

Теория аппроксимаций
Анализ фурье
Линейные операторы/отображения (в т.ч. алгебры банаха, тополог. изоморфизм)
Мультилинейные отображения (кан. изоморф.)
Дифференциирование в $\mathbb{R}^n$
Вариационное исчисление, оператор немыцкого
Неявная функция, диффеоморфизмы, гомеоморфизмы, гомологии
Многообразия, иммерсии, векторные поля, потоки, дивергенции, карты, атласы
Тангенты и нормали к многообр.
Кривые в $\mathbb{R}^n$, кривизна, эволюты, векторпродукт, закрученность(торсион)
Пфаффовы формы
Интегралы по кривым, связные множества, инвариант гомоморфии (homomorphieinvarianz)
Голоморфные функции, комплексные интегралы по кривым, луивиль, голоморфия, интегралы фреснеля
Мероморфные функции
Измеримые пространства, сигма-алгебры бореля, мера жлрдана, мера лебега, интеграл лебега, фубини и прочее
Преобразования Фурье
Подпространства, тензоры, внешние производные, лемма пуанкаре
Векторполя, векторный анализ, копроизводные, производные ли
Интегралы над многообразиями. Стокс, гаусс, звезда ходжа, инвариант гомотопии, копроизводная

Линал

Евклидовы, гермитовы, афинные, проективные, фактор- пространства. Квадрики.
Тензоры, расширения колец, симметричные/внешние алгебры
Модули над кольцами главного идеала
Нормальные формы

Аноним 31/05/15 Вск 16:29:07 #493 №271553 
>>271479
>>271503
Да-да, +15, скриньте-скидывайте-получите-распишитесь, и быстренько-быстренько уёбывайте в /по/, не задерживайтесь.
Аноним 31/05/15 Вск 16:37:14 #494 №271561 DELETED
>>271479
>наши матшкольники
3,5 человека из 239,57 и 2? Я думаю в любой стране столько же наберется.
Аноним 31/05/15 Вск 17:35:04 #495 №271575 
>>271511
Чаво? Зачем всё это надо?
вербитодети идите нахуй
Аноним 31/05/15 Вск 17:35:32 #496 №271576 
>>271511
>копроизводная
>копро
лол
Аноним 31/05/15 Вск 17:36:08 #497 №271577 
>>271511
Даже в ёбаном МФТИ на физике 80% от перечисленного проходится в первые 2-3 семестра. Вернее проходилось бы, если бы программа была бы чуть разумнее.
Если же для тебя указанное - программа трёх лет, у меня для тебя очень и очень плохие новости.
Аноним 31/05/15 Вск 18:15:15 #498 №271580 
>Теория аппроксимаций
Нахуй не нужно. Дальше не читал.
Аноним 31/05/15 Вск 18:16:20 #499 №271582 
>>271575
лел, там как раз картофан на картофане
Аноним 31/05/15 Вск 18:31:09 #500 №271585 
>>271427
А вот это?
Аноним 31/05/15 Вск 19:13:47 #501 №271587 
14330888278630.jpg
>>271576
Математики это машины по преобразованию кофе в теоремы.
А коматематики это машины по преобразованию котеорем в фе.
Аноним 31/05/15 Вск 19:24:57 #502 №271590 
>>271587
Лол.
Аноним 31/05/15 Вск 20:54:27 #503 №271593 
Анон, посоветуй учебник алгебры с задачами, по которому можно было бы активно заниматься. Учебник Городенцева сложноват - для решения задач оттуда недостаточно информации из самого учебника.
Аноним 31/05/15 Вск 20:55:12 #504 №271594 DELETED
>>271427
В нигерии или сомали.
Аноним 31/05/15 Вск 21:29:46 #505 №271600 
>>271593
Матфаковские семинары/листочки.
Достаточно простые.
Аноним 31/05/15 Вск 21:31:08 #506 №271601 
>>271600
+1, матфаковцы все дауны, их листочки вообще изи
Аноним 31/05/15 Вск 21:32:45 #507 №271602 
>>271600
Дай-ка ссылку.
Аноним 31/05/15 Вск 21:33:47 #508 №271603 
>>271602
Этого года например: http://vyshka.math.ru/1415/algebra1.php
Аноним 31/05/15 Вск 21:35:57 #509 №271604 
>>271561
Блядь, да ты охуел. Я тут главный русофоб и вербиторебенок, если что (>>271479-кун).
>>271511
Тут что-то очень странное написано и вообще со слов шизика, который непонятно где учится (например, не postgraduate ли он какого-то говна или технического вуза).
Не говоря уже о том, что по алгебре у нас даже больше проходят, а все это вполне года за 2.
>>271561
3,5 человека это те, кто уже в НМУ год-два отходили в школе. А в перечисленных школах учится натурально сотни людей суммарно, которые в школе освоили уже базовый матан и алгебру.
И это даже если не упоминать олимпиады. У США на междунаре команда из китайцев.
Аноним 31/05/15 Вск 21:41:42 #510 №271605 
Вопрос тупой наверное, но мне не у кого спросить:
Допустим надо раскидать по кластерам точки N-мерного пространства, если я используя разные метрики (евклид, канберра, минковского ... ) получаю в точности одно и тоже распределение по кластерам для нескольких различных алгоритмов кластеризации (минимальная дисперсия Варда, метод ближнего соседа, метод полной связи, UPGMA, WPGMA, WPGMC, UPGMC) - то это возможная ситуация, или я где-то серьезно обосрался?
Аноним 31/05/15 Вск 21:47:32 #511 №271608 
>>271605
Ну то-есть для двух разных методов кластеризации результат естественно разный, но вот если берем один метод и гоняем разные метрики - получаем одинаковое распределение точек по кластерам - это нормальная ситуация?
Аноним 31/05/15 Вск 22:00:57 #512 №271610 
Перекат: >>271609
Аноним 05/06/15 Птн 11:25:09 #513 №272694 
>>271608
Про евклида и канберра, в принципе, верится, если кластеры достаточно выраженные и компактные.
А вот минковского... Это ж псевдо-метрика.
Хотя, может и с ней сработает, если кластерам повезло не оказаться на одной диагонали.
Аноним 05/06/15 Птн 11:47:10 #514 №272697 
Поднялся, аки Лазарь.
прямо мистика какая-то, тред же тонул, точно помню
Аноним 05/06/15 Птн 13:40:39 #515 №272708 
>>272697
Видимо мод что-то вычистил.
Аноним 05/06/15 Птн 14:03:37 #516 №272713 
>>271604
> А в перечисленных школах учится натурально сотни людей суммарно, которые в школе освоили уже базовый матан и алгебру.
Да что ты говоришь тому, кто там учился. На наш класс было 3 или 4 человека, которые действительно все освоили, остальные разной степени распиздяи. Они потом с навыком распиздяйства и в МГУ хорошо себя чувствовали.
Аноним 05/06/15 Птн 14:21:21 #517 №272719 
Есть ли место для тян в снгшной математике? Или только через кровать?

бакалавр вшту
Аноним 05/06/15 Птн 15:57:17 #518 №272739 
>>272719
Есть, но очень мало. Ладыженская была, например, но больше я примеров не знаю.
comments powered by Disqus

Отзывы и предложения