М.Двач / Математика

Этого треда уже нет.
Это копия, сохраненная 13 августа в 20:55.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

46 Кб, 544x434
Как научиться доказывать теоремы? 21 ноя 2016, 19:37 3583 В конец треда | Веб

Матач, спустись с сияющих вершин знания в клоаку страждущих. Объясни мне, как научиться находить доказательства теорем.

Видимо, они могут быть разные; тогда как научиться выводить самое удачное (или хоть одно, лол)?

Причём какие-то теоремы кажутся мне слишком сложными для доказательства, а какие-то -- наоборот. Например, принцип Дирихле. Ну разве ж это, блядь, не очевидно, что если голубей больше, чем ящиков, и мы суём первых во вторые, то как минимум в одном ящике будет как минимум два пернатых пидораса? Как понять, что нечто не очевидно нихуя, а надо как-то доказать?

Заранее спасибо, дорогой двач. Верю, ты вскроешь эту тему.

Ответы358835903644368713067130972405638612

2 21 ноя 2016, 21:45 2 3588

>>3583 (OP)
Поиск доказательства - это творческий процесс. Поэтому обучить ему нельзя. Нельзя же обучить людей самим писать музыку, вот так же и с доказательствами.

Ответы359236886138

3 21 ноя 2016, 21:50 3 3590

>>3583 (OP)
Тупой вопрос, и все равно не понятно, что ты от нас хочешь.
В любом случае прочитай книжку "Доказательства и опровержения" Лакатоса
Есть еще "Как решают нестандартные задачи" Канель-Белов, Ковальджи
У Пойи дохуя книг:
-Как решать задачу
-Математика и правдоподобные рассуждения
-Решение задач основные понятия, изучение и преподавание
Есть прекрасная классика
"Исследование психологии процесса изобретения в области математики" Жак Адамар
Наконец, "Как научиться решать задачи" Фридман, Турецкий и совсем простенькая "Как решать задачу, когда не знаешь как" (автора не помню)
Снизу я подчеркнул книги, в которых есть ответ на:
>Как понять, что нечто не очевидно нихуя, а надо как-то доказать?
Остальные - это прекрасные введения в эвристические задачи:
>Объясни мне, как научиться находить доказательства теорем
В том числе, в нескольких из них дают некоторые понятия, как классифицировать задачу, и, соответственно, какой подход будет наиболее рациональным:
>как научиться выводить самое удачное (или хоть одно, лол)
Сверху подчеркнул самые важные из них.
Есть еще сайт problems.ru - заходишь туда, ставишь легкий уровень и тебе автомат выдают серию задач, тренируешься, и потом переходишь на следующий уровень. В частности, на сайте собраны почти все классические олимпиадные задачи - идеально для тренировки эвристики.

Ответы35923602360640385311

4 21 ноя 2016, 21:58 4 3592

>>3588
>обучить ему нельзя
Правильно, зато его можно вытренировать! Причем никаких репетиторов не нужно, в 21 веке это спокойно можно делать самостоятельно. ---> >>3590
Кстати, добавлю, что если возникают проблемы, то пиздуй на математические форумы dxdy.ru, на таких форумах тебе будут давать направляющие подсказки, пока не решишь сам, что собственно идеально, ибо от готового решения мозгу маловато пользы. На том же dxdy выдавать готовое решение запрещено, исключение, если только автор топика заведомо знает решение и принес задачу, чтобы потешить форумчан

Ответы3619

5 21 ноя 2016, 22:08 5 3593

Когда наберешь определенный уровень читай
"Доказательства из книги. Лучшие доказательства со времен Евклида до наших дней" - Циглер, Айгнер
Название говорит само за себя, причем ко многим задачам и проблемам в книге даются несколько решений.
Еще здесь (или в /sci было, не помню уже) рекомендовали "Books of proofs", я сам ее еще не читал, но пробежался по ней диагонально, вроде годнота, для твоего вопроса вообще идеально. Если можешь в инглиш, то вперед.

6 21 ноя 2016, 22:14 6 3595

Ого, сколько годноты в первый же вечер. Мне теперь надолго хватит. Спасибо, братишки.

Ответы3601

7 21 ноя 2016, 22:40 7 3601

>>3595
Я 1 вообще-то был, но похуй. Удачи!

8 21 ноя 2016, 22:41 8 3602

>>3590
Б-Г ПОСЕТИЛ /MATH/, УРА ТОВАРИЩИ!!!

9 21 ноя 2016, 23:14 9 3606

>>3590
https://mega.nz/#!GtIWULAB!RCZQwAWhA7UkQaN_a9dLOo3L2T4xTVKxD_5Rg3e1bvU
> и совсем простенькая "Как решать задачу, когда не знаешь как" (автора не помню)
Её не нашёл если чо. а мож ещё чё пропустил, я невнимательный нихуя, лол

Ответы3612

10 21 ноя 2016, 23:18 10 3608

Пользуясь случаем спрошу
Как надрочить внимание? Всю жизнь фейлюсь в основном на всяких ушлёпских мелочах, это мой главный минус, который не знаю как устранить. Возможно ли это без привлечения чей-то проверки со стороны?

Ответы36103613

11 21 ноя 2016, 23:27 11 3610

>>3608
NeuroNation, скачай пиратскую полную версию и дрочи упражнялки.

Ответы3611

12 21 ноя 2016, 23:31 12 3611

>>3610
А по нейронауке годные книги только на англе, ты не в курсе?

Ответы3612

13 21 ноя 2016, 23:34 13 3612

>>3606
автор кашуба, видимо в инете ее нет, но остальные перечисленные книги ее покрывают
>>3611
а вот это уже не по моей части, с этим вопросом наверное в /sci

14 21 ноя 2016, 23:42 14 3613

>>3608
>Как надрочить внимание? Всю жизнь фейлюсь в основном на всяких ушлёпских мелочах
Можешь, кстати, почитать какой-нибудь говнотреннинг по типу Думай как математик, их полно всяко разных, и они почти полностью состоят из советов, как вот такую хуйню убрать.

Ответы36143615

15 21 ноя 2016, 23:49 15 3614

>>3613
https://issuu.com/a.benson/docs/dumay_kak_matematik_kak_reshat_lyub
Это чтоли?

16 21 ноя 2016, 23:51 16 3615

>>3613
Вчера решал одну адовую задачу, терь внимание в жопе просто, думал посплю и норм будет, а хуй там, его вообще нет, перенапрягся, блеать, чё делать - хз.

17 22 ноя 2016, 00:56 17 3619

>>3592
>Правильно, зато его можно вытренировать!
Это делают в школах и вузах, в результате при встрече с доколе неведомой задачей впадают в ступор и даже не пытаются из него выйти.

Ответы36203622

18 22 ноя 2016, 00:58 18 3620

>>3619
И правильно. Потому что нужен корректно запиленный алгоритм обучалова которого не дают.

19 22 ноя 2016, 01:21 19 3622

>>3619
Поиск доказательства - это творческое мышление. Не путай, блядь, понятия. Этому в школе не учат, в школе учат решать по шаблонам, это не поиск доказательства, это счет.

Ответы36233624

20 22 ноя 2016, 01:23 20 3623

>>3622
> в школе учат действовать по заранее заданному алгоритму
Пофиксил

21 22 ноя 2016, 01:24 21 3624

>>3622
>Поиск доказательства - это творческое мышление.
Я сразу и говорил это. Ни по каким книгам ты не научишься этому. Прокачать можно только если ты с рождения можешь в это. Те, кто не могут, в принципе и не хотят.

Ответы3627

22 22 ноя 2016, 01:28 22 3625

вкину говна, раз уж вы начали

История показывает, что ни одно открытие не было сделано посредством «правильных размышлений и грамотных умозаключений», независимо от того, в какой науке они были совершены — математике, истории, физике, логике или психологии. И становится очевидным, что здесь работает прежде всего интуиция, а не сознательный ум.
Сходную точку зрения я обнаружил у английского математика Ч. Пирса, который считал, что познание нового возможно лишь в случае отказа от логического подхода. Он полагал следующее: «Если мы вообще стремимся понять явление, то это должно происходить путем абдукции».
Абдукцией Пирс назвал процесс, обратный дедукции, то есть такой, который формально противоречит канонам логики.
Возьмем, к примеру, высказывание: «Все люди смертны, Сократ — человек, следовательно, Сократ смертен». Данное суждение вполне логично и представляет собой дедуктивное умозаключение. В случае же абдукции силлогизм будет выглядеть несколько иначе: «Все люди смертны, Сократ смертен, следовательно, Сократ — человек». На первый взгляд в этом предложении соблюдены все нормы правильного построения причинно-следственной конструкции, но если вдуматься, то обнаруживается, что допущена ошибка и вывод оказывается неверным: из того, что Сократ смертен, вовсе не следует, что Сократ человек, так как смертны и все другие живые существа, которые Сократом не являются.
Между тем эта прокравшаяся ошибка и ломает стереотип, взрывает его изнутри.
По мнению Пирса, абдукция является не столько рефлексивным логическим процессом, сколько гипотезой, проявляющейся внезапно и целиком — как озарение.
И выходит, что творчество по природе своей — изначально абдуктивно.

Ответы36285312

23 22 ноя 2016, 01:38 23 3627

>>3624
А теперь вернемся к твоему начальному высказыванию; ты на мое "вытренировать", сказал, что это хуйня, а теперь говоришь, что таки да можно прокачать. Я под тренировкой, собственно, и имел в виду решение эвристических нешаблонных задач, подразумевающих полет мысли, творческое мышление.
Ты или меня не понял, или сам запутался впрочем одно и тоже

Ответы3629

24 22 ноя 2016, 01:41 24 3628

>>3625
>прежде всего интуиция, а не сознательный ум
не соглашусь, скорее экая совокупность умно-сознательная интуиция, без определенного уровня ума, тебе никакая интуиция не поможет.

Ответы3630

25 22 ноя 2016, 01:48 25 3629

>>3627
Ну, я наверное тебя не понял. Подумал что ты имел ввиду с 0 вытринировать.

26 22 ноя 2016, 01:54 26 3630

>>3628
Нейросети всегда берут и выдают результат основываясь на заранее полученых данных. Абдукция и есть тот механизм который активирует их работу в фоновом режиме. Фоновый режим и есть тот самый язык, язык работы подсознания-фонового сознания - самый эффективный и истинный язык работы мозга.
Он отличается от сознательной логики тем, что она работает как эмулятор. Все эмуляторы намного более медленны и хуёвы чем чистое железо.

Ответы36313672

27 22 ноя 2016, 01:57 27 3631

>>3630
> Фоновый режим и есть тот самый язык
Хуйню написал уже всё, пиздец, плыву, как восстановиться, сука, а?
> Фоновый режим работает на самом эффективном языке, истинном языке.

28 22 ноя 2016, 09:35 28 3644

>>3583 (OP)
>как научиться находить доказательства теорем
ну смотри, у тебя определены условия (вход) и определено утверждение (выход). найти доказательство - все равно что найти путь от входа до выхода. можно простым перебором.

29 22 ноя 2016, 17:39 29 3672

>>3630
если мой мозг нейросеть, то какого хуя у меня так все плохо с линейкой?

Ответы36733717

30 22 ноя 2016, 17:45 30 3673

>>3672
Плохая нейросеть

31 22 ноя 2016, 20:43 31 3687

>>3583 (OP)
Привет, ученик какого-то там класса!

Ответы5180

32 22 ноя 2016, 20:47 32 3688

>>3588
Но ведь люде можно обучить писать музыку. В консерваториях этим и занимаются.

Ответы3712

33 23 ноя 2016, 00:48 33 3712

>>3688
Там не учат писать музыку. Там учат ее играть и разбирать по частям.

Ответы3713

34 23 ноя 2016, 01:03 34 3713

>>3712
Серьезно? Даже на композиторском отделении?

Ответы3714

35 23 ноя 2016, 01:12 35 3714

>>3713
Прежде всего там учат композиции (как ни странно), гармонии, муз. формам.

Ответы3715

36 23 ноя 2016, 01:32 36 3715

>>3714
Ну так умение писать музыку из всего этого и складывается - по-крайней мере техническая его часть. Ты же не отрицаешь роль композиторской техники в создании произведения?

Ответы3717

37 23 ноя 2016, 02:33 37 3717

>>3715
Хуйня. Умение писать музыку складывается из звуковых примеров отложившихся в мозге при помощи распознавательного механизма, в котором одно сочетание нот/их последовательность звучит охуенно, а другое сочитание или последовательность - как говно. Любая официально существующая систематизация от пизды сделана гуманитариями, порядка никакого, одно дерьмо. Только нейронаука поможет навести порядок в музыке в том числе.

>>3672
Это у тебя надо спросить. Чтобы правильно сформировать сеть под задачу, сделает правильно подбирать алгоритм выполнения задачи.

Ответы37183743

38 23 ноя 2016, 02:34 38 3718

>>3717
> сделает
следует

39 23 ноя 2016, 14:33 39 3743

>>3717
> охуенно/говно
Понятно, на каком уровне ты воспринимаешь музыку, тогда говорить нам и вправду смысла нет.

Короче, мой поинт был в том, что в объективной реальности (а не в чьем-то манямирке) людей успешно учат писать музыку. (И доказывать теоремы, если уж на то пошло.) Это факт, а остальное - рассуждения с дивана.

Ответы375437553756

40 23 ноя 2016, 19:39 40 3754

>>3743
Никто не может научить тебя генерировать новые мысли и реализовывать их ИРЛ. Это можно только самостоятельно некоторым образом прочувствовать. Другие люди могут только дать какую-то инфу, чтобы ты понял что-то.

Ответы3757

41 23 ноя 2016, 20:24 41 3755

>>3743
Чего тебе понятно? Я тебе сказал о том от чего исходят охуенные мегатеоритики. И охуенно/хуёво это именно то из чего идёт их "наука". Или ты хотел очередных сложностей? Не нравится когда всё просто и макают теоретиков в говно?

То что распознано у нас как приятное - идёт как истина. То что как хуйня - как ложь. Я что-то не так говорю?

Всю теорию музыки можно послать нахуй, если у нас вместо 12 нот будет, блядь, 13 нот. И всё. Это всё порушит и разъебёт.

Ответы3757

42 23 ноя 2016, 20:36 42 3756

>>3743
Нету НИЧЕГО готового где учили бы писать музыку на заранее не предсказуемом пространстве из рандомного количество нот не равного 12ти, взятых из пизды чьей-то мамки, а этих самых нот может быть сколько угодно. Механизмы распознавания будут работать совершенно иначе.

И да, мой поинт в том, что мозг не работает ни с какими нотами, он работает посредствам распознанных образов. Оперировать распознанными образами нигде не научат, это миф, очередное наебалово чтобы набрать лайков.

Единственное что могут сделать, чему-то "обучив" делать музыку - нагрузить музыкальными примерами для их распознавания.
Никто в принципе не способен увидеть во сне то чего он не видел никогда в своей жизни.
Точно также и с музыкой. Никто не способен сгенерировать нечто что он никогда не слышал.

Ответы3758

43 23 ноя 2016, 20:41 43 3757

>>3754
Так это и называется "обучение". Когда тебе дают инфу, а ты что-то из этого для себя понимаешь. Нц или не понимаешь, это уж у кого как.

>>3755
Я не понимаю, про какую "науку" ты говоришь. Сочинение музыки в общепринятом понмании наукой не является.

Да, ты что-то не так говоришь. Категории приятности и истинности между собой связаны слабо.

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

Ответы3759

44 23 ноя 2016, 20:42 44 3758

>>3756
У тебя есть музыкальное образование?

Ответы3759

45 23 ноя 2016, 20:48 45 3759

>>3758
Нет, и я очень рад что его не получил. Это не загрузило меня совершенно бесполезными тяжеловесными догмами.
>>3757
Окей, усложню задачу. У нас есть строй 12тет, и рандомный строй 31тет. Также есть строй 51 тет. Задача написать музыку идущую в совершенно разных строях одновременно звучащую не как дерьмо, и распознающуюся вполне как музыку, а не неведомую странную хуйню которую слушать невозможно впринципе.
Есть ли какая-то теория которая позволит это сделать?

Ответы376037613764

46 23 ноя 2016, 21:03 46 3760

>>3759
Про строй и муз. теорию - это уже слишком узко.
Насколько я понимаю, основная суть разговора именно в возможности обучиться мышлению (генерировать новые идеи/образы/музыку - использование мышления, доказывать теоремы - использование мышления). Заучивание правил, теорем, законов, муз. строев, предыдущих идей - это, грубо говоря, использование только памяти. Учитель рассказывает, или вы читаете книгу - вы как бы загружаете себе в память вот эти все вещи.
А вот научиться оперировать этими вещами, т.е. использовать мышление, это уже должен сам человек, ибо описать то, что происходит в голове, когда ты строишь логические выводы или придумываешь новую мелодию - гораздо сложнее, или мб даже невозможно в полной мере.

Ответы37623765

47 23 ноя 2016, 21:07 47 3761

>>3759
>написать музыку идущую в совершенно разных строях
написать теорему верную для N,Q и R одновременно!

48 23 ноя 2016, 21:32 48 3762

>>3760
Одновременно нихуя не понял и понял, но Предлагаю разбить на этапы.
Есть этап распознавания образа. для того чтобы что-то записать, надо сначала это распознать
Есть этап передачи в хард диск и записи для складирования там
И есть этап конструирования новых данных на основе сложенного на хард.

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

Ответы3763

49 23 ноя 2016, 22:01 49 3763

>>3762
Выработка новых знаний - по сути нахождение закономерностей/связей между известными знаниями.
Почему школьники, например, плохо решают задачи по геометрии? Потому что не могут находить эти закономерности. Хотя у них могут быть известны все данные: и теоремы и условие задачи. Если учитель скажет, что "вот в этой задаче применяйте эту теорему, видите же, она подходит сюда", то в самом примитивном случае ученик и запомнит только то, что в такой задаче можно применять вот такую теорему. Но с мышлением это мало как связано.
А вот в лучше случае ученик сам способен как-то декомпозировать задачу, увидеть в ней какие-то особенные моменты, перебрать варианты теорем, и сделать вывод, что в задаче можно успешно применить такую-то теорему, здесь уже будет работа мышления.

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

50 23 ноя 2016, 22:17 50 3764

>>3759
Радоваться отсутствию знаний - это так... по-русски, что ли. Я разбираюсь в этом лучше вас, потому что я знаю об этом меньше вас! Невежество - это знание, свобода - это рабство, или как там было?

>>3759
Короткий ответ: да, есть.

Чуть менее короткий ответ: у тебя нет совершенно никакой базы, и поэтому ты задаешь какие-то идиотские вопросы, если уж быть честным, извини. Учитывая, что ты оперируешь понятиями "дерьмо\не дерьмо" и "невозможно слушать впринципе", я сильно сомневаюсь, что я смогу тебе что-то объяснить. Ты какой-то особенный, понятный одному тебе смысл вкладываешь в слово "теория". И мне совершенно непонятно, что ты имел в виду под "музыку идущую в совершенно разных строях".

Давай еще раз. Звуковысотность - только одна из многих составляющих музыки. Ее можно вообще убрать, вообще не использовать, понимаешь? Вообще без нот музыка может быть, окей? И писать такую музыку тоже учатся, никто не умер.

По поводу дерьма\недерьма: я лично видел человека, который утверждал, что Хроматическая фантазия Баха - случайный набор нот. Он вообще не слышал там мелодии, не улавливал совершенно. Для него это было "невозможно слушать впринципе". Улавливаешь? Так и сюда может зайти какой-нибудь анончик и сказать, что дерьмо все эти ваши гомотопии, невозможно понять впринципе их.

Наконец, просить дать какую-то теорию, которая позволит написать заебись)) и недерьмо музыку - это как просить теорию, которая позволит придумать и доказать какую-нибудь заебись и недерьмо теорему. Ну то есть... Ээ... Вот тебе zfc, сиди и придумывай. Осознаешь всю идиотичность такого вопроса? В музыке абсолютно то же самое. Теория - это не алгоритм как сделать "заебись))", это определенная система, в рамках которой можно работать. В любой системе можно доказывать интересные или неинтересные теоремы, в любой системе можно писать интересную или неинтересную музыку. Теория не делает "заебись))", теория дает инструменты.

И все, иди читай Способина-Холопова, слушай Сорабджи и Шенберга, читай Мочидзуку, унижай второкультурщиков и т.п., я съебываю.

50 23 ноя 2016, 22:17 50 3764

>>3759
Радоваться отсутствию знаний - это так... по-русски, что ли. Я разбираюсь в этом лучше вас, потому что я знаю об этом меньше вас! Невежество - это знание, свобода - это рабство, или как там было?

>>3759
Короткий ответ: да, есть.

Чуть менее короткий ответ: у тебя нет совершенно никакой базы, и поэтому ты задаешь какие-то идиотские вопросы, если уж быть честным, извини. Учитывая, что ты оперируешь понятиями "дерьмо\не дерьмо" и "невозможно слушать впринципе", я сильно сомневаюсь, что я смогу тебе что-то объяснить. Ты какой-то особенный, понятный одному тебе смысл вкладываешь в слово "теория". И мне совершенно непонятно, что ты имел в виду под "музыку идущую в совершенно разных строях".

Давай еще раз. Звуковысотность - только одна из многих составляющих музыки. Ее можно вообще убрать, вообще не использовать, понимаешь? Вообще без нот музыка может быть, окей? И писать такую музыку тоже учатся, никто не умер.

По поводу дерьма\недерьма: я лично видел человека, который утверждал, что Хроматическая фантазия Баха - случайный набор нот. Он вообще не слышал там мелодии, не улавливал совершенно. Для него это было "невозможно слушать впринципе". Улавливаешь? Так и сюда может зайти какой-нибудь анончик и сказать, что дерьмо все эти ваши гомотопии, невозможно понять впринципе их.

Наконец, просить дать какую-то теорию, которая позволит написать заебись)) и недерьмо музыку - это как просить теорию, которая позволит придумать и доказать какую-нибудь заебись и недерьмо теорему. Ну то есть... Ээ... Вот тебе zfc, сиди и придумывай. Осознаешь всю идиотичность такого вопроса? В музыке абсолютно то же самое. Теория - это не алгоритм как сделать "заебись))", это определенная система, в рамках которой можно работать. В любой системе можно доказывать интересные или неинтересные теоремы, в любой системе можно писать интересную или неинтересную музыку. Теория не делает "заебись))", теория дает инструменты.

И все, иди читай Способина-Холопова, слушай Сорабджи и Шенберга, читай Мочидзуку, унижай второкультурщиков и т.п., я съебываю.

Показать весь текст
Ответы37675339

51 23 ноя 2016, 22:19 51 3765

>>3760
Научиться использовать мышление должен сам человек, запомнить определение тоже должен сам человек - в чем разница? Интеллект (в широком смысле, как способность к решению задач) определяется а) генетикой и б) опытом. Все, хули тут разводить?

52 23 ноя 2016, 22:21 52 3767

>>3764
Чувак, ты полностью неадекватно воспринимаешь инфу из-за своих эмоций, так что да, съёбывай, коментить то что ты написал - не хочу.

Ответы3768

53 23 ноя 2016, 22:24 53 3768

>>3767
Ох уж эти телепаты, у меня оказывается эмоции. Не хочешь говорить или нечего сказать - ок, так и напиши, но вот свои маняпроекции оставь, пожалуйста, при себе.

Ответы3769

54 23 ноя 2016, 22:27 54 3769

>>3768
Одного воскл знака в начале хватило, дальше сам думай

Ответы3770

55 23 ноя 2016, 22:28 55 3770

>>3769
Я просто грамотно пишу по-русски, успокойся уже.

Ответы3771

56 23 ноя 2016, 22:31 56 3771

>>3770
>успокойся уже.
Лол

57 23 ноя 2016, 23:12 57 3772

Почему здесь срач в каждом треде? Математики - на самом деле, не интеллектуальная элита общества, а обыкновенное высокомерное быдло?

Ответы37733774

58 23 ноя 2016, 23:14 58 3773

>>3772
Развести срач чтоб потом кого-то в нём обвинять - это норма.

59 23 ноя 2016, 23:24 59 3774

>>3772
Ну здесь не обязательно профессиональные математики находятся. И таки да, характер тоже имеет значение.

Ответы4095

60 28 ноя 2016, 16:13 60 4038

>>3590
Герман Вейль - Математическое мышление
Почему нету?
Для постижения математической сущности, полезно также анализировать ее философию метаматематику
а человеческое мышление нужно отдельно изучать

Ответы5181

61 29 ноя 2016, 00:36 61 4095

>>3774
Ты что?! Да здесь только первокультурщики одни сидят! Не признал чтоли?!

62 11 дек 2016, 15:10 62 5180

>>3687
30 лет, кандидат филологических наук (ну если называть это наукой), вкатываюсь в биоинформатику.

Но по сути -- да, ученик какого-то там класса, только качество мозга уже похуже.

63 11 дек 2016, 15:16 63 5181

>>4038
Спасибо, анон.

64 13 дек 2016, 20:21 64 5311

>>3590
Вопрос от ньюфаглинга. Какой уровень требуется для этих книг, шольный, вузовский?

65 13 дек 2016, 20:29 65 5312

>>3625
Примерно об этом и пишет Оакли в своей брошюрке, ссылаясь на "думай медленно решай быстро", где все это и показано

66 14 дек 2016, 11:33 66 5339

>>3764
двачую этого господина!

67 17 дек 2016, 17:22 67 5548

понимание того, что доказательство, а что нет,
ко мне пришло при прорешивании вербицкого "тривиума"

http://ium.mccme.ru/f04/experimental.html

Ответы59305939

68 21 дек 2016, 09:01 68 5930

>>5548
Михайло Сиргиивич, залогиньтесь и не толстите.

Ответы5970

69 21 дек 2016, 12:18 69 5939

>>5548
Что это за фотошопы?

70 21 дек 2016, 22:00 70 5970

>>5930

сергийович, попрошу

71 23 дек 2016, 12:49 71 6138

>>3588
>творческий процесс. Поэтому обучить ему нельзя
Я правильно понимаю, что математика, где все дрочат на логичность, у тебя получается основана на на неведовой ебаной хуйне неформализируемом невнятном "творчестве"?

Ответы61536154

72 23 дек 2016, 16:32 72 6153

>>6138
Некоторые доказательства бывают с хитрыми трюками, неочевидными сразу. Напрвление для построения теории часто диктуется эстетическими чувствами красоты и симметрии и т.д. и т.п.

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

Ответы6159

sage 73 23 дек 2016, 16:33 73 6154

>>6138
Научится этому, конечно, можно. Трюки часто универсальны но не формализованы, да и интуиция развивается если много теорем доказывать, так же как в любом деле тащемто.

>>6138-кун

Ответы6159

74 23 дек 2016, 17:21 74 6159

>>6153
>>6154
Если у нас тут интуиция-творчество, то где ограничение для "я так вижу"? Ведь если нет формальных и четких критериев, то неизбежно будут возникать неясности, разрешить которые математическими средствами (т.е. с помощью логики) нельзя.
При таких раскладах гарантией того, что есть "факты, которые может проверить другой человек" является по сути только мнение матсообщества. Человека клюют и дрессируют до тех пор, пока он не научится "правильно" проверять эти самые факты, правильно доказывать что- либо.
То есть в такой всей из себя живущей в чистом идеальном мире математике и вдруг применяются такие низменные мясные приемчики.
>интуиция развивается если много теорем доказывать, так же как в любом деле тащемто.
А вот это особенно смешно. Да, конечно, это верно для любого дела, но если тебе говорят - мол просто делай, тогда и научишься, никакого общего принципа мы не знаем, - то это ремесленничество, а не наука.

Ответы6163

75 23 дек 2016, 17:40 75 6163

>>6159
> При таких раскладах гарантией того, что есть "факты, которые может проверить другой человек" является по сути только мнение матсообщества.

Верно. Никто математику кроме людей не понимает.

>А вот это особенно смешно. Да, конечно, это верно для любого дела, но если тебе говорят - мол просто делай, тогда и научишься, никакого общего принципа мы не знаем, - то это ремесленничество, а не наука.

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

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

76 15 мар 2017, 19:06 76 13024

Бампуем, чтобы тред жил. Тут много полезного.

Ответы13054

77 16 мар 2017, 06:28 77 13054

>>13024
Я б его схоронил, но как - не знаю. Чтоб он остался в анналах истории

78 16 мар 2017, 18:23 78 13067

27 Кб, 400x366347 Кб, 1198x1200

>>3583 (OP)
>как научиться находить доказательства теорем. Видимо, они могут быть разные; тогда как научиться выводить самое удачное (или хоть одно, лол)?
Для этого есть MLTT и соотв-но, пруверы. Скоро процесс доказательства в математике вообще автоматизируют.

Ответы1307613948

79 16 мар 2017, 22:38 79 13076

>>13067
>Скоро
Чем бы дитя не тешилось.

80 17 мар 2017, 16:38 80 13097

>>3583 (OP)
ОП, иди в тред https://2ch.hk/math/res/9895.html (М) и пробуй доказывать теоремы. Там куча примеров.

81 30 мар 2017, 22:55 81 13926

Подкину годноты
>Steven G. Krantz - The Proof is in the Pudding
(есть руснявый перевод)

Ответы1394321653

82 31 мар 2017, 13:23 82 13943

>>13926
Спасибо, аноне

83 31 мар 2017, 17:20 83 13948

>>13067
Анус ставишь?

84 8 июля 2017, 22:14 84 21574

Подниму тред.

85 9 июля 2017, 21:05 85 21653

>>13926
Ничего не понимаю. Сначала писал разные охуительные истории о пифагорейцах, о том как они птичкам не дают гнезда делать, а потом начал насиловать гомотипиями какими-то.

Ответы24004

86 29 авг 2017, 20:00 86 24004

>>21653
Лучше бы гетеротипиями?

87 31 авг 2017, 16:20 87 24056

>>3583 (OP)
Тут важно отказаться от "всем же понятно, что земля плоская". И задать дебильный вопрос, может это не так? Поэтому например пятый постулат Эвклида был не доказанным, потом хуяк не истинным и вылился бурным потоком в геометрию Лобачевского.

Ответы24058

80 Кб, 794x798
88 31 авг 2017, 17:23 88 24058

>>24056
>пятый постулат Эвклида был не доказанным
>потом хуяк не истинным

Ответы24060

32 Кб, 600x370
89 31 авг 2017, 17:59 89 24060

>>24058

90 16 мар 2018, 19:37 90 37608

Есть что-то вроде задачников по доказательствам?

Ответы3761138497

91 16 мар 2018, 20:12 91 37611

>>37608
Да, называются учебники.

92 16 апр 2018, 16:44 92 38497

>>37608
Читай формулировку теоремы и доказывай сам.

93 19 апр 2018, 21:33 93 38612

>>3583 (OP)
https://ru.wikipedia.org/wiki/Coq

Тред утонул или удален.
Это копия, сохраненная 13 августа в 20:55.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion