Двач.hk не отвечает.
Вы видите копию треда, сохраненную 18 января 2017 года.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
60 Кб, 790x593
67 Кб, 691x512
19 Кб, 605x131
Математика, тред 53 #389536 В конец треда | Веб
Этот тред посвящён pure mathematics. Здесь из нескольких разных доказательств выбирают самое концептуально правильное, доказывают задачи из листочков для первого курса НМУ, а также читают научные статьи (пытаются).

Если вы хотите задать вопрос типа "как мне взять этот интеграл", это не сюда. Вам нужен тред "для начинающих", он плавает неподалёку.

Предыдущий: >>381147 (OP)
>>389539>>389569>>389659>>389797>>390572>>390739
#2 #389539
>>389536 (OP)
1. https://arhivach.org/thread/18638/
2. https://arhivach.org/thread/27246/
3. https://arhivach.org/thread/27696/
4. https://arhivach.org/thread/38709/
5. https://arhivach.org/thread/46502/
6. https://arhivach.org/thread/48852/
7. https://arhivach.org/thread/52165/
8. https://arhivach.org/thread/56479/
9. https://arhivach.org/thread/63306/
10. https://arhivach.org/thread/70618/
11. https://arhivach.org/thread/74342/
12. https://arhivach.org/thread/74341/
13v1. https://arhivach.org/thread/76561/
13v2. https://arhivach.org/thread/92428/
14. https://arhivach.org/thread/78408/
15. https://arhivach.org/thread/79152/
16. https://arhivach.org/thread/82499/
17. https://arhivach.org/thread/92427/
18. https://arhivach.org/thread/84722/
19. https://arhivach.org/thread/87923/
20. https://arhivach.org/thread/91329/
21. http://arhivach.org/thread/93067/
22. https://arhivach.org/thread/94240/
23. https://arhivach.org/thread/95680/
24. https://arhivach.org/thread/96720/
25. https://arhivach.org/thread/99481/
26. https://arhivach.org/thread/100880/
27. https://arhivach.org/thread/101335/
28. http://arhivach.org/thread/106743/
29. https://arhivach.org/thread/109198/
30. https://arhivach.org/thread/114111/
31. https://arhivach.org/thread/116099/
32. https://arhivach.org/thread/118093/
33v1. https://arhivach.org/thread/122613/
33v2. https://arhivach.org/thread/122615/
34. https://arhivach.org/thread/123717/
35. https://arhivach.org/thread/128822/
36. https://arhivach.org/thread/129039/
37. https://arhivach.org/thread/131462/
38. https://arhivach.org/thread/138362/
39. https://arhivach.org/thread/138429
40. http://arhivach.org/thread/140404/
41. https://arhivach.org/thread/142386/
42. https://arhivach.org/thread/145879/
43. https://arhivach.org/thread/146833/
44. https://arhivach.org/thread/152600/
45. https://arhivach.org/thread/153157/
46. https://arhivach.org/thread/156244/
47. https://arhivach.org/thread/159628/
48. https://arhivach.org/thread/165872/
49. https://arhivach.org/thread/183576/
50. https://arhivach.org/thread/187447/
51. https://arhivach.org/thread/188358/
52. https://arhivach.org/thread/197703/
#2 #389539
>>389536 (OP)
1. https://arhivach.org/thread/18638/
2. https://arhivach.org/thread/27246/
3. https://arhivach.org/thread/27696/
4. https://arhivach.org/thread/38709/
5. https://arhivach.org/thread/46502/
6. https://arhivach.org/thread/48852/
7. https://arhivach.org/thread/52165/
8. https://arhivach.org/thread/56479/
9. https://arhivach.org/thread/63306/
10. https://arhivach.org/thread/70618/
11. https://arhivach.org/thread/74342/
12. https://arhivach.org/thread/74341/
13v1. https://arhivach.org/thread/76561/
13v2. https://arhivach.org/thread/92428/
14. https://arhivach.org/thread/78408/
15. https://arhivach.org/thread/79152/
16. https://arhivach.org/thread/82499/
17. https://arhivach.org/thread/92427/
18. https://arhivach.org/thread/84722/
19. https://arhivach.org/thread/87923/
20. https://arhivach.org/thread/91329/
21. http://arhivach.org/thread/93067/
22. https://arhivach.org/thread/94240/
23. https://arhivach.org/thread/95680/
24. https://arhivach.org/thread/96720/
25. https://arhivach.org/thread/99481/
26. https://arhivach.org/thread/100880/
27. https://arhivach.org/thread/101335/
28. http://arhivach.org/thread/106743/
29. https://arhivach.org/thread/109198/
30. https://arhivach.org/thread/114111/
31. https://arhivach.org/thread/116099/
32. https://arhivach.org/thread/118093/
33v1. https://arhivach.org/thread/122613/
33v2. https://arhivach.org/thread/122615/
34. https://arhivach.org/thread/123717/
35. https://arhivach.org/thread/128822/
36. https://arhivach.org/thread/129039/
37. https://arhivach.org/thread/131462/
38. https://arhivach.org/thread/138362/
39. https://arhivach.org/thread/138429
40. http://arhivach.org/thread/140404/
41. https://arhivach.org/thread/142386/
42. https://arhivach.org/thread/145879/
43. https://arhivach.org/thread/146833/
44. https://arhivach.org/thread/152600/
45. https://arhivach.org/thread/153157/
46. https://arhivach.org/thread/156244/
47. https://arhivach.org/thread/159628/
48. https://arhivach.org/thread/165872/
49. https://arhivach.org/thread/183576/
50. https://arhivach.org/thread/187447/
51. https://arhivach.org/thread/188358/
52. https://arhivach.org/thread/197703/
#3 #389540

>Известно, что адепты абстрактной алгебры могут доказать, что 2+2=1 (в кольце вычетов по модулю 3).


Объясните, пожалуйста.
>>389551
#4 #389551
>>389540
4 дает остаток 1 при делении на 3
#5 #389569
>>389536 (OP)
Аноны, а поясните в чем цимес истории с ℕ-петухом?
>>389571
102 Кб, 696x919
#6 #389571
>>389569
Тредик-то его читни. Суть в том, что он затралил парашу, а это и несложно, т.к. неконструктивная математика на самом деле не может определить N. Т.н. аксиомы Пеано исходят из того, что нам уже дано натуральное число, а оно нам нихуя не дано, т.к. не имеет формального определения. В математике здорового человека N определяется элементарно, по Маркову - натуральное число это слово в алфавите |. В математике же курильщика есть н-р бурбаковское "определение" из астрономического числа символов, разумеется, абсолютно бесполезное.
>>389573>>390752>>390755>>390756
#7 #389573
>>389571

>н-р бурбаковское "определение" из астрономического числа символов, разумеется, абсолютно бесполезное.


Но ведь оно не определено через ℕ?
>>389575
653 Кб, 1709x744
#8 #389575
>>389573
Да. Но практической пользы от такого "определения" нет. Его вообще, походу, только сами бурбаки и понимали. Тогда как по факту понятие натурального числа абсолютно ясно даже ребенку. Более того, есть нейрофизиологические доказательства, что натуральные числа и операции над ними - естественная возможность мозга, точнее правой нижней париетальной коры (rIPC) и конкретного типа нейронов - т.н. "нумероны". Причем, речь не только о мозге человека, обезьяны и даже крысы могут в N без всяких бурбаков и верований в актуальную бесконечность и т.п. фофудью. Причем, восприятие числа основано на восприятии времени, что доказано Уолшем в его модели ATOM (A Theory Of Magnitude) на основе данных нейровизуализации и наблюдению больных с повреждением в этой области мозга. Что прямо доказывает правильность подхода пикрелейтед (1 акт интуиционизма).
>>389576>>389581>>389586>>389592
#9 #389576
>>389575

>париетальной


Префронтальной
фикс
#10 #389581
>>389575
Почему тогда в некоторых культурах нет понятия числа? Что-то мнеттвои рассуждения кажцтся сомнительными.
>>389582
#11 #389582
>>389581

>в некоторых культурах нет понятия числа


У мартышек тоже нет понятия числа, однако они могут в N, арифметику и т.д (на что есть нейрофизиологические пруфы). Подозреваю, те культуры, о которых ты говоришь, весьма недалеко ушли от бабуинов. Тут суть как раз в том, что число - изначальное, долингвистическое, доязыковое понятие. Для операций с числами не нужен язык (опять же, все по Брвуэру, 1 акт интуиционизма). Поэтому в числа могут и новорожденные дети и даже зверушки, не могущие в язык.
>>389585
66 Кб, 1194x1960
70 Кб, 1194x1960
#12 #389583
У Канта есть нечто подобное - т.н. "transcendental aestetics" (быдл. "трансцендентная эстетика"). И он до этого дошел без нейрофизиологии. Это свидетельство в пользу тезиса Черча (понятие интуитивной эффективности равнообъемно понятию реурсивности).
>>389587
#13 #389585
>>389582
Я не понимаю. Объясни. Вот проводили много экспериментов с какими-то там индейцами. Показывали им предметы и просили объяснить, как на их языке это количество предметов называется. Получилось, что у них есть несколько категорий (ну, что-то вроде "ноль, один, много", совсем как у программистиков, хи), и что одно и тожеколичество они относят к разным категориям в зависимости от того, добавили предмет к группе или убрали. То есть мы видим три банана, а они видят много бананов. Или немного бананов, если их только что было четыре.

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

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

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

Алсо, говорить о том, что некоторые другие, отличные от нашей, культуры недалеко ушли от бабуинов - это тот еще шовинизм, как мне кажется. Если ты придерживаешься мнения о том, что (европейский) человек - венец творения, эволюционный прогресс движется поступательно и т.п. - то мы вряд ли найдем общий язык, как мне кажется. Извини, если что, я не осуждаю, просто выражаю опасения.
#13 #389585
>>389582
Я не понимаю. Объясни. Вот проводили много экспериментов с какими-то там индейцами. Показывали им предметы и просили объяснить, как на их языке это количество предметов называется. Получилось, что у них есть несколько категорий (ну, что-то вроде "ноль, один, много", совсем как у программистиков, хи), и что одно и тожеколичество они относят к разным категориям в зависимости от того, добавили предмет к группе или убрали. То есть мы видим три банана, а они видят много бананов. Или немного бананов, если их только что было четыре.

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

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

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

Алсо, говорить о том, что некоторые другие, отличные от нашей, культуры недалеко ушли от бабуинов - это тот еще шовинизм, как мне кажется. Если ты придерживаешься мнения о том, что (европейский) человек - венец творения, эволюционный прогресс движется поступательно и т.п. - то мы вряд ли найдем общий язык, как мне кажется. Извини, если что, я не осуждаю, просто выражаю опасения.
>>389589
#14 #389586
>>389575
ты аргументируешь практическую пользу устройством мозга? Это же даже звучит глупо. В математике полно неинтуитивных и тяжелых для восприятия структур, которые на поверку оказываются удобными для работы с объектами. Да та же позиционная система исчисления, те же алгебраические структуры, те же категории. Так почему же мы должны отталкиваться не от них, а от нашего восприятия?
>>389589
#15 #389587
>>389583
Если почитать ту терминологию, которую использовал Кант, то он скорее угадал.
#16 #389589
>>389585

>Показывали им предметы и просили объяснить, как на их языке это количество предметов называется. Получилось, что у них есть несколько категорий (ну, что-то вроде "ноль, один, много",


Вопрос - неправильно построенный ответ. Вот ты сам себе и ответил - дело в языке. Человек может в натуральные числа и арифметику с рождения, это медицинский, прямо скажем, факт. Но вот человек растет, обучается языку. Хорошо, если язык развитый. А не такой, что вся математика на этом языке уровня "один, два, много".

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


Нет, там речь именно о восприятии натурального числа в конструктивном смысле - как слова в алфавите | или т.п., а так же восприятия операций с числами. Концепция числа в интуиционизме и конструктивизме ничем не отличается от самого числа, существует только тот математический объект, который может быть построен. В противном случае "существование" чего-то есть мистика и т.п.
>>389586

>В математике полно неинтуитивных и тяжелых для восприятия структур, которые на поверку оказываются удобными для работы с объектами. Да та же позиционная система исчисления, те же алгебраические структуры, те же категории. Так почему же мы должны отталкиваться не от них, а от нашего восприятия?


Восприятие числа - фундамент всех остальных построений, которые сами по себе могут быть сколь угодно тяжелыми для восприятия. Зависимые типы и правила вывода в MLTT сложно назвать интуитивно простыми, однако они конструктивны, т.е. построимы и выводимы из базовой интуиции. Основывая математику на теории множеств и логике, невозможно обойтись без парадоксов, которые из этих построений вытекают. Можно выдумывать сколько угодно костылей, в конечном счете формально-аксиоматический подход просто сталкивается с теоремой Геделя о неполноте - либо придуманные костыли неполны, либо противоречивы. В обоих случаях это бесполезные костыли.
>>389591>>389615
#17 #389591
>>389589

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


Собственно, вопрос был о том, почему, а ты просто повторил эту мантру. Почему не восприятие паттерна, более фундаментальное?
>>389593
#18 #389592
>>389575

>Более того, есть нейрофизиологические доказательства, что натуральные числа и операции над ними - естественная возможность мозга, точнее правой нижней париетальной коры (rIPC) и конкретного типа нейронов - т.н. "нумероны". Причем, речь не только о мозге человека, обезьяны и даже крысы могут в N без всяких бурбаков и верований в актуальную бесконечность


А с каких пор убогие костыли эволюции как оптимизационного процесса с достаточно хуёвой эвристикой стали оправданием хуёвых определений чего-либо в математике?
>>389593
#19 #389593
>>389591

>Почему не восприятие паттерна, более фундаментальное?


Ну ок, дай определение восприятию паттерна. И покажи его нейрофизиологические основы, позволяющие говорить о наличии такого восприятия независимо от возраста особи и даже от ее вида. для начала хотя бы определение паттерна Со своей стороны я пруфы назвал - модель ATOM Уолша, если Брауэр и Кант не канают.
>>389592

>А с каких пор убогие костыли эволюции как оптимизационного процесса с достаточно хуёвой эвристикой стали оправданием хуёвых определений чего-либо в математике?


Сами эти костыли для интуиционизма несущественны. Я о них говорю потому что они есть и вполне материальны, интуиционизм без них обходится более века. И я сомневаюсь, что у тебя есть возражения по существу к MLTT например. Да даже какие-нибудь нормальные алгорифмы Маркова ты вряд ли сможешь покритиковать. О чем тогда вообще разговор.
>>389594>>389597
#20 #389594
>>389593

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


Неконструктивная математика обходится без этой хуйни уже больше двух тысячелетий. И что?
>>389595
#21 #389595
>>389594

>И что?


И даже N определить не может. Даже непротиворечивость арифметики до сих пор не доказана.
>>389596
#22 #389596
>>389595

>И даже N определить не может.


Ну бурбаки определили.

>Даже непротиворечивость арифметики до сих пор не доказана.


P ≠ NP уже доказал, доказатель мамкин?
>>389598
#23 #389597
>>389593

>О чем тогда вообще разговор.


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

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


Ты так залихвацки предполагаешь решенной трудную проблему сознания, отождествляя число в формальной теории и нечто связанное с числами в теории нейрофизиологической.
А ответы на твои вопросы есть в гугле по запросу pattern recognition physiology.
>>389598
13 Кб, 1171x70
#24 #389598
>>389596

>бурбаки определили.


Заебись определили))) Давай поговорим об этом "определении". Что же такое единица согласно бурбакам? И вот это вот определение из квинтиллионов знаков или сколько там, его в аксиомы Пеано подставлять или что?
>>389597

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


А в чем проблема? Число - изначальная интуиция времени. Об этом говорил Брауэр, это подтверждают современные исследования. На основе идей Брауэра созданы даже конструктивные основания (HoTT). А "паттерн" это нечто из области гуманитарной психологии, смешно и думать что у этих горе-психолохов будут хоть какие-то определения, не сводящиеся к мутной фуфлософии ниочем.
>>389600>>389601>>389602>>389664
#25 #389600
>>389598

>А в чем проблема


В том, что вещь не определяется ее описанием.
https://en.wikipedia.org/wiki/Hard_problem_of_consciousness
На основе "доказанной" гипотезы Римана тоже много что создано.

>нечто из области гуманитарной психологии


термин из машинного обучения так-то.
>>389604
#26 #389601
>>389598

>И вот это вот определение из квинтиллионов знаков или сколько там, его в аксиомы Пеано подставлять или что?


Да, а в чем проблема? Всяко лучше чем РАСПЕЧАТКУ ДОКАЗАТЕЛЬСТВА хроматического числа планарного в квинтиллион шагов вручную проверять.
>>389604>>389605
#27 #389602
>>389598

>И вот это вот определение из квинтиллионов знаков или сколько там, его в аксиомы Пеано подставлять или что?


Ну если ты хочешь пользоваться минимумом символов (зачем?) и чисто формальной записью без использования естественного языка (какой нет ни в одной работе бурбакистов), то дерзай.
147 Кб, 759x576
#28 #389604
>>389600

>вещь не определяется ее описанием.


Так именно с этих слов начинается 1 акт интуиционизма Брауэра. Математический объект определяется возможностью его построения. В противном случае это просто аутизм или вера во что-то.

>термин из машинного обучения так-то.


В машинном обучении нет слова "психология". И "паттерны" там - вещественнозначные векторы, матрицы или тензоры. Т.е. конструктивные объекты, как ни крути.
>>389601

>Да, а в чем проблема?


Проблема в том, что это определение не дает возможности построить на нем арифметику и доказать или опровергнуть ее непротиворечивость.
>>389609
#29 #389605
>>389601
Почему задачу о х4 красках так никто и не решил адекватно?
>>389606>>389607>>389610
#30 #389606
>>389605
Ви таки будете смеяться, но эта задача решена методами конструктивной математики. https://ru.wikipedia.org/wiki/Проблема_четырёх_красок
>>389607>>389608
#31 #389607
>>389606
Об этом и вопрос >>389605-анона.
#32 #389608
>>389606
Я имею ввиду словами, по старинке, без ЭВМ. Кто-нибудь до сих пор пытается её так решить, или нет?
#33 #389609
>>389604

>Так именно с этих слов


Именно с этих слов начинается шестая книга глава евангелия... Походит на религиозный догматизм, не считаешь ли?

>И "паттерны" там - вещественнозначные векторы, матрицы или тензоры. Т.е. конструктивные объекты, как ни крути.


А персептрон об этом в курсе? Ему то все равно, может ли быть сведено что-то к математическому объекту. Ну или, если ты так уверен, то расскажи что представляет собой там тональность сообщения или картинки для google deep dream. Ну, а то, что он получает информацию в виде компьютерных данных, это не тайна мадридского двора.
>>389612
#34 #389610
>>389605
Существует большой класс задач, решаемых только перебором, особенно в комбинаторике. Люди не решают их, потому что делать простую проверку для сотни тысяч вариантов это проблематично. Саму задачу о красках просто свели к доступному перебору.
>>389611>>389614
#35 #389611
>>389610
Отлично. А кто-нибудь рецензировал код переборщика вместе с кодом компилятора которым софтинка была скомпеляна? Ну мало ли, сейчас время такое, сложные программы - баги живут в конпеляторах годами если не десятилетиями....
#36 #389612
>>389609

>Именно с этих слов начинается шестая книга глава евангелия... Походит на религиозный догматизм, не считаешь ли?


Религиозный догматизм - это актуальная бесконечность, например. В интуиционизме существование чего-то означает возможность это что-то построить. Никакого догматизма абсолютно.
>>389613
#37 #389613
>>389612

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


Блажен, кто верует.
#38 #389614
>>389610
Жаль. Но всё же, мне кажется, наступит праздник и в комбинаторике.
>>389619
#39 #389615
>>389589
Ладно, ты меня не услышал и просто еще раз повторил свои изначальные установки. Ладно.
#40 #389619
>>389614
Никогда.
>>389718
#41 #389659
>>389536 (OP)
Пока я тут.
Как будет выглядеть метрика (функция) на пространстве натуральных чисел?
#42 #389664
>>389598
Эта строка из википедии выглядит как-то совсем неправдоподобно. Вроде там намного меньшее число.
>>389735
13 Кб, 625x582
#43 #389670
Платина.
Есть соотношение: s/d = 0.7, d - известно.
Чему будет равно s?
>>389677>>389682
sage #44 #389677
>>389670
s/d = 7/10 iff s = 7d/10
>>389681
#45 #389681
>>389677
А теперь докажи правомерность перехода от вещественного чисда к рациональному.
>>389682>>389683
#46 #389682
>>389681
А теперь покажи где этот >>389670 петух вообще указал что s и d - вещественные (и вообще какие-либо). Судя по школоусловию можно предполагать по наличию операции деления лишь то что s и d принадлежат телу.
>>389685>>389687
#47 #389683
>>389681
Алсо 0.7 - рациональное число.
>>389685
#48 #389685
>>389682
>>389683
Ну ладно, ты прошел тест.
#49 #389687
>>389682
Что за хуйню ты несёшь, наркоман?

Мне надо выразить S из приведённой формулы. Отношение S к D должно быть 0.7 (в идеале). D известно, надо найти S.
>>389693>>389706
#50 #389693
>>389687
Да съеби уже, дурачок.
>>389703
#51 #389703
>>389693
Нахуй иди. Умник нашёлся тут, блядь.
#52 #389706
>>389687
Мамку свою вырази. Анон всё верно сказал.
#53 #389718
>>389619
Скоро, очень скоро.
64 Кб, 646x278
#54 #389735
>>389664
На самом деле они определяли число 1 вот так. Пикрелейтед - скрин из книги.
>>389736
#55 #389736
>>389735
Речь шла о развернутой формальной записи, очнись.
>>389737>>389739
#56 #389737
>>389736
Так никто не может понять, что дает этот факт? Никто же не строит "конструктивные основания" на основе их формализма, он скорее нужен для интуитивного восприятия.
#57 #389739
>>389736
А зачем вам развёрнутая запись?
>>389759
#58 #389759
>>389739
Кому "нам"? Ты тред читал перед тем, как спрашивать? Речь о том и шла, что она не нужна.

Кстати, раз двощ теперь филиал мейлсру - куда перекатываться? На доброчане вроде аж несколько годных маттредов.
>>389827
#59 #389797
>>389536 (OP)
Анон, интересует ситуация в топологии. Мне тут сказали, что общая топология умирает и нет смысла ей заниматься или даже углублённо изучать. Что думаете?
>>389848
#60 #389827
>>389759
Взяли хорошее, годное определение Бурбаков, зачем-то развернули его до самого низа, а потом кудахтают, что то, что получилось, нинужно. Странные люди.
>>389832>>389854
#61 #389832
>>389827
Что взять с опущенного конструктивиста? Конструктиист же хуже червя-пидора.
>>389854
#62 #389848
>>389797
Чета мне здесь услышалось созвучное, словам о физике, сказанное в начале 20 века.
#63 #389854
>>389827
Так это Бурбаки его развернули.

>>389832
Где ты конструктивистов увидел?
>>389864>>389866
575 Кб, 773x744
#64 #389864
Расскажите-ка мне лучше, как же так вышло, что интуиционизм, основанный по-сути, на солипсизме (а как иначе трактовать его исходную часть - чистую интуицию времени, не основанную на языке, опыте и прочих внешних явлениях), объясняет математику лучше, чем маняпостроения, не определяющие даже N и элементарную арифметику? Несостоятельность формализма, доказанная Геделем в теореме о неполноте, Гильберт, переобувшийся в метаматематику, конструктивную по своей сути. Логицизм Рассела и Уайтхеда, так же бесполезный вне своих конструктивных продолжений - интуиционистской логики, MLTT. И т.п. победки неконструктивной математики, полезные практически только в виде своих конструктивных применений, а вне их скатывающиеся в манярелигии с бесконечностями, всемогущими оракулами и т.д. И только солипсизм в математике, не изменившийся с работ Брауэра, позволяет добиться каких-то результатов. Почему так, хотелось бы ОПРАВДАНИЙ.
>>389854

>Где ты конструктивистов увидел?


Бесноватого так корежит, что конструктивистов видит даже у себя под кроватью.
>>389882
#65 #389866
>>389854

>Так это Бурбаки его развернули


Нет. Я показал, каким определением пользовались Бурбаки.
>>389867>>389932
#66 #389867
>>389866
У бурбаков в предисловии к первой книге написано, что сокращенные записи и вольности речи только для удобства читателя, по факту "говорим ленин - подразумеваем партия", у них там претензия именно на полную формализацию.
>>389880>>389959
#67 #389877
"Любят русские люди бунтовать!
Встанут на колени перед барским домом и стоят подлецы!
И ведь знают, что бунтуют и всё равно стоят!"
#68 #389880
>>389867
Так зачем надо раскладывать все до минимальных термов, объясни? Бурбаки все нормально делают, а не переопределяют все в каждом определении, у них нет страха введения новых символов.
>>389885
#69 #389882
>>389864
Опять верующий пришел со своей проповедью, "опровержением всех ересей"? Но, если мы спросим тебя, почему это все присутствует в материальном мире, ты можешь сказать только "потому что верую". При этом как типичный религиозный догматик тебе кажется абсурдным (абсолютно такая же) вера других, как христианам казалась абсурдна вера язычников.

>а как иначе трактовать его исходную часть - чистую интуицию времени, не основанную на языке, опыте и прочих внешних явлениях


А почему, собственно, солипсизм, а не другой вид субъективного идеализма, например, кантовский? Почему не объективный идеализм, где чистая идейная интуиция и определяет бытие? Почему не диалектический материализм, где это отражение материи в сознании? Если ты знаком только с одной недалекой философской концепцией, это не повод приписывать ее куда не следует.
>>389885
28 Кб, 828x121
#70 #389885
>>389880

>зачем надо раскладывать все до минимальных термов, объясни?


Потому что как-то манипулировать можно только с изначальными термами. Т.е. с каноническими элементами. Их можно заменить более высокоуровневыми абстракциями, неканоническими элементами, номинальными определениями и т.п. для удобства, но вычисляются все равно канонические элементы. Вот и подумай, как это должно выглядеть, если таковые состоят из каких-то там квинтиллионов знаков. Хотя, о чем это я, бурбакизм не предполагает возможности построить описанное. Но тогда встает вопрос, какая от него практическая польза.
>>389882

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


Что именно присутствует? Ты о чем?

>А почему, собственно, солипсизм, а не другой вид субъективного идеализма, например, кантовский? Почему не объективный идеализм, где чистая идейная интуиция и определяет бытие?


Тут не суть на самом деле, просто у Брауэра ближе к солипсизму, это даже не особо моя мысль, хотя я и согласен с этим утверждением. Дело-то не в этом, а в том, почему такой аутизм гораздо лучше подходит для оснований математики, чем собственно математика?
>>389887
#71 #389887
>>389885

>Потому что как-то манипулировать можно только с изначальными термами.


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

>Что именно присутствует? Ты о чем?


Ну ты же задаешься вопросом: "почему дело так, а не иначе". При этом, как мне кажется, подразумеваешь, что математика должна быть построена на каких-то законах материального мира или от них отталкиваться, или я плохо понимаю? Собственно, от ответа на этот вопрос принципиально зависит и позиция. Если математика совершенно оторвана от бытия, то зачем ее какой-то земной критерий, вместо интуитивного?
>>389888
#72 #389888
>>389887

>Манипулировать кому и зачем? Человеку определенно неудобно, большинство математиков даже не в курсе, как канонично формализуются те абстракции, которые они используют.


А ты не видишь, что именно в этом вся проблема? В частности с тем, что неконструктивная математика до сих пор не может доказать непротиворечивости арифметики.

>Если математика совершенно оторвана от бытия, то зачем ее какой-то земной критерий, вместо интуитивного?


Конструктивный объект всегда может быть построен, в этом смысле интуиционизм гораздо больше привязан к бытию, чем какая-нибудь бурбакистика. Прикол в том, что интуиционизм основывается на солипсизме, что с точки зрения неконструктивной математики шизофрения какая-то. И тем не менее, по факту выходит, что это более годные основания, чем логицизм и формализм.
>>389893
#73 #389893
>>389888

>А ты не видишь, что именно в этом вся проблема? В частности с тем, что неконструктивная математика до сих пор не может доказать непротиворечивости арифметики.


Я не вижу в этот проблемы. Невозможность что-то доказать это же уже результат. Может ли конструктивная математики помочь, например, десятой проблеме Гильберта?
Да и про непротиворечивость ты лукавишь, не объясняя почему мы должны пользоваться средствами теории, а не метатеории.

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


Построение же чисто умозрительное, какая-то связь с реальность даже не предусмотрена постановкой вопроса. При этом, насколько я знаю, критерии конструктивности совершенно неопределенны (вера в тезис черча, например). И именно от того, как мы поставим обоснуем этот критерий, и зависит само наше построение. Возникает вопрос, а почему такая система претендует на формализацию всей математики? Доступно ли ей это?
>>390004
#74 #389932
>>389866
Ты бы почитал их хоть для начала, ох.
#75 #389933

>>389869


Доброчан же. Все будет хорошо. Сделай первый шаг.
#76 #389959
>>389867
Энивей, никакая более лучшая формализация математики невозможна. У Бурбаки минимально достаточный набор знаков.
>>390004
#77 #390004
>>389959

> никакая более лучшая формализация математики невозможна.


Формализация математики - тупиковый путь, что доказывается теоремой Геделя о неполноте. Уже после этого формализм можно списывать на свалку истории. Однако, несвежий труп поебывают до сих пор. Закопали бы уже обратно.
>>389893

>Построение же чисто умозрительное, какая-то связь с реальность даже не предусмотрена постановкой вопроса.


Предусмотрена, возможность построения объекта - это как раз постановка вопроса.

>Возникает вопрос, а почему такая система претендует на формализацию всей математики? Доступно ли ей это?


Доступно. HoTT как раз из этой области. Проблема только в том, что там еще полно работы, по-сути, конструктивными основаниями никто и не пытался заниматься до относительно недавнего времени, все веровали в формализм, да и сейчас большинство веруют.
>>390006>>390042
#78 #390006
>>390004
Пожалуйста, сформулируй теорему Гёделя о неполноте и объясни, о каком тупике ты говоришь.
>>390007
111 Кб, 480x380
#79 #390007
>>390006
Все элементарно настолько, что есть даже в предисловии к первой книге бурбаков. Любая формальная система либо неполна, либо противоречива. Сами бурбаки отнеслись к этому вопросу в стиле пикрелейтед. Прежде всего, надо думать, по той причине, что никогда и не надеялись что вся математика будет когда-то формализована, н-р на основе той же теории множеств.
>>390009
#80 #390009
>>390007

>Любая формальная система либо неполна, либо противоречива


Это неверно: существует обширный класс полных непротиворечивых формальных систем. Ты выставил себя идиотом, дальнейший разговор с тобой лишён смысла.
>>390010>>390042
#81 #390010
>>390009

>существует обширный класс полных непротиворечивых формальных систем.


Вся математика к ним не относится.
268 Кб, 1171x1888
#82 #390014
Более того, принципы метаматематики, приписываемые Гильберту, были впервые изложены Брауэром задолго до того, как Гедель теоремой о неполноте показал несостояельность программы Гильберта. После чего Гильберт и переобулся в конструктивный по своей сути подход, названный метаматематикой.
>>390020
#83 #390020
>>390014
Что за книга?
>>390021
#85 #390029
>>390021
А, я думал. что это овервьюшка всей математической философии, типа шапировского The Oxford Handbook of Philosophy of Mathematics and Logic. Тогда читать не буду.
#86 #390042
>>390004

>Предусмотрена, возможность построения объекта - это как раз постановка вопроса.


С чего вдруг возможность построения определяет реальный объект? Это наоборот максимальный отрыв от реальности, ведь вместо связи с ней берется совершенно оторванный от реальности критерий возможности построения. Но это я повторяюсь.

>Доступно


Да неужели, а что делать с результатами в классическом анализе, это у конструктивистов объявляется неверным? Я уж не знаю сколько нужно "работы", чтобы с такими убогими вещественными числами идти дальше.

>>390009
И в скольких из них можно определить арифметику?
>>390044
#87 #390044
>>390042

>С чего вдруг возможность построения определяет реальный объект?


А что по-твоему, определяет существующий объект в математике?

>Это наоборот максимальный отрыв от реальности, ведь вместо связи с ней берется совершенно оторванный от реальности критерий возможности построения.


Ты читаешь что пишешь-то? Что может быть реальнее фактически построенного объекта? Расскажи.

>а что делать с результатами в классическом анализе, это у конструктивистов объявляется неверным?


С какими результатами, например?
>>390053
#88 #390053
>>390044

>существующий объект в математике


Если мы говорим в математике, то я бы с большим интересом поискал "несуществующий" объект, прежде чем делать дистинкции.

>Ты читаешь что пишешь-то? Что может быть реальнее фактически построенного объекта? Расскажи.


Ну не верю я в тезис Черча, представь себе. Следовательно, конструктивная математика работает по какому-то невменяемому критерию, непонятно почему именно такому.

>С какими результатами, например?


Лемма о конечном покрытии, например, да и вообще все теоремы касательно сходимости и непрерывности. Весь анализ можно в помойку выкинуть.
>>390054
#89 #390054
>>390053

>Если мы говорим в математике, то я бы с большим интересом поискал "несуществующий" объект,


И тут мы опять приходим к изначальному вопросу - что есть существование в математике?

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


Конструктивный анализ никто не отменял, например.
>>390055>>390056>>390061
#90 #390055
>>390054

>Конструктивный анализ


Что-то среднее между "вегетарианская котлета" и "православный коммунист".
>>390058
#91 #390056
>>390054
С чего ты взял существование в реальном мире имеет какое-то отношение к существованию в математике?
Например, бесконечность в математике существует. В реальности ещё не факт, что она есть. Или аксиома выбора, чем она так непонравилась ко-ко-конструктивистам?
>>390057>>390058>>390059
#92 #390057
>>390056

>не понравилась


фикс
#93 #390058
>>390055
Так и скажи, что не знаком с темой. Это будет хотя бы честно. Есть там и лемма о покрытиях, и интегральчики и все остальное при месте.
>>390056

>Например, бесконечность в математике существует.


Существует в каком смысле? Я в это уверовать должен? Или что?
>>390060
#94 #390059
>>390056
То есть вот у бурбаков написано "существует бесконечное множество", а вот в коране написано, что существует Аллах. В чем разница между этими определениями существования?
>>390060
#95 #390060
>>390058
А почему я должен уверовать в то, что её нет? Взять хотя бы мощьность действительных или натуральных чисел.

>>390059

>То есть вот у бурбаков написано "существует бесконечное множество", а вот в коране написано, что существует Аллах. В чем разница между этими определениями существования?



>У констррутивистов написанно "не существует бесконечного множество", а вот в коране написано, что не существует бога кроме Аллаха. В чем разница между этими определениями не существования?

>>390062
#96 #390061
>>390054

>И тут мы опять приходим к изначальному вопросу - что есть существование в математике?


Тогда ответный вопрос: ты считаешь возможно построить заведомо нереальный объект?

>Конструктивный анализ никто не отменял, например.


Так толку от него, если современные ученые, ушедшие далеко далеко вперед, отталкиваются от понятий классического анализа, до которых конструктивный еще даже не добрался (а некоторые опроверг или переделал, что подразумевает огромный массив "плохо доказнного").
>>390064
#97 #390062
>>390060

>У констррутивистов написанно "не существует бесконечного множество",


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

>А почему я должен уверовать в то, что её нет? Взять хотя бы мощьность действительных или натуральных чисел.


Это случай абстракции потенциальной бесконечности. Если есть правила конструирования бесконечного объекта, никто не отрицает его бесонечность (N или н-р шкала множеств у бурбаков). Ты же веруешь в актуальную бесконечность, т.е. бесконечность саму по себе, в отрыве от конкретного объекта, который можно построить. И такая вера то же самое что вера в домовых.
>>390063>>390065
#98 #390063
>>390062
Ты свел все к своей вере в частично рекурсивную функцию и обвиняешь кого-то в ереси.
#99 #390064
>>390061

>ты считаешь возможно построить заведомо нереальный объект?


Реален тот объект, который можно построить. В отрыве от построимого объекта, что есть реальность?
>>390070>>390071
#100 #390065
>>390062

>конкретного объекта, который можно построит


Хорошо, как построить точку? По определению:
Точка есть то, что не имеет частей.
>>390066
#101 #390066
>>390065
Ну толсто же. Точка имеет координаты. Это уже правила ее построения.
>>390071
#102 #390070
>>390064
Формулу Эйлера можно построить? Насколько объекты в ней реальны?
#103 #390071
>>390066
Неа, не фига. Это биекция между координатами и самой точкой, что нарисованна на плоскости.

>>390064
В реальности ты не построишь не одной точки. Хоть одну нарисуй, построй.
>>390073
#104 #390073
>>390071

> Это биекция между координатами и самой точкой, что нарисованна на плоскости.


А кто сказал, что надо рисовать? Координаты задают объект - точку. Задают однозначно. Т.е. имеем конструктивный объект.

>В реальности ты не построишь не одной точки. Хоть одну нарисуй, построй.


Еще раз, что по-твоему есть реальность в математике?
>>390076
#105 #390075
И чуть не забыл, считать ли нам реальными числа навроде 2^(sqrt(2))?
#106 #390076
>>390073
Ты не можешь даже точки посторить, получаеться, что геометрия не ко-ко-консруктивная?
>>390079
#107 #390079
>>390076
Какой мне смысл писать десятый раз одно и то же. Не понимаешь - попробуй религию. Конструктивные определения евклидова пространства, как и его подмножеств, мало отличаются от неконструктивных. Возможность построить объект не равна возможности нарисовать его.
#108 #390080
Я тут подумал, когда теория множесТв набирала обороты то её хвалили, типа там рай для математиков и т.д. Но потом бац и парадоксы! А что если с консруктивизмом и гомотипамитеории тоже самое? Сейчас его восхваляют, а потом бац И ПАРАДОКСЫ НАХУЙ!!! Я на 100% уверен, что в этой молодой теории будут свои парадоксы похлеще удвоение шара. Не обольщайтесь. Раньше теорию множеств тоже считали непротиворечивой.
>>390081>>390083
#109 #390081
>>390080

>парадоксы похлеще удвоение шара.


Но это не парадокс, это лишь "удивительный факт".

>тоже считали непротиворечивой


А она противоречива? Можно пруф?
>>390082
#110 #390082
>>390081

>Но это не парадокс, это лишь "удивительный факт".


Я знаю.

>Можно пруф?


Парадокс Рассела. Раньше считали, что есть множество всех множеств.
>>390086
#111 #390083
>>390080

>когда теория множесТв набирала обороты то её хвалили, типа там рай для математиков и т.д.


Кто хвалил-то? Тот самый Гильберт, который обокакавшись со своей программой, быстренько переобулся в конструктивизм?

>Но потом бац и парадоксы!


Какой нежданчик, а?

>Я на 100% уверен, что в этой молодой теории будут свои парадоксы


Этой молодой теории больше сотни лет. Напомню, что диссертация Брауэра была написана в 1907 году. Пока ни одного парадокса.
>>390084
#112 #390084
>>390083

>Пока ни одного парадокса.


>Пока

>>390085
#113 #390085
>>390084
Теперь уже и не будет, расслабься. Раньше надо было. С появлением же MLTT все вычисляется на камплюктерах.
#114 #390086
>>390082
В ZF нет никаких множеств всех множеств. Старайся лучше.
>>390087>>390088
#115 #390087
>>390086
Я говорил про ранюю теорию множеств.
#116 #390088
>>390086

>В ZF нет никаких множеств всех множеств.


Игнорировать источник парадоксов тоже выход, да. Если проблему не замечать - само как-нибудь рассосется.
>>390091>>390094
#117 #390089
А что значит пострить объект?
>>390090
650 Кб, Webm
#118 #390090
>>390089
Задать правила его построения. Например, на основе алфавитов (знаков и переменных) и производящих схем (примеры - каноническая система Поста, алгорифмы Маркова). Это классика, это знать надо.
>>390093
#119 #390091
>>390088
В чем игнорирование? Это я бы сказал конструктивное изменение, воспрещающее строить множества из еще непостроенных элементов.
>>390092
#120 #390092
>>390091

>Это я бы сказал конструктивное изменение, воспрещающее строить множества из еще непостроенных элементов.


Если множества считаются заведомо существующими математическими объектами (ведь требование их построимости не фигурирует в ZF), почему не может существовать множество их подмножеств?
>>390099
#121 #390093
>>390090
Ох лол, а ведь несколько сотен лет до появление конструктивизма думали, что в действительных числа нет ничего противоречивого!
#122 #390094
>>390088
В теории NBG (конечно аксиоматизируемой) есть класс всех множеств.

Не вижу проблемы. Как известно, непротиворечивость ZFC эквивалентна утверждению о существовании одного большого кардинала. То есть, по сути, непротиворечивость ZFC эквивалентна утверждению "ZFC непротиворечива". Если вы можете сделать это утверждение по каким-либо, каким угодно, причинам, то вы спокойно можете заниматься математикой.
>>390095
#123 #390095
>>390094

>В теории NBG (конечно аксиоматизируемой) есть класс всех множеств.


А в коране есть Аллах. Класс всех множеств может быть построен? Или в каком смысле он "есть"?
>>390096>>390098>>390110
#124 #390096
>>390095
А может ли быть построенно само построение?
>>390097
#125 #390097
>>390096
Да. Я же выше назвал примеры - алгорифмы Маркова, системы Поста. Они сами по себе конструктивные объекты.
>>390100>>390101
#126 #390098
>>390095

>А в коране есть Аллах


А коструктивно математике есть построение.
Чем построение не являеться Аллахом?
Мы можем взять и построить Аллаха по своему желанию.
>>390103
#127 #390099
>>390092

>ведь требование их построимости не фигурирует в ZF


Чет не очень понимаю, а само ZF это что? Давай так множество это объекты построимые в ZF, зачем путаться с каким-то интуитивным определением начала века?
#128 #390100
>>390097
Но ведь есть контруктивные объекты, построение которых неконструктивно!!!
Как ты построишь число 1?
>>390103
#129 #390101
>>390097
А можно построить тот факт, что алгоритмические вычислимые объекты исчерпываются этими системами? А, я же забыл, веру нельзя построить конструктивно, ее можно строить только в своем сердце.
>>390104
67 Кб, 600x429
#130 #390103
>>390098

>А коструктивно математике есть построение.


Есть. И оно само по себе построимо. Третий раз скажу про алгорифм Маркова.

>Чем построение не являеться Аллахом?


Тем, что оно конструктивный объект и построимо, а Аллах - нет.

>Мы можем взять и построить Аллаха по своему желанию.


Не можем, нет правил построения.
>>390100

>Но ведь есть контруктивные объекты, построение которых неконструктивно!!!


Нету таких.

>Как ты построишь число 1?


Натуральные числа по Маркову - это слова в алфавите |. Т.е. | - это 1, ||| это 3. Если совсем просто - счетные палочки.
>>390105
#131 #390104
>>390101

>А можно построить тот факт, что алгоритмические вычислимые объекты исчерпываются этими системами?


Возможно построить то, что построимо. Все очеь просто, не нужно ни во что веровать и делать глобальных априорных утверждений.
>>390106
#132 #390105
>>390103
СТОП! Ты берёшь и считаешь, что существую какие-то абастрактые счётные палочки и слова в алфавите маркова, так? Разве это не верунство? С чего ты взял, что они существуют вообще? И как ты мне построишь число 1 и главное из чего?! Если вся конструктивная математика строиться на натуральных числах, тогда из чего строятся они?! А? Для построения еденицы нужно больше, чем нарисовать палку.
>>390107
#133 #390106
>>390104

>Возможно построить то, что построимо


...в машине дяди Федя.
#134 #390107
>>390105

>С чего ты взял, что они существуют вообще?


С того, что их можно построить.

>И как ты мне построишь число 1 и главное из чего?! Если вся конструктивная математика строиться на натуральных числах, тогда из чего строятся они?! А?


Из счетных палочек. Понятие натурального числа базовое, понятное любому человеку и не зависит от языка. Нейрофизиологическая основа - модель ATOM, некоторые нейроны в rIPC, т.н. нумероны. Ну или базовая интуиция времени по Брауэру.

>Для построения еденицы нужно больше, чем нарисовать палку.


Не нужно. Палка - конструктивный объект.
>>390108>>390115
3 Кб, 348x340
#135 #390108
>>390107

>С того, что их можно построить.


Построй мне число 1, а не эту ёбанную палку!

>Из счетных палочек. Понятие натурального числа базовое, понятное любому человеку и не зависит от языка. Нейрофизиологическая основа - модель ATOM, некоторые нейроны в rIPC, т.н. нумероны. Ну или базовая интуиция времени по Брауэру.


Ага, а я возьму и строию sqrt(2), как гипотенузу треугольника, ПОСТРОЕННОГО из трёх ПАЛОК двух длины 1 и одной длины sqrt(2). Найс. Я только что построил корень из двух и он коструктивный объект! Палки-то использованны. Может для построенния этого числа нужно что-то ещё?

>Не нужно. Палка - конструктивный объект.


Действительно.

Ах да, я всё ещё жду построения числа 1.
>>390109
#136 #390109
>>390108

>Построй мне число 1, а не эту ёбанную палку!


Это одно и то же.

>Ага, а я возьму и строию sqrt(2), как гипотенузу треугольника, ПОСТРОЕННОГО из трёх ПАЛОК двух длины 1 и одной длины sqrt(2).


>Ах да, я всё ещё жду построения числа 1.


Я говорю о равенстве палки и слова в алфавите |. Это и есть конструктивное построение. Из палок числа строятся дробями (2 палки делим на 3) и т.д.
#137 #390110
>>390095

>в каком смысле он "есть"?


Перед его описанием стоит квантор существования.
>>390111
#138 #390111
>>390110

>Перед его описанием стоит квантор существования.


Ну точно, как в коране. Нарисуй квантор существования перед словом "Аллах" и будет то же самое. Или ты из вкантора существования можешь получить правила построения того, что этот квантор объявляет существующим?
>>390112
#139 #390112
>>390111
Почему ты считаешь правилами построения только то, что назвал правилами построения священный Марков? Я вот считаю универсум фон Неймана построимым.
>>390114
#140 #390114
>>390112

>Почему ты считаешь правилами построения только то, что назвал правилами построения священный Марков?


Почему "только"? Это просто один из примеров.

>Я вот считаю универсум фон Неймана построимым.


Если у тебя есть правила его построения, то он и построим. В противном случае встает вопрос, почему ты так считаешь.
>>390126
#141 #390115
>>390107
Продолжая продолжать.

В начале конструктивный бог сотворил понятие натурального числа.
Земля же была безвидна и пуста, и тьма над бездною, и Дух Брауэра носился над текстом.
И сказал конструктивный бог да будет нормальный алгоритм Маркова, и был нормальный алгоритм Маркова.
И увидел конструктивный бог, что он хорош, и отделил им построимые объекты от непостроимых.
И назвал конструктивный бог построимые объекты интуитивными, а непостроимые тьмой.
И сказал конструктивный бог, да будет частично рекурсивная функция посреди текста, и да отделяет она текст от текста.
И создал конструктивный бог твердь, и отделил текст который под твердью, от текста, который над твердью. И стало так.
И назвал конструктивный бог твердь машиной Тьюринга.
...
И создал конструктивный Господь Бог человека из праха земного, и вдунул в лице его дыхание интуиции времени, и стал человек душею конструктивною.
>>390116
946 Кб, 2592x1944
#142 #390116
>>390115
Так почему же слово| в алфавите "|" не определяет натуральное число 1? Поясни. Я же пояснил, почему таки определяет.
>>390119
#143 #390117
http://dxdy.ru/topic16275.html
Я нашел нашего конструктивиста на dxdy! Деанон по маске Гая Фокса! И высказывания такие же.
>>390120
#144 #390119
>>390116
Потому что понятие натурального числа дал человеку конструктивный господь в виде интуиции времени (в трактовке преподобного Брауэра)? Или тебе нужны какие-нибудь нейроны актуальной бесконечности?
16 Кб, 1705x188
#145 #390120
>>390117
Какой годный ответ. Всё это время мы занимались философией, а не математикой.
>>390121
111 Кб, 480x380
#146 #390121
>>390120

>Какой годный ответ.


И правда годный. Назвать все неудобные вопросы философией, и вроде как нет проблемы.
>>390122
30 Кб, 1725x277
#147 #390122
>>390121
Неа, это философия. Вот ещё один годный ответ.
>>390123
#148 #390123
>>390122
Если бы все было так просто. Но нет. MLTT, конструктивные основания (HoTT) это не философия. Брауэра можно попытаться объявить философией, но не конкретные языки программирования с зависимыми типами, например.
>>390124>>390125>>390133
80 Кб, 1843x751
#149 #390124
>>390123

>Брауэра


Как же я проиграваю над этим дрочем на Брауэра, прямо пророк-господь-бог.
>>390127
#150 #390125
>>390123
Но все равно все сводится к построимости. У Брауэра это свободно становящиеся последовательности, у дальнейших конструктивистов тезис Черча-Тьюринга, а без решение этого сугубо философского вопроса, такая теория просто не претендует на формализацию математики, а просто развивает какую-то область.
#151 #390126
>>390114

>Если у тебя есть правила его построения


У меня есть правила его построения. Смотри, берём пустое множество. Оно будет верум-нуль. Далее берём его булеан - это будет верум-1. Потом булеан булеана - это верум-2. И так далее. На каждом шаге n получаем верум номер n. Если шаг n предельный, то за верум-n считаем объединение всех ранее построенных верумов. За ультимате-верум принимаем объединение всех верумов.
>>390138
653 Кб, 1709x744
#152 #390127
>>390124

>Как же я проиграваю над этим дрочем на Брауэра,


А что с ним не так? Единственный кто понял как и на чем нужно основывать математику, показал несостоятельность программы Гильберта задолго до Геделя.
>>390128>>390136
#153 #390128
>>390127

>А что с ним не так


>прямо пророк-господь-бог


Слишком много его упоминаний сектантами в своей речи.
>>390136
#154 #390129
Что такое актуальная бесконечность?
>>390130
#155 #390130
>>390129
Бесконечность "сама по себе", в отрыве от конкретного бесконечного объекта. В классической математике веруют в ее существование, даже если называют вопрос существования философией.
>>390131>>390132
#156 #390131
>>390130
К какому объекту привязан алфавит конструктивной математики?
>>390136
#157 #390132
>>390130
Что значит бесконечность сама по себе и как она выглядит в классеческой математике?
>>390136
#158 #390133
>>390123
Вопрос только в том, что программирование забыло в математике.
>>390136
8 Кб, 1719x54
#159 #390135
Какие умные люди на dxdy сидят, даже там считают ко-ко-косрутивистов фанатиками! ЛОИС им!
>>390137>>390139>>390604
#160 #390136
>>390128
Так ты посмотри, >>390127 какой няшный :3 Такой-то истинный ариец, сычует на дачке, ссыт за шиворот всяким гильбертам, ну как его не упоминать.
>>390131

>К какому объекту привязан алфавит конструктивной математики?


К конструктивным элементам алфавита.
>>390132
Никак не выглядит, в нее веровать надо. Абстракция актуальной бесконечности - одна из базовых абстракций классической математики. Вопрос ее построимости принципиально не ставится, типа это философия. Поэтому остается веровать.
>>390133
С точки зрения MLTT математика это и есть программирование.
>>390140>>390142
#161 #390137
>>390135
Ага, там ключевая фраза, что "я не знаю за конструктивный анализ, но считаю, что ты вот фанатик". Очень умный аргумент.
>>390141
39 Кб, 480x480
#162 #390138
Привлеку внимание к >>390126
>>390145
#163 #390139
>>390135

>какой няшный


Я не тня чтобы внешность мужиков оценивать и не гей.

>сыт за шиворот всяким гильбертам


А я сейчас возьму и нассу за шиворот Брауэру. Гилберт пизже и сделал для математики гораздо больше.
>>390145
#164 #390140
>>390136

>С точки зрения MLTT математика это и есть программирование.


Скорее это смерть математики.
>>390143
#165 #390141
>>390137

>я не знаю за конструктивный анализ


Он такого не говорил.

>но считаю, что ты вот фанатик


По твоему то же упонимание пророка пять раз за сообщение не сектанство?
#166 #390142
>>390136

>К конструктивным элементам алфавита.


А длина строки конечна или бесконечна? А вариантов символов в ней конечное число или бесконечное? А как это доказать?
>>390145
#167 #390143
>>390140
Двачую!
#168 #390145
>>390138
Ну берем 0, определяем функцию следования succ. Дальше все это объединяем. Если получилось что-то отличное от пустого типа, то объект построен.
>>390139

>Гилберт пизже и сделал для математики гораздо больше.


Метаматематику, придуманную Брауэром? Или свою программу, несостоятельность которой показал сначала Брауэр, а потом Гедель?
>>390142

>А как это доказать?


Построить. Иначе никак.
>>390146>>390147>>390148
#169 #390146
>>390145
Верум - законный объект?
>>390149
#170 #390147
>>390145
>Иначе никак.
Ну так строй! Не построив алфавит, куда идти дальше то?
>>390149
#171 #390148
>>390145
Почитать про то что и где сделал Гильберт, можно хотя бы в той же википедии. По значимости это перекрывает всех нынешних погроммистопетушков.
>>390151
#172 #390149
>>390146
Если его можно построить, то да.
>>390147
Что мешает задать алфавит?
>>390150
#173 #390150
>>390149
Я дал описание, как построить верум. Верум построен?
>>390152
#174 #390151
>>390148
Двачую.

Вопрос к сектанту - фракталы конструктивный объект?
#175 #390152
>>390150

>Я дал описание, как построить верум. Верум построен?


Если в результате применения этих правил он построится - то да.
>>390153
#176 #390153
>>390152
У меня он построится. У тебя?
>>390155
11 Кб, 1141x75
#177 #390154
Петуху Брауэру до Гилберта никогда по значимости не достать!
>>390155
#178 #390155
>>390153
У меня, у тебя, какая разница? Конструктивный объект построится безотносительно того, кто его строит.
>>390154
Ну да, с основаниями облажался, пошел Эйнштейну помогать.
>>390157>>390158
#179 #390157
>>390155
Вот у меня верум построился. А у тебя? Просто ответь.
>>390159
58 Кб, 1699x893
#180 #390158
>>390155
Как бы не восхвалял своего пророка, по сравнениюю с Гилбертом он так-себе учённый.
>>390605
#181 #390159
>>390157
Я сомневаюсь, что булеан нуля это вообще конструктивный объект, так скажем. Нуль он в африке нуль, какие у него могут быть множества подмножеств, отличные от него самого, т.е. того же нуля?
>>390164
72 Кб, 1715x601
#182 #390160
>>390161
#183 #390161
>>390160
Как же тошнит от этих ванаби-интеллигентных петухов. Вы через Вы и Вы погоняет.

МНЕ КАЖЕТСЯ ВЫ НЕНАМЕРЕННО ДОПУСТИЛИ ОШИБКУ; БОЮСЬ, ЧТО ВАМ ПОМЕРЕЩИЛСЯ ЛИШНИЙ НУЛЬ В ЧИСЛЕ.

Готов поспорить процентаж девственников там выше, чем у нас раз в 10.
>>390163
#184 #390163
>>390161
А меня так конструктивисты бесят!
Готов поспорить процентаж девственников там выше, чем у нас раз в 10.
#185 #390164
>>390159
В булеане нуля содержится ровно один элемент: нуль.
#186 #390165
В конструктивной математике конечное число простых чисел?
>>390167>>390168
#187 #390167
>>390165
Да. Брауэр так скозал!
#188 #390168
>>390165
Нет, бесконечное. Доказательство Евклида конструктивное, представь себе. Как уже сказано выше, никто не отрицает потенциально бесконечные объекты, если даны правила их построения.
>>390169>>390170>>390183
#189 #390169
>>390168
А количество способов ебли твоей мамаши - то конструктивный объект.
#190 #390170
>>390168
Тебе дали правила построения верума. Ты их принимаешь? Если да, то вопрос закрыт.
>>390171
#191 #390171
N тоже бесконечно, к слову.
>>390170
Так там 0 получится, судя по всему.
>>390172
#192 #390172
>>390171
Нет, с чего бы. Булеан - это множество всех подмножеств.

V0 = 0
V1 = {0}
V2 = {0, {0}}
>>390173
#193 #390173
>>390172

>Булеан - это множество всех подмножеств.


Ну. А какие подмножества у нуля? Булеан нуля есть 0. И любое их объединение и пересечение тоже 0. Чтобы получилось N, надо брать функцию следования от нуля, s(0) = 1, s(s(0)) = 2 и т.д. Вот это будет конструктивно. А нули гонять смысла нет.
>>390175>>390180
#194 #390175
>>390173

>Булеан нуля есть 0.


Это неверно. У нуля есть подмножество: пустое. Булеан нуля - одноэлементное множество.
>>390176
#195 #390176
>>390175

>Булеан нуля - одноэлементное множество


Одноэлементное множество, состоящее из нуля?
>>390177
#196 #390177
>>390176
Одноэлементное множество, содержащее нульэлементное множество. В качестве нуля можно использовать любой праэлемент.
>>390178
#197 #390178
>>390177
А не проще взять алфавит | и строить натуральные числа как слова в этом алфавите? А то уже праэлементы какие-то.
>>390179
#198 #390179
>>390178
Праэлемент - термин, которым можно назвать в том числе твою палочку. Совершенно неважно, каким символом обозначается нуль. Важно, что символ для множества без элементов у нас имеется.
>>390180
#199 #390180
>>390179
И чем тогда твое построение отличается от функции следования >>390173 ?
>>390182
#200 #390182
>>390180
Более минималистичная нотация. Итак, ты принимаешь верум?
#201 #390183
>>390168
Но в том доказательстве не конструируется еще одно простое число, а просто показывается, что должно быть еще одно. Правила, по которому его найти можно, там нет.
>>390191
#202 #390191
>>390183
пусть 1 и 2 простые числа.
12+1=3
123+1=7
1237+1=43
ну ты понел
>>390230>>390234
6 Кб, 778x25
#203 #390192
Элементарная теория множеств.
Пикрелейтид. Братья, я всё правильно расписал (голубым выделено)? Нужно было тип формально доказать то, что голубым не выделено, но автор учебника уёбок какой-то и примеров даже не дал, не знаю, правильно ли я всё это делаю.
Помогите!
#204 #390230
>>390191
1·2·3·7+1 = 43 (простое)
1·2·3·7·43 + 1 = 1807 = 13·139 (составное)
>>390234>>390249
3 Кб, 147x159
#205 #390234
>>390191
>>390230
Действительно ли, если перемножить все простые числа, следующие по порядку, и прибавить к ним единицу - в результате получится простое число.

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

Вот значит, нарыл квадратичный трёхчлен Эйлера:
x² + x + 41, где x - от 1 до 2398
>>390235>>390245>>390262
#206 #390235
>>390234
2398^2 + 2398 + 41 =
5750404 + 2398 + 41 =
5752802 + 41 = 5752843 = 1091·5273 (составное)
#207 #390245
>>390234
41^2 + 41 + 41 = 1763 = 41·43 (составное)
#208 #390249
>>390230
Ну да. Без актуальной бесконечности какой-то отсос выходит, ведь мы не можем конструктивно построить ВСЕ простые числа.
>>390254>>390277
#209 #390251
Где почитать про графы и всё, что с ними связано? Для быдла, да. Какой-нибудь универский учебник подойдет, наверное, там обычно простым языком пишут.
#210 #390254
>>390249
Ну, вообще-то...
43 не следует за 7, а 7 не следует за 3 в списке простых чисел.
И...
1·2·3·5 + 1 = 31 - простое,
1·2·3·5·7 + 1 = 211 - простое,
Однако,
1·2·3·5·7·11·13·17·19·23·29·31·37·41·43·47·53·59·61·67·71 + 1 = 557940830126698960967415391
= 1063·303049·598841·2892214489673 (составное)
>>390723
#211 #390262
>>390234

> есть ли какой-либо закон, позволяющий гарантированно на выходе получить простое число


Нет.
#212 #390277
>>390249
Причем тут актуальная бесконечность? Потенциальная (построимая) бесконечность - совсем другое дело, сто раз уже было сказано. Разница в том, что в нее веровать не нужно, т.к. есть правила ее получения для потенциально бесконечного объекта. А актуальная бесконечность - это догмат веры о существовании бесконечности самой по себе.
>>390278
#213 #390278
>>390277
Верум построим. Следовательно, ZFC имеет модель.
>>390279
#214 #390279
>>390278
А там в итоге не множество ли всех множеств получается?
>>390280
#215 #390280
>>390279
Нет. Там получается верум.
>>390281
#216 #390281
>>390280
Походу, эту вашу теорию множеств и правда можно построить в прувере. https://coq.inria.fr/V8.2pl1/contribs/ZFC.html https://www.ps.uni-saarland.de/Publications/documents/Kaiser_2012_Formal.pdf Т.е. она выводима в зависимых типах, в MLTT. Тогда встает вопрос, зачем она нужна в неконструктивном варианте, если все возможные следствия из нее можно получить на камплюхтере?
#217 #390306
Поясните, какие книжки у Бурбаков годные ( инбифо все) в качестве учебников, помимо теории множеств?
>>390310
#218 #390310
>>390306
Ни одной. Бурбаки писались не для того чтобы их читали а чтобы показать как охуенно они могут.
>>390311
#219 #390311
>>390310
Не слушай этого.
>>390312
#220 #390312
>>390311
А разве это не правда с любыми ОСНОВАНИЯМИ МАТЕМАТИКИ?
Всмысле кто вообще за всю историю прочел например Расселовский высер?
>>390314>>390315
#221 #390314
>>390312

>А разве это не правда с любыми ОСНОВАНИЯМИ МАТЕМАТИКИ?


С любыми -нет, не правда. Правда только с сортами добреца типа бурбаков с расселом.
#222 #390315
>>390312
У Бурбаки же больше, чем одна книга. https://en.wikipedia.org/wiki/Nicolas_Bourbaki#Books_by_Bourbaki
>>390316
#223 #390316
>>390315
Но ведь они все про основания
>>390318
#224 #390318
>>390316
Наркоман ты штоле? У бурбаков про основания только первая книга. Остальное уже на основе теории множеств. Н-р, алгебра. Там внезапно про алгебру, а не про основания.
>>390320
#225 #390320
>>390318
Всё в математике - про основания.
#226 #390321
Что такое превращение подобия с точки зрения теории множеств? Вот есть у меня треугольник в R^2, что с ним сделает функция превращения подобия? Как её описать вообще можно?
>>390322
#227 #390322
>>390321
Читай Колмогорова 6-8 класс. Там на основе теории множеств и преобразований про это говорят.
12 Кб, 575x54
#228 #390533
Как у такой композиции может быть неподвижная точка? Даже если у превращения подобия и вращения одна и та же точка, сдвиг ведь её сдвинет.
#229 #390535
Поясните дауну, как математики пишут научные статьи? У них возникают собственные идеи, и они самостоятельно выводят и доказывают теоремы? Откуда они берут темы для статей? Это пиздец как надо мыслить.
>>390549>>390550
#230 #390549
>>390535
В основном идеи рождаются на конференциях, в неформальных беседах. В наши дни - просто в скайпике говорят и по ходу что-то изобретают.
>>390552
#231 #390550
>>390535

>Откуда они берут темы для статей?


Даёт научный руководитель.

>У них возникают собственные идеи, и они самостоятельно выводят и доказывают теоремы?


Да.

мимо-со-статьей
>>390564
#232 #390552
>>390549
Поэтому Вербицкий говорит, что одному математикой невозможно заниматься?
>>390554>>390558
#233 #390554
>>390552
Конечно, одному можно заниматься только аутизмом.
#234 #390558
>>390552
Да хуйня всё это. Если хочешь, чтобы спиздили твои идеи или просто потратить время на бухло и блядей - работай в коллективе. Если хочешь результатов - работай один.
>>390565
#235 #390564
>>390550

>> Даёт научный руководитель.


А кто является научным руководителем у доктора наук?
>>390566
#237 #390566
>>390564
Его мамка.
#238 #390568
>>390565
Это само собой. Но про работу ничего не сказано со всякими хуями.
>>390570
#239 #390570
>>390568
Много математиков, включая Тао, работают над twin prime conjecture вместе.
>>390571
#240 #390571
>>390570
Если бы он мог, он бы их всех нахуй послал.
#241 #390572
>>389536 (OP)

>В.В. В деловом отношении Америка меня сразу поразила. В первый же день, когда я приехал в Гарвард, мне вручили ключи от квартиры, от офиса и чек на тысячу долларов. А я был обычным, никому неизвестным аспирантом. Уже тогда на факультете было много математиков из России. Деканом был Дмитрий Каждан. С ним я тоже должен разделить свою премию. Он и его коллеги поддерживали меня в тот период, когда в России я жить уже не мог, а в Америке еще не мог. Помню, как во время своего первого Рождества в Бостоне я в сильном подпитии попал в какой-то негритянский квартал. Там меня обобрали, избили и выбросили на снег. Это, конечно, добавило неприятных ощущений, но и вообще я тогда с жуткой тоской почувствовал, как мне не хватает московских дворов, как мне противно «их» Рождество. Хотелось, чтобы был мой Новый год – елка, мама, подарки.

>>390574>>390575>>390707
#242 #390574
>>390572
Однажды пидораха - навсегда пидораха. Ностальгия симптом аутизма. Блядь, убил бы за ключи от квартиры и чек.
>>390576
#243 #390575
>>390572
А вы говорите жизнь... Не жизнь, а сплошная метафизика!
#244 #390576
>>390574

>Ностальгия симптом аутизма


Правда?
>>390577
#245 #390577
>>390576
Конечно. Что есть эта тяга к крайне специфичной зоне комфорта? Оно и есть. Обратный трейт - тяга к новизне (один из биг файва), обусловленный скукой по отношению к прошлому. Но если ты тревожная омежка-аутист, то ты слишком боишься нового и как результат стремишься зарыться в старом. Это форма эскапизма.
>>390579
#246 #390579
>>390577
Приятно иногда вспомнить прошлое а Володю ещё и негры отпиздили, такой-то стресс; но всё время пребывать в ностальгии, да, аутизм.
Это кусок интервью Воеводского, вот полностью:
http://www.polit.ru/article/2006/08/22/voevod/
#247 #390604
>>390135

> Тем более, что я действительно не специалист



Охуенно.

Я, кстати, ничего не понимаю в этой вашей математике, ребята, но по-моему вы все тут фанатики, и вас всех надо забанить - от греха подальше.
#248 #390605
>>390158
Еще один охуенный аргумент. "А вот пацаны, которых считают крутыми, сказали, что он самый крутой, поэтому результат его работы правильный, а результат работы другого, на букву бэ, - неправильный, и все, кто не считают его плохим и неправильным, - фанатики."

Заебись, чо.
>>390613
#249 #390613
>>390605
Да это хороший аргумент. Или по-твоему тот же Рыбников, которого пацаны считают полным фриком может быть прав?
>>390679
#250 #390614
Наконец-то: https://2ch.hk/d/res/401126.html (М)
#251 #390635
Может кто на пальцах объяснить мимопроходившему выпускнику мухосранского политеха, что такое некоммутативная геометрия?
Кстати, этот ваш Мотидзука, с ним учОные разобрались? Поняли о чем он писал и что это дает? Или все еще в процессе?
>>390682
#252 #390679
>>390613
Рыбников просто великовозрастный еблан. В свои-то годы не осилить формулу тяготения Ньютона, которую 10-летняя школота понимает, это просто верх альтернативной одаренности. Покажи хоть один результат работ Рыбникова кроме 1,5 смишных плаката про "русское объемное мышление".
>>390680
#253 #390680
>>390679
Брауэр просто великовозрастный еблан. В свои-то годы не осилить формулу записи действительныъ чисел, которую 10-классники понимают, это просто верх альтернативной одаренности. Покажи хоть один результат работ Брауэра кроме 1,5 смишных результата про "M встречаеться в записи числа пи".
>>390683
#254 #390682
>>390635
С каждым уравнением можно связать геометрический образ, например x²=0 — парабола. Это называется алгебраическая геометрия. Некоммутативная геометрия пытается её расширить на случай xy≠yx.
>>390696
#255 #390683
>>390680
Теорема Брауэра о неподвижной точке. Слышал?
>>390684
#256 #390684
>>390683
Теорема Рыбникова о сложение Слышал?
>>390685
#257 #390685
>>390684
Так и запишем: топологию не знает.
>>390687
#258 #390687
>>390685
Так и запишем: математику руссов не знает.
100 Кб, 358x604
#259 #390691
Я смотрю, тут еще долго жопы будут гореть с Брауэра. Спорить о его заслугах смешно, конструктивная математика, метаматематика, MLTT и HoTT как примеры. Несостоятельность программы Гильберта он показал задолго до Геделя. И так далее. Насчет базовой интуиции времени как основы всей математики, для того времени подобные определения вообще были нормой, предлагаю вспомнить канторовское определение множества. Брауэр, к слову, даже и объяснил почему оно изначально неправильно. Впоследствии именно так и оказалось, канторовская теория множеств изначально противоречива, т.к. в ней возможны парадоксы.
>>390692>>390693
#260 #390692
>>390691
В первую очередь у меня горит жопа с верунов, которые считают, что есть понятия истинности и ложности вне человека. В этом плане они ничем не отличаются от каких-нибудь христиан, которые считают, что бог есть вне их воображения.
#261 #390693
>>390691

>Метаматематика, MLTT и HoTT как примеры


Очень интересно, ебать, а чё он ещё сделал?
>>390697
#262 #390696
>>390682
ай, молодца! даже такому как я понятно
#263 #390697
>>390693
А разве не достаточно того что Иисус написал Библию?
>>390699
#264 #390699
>>390697
Нет.
Я свою религию пытаюсь создать, хочешь в неё войти?
#265 #390707
>>390572

Приятно, когда меня цитируют.

В.
>>390708>>390709>>390710
#266 #390708
>>390707
Tits or GTFO
>>390710
#267 #390709
>>390707
Приятно, когда под меня мимикрируют.

В. В.
25 Кб, 250x500
#268 #390710
>>390707
>>390708
Прятно, когда анонам приятно.
#269 #390723
>>390254
Так по логике надо факториал брать, а не эту непонятную последовательность.
>>390727
#270 #390727
>>390723
Нахрена?
>>390729
#271 #390729
>>390727
пусть n последнее простое число. Тогда n!+1 следующее.
>>390731
#272 #390731
>>390729
7! + 1 = 5041 = 71 * 71
>>390738
#273 #390738
>>390731
Раз нет формулы, для скатерти Улама, тогда вот...
1.4 млрд. простых чисел:
magnet:?xt=urn:btih:C73C4E9F00AD46369A5893B615AF2790ECD2F8A7&dn=hostingaccounts_bigprimes.net_1400000000-primes.7z
На самом деле, там 1302397653 простых чисел, последнее из которых 30057700549
Это один текстовый файл, размером овер 14 ГБ.
Не каждым блокнотом открывается.
Разделитель - байт 0A. Символ сброса строки.
Резалку построчную на питоне - нашел здесь. https://gist.github.com/anonymous/3d73ab56f61ac9efa85f7898cb6881ff
С её помощью разрезал файл на 13024 txt-шника по 100000 строк в каждом.
Каждая строка - простое число.

.join(chunk)[:-1] вместо .join(chunk) - удаляет сброс строки в конце каждого файла при разрезании.
Кто будет резать всё это - %03d.txt следует заменить на %05d.txt чтобы имена файлов были по порядку и имели одну длину (00000.txt - 13024.txt)
Иначе, при запаковывании в архив, файлы не будут читаться по порядку, а будут паковаться так:
[001, 010-019, 100-199, 1000-1999, ..., 002, 020-029, 200-299,...] а надо по порядку.

Ну да ладно...
Дело вот ещё в чем, анон...
Большинство длинных простых чисел - отличаются незначительно, и их можно было бы упаковать с меньшим объемом,
например, выразив их как последовательность интервалов между простыми числами.
Вот она, эта последовательность: A001223 в OEIS. https://ru.wikipedia.org/wiki/Интервалы_между_простыми_числами
Большинство интервалов (если не все) - являются четными числами, поэтому если разделить эти интервалы на 2, можно было бы ещё более сжать эту последовательность.

Короче, как бы так красиво забить в минимальный объем максимально возможное количество простых чисел последовательно,
ну чтобы развернуть скатерть Улама в 11-ти измерениях из M-теории, в многомерном массиве, например?..Может что-то и получится, лол
>>390739
#274 #390739
>>389536 (OP) Теперь это простых чисел тред. >>390738
380 Кб, 1400x1036
#275 #390745
Нашел нормальный учебник анализа. Автор - Дьедонне!
>>390747
#276 #390747
>>390745
Я тебе больше скажу, он ещё и на русском есть.
#277 #390752
>>389571
Где тред нат-петуха?
#278 #390755
>>389571
Что за хуйня? Почему нельзя, как обычно, взять пустое множество и натравить на него аксиомы Пеано?

Поцыки, по чём учить гомоалгебру?
>>390762>>390770
#279 #390756
>>389571

>натуральное число это слово в алфавите |


Здесь порочный круг. Чтобы определить слово, тебе уже нужно понятие числа.
>>390757>>390802
#280 #390757
>>390756
Чтобы что угодно сделать, тебе нужен пространственно-временной континиум, а доказать его ты не можешь, потому что сам им являешься.
Не знаю, чем вам не нравятся аксиомы и определения - мы просто допускаем, воображаем, принимаем на веру. Ты же принял на веру то, что ты разумен и твои выводы могут иметь смысл?
>>390760>>390765
5 Кб, 352x89
#281 #390758
Сап. Помогите, пожалуйста.
Что обычно в математической литературе подразумевают под записью на пикрелейтед?
Имеют в виду, что элемент a принадлежит функции f вообще - то есть, может лежать как в области заданий X, так в области значений Y? Либо имеют в виду, что a - это именно "выходное значение", то есть, элемент только Y?
>>390761>>390769
#282 #390760
>>390757
Так и запишем: конструктивисты не могут определить N.
>>390786
#283 #390761
>>390758
Пусть f - функция A->Y, X - подмножество A.

Под символом f(X) понимается множество всех таких y из Y, что существует x из X такой, что f(x)=y.
>>390766
#284 #390762
>>390755
бамп вопросу, ну
95 Кб, 438x637
102 Кб, 708x910
113 Кб, 698x851
#285 #390765
>>390757
Буду игнорировать этого фанатика и запощу вот такую конструктивную книжку.
http://iphras.ru/uplfile/logic/log17/Li_17_Nepeivoda.pdf
Поехавшие считают нормальную математику грязной и упоминают Брауэра по 7-8 раз на странице. Пиздец. Как же им мозги промывают. Секта ей-богу.
>>390772>>390802>>390831
#286 #390766
>>390761
ty.

А когда говорят, что элемент принадлежит функции вообще, без image или pre-image, просто функция от х, это что значит?
>>390767
#287 #390767
>>390766
Не знаю, нестандартная терминология. Вообще, функция иногда рассматривается как множество пар. Когда говорят, что x - элемент функции f, могут понимать под этим, что x - упорядоченная пара, являющаяся элементом f как множества.
#288 #390769
>>390758
Пусть А -какое-нибудь множество, тогда f(A) - множество, значениями которого являются f(x), где x - элемент из А. В твоём примере. a - элемент множества f(A ОБЪЕДИНЕНИЕ B), тогда существует элемент s принадлежащий A ОБЪЕДИНЕНИЕ B, такой, что f(s)=a. Ясно?
#289 #390770
>>390755
Ты на каком уровне? Если классика: Weibel, но это хардкорчик. Как вариант, можно начать, например, с главы в Лэнге.
>>390773
#290 #390772
>>390765
это же непейвода, он ваще не математик, а CS-специалист. Этим ребятам надо было преподать чуть-чуть гомологической алгебры, чтоб они похоронили свои конструктивистские бредни.
>>390787>>390799
#291 #390773
>>390770
Ну так, с категориями знаком, с группами тоже вроде бы. А какие пререквизиты к этому Weibel'ю,
#292 #390786
>>390760
А как же N-объект в категории?
Другими словами, начальный объект категории диаграм вида 1->X->X.
>>390800
#293 #390787
>>390772
Ты так говоришь, как будто сиэс - не математика.

Ты так говоришь, как будто в России Удмуртии есть сиэс.
>>390788
#294 #390788
>>390787

>будто сиэс - не математика.


Вроде как и математика, но от неё петушиным зашкваром конструктивизма веет.
>>390789
#295 #390789
>>390788
Фанатики, уйдите.
>>390798
#296 #390798
>>390789

>засрал весь тред своими Бауэром


>называет кого-то фанатиком

>>390911
#297 #390799
>>390772
Конкретно Непейводе это бы не помогло. Он ебнутый, Николай Непейвода.
#298 #390800
>>390786
p.s. вспомнил, что это вроде начальный объект в категории N-алгебр
969 Кб, 1388x1738
93 Кб, 684x363
#299 #390802
>>390756

>Здесь порочный круг. Чтобы определить слово, тебе уже нужно понятие числа.


Понятие числа - интуиция времени, пикрелейтед 1. Никакого порочного круга нет, N-пивень.
>>390765

>Поехавшие считают нормальную математику грязной


Немного неверное определение. Более точное - пикрелейтед2. Дело не в грязи, а в порядке. Математика 1 порядка - чистые ментальные конструкции, созданные методом 2го акта интуиционизма на основе первичной интуиции времени со свойствами из 1 акта интуиционизма. Соотв-но математика 2 порядка - это лингвичтическое описание конструкций 1го порядка. Математика 3го порядка - метаматематика. И т.д.
>>390803>>390806>>390889
#300 #390803
>>390802
От того, что ты говоришь "интуиция времени", порочный круг не пропадает.
>>390804
#301 #390804
>>390803
От того, что ты на ровном месте придумал "порочный круг", он не появляется. Есть алфавит |. Есть производящие схемы построения слов из него. Все ясно определено, просто и понятно.
>>390805
#302 #390805
>>390804
Пятая аксиома Пеано как выглядит?
>>390806
#303 #390806
>>390805
Зачем она мне? Есть алфавит, есть правила порождения слов из него. Все полностью определяется этими элементами, которые сами по себе конструктивны. Можно сколько угодно путаться в определениях, определения в математике вторичны, 2ой пик >>390802
>>390808>>390814
#304 #390808
>>390806
То есть математической индукции у тебя нет. Ясно.
>>390809>>390814
#305 #390809
>>390808
Есть функция следования, succ. Как пример, наверни нумералы Черча. Попытка свести математику к каким-то аксиомам, оторванным от конкретного конструктивного, построимого, объекта - это изначальный фейл и путь в никуда.
>>390810
#306 #390810
>>390809
Как ты доказываешь формулу Гаусса?
Что 1+2+3+...+n = n(n+1)/2 для любого n.
>>390811>>390812
#307 #390811
>>390810
Причем здесь Гаусс? Я тебе говорю: неконструктивные аксиомы обрекают математику.
>>390813
#308 #390812
>>390810
Строим зависимый тип по этому правилу. Если он не нулевой, имеем готовое доказательство.
>>390813
#309 #390813
>>390811
Хер с ними. Ты мне докажи формулу Гаусса без использования индукции.

>>390812
Подробнее.
>>390816
235 Кб, 684x485
#310 #390814
>>390808
Мат индукция - это весьма сомнительная хуйня. Вот смотри: у меня нет ферари. Я спрашиваю своего друга - у него тоже нет ферари, Мой друг спрашивает своего друга - у его друга тоже нет ферари. Таким образом, выстраивая цепочку друзей, я делаю вывод, что ферари не может быть ни у кого.
Мат индукция неявно подразумевает некую предсказуемость математических сущностей, которая, однако, не была доказана.
>>390806
Человек есть мера всех вещей: существующих - в том, что они существуют, и несуществующих - в том, что они не существуют (Протагор)
Понятие чисел интуитивно и просто воспринимается человеком как данность, вроде "два - это когда корова и еще корова".
>>390815>>390819>>390921
#311 #390815
>>390814
А все кобылы чёрные, да, знаем. Проследуй под шконку.
#312 #390816
>>390813
Забудь про индукцию. У тебя из-за нее все проблемы. Тебе же сказали, есть заданный алфавит, есть заданные производящие схемы. Хоть формула Гаусса, хоть что.
>>390817
#313 #390817
>>390816
Произведи мне доказательство формулы Гаусса.
>>390819
#314 #390819
>>390814

>Понятие чисел интуитивно и просто воспринимается человеком как данность, вроде "два - это когда корова и еще корова".


Вообще, не только человеком. Я уже упоминал нейрофизиологическую модель ATOM, подобное понятие числа есть и у животных.
>>390817
Я тебе уже подсказал, как это сделать на любом языке с зависимыми типами.
>>390820
#315 #390820
>>390819
А не надо подсказывать, ты тут не пророк. Просто покажи готовое доказательство. 100% в нём будет метаиндукция.

В нормальной математике формулу Гаусса можно доказать парой строчек, а в вашей секте как с этим дела обстоят?
>>390821
#316 #390821
>>390820

>100% в нём будет метаиндукция.


Будет зависимый тип, конструктивный объект. Третий раз тебе говорю - все эти твои псевдоумные слова, не привязанные к конструктивному объекту - ментальный онанизм.
>>390822
#317 #390822
>>390821
Где доказательство, маня?
>>390823
#318 #390823
>>390822
Доказательство без возможности построить объект - это манядоказательство. Тебе сто раз сказано, что единственный способ доказать - это построить. Покажи, как построить твою формулу Гаусса и сам увидишь ответ.
>>390824
#319 #390824
>>390823
Это я от тебя доказательство прошу, алё. В вашей "математике" формула Гаусса вообще есть?
>>390826
#320 #390825
Лол, конструктивисты слили N-петуху.
Какой позор.
>>390827>>390828
#321 #390826
>>390824
Он еще натуральным числам не дал определение.
>>390828
#322 #390827
>>390825
Я тебе больше скажу, конструктивис и есть N-петух.
#323 #390828
>>390825
За шиворот слили, да.
>>390826
Давно дал и неоднократно. Кукарекать что ваши пруфы не пруфы можно сколько угодно.
>>390829
#324 #390829
>>390828

>Давно дал


Нет, ты этого не сделал: не надо врать.
>>390830>>390831
109 Кб, 600x450
#325 #390830
>>390829
Пикрелейтед твой N, пивень. Алфавит | и слова из него и есть натуральные числа по Маркову. Кукарекай сколько угодно, факт есть факт.
>>390832>>390836>>390958
#326 #390831
>>390829
Понимаешь, конструктивисты - ебанутые. У них вообще остутствует доказательства в их исходном смысле.
Второй пик обазац снизу.
>>390765
>>390835
#327 #390832
>>390830
Как ты отличишь одну палочку от другой?
>>390834>>390835
#328 #390834
>>390832
По позиции, блядь.
#329 #390835
>>390831

>У них вообще остутствует доказательства в их исходном смысле.


Что есть "доказательство в исходном смысле"? Доказать что-то можно только построением этого чего-то. Иначе что ты доказываешь? Пустоту? Аллаха?
>>390832
А зачем отличать? Одна палка - это число 1. Две - число 2 и т.д. 1 ничем не отличается от 1.
>>390839
#330 #390836
>>390830
Чувак, вот смотри. Формула для суммы первых n натуральных чисел. Классическая формула, её все знают. Любой первокурсник доказывает её на первом курсе. Гаусс её в школе доказал. В этом треде почти любой анон без труда сможет написать доказательство этой формулы, которое любой нормальный математик без возражений примет.

В чём для тебя проблема просто ВЗЯТЬ И ДОКАЗАТЬ эту несчастную формулу? Если в твоей "конструктивной математике" эта формула вообще имеет место, конечно. Просто, блядь, покажи, как вы эту формулу доказываете. Если вообще доказываете, сектанты ебаные.
>>390837
#331 #390837
>>390836
Тебе же говорят - формула в данном случае производящая схема. Ее элементы - слова алфавита. Строим зависимый тип из заданного алфавита по заданной производящей схеме в любом языке с зависимыми типами. Получаем тип. Если он не пустой - формула доказана, если пустой - она ложна. Что именно из этого тебе непонятно?
>>390838>>390840
#332 #390838
>>390837

>Тебе же говорят - формула в данном случае производящая схема.


Приведи схему тут.
>>390841
#333 #390839
>>390835

>Что есть "доказательство в исходном смысле"? Доказать что-то можно только построением этого чего-то. Иначе что ты доказываешь? Пустоту? Аллаха?


Вот про это я и говорю, поехавшие. Просто отбитые люди. Доказать в исходном смысле - вывести из аксиом тоерему. Ещё и ссылаеться постоянно на пустоту, Аллаха и веру. Как же беднягам мозги промыли.
>>390835
Что значит зачем? Ты не хочешь отвечать на этот вопрос, потому что, в нём используются натуральные числа для упорядочевания множества палок. И для нумерации палок нужны числа, иначе ты не отличишь одну палку от другой.
>>390841>>390842
#334 #390840
>>390837
Ну вот построй. Получи. Тогда и поговорим.
>>390841
#335 #390841
>>390838
Ты сам ее написал. Формула - это и есть доказательство. Вопрос только в том, что из нее построится. Если непустой тип - то она верна.
>>390839

>Доказать в исходном смысле - вывести из аксиом тоерему.


Аксиомы откуда возьмешь?
>>390840
Мне специально ради тебя программирование осваивать? Согласись, крайне шаткий аргумент ты притащил. Тебе ж говорят, в любом случае что-то построится, даже если пустой тип.
>>390843>>390844>>390846
#336 #390842
>>390839

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


Тебе уже сказали про нумералы Черча. Не нужны никакие мистические понятия, оторванные от конкретного построения.
#337 #390843
>>390841

>Аксиомы откуда возьмешь?


Ну ты же откуда-то берёш?
>>390851
#338 #390844
>>390841

>Ты сам ее написал.


Нет, я не писал никакого конструктивного доказательства. Я призываю тебя взять и написать конструктивистское доказательство того, что у вас понимается под формулой Гаусса.
#339 #390846
>>390841

>Мне специально ради тебя программирование осваивать? Согласись, крайне шаткий аргумент ты притащил. Тебе ж говорят, в любом случае что-то построится, даже если пустой тип.


Просто охуеть. Что-бы доказать такую простую формулу нужно столько ебатни. Нахуй тогда ваше говно вообще нужно? Оно того не стоит.
>>390849>>390895
Acta Harkachorium #340 #390847
В 53 треде г-дами анонимами сделано важное научное открытие: чтобы быстро и эффективно обоссать конструктивиста, достаточно потребовать от него доказать формулу Гаусса.
Исследования продолжаются.
>>390848>>390851
#341 #390848
>>390847
Заскринил твой пост. Буду использовать его для унижения конструктивистов.
#342 #390849
>>390846
Не в защиту петуха будет сказано, но это аргумент уровня /b/. Всё-таки чтобы abc-гипотезой обмазаться придётся поебаться с IUT и никто не даже не вопрошает нахуя это говно нужно.
>>390850
#343 #390850
>>390849
Ну так формула Гаусса - это не abc-гипотеза как бе, её доказательство все знают.
>>390851
#344 #390851
>>390843
Что я откуда взял, поясни?
>>390847
Ты этим доказал только то, что лично я не знаю какого-нибудь Окамла. Очень ценное доказательство.
>>390850

>формула Гаусса - это не abc-гипотеза как бе, её доказательство все знают.


Ты можешь построить ее из этого доказательства?
>>390852>>390853
#345 #390852
>>390851

>Что я откуда взял, поясни?


Аксиомы.
>>390854
#346 #390853
>>390851
Я могу её доказать. Ты - не можешь.
>>390855
#347 #390854
>>390852
Какие?
>>390857
#348 #390855
>>390853
Докажи.
>>390856
#349 #390856
>>390855
Формула верна для n=1, очевидно. Если формула верна для k, то она верна и для k+1, так как 1+2+...+k+k+1 = k(k+1)/2 + (k+1) = (k(k+1) + 2(k+1))/2 = (k+2)(k+1)/2. Следовательно, формула верна для любого натурального числа n.

Теперь ты докажи на свой манер.
>>390858
19 Кб, 637x127
#350 #390857
>>390854
Ну есть у вас какие-то аксиомы, так?
>>390858
#351 #390858
>>390857
Сам спросил - сам принес пик с ответом. Не может быть никаких аксиом вне реализующих эти аксиомы объекта. Поэтому следующий раз не неси хуйни, что я какие-то там аксиомы принес, окда?
>>390856
Ну вот видишь, ты же сам и написал производящие схемы для построения этой формулы. Очевидно, что для любого k получается результат отличный от нуля. Это и есть построение, т.е. конструктивное доказательство.
>>390859>>390862
#352 #390859
>>390858

>Очевидно


У меня это гарантируется пятой аксиомой Пеано. А у тебя?
>>390860>>390861
#353 #390860
>>390859
А у него интуитивная очевидность вместо аксиом. Такая вот штрогость.
>>390861
#354 #390861
>>390859
Функцией следования, например, схемами построения нумералов Черча.
>>390860
Я же попросил, не неси хуйни.
>>390864
#355 #390862
>>390858
То есть аксиомы есть? Это же верунство!
>>390866
#356 #390864
>>390861

>Функцией следования, например


Объясни.
>>390866
#357 #390866
>>390862
Третий раз прошу - хватит нести хуйню. Читай, что тебе пишут.
>>390864
Succ же. s(0) = 1, s(1) = s(s(0) и т.д. А почему ты на 5 аксиому Пеано ссылаешься, ты ж в нее не веруешь.
>>390867>>390868>>390869
#358 #390867
>>390866
Ну и как ты из этой Succ выводишь, что формула верна для каждого натурального числа?
>>390870
#359 #390868
>>390866

>Третий раз прошу - хватит нести хуйню. Читай, что тебе пишут.


Ебанько, тебе тоже самое посоветовать. Получаеться, в конструктивной математике есть аксиомы. И она ничем не лучше формализма.
>>390870
#360 #390869
>>390866
От тебя просят предъявить конструкцию, которая из множества гипотез {P(1), P(k)→P(k+1)} позволяет вывести формулу ∀nP(n).
>>390872
#361 #390870
>>390867
Если она верна для k, то она верна и для следующего за k.
>>390868

>Получаеться, в конструктивной математике есть аксиомы.


Тупой ты. Назови мне хоть одну аксиому в конструктивной математике, оторванную от конкретного конструктивного объекта.
>>390871>>390873
#362 #390871
>>390870
А зачем? Главное, что аксиомы есть.
>>390874
#363 #390872
>>390869
Ну ты ж сам ее написал только что. Замени P(k+1) на S(k) (ф-ю следования).
>>390875
#364 #390873
>>390870

>Если она верна для k, то она верна и для следующего за k.


И что с того? Как ты получаешь, что она верна для всех натуральных чисел?
>>390877
#365 #390874
>>390871
ЮГлавное, что аксиомы есть.
Ну если так яскозал даун с мейлру, то значит точно есть.
>>390876
#366 #390875
>>390872
Допустим, заменил. Получилось множество гипотез {P(1), P(k)→P(Succ(k))}
Дальше что? Квантор всеобщности как возникает?
>>390877
#367 #390876
>>390874

>Ну если так яскозал даун с мейлру, то значит точно есть.


Ага, ЕСЛИ ТАК ЯСКАЗАЛ БРАУЭЕР, ЗНАЧИТ ТАК ОН ЕСТЬ!
ЕСЛИ ТАК ЯСКАЗАЛ КО-КО-КОНСТУРКТИВИСТ С ДВАЧЕ, ЗНАЧИТ ТАК ОН ЕСТЬ
ВЕРУНЫ ВСЮДУ ВЕРНУ, АКСИОМ НЕТУ, АКСИОМЫ ЭТО АЛЛАХ, ВЕРУНЫ, ДОКАЗАТЬ ЧТО-ТО ЭТО ЕГО ПОСТРОЕНИЕ
СЧИТАЕМ НА ПАЛОЧКАХ
БРАУЭР
#368 #390877
>>390873
Построением соответствующего ей объекта. Т.е. применением ее подряд ко всем натуральным числам. Т.к. реально на это не хватит никаких ресурсов, результат вычисляется только для заданных чисел (lazy evaluation).
>>390875

>Квантор всеобщности как возникает?


Только непосредственным построением. Иначе никак, остается только веровать.
>>390878
#369 #390878
>>390877

>Только непосредственным построением.


То есть чтобы утверждать, что формула Гаусса верна для n=100500, тебе нужно построить 100500 формул? Ты серьёзно?
>>390879
#370 #390879
>>390878
Да, я абсолютно серьезно. А ты серьезно считаешь, что вот написал квантор всеобщности, и что-то доказал? А я вот возьму коран и нарисую там квантор существования возле слова "Аллах", и чем такое "доказательство" будет хуже твоего?
>>390883>>390891
#371 #390880
Может выгоним эту конструктивную мразь репортами? Он конкретно заебал.
>>390881>>390884>>390885>>390952
#372 #390881
>>390880
Тебя тут никто не держит, можешь идти гореть жопой куда-нибудь еще.
>>390882
#373 #390882
>>390881
Понимаешь, тут полтреда спора с этим ебланом. Ты хочешь, чтобы мат-тред так выглядил? Даже мемасы лучше этого.
#374 #390883
>>390879

>Да, я абсолютно серьезно.


Ну так пиздуй нахуй отсюда, ебанько безумное.
#375 #390884
>>390880
Поддерживаю этого оратора. Пожаловался что конструктивистопетух всех заебал.
#376 #390885
>>390880
Нет, это репрессии и подлость.
195 Кб, 1080x1078
#377 #390886
Ну что вы тут, веруны? Зачем горите-то, доносы пишите, я думал мне по делу кто-то может пояснить, а у вас даже против солипсизма Брауэра как оснований математики аргументов нет. Нехорошо получается для формализма.
>>390888
#378 #390888
>>390886
У тебя на пике констуктивист спит, которому снится о том, что Гилберт не прав?
>>390889
114 Кб, 1062x412
#379 #390889
>>390888
Вообще-то программа Гильберта обоссана и в неконструктивной математике, Геделем. Правда, Брауэр сделал это еще раньше. А "гильбертовская" метаматематика это брауэровская математика третьей культуры 3его уровня >>390802 2ой пик.
>>390890>>390943
#380 #390890
>>390889
Ясно, я понял. На пике конструктивист, который думает о том, как бы ему в мат-тред обоссать Гилберта.
>>390891
246 Кб, 736x732
#381 #390891
>>390890
Мне незачем обоссывать то, что обоссано вдоль и поперек за многие десятки лет до моего рождения, я просто констатирую факт. Но, я таки хотел бы увидеть ответ на это >>390879
#382 #390892
Не тред, а German Goo Girls фильмец. Моча повсюду.
>>390894
#383 #390894
>>390892
А чего ты ждал от фанатика конструктивизма?
#384 #390895
>>390846

>Что-бы доказать такую простую формулу нужно столько ебатни. Нахуй тогда ваше говно вообще нужно? Оно того не стоит.


Стоит. Вся математика - про ебатню. Поскольку всю простую ебатню уже исследовали вдоль и поперек, мы вступаем в новую эпоху математики - мы будем писать книгу с доказательством теоремы "1+1 = 2". Главное, что математикам есть чем заняться, и они могут поныть о том, что им не дают финансирования/мест.
>>390897
#385 #390897
>>390895

>мы будем писать книгу с доказательством теоремы "1+1 = 2". Главное, что математикам есть чем заняться, и они могут поныть о том, что им не дают финансирования/мест.


А что, уже есть неконструктивные доказательства, что 1+1=2, т.е. непротиворечивости арифметики?
>>390937
89 Кб, 480x234
#386 #390910
Как думаете, Бурбаки в этом треде так же бы обссывали друг друга?
Так и представляю Вейля в роли N-петуха!
>>390915>>390944
#387 #390911
>>390798
Детектор на починку!
>>390912
#388 #390912
>>390911
Тоесть ты не фанатик? А ко-ко-консруктивис?
>>390913>>390916
#389 #390913
>>390912
Не угадал оба раза.
#390 #390915
>>390910
У них, кстати, проблемы с Арнольдом были, как тут пишут.
http://mathoverflow.net/questions/153604/the-arnold-serre-debate
#391 #390916
>>390912
Нет, он - ℕ-петух
#392 #390917
А верно, что 0 ∈ ℕ?
>>390920>>390942
#393 #390920
>>390917
Только в английской литературе.
#394 #390921
>>390814

>Протагор


Софист цитирует своих! Все в палестру!
#395 #390937
>>390897
Полным полно, например, у Бурбаки.
>>390938>>390939
#396 #390938
>>390937
А как же Гёдель?
>>390940>>390957
#397 #390939
>>390937
Метаматематика, угадал?
>>390941
#398 #390940
>>390938
А он здесь причём?
#399 #390941
>>390939
А тебе финитные методы нужны, маня?
>>390943
#400 #390942
>>390917
Только в математике людей. У животных своя расчеты.
#401 #390943
>>390941
Неконструктивные, маня. Метаматематику Брауэр придумал, >>390889 еще до того, как Гильберт в нее переобулся, не зашквар ли вам такими методами пользоваться?
>>390956
#402 #390944
>>390910
Врядли Вейль был таким веруном, и помимо этого если бы среди Бурбаков был N-петух они бы нихуя не написали бы, только срались о мета-индукции на каждом собрании.
#403 #390946
Кто-нибудь вкинет в тред хотя бы одно конструктивное доказательство? Даже для формулы Гаусса его никто так и не смог привести.
#404 #390947

>8-9 октября(суббота-воскресенье) будет открыт набор в модераторы. Не пропустите возможность попасть в молодой, стремительно развивающийся коллектив! Об открытии набора будет сообщено дополнительно.


Аноны, которые хуесосят модера, а чего бы вам самим не подать заявку? Будите конструктивиста терепть.
>>390948>>390950>>390961
#405 #390948
>>390947

>тереть

>>390949
#406 #390949
>>390948
Потёр конструктивиста на удачу.
>>390951
#407 #390950
>>390947
Мне нельзя, я - вахтёр.
#408 #390951
>>390949
Чувак, на тебе теперь порча! Поплюй через левое плечо и постучи по дерево!
>>390953
#409 #390952
>>390880
Не стоило петю петей называть, он может ещё больше обидеться и пощёчину дать. дело Курина

А если без ерунды - пусть будет, меня, например, очень веселит этот тред.
#410 #390953
>>390951
Потёр хуй об губы конструктивиста. Теперь я спасён?
>>390954
#411 #390954
>>390953
Да.
#412 #390956
>>390943

>до того


>переобулся


А чем он раньше занимался? Смешно говорить, что один из основателей метаматематики в нее переобулся.
>>390961
#413 #390957
>>390938
>>390938
>>390938
утраиваю адеквата
>>390959
#414 #390958
>>390830
А красные палочки - мусорские?
#415 #390959
>>390957
Ты хотел сказать дауна? Или это тред математики 1930 года, где все в ахуе сидят еще?
69 Кб, 808x691
#416 #390961
>>390956

>А чем он раньше занимался?


Хуйней, если одним словом. Программа Гильберта, слышал? Опять же, Брауэр доказал ее неработоспособность еще до Геделя.
>>390947

>Будите конструктивиста терепть.


Пикрелейтед. Я ничего не нарушаю, так-то.
>>390962>>390967
#417 #390962
>>390961
Ну ща я на смотрящего подамся, и мы с пацанами будем решать нарушаешь ты что-то или нет.
мимо-вахтёр
>>390963
#418 #390963
>>390962
Если будешь банить ни за что - пожалуюсь Усманову.
>>390964
#419 #390964
>>390963
Пацаны решат.
7 Кб, 268x326
#420 #390966
Однако, вопрос остается - какие есть неконструктивные доказательства непротиворечивости арифметики? Может ли современная неконструктивная математика со всеми своими высокими достижениями доказать, что 1+1=2?
>>390968>>390969
#421 #390967
>>390961

>Программа Гильберта, слышал? Опять же, Брауэр доказал ее неработоспособность еще до Геделя.


Доказал? Тащи сюда пруф, навроде теорем Геделя. Или просто петушился, что "не выйдет"? Так таких скептиков было дохуя, тот же Пуанкаре.

>Хуйней, если одним словом. Программа Гильберта, слышал?


По этой программе работали Цермело, Фон Нейман, Гедель, Борель, Аккерман, генцен... Хуйня в общем, раз вася так сказал.
>>390972
#422 #390968
>>390966
Однако остаётся еще один вопрос: какие конструктивные доказательства вообще бывают, ибо конструктушок не привёл ни одного.
>>390971>>390972
#423 #390969
>>390966
Например, с помощью трансфинитной индукции Генценом.
#424 #390971
>>390968
Двачую, ко-ко-консрутивист только свои клювом чесать может.
162 Кб, 1120x748
#425 #390972
>>390968
Ты просто читать не умеешь, какая тебе математика. Я же неоднократно упоминал Маркова. Алфавит | и производящие арифметические схемы, вот и все что нужно для построения.
>>390967
Я тебе принес ссылку на эту его работу, статья 1928А. Сама статья есть в сборнике его работ под редакцией Гейтинга, но на немецком.
>>390973
#426 #390973
>>390972
Ты мне скажи, там есть доказательство или там просто кукареку? Я же уже сказал, что среди кукареку Брауэр далеко не первый.
Если же там есть доказательство, то получается Гедель незаслуженно украл славу у Брауэра, что вряд ли.
>>390974>>390976
#427 #390974
>>390973
Только кукареку. В конструктивной математике вообще нет такого понятия, как доказательство. Ко-ко-косруктивист считает, что если что-то можно построить, то он что-то доказал. Еблан он, короче.
>>390976
#428 #390976
>>390973

>Ты мне скажи, там есть доказательство или там просто кукареку?


Ты не понял. Там объяснение, почему такой подход в принципе неработоспособен с точки зрения интуиционизма. Как позже выяснилось, Брауэр был прав.
>>390974

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


Куда ты лезешь, клован? Выше ты кукарекал про какие-то аксиомы, в которые я верую, так и не привел пример. Теперь очередные кукарекания школотрона? Я уже сто раз объяснял, что есть доказательство. Если оно не подразумевает возможности построить то, что оно доказывает, то что оно вообще доказывает?
>>390977>>390978>>390980>>390986
#429 #390977
>>390976
А что доказывает возможность построить объект?
>>390979>>390990
95 Кб, 527x227
#430 #390978
>>390976

>Ты не понял. Там объяснение, почему такой подход в принципе неработоспособен с точки зрения интуиционизма. Как позже выяснилось, Брауэр был прав.


Ну повторил за умными дядями, молодец. Правда интуиционизм тут не причем, Гёдель ведь был формалистом.
#431 #390979
>>390977
И да, вот тебе в догонку - с чего ты взял, что твоё доказательство вообще правильно? Чем доказательство от противного неправильное? Или те же аксиомы? Твоя конструктивная математика основывается на аксиоме, что объект можно построить, то он доказан. Просто ты не называешь её аксиомой. Даун.
>>390981>>390990
#432 #390980
>>390976

>Там объяснение, почему такой подход в принципе неработоспособен с точки зрения интуиционизма.


>Там объяснение, почему такой подход в принципе неработоспособен с точки зрения христианства.


Ясно.
#433 #390981
>>390979
Вот этого двачну!
16 Кб, 630x195
#434 #390982
Здарова, бляди. Мастер Теории Множеств здесь. Преклонись мне.
А теперь смотри внимательно на пикрил, шваль, голубое - это то, что нужно было формально доказать.
Ниже три строки под голубым - моё доказательство.
У меня всё получилось правильно, обезьяны? Ясно, что мысль правильна и доказывать надо именно так, я говорю именно о записи - правильно ли я всё формально записал и оформил? Можно так записывать? С местного уёбка брал пример, если что.

Сосите.
>>390984>>390987>>390988
#435 #390984
>>390982
Зарепортил.
#436 #390986
>>390976

>так и не привел пример


Что все частичные алгоритмические функции частично рекурсивны. Можно назвать это главной догмой современных интуиционистов. Ну, а там делить уже на веру в физическую машину или веру в какой-нибудь автомат.
>>390990
#437 #390987
>>390982

>У меня всё получилось правильно, обезьяны?


Нет.

>правильно ли я всё формально записал и оформил?


Нет.

>Можно так записывать?


Нет.
>>390989>>390994
#438 #390988
>>390982
вторая строчка из доказательства не имеет никакого смысла.
>>390989>>390992
54 Кб, 627x322
#439 #390989
>>390987
>>390988
Не помогайте уёбку, репортите его.
>>390991>>390996>>391071
#440 #390990
>>390977
Возможность построить объект этот объект и доказывает. Т.е. доказывает возможность его существования.
>>390979

>с чего ты взял, что твоё доказательство вообще правильно?


С того, что есть фактически построенный объект, соответствующий доказательству.

>Чем доказательство от противного неправильное?


Тем, что не дает возможность построить объект. Если такой возможности нет, чем ты докажешь правильность твоего доказательства?
>>390986
Это не догма. Знаешь почему? В нее веровать не нужно. То, что какое-то правило работает в каждом отдельном случае, никак не означает, что его необходимо обобщать на все случаи и потом уже исходить из обобщения, а не из конкретного случая. То же самое можно сказать про "аксиому" выше. Это не аксиома.
>>390993>>390995>>391000
#441 #390991
>>390989
Ты думаешь мой пост ему сильно помог?
#442 #390992
>>390988
А как его можно переформулировать, тварь? Элемент из A не принадлежит объединению А и другого множества B. Ебанат тупой, как это записать формально?
#443 #390993
>>390990

>Возможность построить объект этот объект и доказывает. Т.е. доказывает возможность его существования.


Наличие первородного греха показывает что Иисус не зря умер за наши грехи
>>390997
#444 #390994
>>390987
Не кудахтай тут, ублюдок. Напиши мне решение лучше.
#445 #390995
>>390990

> Или те же аксиомы? Твоя конструктивная математика основывается на аксиоме, что объект можно построить, то он доказан. Просто ты не называешь её аксиомой. Даун.


А чего ты на это ничего не написал? Ах, да ведь в ко-ко-консруктивной математике нет аксиом. А вот хуй, есть.
>>390998
#446 #390996
>>390989
Лол.
>>391001
#447 #390997
>>390993
Ты и правда дебил, если не видишь разницы между этими утверждениями.
>>390998>>390999>>391000
#448 #390998
>>390997
Я ещё раз повторяю
>>390995
>>391003
#449 #390999
>>390997

>Ты и вправду дебил если не видишь разницы между Аллахом и Иисусом!

#450 #391000
>>390990

>То, что какое-то правило работает в каждом отдельном случае, никак не означает, что его необходимо обобщать на все случаи и потом уже исходить из обобщения, а не из конкретного случая


Получается нельзя вывести никакого физического закона? Интересная вера, ядреная.

>>390997
Разница действительно есть. Утверждение про иисуса это теорема, а у тебя аксиома, определяющая существование.
>>391003
55 Кб, 627x322
#451 #391001
>>390996
Пофиксил.
>>391005>>391030
#452 #391002

>Мы с матерью как-то изобрели для него насмешливое прозвище, и с тех пор, в разговорах между собой, никогда не называли его по имени. Это прозвище глубоко врезалось в мою память; еще долгое время после смерти матери я так и называл его (разумеется, про себя). Сейчас мне кажется, что мое пренебрежительное отношение к нему сформировалось определенно не без участия моей матери. Она всю жизнь отличалась сильным характером, и даже после ее смерти я еще лет двадцать, быть может, по-прежнему находился под ее влиянием. Я безоговорочно перенял ее систему ценностей, во многом определившую ее образ жизни. Мягкий, приветливый, нисколько не воинственный характер моего друга без лишних слов был сочтен «ничтожным» - и немедленно стал объектом насмешки.



Шурик та альфачем у нас был, обоссал бы всех ИТТ
>>391051
#453 #391003
>>390998
С чего ты взял, что это аксиома?
>>391000

>Получается нельзя вывести никакого физического закона?


Получается, можно обойтись. Я же написал, читай лучше. А если можно обойтись, это не догма и не аксиома.
>>391005>>391008
16 Кб, 630x195
#454 #391004
БЛЯДИНЫ, КОТОРЫХ Я МАТЕРЕЙ ЕБАЛ, ПОМОГИТЕ МНЕ НАХУЙ! ПРОСТО СКАЖИТЕ, КАК ЭТУ ВТОРУЮ СТРОЧКУ КОРРЕКТНО ПЕРЕПИСАТЬ, ТВАРИ МЕРЗКИЕ! ТУПОРЫЛЫЕ УЁБИЩНЫЕ ТРЕКЛЯТЫЕ СУКИ!
МНЕ НУЖЕН ОДИН ЕБУЧИЙ ПРИМЕР НАХУЙ! СОСАТЬ МОЙ ХУЙ, БЛЯДЬ!
>>391005>>391006
#455 #391005
>>391003

>С чего ты взял, что это аксиома?


А из чего она следует? Если принимаеться безаговорочно, и не подлежит критике, значит аксиома.

>>391004
Cuck, please.
>>391001
>>391009
#456 #391006
>>391004
Разделяй язык высказываний и множеств. Есть высказывание P, исходное утверждение. Есть знаки этого языка. Во второй строчке у тебя икс принадлежит высказыванию, но это не имеет никакого смысла в рамках языка множеств.
>>391010>>391054
#457 #391008
>>391003
Ты говоришь чего-то про непротиворечивость арифметики, но тем не менее подразумеваешь, что (возможно) существует класс задач, недоступный конструктивной математике вообще. Как с таким противоречием можно жить?
>>391015
#458 #391009
>>391005

>А из чего она следует?


Ты скажи, из чего она следует. Ты же и придумал, что это аксиома. Т.е. перевернул все с ног на голову. Хотя изначально это вопрос существования в математике. Объект существует, если может быть построен. В противном случае, о существовании можно говорить только в каком-то мистическом смысле, оторванном от конкретного существующего объекта.
>>391012
#459 #391010
>>391006
Ебливая мразь, это я понял, а как корректно переписать нахуй, собака?
>>391013>>391016
#460 #391012
>>391009
Ты просто не называешь это аксиомой, но эта аксиома. Назовём её аксиомой существования.
>>391015
#461 #391013
>>391010
Когда я тебе в прошлый раз подробно расписовал, ты даже мне спасибо не сказал. Неужели ты думал, что я тебе буду помагать после такого?
>>391014
#462 #391014
>>391013
Блядь, друг, прости. Учусь самостоятельно теории множеств третий день, но в учебниках для начинающих cuck'и даже примеров не дают. Ни одного просто нахуй примера за всю тему. Вот и выходит у меня такая хуйня в упражнениях.
Как это нужно написать, скажи, пожалуйста.
>>391017
#463 #391015
>>391008

>тем не менее подразумеваешь, что (возможно) существует класс задач, недоступный конструктивной математике вообще.


Ты можешь прямо назвать этот класс задач?
>>391012

>Ты просто не называешь это аксиомой, но эта аксиома. Назовём её аксиомой существования.


И что это за аксиома, если от нее можно просто отказаться? Существование построенного объекта есть его существование. Зачем мне какая-то аксиома для этого?
>>391019>>391022
#464 #391016
>>391010
Зачем тебе это надо? Забей на эти задачи.
Вообще: х в А и не(х в А и х в В) = х в А и (х не в А или х не в В) = (х в А и х не в А) или (х в А и х не в В) = х в А или х не в В.
>>391018>>391029
#465 #391017
>>391014
Не выёбывайся знанием английского и иди читать Пратусевича. Как прочтёшь первую главу пересаживайся на свои английские учебники.
>>391020>>391021>>391029
#466 #391018
>>391016
х в А и х не в В
быстроfiX
#467 #391019
>>391015

>Ты можешь прямо назвать этот класс задач?


Конечно, не частично-рекурсивные алгоритмически вычислимые функции.

>Зачем мне какая-то аксиома для этого?


Ну тогда пусть построение объекта не есть его существование. Dixi.
>>391024
#468 #391020
>>391017
Начинается блядь. Ну зачем ты проецируешь своё незнание английского на меня? Мне вообще похуй, от зубов отлетает. Я русский знаю хуже. Чего ты начал? Хуй соси.
>>391025>>391029
#469 #391021
>>391017
Или листочки решать для матшкольников 57 школы.
#470 #391022
>>391015

>И что это за аксиома, если от нее можно просто отказаться


Попробуй.

>Существование построенного объекта есть его существование


То есть непостроенный объект, который можно построить, не существует? Ух ты. Например, нельзя построить число Грэма в степени числа Грэма. У тебя не хватит бумаги, как минимум. Здорово, не все натуральные числа существуют и могут быть конструктивными объектами.
#471 #391023
Пиздец, хуесосу бугуртящему помогают, а когда я своё запостил - вообще без ответов было. Блядь идиоты ёбаные.
>>391025
#472 #391024
>>391019
С какой стати алгоритмически вычислимая функция не конструктивна? Если есть алгоритм для ее построения?

>Ну тогда пусть построение объекта не есть его существование.


Еще одна аксиома?
>>391031
#473 #391025
>>391020
Еблан, там просто понят написанно. С основ логики до примеров с доказательствами. Подробно. Лучше для таких cuck'ов, как ты, просто нет варианта.
>>391023
А что ты запостил?
>>391026
#474 #391026
>>391025
Страницы с карандашом.
>>391027>>391028
#475 #391027
>>391026
Помню. Мне плохо видно было, я тебе ещё говорил про ручку. Сложно читать из-за освещения и карандаша. Так бы проверил.
#476 #391028
>>391026
ИТТ одни тянки. Мы не обращаем внимания на тихих хикк, нам нужны буйные альфачи!
>>391030
3 Кб, 350x49
#477 #391029
>>391016
Спасибо! Забыл про эту хуйню с отрицанием всего выражения. Глупо.

>Зачем тебе это надо?


По сути мне это не надо, но это же просто оргазмъ, когда докапываешься до правильного решения.
Я вот сам правильно доказал пикрелейтид. Пол дня оргазмъа!
Да и, блядь, как я понимаю, в высшей математике начального уровня множества везде, почему бы не уметь очень хорошо с ними работать, знать основные свойства? Да и я так скилл доказательства развиваю.

>>391017
Нахуй с ним иди, друг. Алсо, это >>391020 тоже мой друг. Который тоже идёт нахуй.
>>391032>>391033
#478 #391030
>>391028

>буйные альфачи


>>391001
>>391034
#479 #391031
>>391024

>С какой стати алгоритмически вычислимая функция не конструктивна? Если есть алгоритм для ее построения?


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

>Еще одна аксиома?


Отрицание твоей. Считаешь, ответ не нужен? Но тогда чем конструктивная математика отличается от библии, там же тоже можно верить и не верить?
#480 #391032
>>391029
Оргазмы надо получать ебя баб, cuck, а не решая математические задачи.
#481 #391033
>>391029
Во всех учебниках начального уровня необходимая ТМ даётся во введении(множества, операции над ними[пересечение, объединение, разность, симметрическая разность], отображения, классы эквивалентности, законы Де-Моргана).
#482 #391034
>>391030
В интернете альфач, как-никак.
>>391035
#483 #391035
>>391034
В интеренете каждый омежка может стать альфачом.
>>391036
#484 #391036
>>391035
Ты ведь не стал.
>>391037
#485 #391037
>>391036
А зачем? Это же каким же опущенцем надо быть, чтобы самоутверждатся в инете.
>>391039
#487 #391039
>>391037
Чтобы поддерживать баланс. Если прибывать в состоянии омеги 24/7, то и до куколда недалеко.
>>391040>>391041
#488 #391040
>>391039
Получается, альфачи в интернете омегами притворяются? Создают еот треды, поёбывая тянок в пердачелло?
>>391046
#489 #391041
>>391039
А я думал, что кукодлами становятся алфачи, чтобы поддерживать баланс и не стать омегами.
>>391042>>391046
#490 #391042
>>391041
93.7% альфачей какнуты религией и всякой социальной поеботней вроде педоистерии. Еще больше омег правда.
50 Кб, 127x174
#491 #391045
ещё вот помогите пожалуйстаа
#492 #391046
>>391040
>>391041
Им не нужно поддерживать баланс. Они будут скатываться в сторону альфачества, это не зашкварно, в отличии от скатывания в омеганство.
>>391049
#493 #391049
>>391046
Понимаешь, когда альфачество переполняеться, то оно меняет свой знак и становится омеганством. И для разрядки аьфач становится куколдом.
>>391050
#494 #391050
>>391049
Какой ужос! И что теперь делать?
#495 #391051
>>391002
Откуда это и про кого?
>>391055
#496 #391054
>>391006
Зачем ты отвечаешь говорящей собаке?
#497 #391055
>>391051
Гротендик, Урожаи и посевы.
>>391056
#498 #391056
>>391055
Спасибо.
30 Кб, 1055x225
#499 #391057
Это он о Шурике.
Аноны, не вычисляете интегралы всю жизнь - не стать вам великими математиками! Топосы, схемы какие-то неправославные! Фу! От лукавого!
64 Кб, 1076x524
#500 #391059
Дед стандартный. Вытиран.
>>391060
#501 #391060
>>391059
ПОНТРЯГИН НАША ГОРДОСТЬ! ПРАВОСЛАВИЕ!
#502 #391071
>>390989
Зарепортил уёбка
#503 #391084
https://2ch.hk/sci/res/391083.html (М)
Перекатываемся.
Обновить тред
Двач.hk не отвечает.
Вы видите копию треда, сохраненную 18 января 2017 года.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
« /sci/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски