Математика

Тред закрыт.

Check this out!
Оснований математики нить первая Аноним 25/10/16 Втр 18:26:01 221
12Кб, 638x145
638x145
999Кб, 1920x1080
1920x1080
Столь излюбленная тема профессоров, посещающих нашу уютную борду, находит своё голомофорное многообразие здесь!

Тред для обсуждения определения N, конструктивизма, интуиционизма, Грэя, петухов.
Аноним 25/10/16 Втр 18:34:23 232
Петухи зело прельстивы.
Аноним 25/10/16 Втр 18:37:30 243
>>23
N = {0, 1, 2, 3, ...}.
Аноним 25/10/16 Втр 18:42:56 254
>>22 (OP)
Я нихуя не понял? N определяется через кардиналы или кардиналы через N? Именно об этом верещал N-шизик?
Аноним 25/10/16 Втр 18:42:58 265
Некоторые считают, что натуральные числа - это те, которые участвуют в натуральном (то есть естественном) счете: "один, два, три...". Но такой экспериментаторский подход ненаучен. С точки зрения нашей высокой науки, "естественный счет" никакого отношения к теории не имеет. Научное определение таково: "Натуральные числа - это мощности конечных множеств". А какое из конечных множеств - самое главное? Разумеется, пустое! Значит, его мощность, то есть нуль, - натуральное число!".
Аноним 25/10/16 Втр 18:44:19 276
>>25
Всё так, N через кардиналы >>26.
А вот о чём N-шизик говорит - один он знает.
Вызываю его в тред, алсо.
Аноним 25/10/16 Втр 19:30:39 287
>>26
Но ведь мощность пустого множества равна 1.
Аноним 25/10/16 Втр 19:31:33 298
>>28
Нет, дурашка. Рыбников, что ли?
Аноним 25/10/16 Втр 19:35:58 309
>>29
Лол, надо мне пойти поспать.
Аноним 25/10/16 Втр 19:39:27 3210
>>26
Ублюдочный текст. Придумали какой-то естественный счёт, высокомерно его обосрали.
Аноним 25/10/16 Втр 19:39:52 3311
>>26
>Натуральные числа - это мощности конечных множеств
А чё бы сразу не номерки в гардеробе? Тьфу.
Аноним 25/10/16 Втр 19:45:43 3412
>>32
>>33
А чем же им ещё быть? Счётными от интегралов?
Ебанулись.

Слава Бурбаки.
Аноним 25/10/16 Втр 19:50:39 3513
Какая разница как определили?
Определили же с помощью языка, который каждый трактует как хочет.
Наоборот важно владение независимыми от трактовок знаниями.

Капитан [sppoiler]К[/spoiler]О.
Аноним 25/10/16 Втр 19:55:33 3814
>>35

Просто математика очень субъективная штука.
Аноним 25/10/16 Втр 20:17:33 4115
>>38
Она субъективная только в предпочтениях в выборе областей. Тут спорят о вкусах? К какому результату стремятся спорящие?
Аноним 25/10/16 Втр 20:29:07 4316
>>41
>>38
О, это гораздо больший спор, чем вы думаете. Это спор фактически о том, что есть математика: наука или ненаука?
Если содержать её основания на вере, то наукой математика никак считаться не может (и я совсем не говорю, что это плохо, возможно, даже наоборот), в противном случае - это всё-таки наука.
Это спор обо всём, что есть.
Аноним 25/10/16 Втр 21:03:05 5317
>>43
Допустим вы определили, что такое наука. И что такое "ненаука". Возникает закономерный вопрос - в какой внешней системе вы дали им определения?
Если эта система - естественный язык, то уверяю: вас легко могут понять не так или вывернуть наизнанку смысл, сделать неверный вывод из ваших фраз... Практичнее - движение наоборот - определение физических, в частности языковых, явлений в математике с её-то стремлением к непротиворечивости.
Как построение моделей теорий Ловера в теории категорий. Кстати, домен этих функторов это же КАТЕГОРИЯ ТЕОРИЙ.
Аноним 25/10/16 Втр 21:05:10 5418
>>53
fix: домены
Аноним 25/10/16 Втр 21:10:56 5519
210Кб, 1000x666
1000x666
Аноним 25/10/16 Втр 22:49:51 6320
Кто-нить слушал Воеводского про новые основания?
Аноним 25/10/16 Втр 23:06:26 6521
>>63
Ну и что там? Типа Рыбникова?
Аноним 25/10/16 Втр 23:32:44 6922
Аноним 26/10/16 Срд 00:44:52 7023
>>69
Это заслуживает отдельного треда в силу своей меметичности.

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

Репутацию и личную жизнь эти дела подмачивают СИЛЬНО. Поэтому не надо так, ребят, оно того не стоит.
Аноним 27/10/16 Чтв 10:05:21 17424
Аноним 27/10/16 Чтв 10:11:32 17525
>>26
Вкину тезис. Любое неконструктивное определение N тривиально сводится:
- либо к любому конструктивному определению (алгорифм Маркова, нумералы Черча, ...) т.к. н-р подсчет кардиналов множеств ничем не лучше подсчета счетных палочек или функций следования от 0.
- либо к любой рандомной фуфлософии (яскозал) или религии (я верую в хуйню, и ты так делай).
Аноним 27/10/16 Чтв 11:25:34 18926
14774911372860-sci.jpg 62Кб, 1200x979
1200x979
N-петух врывается в тред!
Ну что, потомки, N определили уже?
Аноним 27/10/16 Чтв 11:28:45 19027
wat excited3.png 94Кб, 271x311
271x311
Сейчас все тут собравшиеся поясняют на пальцах суть базара мимокрокодилу из /b. Иначе все объявляются опущенцами.
Аноним 27/10/16 Чтв 12:33:43 19228
>>190
Филдсовский лауреат В. Воеводский (на картинке в танке) разрабатывает и внедряет новые основания математики с помощью компьютерной системы Кок (игра слов: Кок = петух).
Под танком -- специалисты по классической теории множеств Цермело-Френкеля. Нововведения Воеводского оставят их за бортом.
Аноним 27/10/16 Чтв 15:08:18 19929
>>192
Не шарю за основания, но если Вован к успеху придет, задавит всех адептов ТМ, то учебники переписывать будут? Будут ли нас потомки называть дедами, реконструирующими математику 20века?
Аноним 27/10/16 Чтв 16:04:47 20630
>>199
Конструктивные основания - естественное продолжение работ Брауэра. В принципе, отличие от неконструктивных оснований в том, что выкинули всякую фофудью, нарушающую вычислимость. И вуаля, оказалось что математику можно построить на комплюктере. Такой-то нежданчик.
Аноним 27/10/16 Чтв 16:50:52 21831
Сижу теперь читаю Бурбаки. Я не понимаю нахуя мне это надо. Я вас ненавижу.

Мне пропустить его и сразу за Воеводского браться?
27/10/16 Чтв 16:56:15 21932
>>218
Анон множества-господин, это ты?
Аноним 27/10/16 Чтв 17:03:25 22033
>>219
Нет, это не он.

>>218
Зачем ты их читаешь?
Аноним 27/10/16 Чтв 18:40:37 22234
>>220
Из любопытства
Аноним 27/10/16 Чтв 18:47:16 22335
>>222
И как же успехи?
Аноним 27/10/16 Чтв 19:00:40 22436
>>223
Нормально успехи, я способный очень
Аноним 28/10/16 Птн 05:02:21 24037
>>69
>К психиатрам я с этим не обращался. Как-то с самого начала было ясно, что это никакая не шизофрения.
А надо бы, почти по всем критериям подходит.

Согласно МКБ-10 должен наблюдаться хотя бы один из следующих признаков:

Эхо мыслей (звучание собственных мыслей), вкладывание или отнятие мыслей, открытость мыслей окружающим.
Бред овладения, воздействия, или пассивности, отчётливо относящийся к телу или конечностям, мыслям, действиям, или ощущениям; бредовое восприятие.
Галлюцинаторные голоса, комментирующие или обсуждающие поведение больного; другие типы «голосов», идущих из различных частей тела.
Устойчивые бредовые идеи, которые культурно неадекватны, нелепы, невозможны и/или грандиозны по содержанию.

Либо должны наблюдаться по крайней мере два из следующих «меньших» симптомов:

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

При этом указанные симптомы должны отмечаться не менее месяца. Состояния, отвечающие данным критериям, но продолжающиеся менее месяца, классифицируются как острое шизофреноподобное психотическое расстройство (F23.2 с добавочным четвёртым знаком, обозначающим характер расстройства), а если они впоследствии продолжаются свыше месяца, то диагноз изменяется (перекодируется) на соответствующую форму шизофрении.
Аноним 28/10/16 Птн 09:34:45 25238
ChurchvsCurry.png 88Кб, 940x498
940x498
>>70
Вброшу тезис. И Воеводский, и Михайлов не настоящие, просто позеры. Вот Михайлов ездил в Индию, учил язык, да. Какой? Бенгали, в Калькутте.
Типичный индоевропейский язык, такой же как французский примерно, или английский. Охуеть самопознание, да? Мог бы ездить в Бангалор, Ченнаи, изучать тамильский, каннада, читать поэзию Бхагавата Пурана, Канака Даса, но нет, ему надо в самую не индийскую часть индии, тьфу, блядь.
Ничем не отличается от фитоняшек, увлекающихся йогой.
А Воеводский чем занимался после Филдса? Эволюционной биологией, популяционной генетикой? Ну пиздец, еще бы историей занялся. Где же было его чутье визионера?
Математика все еще ждет своих героев.
Аноним 28/10/16 Птн 10:00:34 25839
>>41
>>43

Наука или не наука это путь к определению понятия "определение".

Просто дело вот в чём: есть геометрия Римана, Лобачевского и Евклида, и все они работают. То есть в математике можно выдумать любую хуйню, главное что внутренних противоречий не было. Таким образом вопрос вот в чём: что в математике применимо к естественным наукам и технике, а что нет. И зачем заниматься тем, что неприменимо? Между тем замечу: часто бывает что мне, как физику, очень помогают функции, которые математики исследовали до внедрения их в естественные науки. Ну и математики это дёшево. Им синхротронов и микроскопов не надо.
Аноним 28/10/16 Птн 10:07:29 26040
>>258
>в математике можно выдумать любую хуйню, главное что внутренних противоречий не было.
Можно. Только это и будет хуйня, если без противоречий, то неполная. А если полная, то с противоречиями.
Аноним 29/10/16 Суб 11:16:00 37341
>в математике можно выдумать любую хуйню, главное что внутренних противоречий не было. Таким образом вопрос вот в чём: что в математике применимо к естественным наукам и технике, а что нет.

Все, что непротиворечиво, объективно существует.
Аноним 29/10/16 Суб 11:28:41 37542
>>252
Ох, лол, спервадобейся
Аноним 29/10/16 Суб 11:43:55 37743
>>373
>Все, что непротиворечиво, объективно существует.
Что значит "объективно существует" в математике?
Аноним 29/10/16 Суб 12:56:31 37944
>>377
Является термом в языке первого порядка.
Аноним 29/10/16 Суб 13:41:05 38045
>>379
Но ведь логика первого порядка неполна либо противоречива.
Аноним 29/10/16 Суб 14:33:07 38346
>Что значит "объективно существует" в математике?

Существует в объективной реальности.
Аноним 29/10/16 Суб 15:29:36 38947
>>383
Т.е. может быть построен?
Аноним 29/10/16 Суб 15:32:53 39048
>>380
А в Киеве дядька.

>>389
>Является термом в языке первого порядка.
Аноним 29/10/16 Суб 15:34:59 39149
>>390
>Является термом в языке первого порядка.
Т.е. может быть записан с помощью конечного числа знаков.
Аноним 29/10/16 Суб 21:52:18 46450
>>389
>Т.е. может быть построен?

То есть экспериментально обнаружим.
Аноним 29/10/16 Суб 22:49:36 46551
>>464
Обнаружь мне круг, пожалуйста.
Аноним 29/10/16 Суб 23:19:25 46652
>>465
>Обнаружь мне круг, пожалуйста.

Луна на небе круглая. Отклонения от идеального круга необнаружимы невооруженным глазом -> их нет.
Аноним 29/10/16 Суб 23:20:23 46753
>>466

Вся живая природа - фракталы. Евклидовых геометрических примитивов там довольно мало, но если потрудиться - можно найти.
Аноним 30/10/16 Вск 00:46:46 47054
>>466
Значит Луна - это круг, верно?
Аноним 30/10/16 Вск 01:56:07 47455
>>470

При наблюдении с Земли невооруженным глазом.

Посложней бы чего-нибудь загадал. Те же логарифмы, например...
Аноним 30/10/16 Вск 03:44:35 47656
Аноним 30/10/16 Вск 14:42:37 49557
>>476

Вот и замечательно.

Спор материалистов с идеалистами решается очень просто. Все, что математически непротиворечиво, объективно существует. Если мы не можем воспринимать, к примеру, 12-мерное финслерово пространство-время - это наши половые трудности.
Аноним 30/10/16 Вск 18:32:18 50658
>>252
И картинка клёвая и тезис очень похож на правду. Провокация, да. Ну хули, система воеводский+ работает, значит её лучше не трогать.
Аноним 30/10/16 Вск 18:57:13 50959
>>252
А кто это такие? Михайлов - это Роман? Они же гопники и наркоманы, разве нет?
Аноним 30/10/16 Вск 19:18:46 51760
>>509
Да вроде да, но у нас бомбит, что мы ноунеймы и мало чего можем, а у гопников с наркоманами что-то получилось.
Аноним 31/10/16 Пнд 01:20:05 56161
>>517
А! Понимаю. Капитализм, мать его.
Аноним 31/10/16 Пнд 10:53:00 57862
>>495
>Все, что математически непротиворечиво, объективно существует. Если мы не можем воспринимать, к примеру, 12-мерное финслерово пространство-время - это наши половые трудности.
Где все это "объективно существует"? Покажи.
31/10/16 Пнд 14:49:55 58763
Аноним 31/10/16 Пнд 14:55:09 58864
>>587
Мамке своей показал? Забегу вперед, все равно в итоге все сведется к формулам и т.п. формальным нотациям, которые сами по себе конструктивные объекты (что показал Мартин-Лёф), естественно, возможен вариант что эти формулы простая поебень не проходящая проверку типов из-за нарушающих вычислимость верований.
31/10/16 Пнд 15:06:40 58965
>>588
Сам конструшок появился. Построение фотонов узнал?
Аноним 31/10/16 Пнд 15:09:18 59066
>>589
>Построение фотонов узнал?
Можешь не продолжать, я уж понял что ты дебил.
Аноним 31/10/16 Пнд 15:27:53 59167
>>590
Значит ты обосрался со своими обызаниями нас верунами. Ты веришь в какие-то потенциальные построения числа Грэмма, на которые просто не хватит атомов во свеленной, а в фотоны не веришь. Для них же нет правил построения.
Аноним 31/10/16 Пнд 15:28:49 59268
31/10/16 Пнд 15:30:34 59569
>>592
Ты просто так берёшь и позорно сливаешься.
Аноним 31/10/16 Пнд 15:31:50 59670
>>595
Ты даже сам не понимаешь, какую хуйню несешь, какой тут вообще возможен разговор.
31/10/16 Пнд 15:35:44 59771
>>596
Как какую, я показываю тебе, что твоя ко-ко-констктивная параша не применима к реальному миру. Все, что не подтверждено эксперементом в реальном мире - основанна на вере, поэтому твоя вскукареки по поводу верунства не имеют никаких весомых оснований. Теперь понял, к чему я упомянил физику? Я понимаю, что у тебя ограниченные уственные способности в силу юнного возраста.
Аноним 31/10/16 Пнд 17:54:09 60172
>>597
Ты можешь просто пройти мимо моих постов? Совсем не обязательно что-то кукарекать в ответ, уверяю.
31/10/16 Пнд 18:31:56 60273
>>601
Чем тебе так не нравятся мои посты? Ты конечно, можешь, как всегда обозвать меня и попытася увести разговор в другую сторону, но скажи почему ты так не хочешь отвечать на мои вопросы? Тебе больно из-за того, что у тебя нет подходящего ответа?
Аноним 01/11/16 Втр 01:32:52 65374
Futurama-Fry.jpg 16Кб, 552x414
552x414
>>588
>простая поебень не проходящая проверку типов из-за нарушающих вычислимость верований
>нарушающих вычислимость верований
Чёт сложно. Я вот верю что 5 это деревянная тумбочка, например, а 3 - это мой братишка.
Аноним 01/11/16 Втр 11:26:44 66275
петухнесуди.jpg 31Кб, 600x315
600x315
>>602
Тебе уже сто раз сказано, что фотон это не математический объект. Возможно, есть его математическая модель. Что именно из написанного тебе не понятно?
01/11/16 Втр 13:44:52 66776
>>662
Раз математический объыекты находятся в сторонке от реального мира, то почему ты так упорно называешь, все верунами?
Аноним 01/11/16 Втр 13:49:16 66877
>>667
Это правда не твое, поверь. Уже 10-летний бы понял.
01/11/16 Втр 13:51:24 66978
>>668
Ты опять переходишь на личности и уходишь от конструктивного диалога. Просто признайся, что ты необоснованно кричишь о вере.
Аноним 02/11/16 Срд 19:51:34 80079
>>373

Докажи. Это не наезд, если что. Твоё утверждение я не считаю однозначно абсурдным.

>>260

Хорошо, я вот не математик. Какой толк от этой теоремы, про самое большое простое число? Каково её гипотическое применение?
Аноним 02/11/16 Срд 20:25:44 83480
>>669

А я вот знаю что Бог есть. Может несколько странно, но я знаю. Могу обосновать. В культы и всякую хрень не приглашаю.
02/11/16 Срд 20:35:31 84081
>>834
Ну попробуй, интересно будет услышать.
Аноним 02/11/16 Срд 21:05:34 86882
>>840

И так, что есть мы.Мы не есть протоны, нейтроны и электроны. Мы есть нечно иное. Потому что протоны, нейрноы и электроны они все логичны. С вероятнлсью.
Аноним 02/11/16 Срд 21:06:44 87183
>>840

Значит мы нечто иное что не известно. Но сколько электронов во вселенной? банальный ответ-один.
Аноним 02/11/16 Срд 21:39:49 89584
>>871
Один, но находящийся в разных временных позициях?
Аноним 02/11/16 Срд 23:33:55 92285
>>561
А при чём здесь капитализм, товарищ?
То, чтоим позволено говорить-быть-творить?
Нет-нет, по крайней мере я не из тех, кто стремится задавить творчество, я от такого подавления удовольстивия не получу. Не из породы силовиков и других кхм доминаторов.

Да и всяко раньше подковёрные интриги были жёстче.
Или я совсем непонял или капитализм тут не причём.
Добра
Аноним 03/11/16 Чтв 13:13:27 96386
>>922
Просто ты аутист и не уловил иронии, все нормально, не покидайте палаты.
Аноним 03/11/16 Чтв 16:45:03 98487
>>895

Это всего лишь гипотеза, шутка даже больше. Типо один электрон пробегает всю вселенную от рождения до смерти а потом движется обратно во времени. Гугли диаграммы Фейнмана.

>>840

Вобщем объясню подробнее. Мы, наше самосознание, наше Я есть некий другой вид материи. Который находится в том числе в нашей телесной оболочке. Далее я не имею права рассказывать (не поминай имя Господа своего в суе).
Аноним 03/11/16 Чтв 23:43:58 103888
>>495

Хорошо, начнём с простого. Покажи мне в природе число, прямую, точку, плоскость. Математика это просто язык для колличественного описания вселенной. И объективность его именно такая же, как и объективность другого языка. Впрочем, я не думаю что стоит предавать этому большое значение.
03/11/16 Чтв 23:55:25 103989
>>1038
>Покажи мне в природе число, прямую, точку, плоскость.
А ты можешь показать, что их не существует?
>математика это просто язык для колличественного описания вселенной.
>язык
М-да. Сильное завяление, которое ещё нужно доказать.
>И объективность его именно такая же, как и объективность другого языка
Опять же, на каких основаниях ты это говоришь?
Аноним 04/11/16 Птн 00:16:21 104390
поссал на даунов итт, вангую что на тройки все закроете первый свой семестр и залипнете в доту, потом в дворники после вылета во вторую сессию по шизофазии в постах если че, а не просто пальцем в небо пиздонькнул
Аноним 04/11/16 Птн 01:11:03 104491
>>1039
>А ты можешь показать, что их не существует?

А макаронного монстра? Это у тебя уже вера, а не знание. Как у религиозных.

>>1043


Сначало может научишься большие буквы использовать? Как капчу кстати разгадал? А, тут же нет капчи, я понял почему ты сюда пришёл.
04/11/16 Птн 21:23:06 108492
04/11/16 Птн 21:23:42 108593
>>1044
Ты написал, что
>математика это просто язык для колличественного описания вселенной.
Это тоже вера, верно? Или нет?
Аноним 04/11/16 Птн 21:35:55 108794
>>1084
>кисантий
это не лощинин случаем?
Аноним 05/11/16 Суб 10:25:03 110195
>>1085

Нет, это не вера а моё видение понятия язык.
Аноним 05/11/16 Суб 10:26:36 110296
>>1085

Я википедия тоже согласна, кстати.
>Язык — сложная знаковая система, естественно или искусственно созданная и соотносящая понятийное содержание и типовое звучание (написание).
>соотносящая понятийное содержание и типовое звучание (написание)
Аноним 05/11/16 Суб 10:35:41 110397
Аноним 05/11/16 Суб 10:38:50 110498
>>1103

Да иди ты нахуй из раздела, говно уманитарное, у меня сука по русскому 50 баллов на ЕГЭ в 2003-м было. Я не на экзамене, грамотно писать не обязан. "Нет ничего по сути-доебеись до грамматики", правило демагога номер там какое-то.
Аноним 05/11/16 Суб 10:43:25 110599
>>1104
>Сначало может научишься большие буквы использовать?
>Нет ничего по сути-доебеись до грамматики
ебать даун отмороженный, ссу тебе еще раз на ротеш))))
Аноним 05/11/16 Суб 11:20:47 1106100
>>1105
РЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯЯ
Аноним 05/11/16 Суб 12:22:20 1110101
>>1102
Дело в том, что математика не узучает вселенную, она изучает саму себя. На вселенную ей похуй. Так что она не может бьть языком для количественного описания вселенной.
Аноним 05/11/16 Суб 12:24:41 1113102
>>1110
Значит Эйнштейн был неправ?
Аноним 05/11/16 Суб 12:31:51 1114103
>>1113
Неправ в чём? Приведи его цитату.
Аноним 05/11/16 Суб 13:14:26 1115104
>>1110
>Так что она не может бьть языком для количественного описания вселенной.

Так получается что физики и инженеры зря её используют?
Аноним 05/11/16 Суб 13:39:11 1117105
>>1115

Забей, он Ъ-математик а они тупые.
Аноним 05/11/16 Суб 13:51:42 1118106
>>1115
Представь себе мужика, который делает молотки. И вот его интересуют только параметры молотка, причем в отрыве от всего, лишь бы в результате получился инструмент, которым можно что-то ударить. И он делает разные молотки Клейна, проектирует многомерные молотки, проверяет возможность решения вопроса ударности в разных параметрах молотка. А тебе надо узнать каким молотком можно забить гвоздь. Конечно, результаты этого мастера будут для тебя полезны, но тем не менее ты проверяешь все в виде эксперимента, да еще и материалы из которых ты делаешь реальны, так что твоя область совершенно другая.
Аноним 05/11/16 Суб 15:29:42 1126107
>>1118
То есть молоток таки может быть языком количественного описания вселенной?
Аноним 05/11/16 Суб 16:37:34 1133108
>>1118

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

Ну вот. А этот >>1110 утверждает что молотками бить нельзя.
Аноним 05/11/16 Суб 16:38:54 1135109
>>1126
Молоток вполне, но не молотковедение.
Аноним 05/11/16 Суб 16:55:54 1139110
>>1135
То есть молоток - это язык? Разве молоток не записывается на языке молотковедения, а? Как бы в этом же и состоит единственная задача этого самого молотковедения, не?
Аноним 05/11/16 Суб 22:53:44 1163111
>>1115
Математика не описывает реальный мир. Его описывают мат-модели, созданные с помощью её аппарата, но которые к ней самой отношения не имеют. Она прекрасно без них проживёт.
Физики пользуются мат-моделями для построения своих теорий.
Аноним 05/11/16 Суб 22:55:26 1164112
>>1133
Ты не согласен с тем, что математики поебать на реальный мир? И на вселенную тем более.
Аноним 06/11/16 Вск 18:49:13 1212113
>>1163
>Математика не описывает реальный мир.

Она не описывает, её используют для количественного описания.

>>1164
>математики

Здесь такие утверждения не выдвигались и оно некорректно по семантике.
06/11/16 Вск 22:31:14 1236114
>>1212
Не её используют, а мат-модели созданные на её основе.
Аноним 06/11/16 Вск 23:56:32 1247115
>>1163
>Физики пользуются мат-моделями для построения своих теорий
с точностью до наоборот. физики придумывают матнматику чтобы описать свои физические модели. математики начинают дрочить на эти модели, но как из дрочки не рождаются дети, так и умствования математиков ничего не дают
07/11/16 Пнд 00:51:44 1257116
>>1247
>зики придумывают матнматику чтобы описать свои физические модели. математики начинают дрочить на эти модели, но как из дрочки не рождаются дети, так и умствования математиков ничего не дают
И ведь не поспоришь! Гротендик небось создавал свои схемы под впечапелением от закона Кулом. А Рамануджан вывел формулу разбиений считая атомную массу водорода. ))))))))
Ох а как же математики любят дрочить на физические модели в каждой книжке по абстрактной албере висит таблица Менделеева)))))
Аноним 07/11/16 Пнд 01:15:03 1259117
periodic-table-[...].jpg 54Кб, 600x409
600x409
>>1257
И ведь висит.
07/11/16 Пнд 01:22:58 1261118
>>1259
Это не таблица Менделеева. А группы стилизированные под неё.
Аноним 07/11/16 Пнд 01:29:52 1264119
>>1261
Никогда не казалось странным, что простых конечных чисел бесконечно много, а простых конечных групп нет?
Настоящая математика это пока не признанная область естествознания, как химия или биология.
Аноним 07/11/16 Пнд 01:31:35 1265120
>>1264
Но их бесконечно много, просто они имеют конечную классификацию.
Аноним 07/11/16 Пнд 01:41:04 1268121
>>1265
Покажи группу больше монструозного лунного сияния.
Аноним 07/11/16 Пнд 23:10:23 1425122
>>1268
A_100, хули. Там элементов больше, чем в Монстре
Аноним 07/11/16 Пнд 23:28:06 1427123
Блядь, ребята, был бы я тян - я бы тут все слюной и вагинальной смазкой забрызгал, лунное сияние, охуеть просто, пиздец!
Аноним 07/11/16 Пнд 23:39:32 1430124
>>1427
Угораешь по спорадическим группам?

Мы когда-то М24 строили через коды Галея и системы Штейнера, надо бы освежить в памяти, а то не помню нихуя.
Аноним 07/11/16 Пнд 23:43:38 1431125
>>1430
Блядь, охуеть, выебите меня, кто-нибудь, срочно!
Аноним 12/11/16 Суб 01:52:43 2108126
>>22 (OP)
>>2100
Или прикол в том, что каждый раз строим множество всех подмножеств предыдущего множества, и оно имеет бОльшую мощность, чем исходное?
Аноним 12/11/16 Суб 14:18:32 2121127
>>2100
возможность построимости такого множества это аксиома бесконечности

>>2108
это по определению кардинала
Аноним 12/11/16 Суб 15:59:08 2136128
73bb4bc1ea23e5b[...].png 271Кб, 1097x1221
1097x1221
Вкатился и провёл по губам конструктивному петуху с его отрицанием существования аксиом в его петушинной математике.
Аноним 12/11/16 Суб 16:10:59 2137129
>>2136
А конструктивист тебе такой и говорит: ВРЁТИ!
И что ты возразишь?
Аноним 12/11/16 Суб 18:29:51 2149130
>>2136
Какой-то дебил писал этот текст, ей-богу. Обосновывать некорректность математической теории тем, что у нас чернила кончатся и ночью кто-то придет и что-то нам напишет - это по-моему диагноз.
Аноним 12/11/16 Суб 18:48:15 2158131
>>2136
Вавилов? Не знал что он платонист. Я сразу линейную алгебру стал читать, много интересного в первом томе?
Аноним 12/11/16 Суб 19:43:26 2178132
>>2149
Конструктивизм это не математическая теория. Это вера в возможность конструктивного построения, о чем и говорит вавилов.
Аноним 12/11/16 Суб 19:46:24 2180133
>>2178
Ок. Обосновывать невозможность конструктивного построения... и далее по тексту. Чернила тут не при чем, как ты конструктивизм не назови.
Аноним 12/11/16 Суб 19:48:18 2182134
>>2180
Как ни при чём? Констурктивисты при таком построении подразумивают, что у них бесконечный запас чернил.
Аноним 12/11/16 Суб 19:50:44 2184135
>>2182
Чувак, извини, но "не". "Подразумевают". Глаза же слезятся от такого, ей-богу.

Какое отношение чернила имеют к мысленным конструкциям?
Аноним 12/11/16 Суб 19:52:45 2186136
>>2180
>>2184
Ты не вкуриваешь аргумент. Чем критика бесконечностей, индукции и аксиомы выбора от конструктивистов ценна, если все это мысленные конструкции? Если не отталкиваться от реальных объектов, это все тлен.
Аноним 12/11/16 Суб 19:53:04 2187137
>>2184
Ты в галаза ебёшься? Даже в тексте написанно, что они подразумивают, что процесс можно неограниченно продолжать.
Аноним 12/11/16 Суб 19:57:12 2188138
>>2186
Да, твоего аргумента я не вкурил. А тот анон вряд ли это имел в виду, он какой-то поехавший походу.

То есть ты утверждаешь, что все мысленные конструкции равноценны в плане удобства и интуитивности? Это ведь очевидно не так, разве нет?
Аноним 12/11/16 Суб 20:13:00 2196139
>>2184
Идея потенциальной бесконечности ака потенциальной построимости ничуть не более реалистична, чем идея актуальной бесконечности, в этом суть.
Аноним 12/11/16 Суб 20:16:10 2198140
>>2196
И какое это имеет отношение к моему утверждению о том, что "доказывать" несостоятельность мыслительных конструкций с помощью чернил - маразм и шизофазия? Ты того, не подменяй тут предметы обсуждения.
Аноним 12/11/16 Суб 20:17:52 2199141
>>2198
>"доказывать" несостоятельность мыслительных конструкций с помощью чернил
Ну конструктивисты пытаются доказать с помощью реального мира несостоятельность актуальной бесконечности.
Аноним 12/11/16 Суб 20:20:34 2200142
>>2199
Я не понял, это аргумент по типу "а у вас негров линчуют", или что?

Давай еще раз: с чем в >>2149-посте ты не согласен?
Аноним 12/11/16 Суб 20:34:42 2201143
>>2200
Чернила показывают, что против конструктивистов можно обернуть их собственный генеральный аргумент: обвинение в нереалистичности.
Аноним 12/11/16 Суб 20:34:48 2202144
>>2188
>>2198
Удобство, интуитивность и истинность это разные вещи. Для меня возможность оперировать с бесконечными множества так же интуитивна, как и предполагать что-то на бесконечной ленте. Но бесконечные множества удобнее, т.к. из них вылилась вся настоящая математика, отказываться от них -- вступать в клуб конструктивистов-чуханов и доказывать заново вещи типа коши-буняковского, бесконечности простых чисел, etc...
Но если речь идет об истинности, мы должны давать какой-то критерий. Если критерий построимость в реальности и отсутствие аксиом, как предполагает невидимый собеседник вавилова, то по этому критерию конструктивизм ничем не отличается от обычной математики.
Аноним 12/11/16 Суб 20:46:09 2203145
>>2202
Евклидово доказательство бесконечности простых чисел удовлетворяет стандартам конструктивизма, т.к. оно не является доказательством от противного, и, следовательно, не использует закона исключенного третьего.
Конструктивизм изначально возник как реакция на чисто экзистенциальные доказательства типа канторовского диагонального аргумента. Когда доказывается существование чего-то, что нельзя построить.
Аноним 12/11/16 Суб 20:49:06 2204146
>>2203
>т.к. оно не является доказательством от противного
С дуба рухнул? Оно является доказательством от противного. "Предположим, что простых чисел конечное количество. Перемножим их и прибавим единицу. Полученное число будет простым, пришли к противоречию."
Аноним 12/11/16 Суб 20:51:08 2205147
>>2201
Где ты в >>2149-посте видишь хоть слово про конструктивизм или "реалистичность"?
Аноним 12/11/16 Суб 20:52:14 2207148
>>2205
Вавилов пишет, что против конструктивистов можно обернуть их же аргумент. Про что пишешь ты?
Аноним 12/11/16 Суб 20:54:35 2208149
>>2202
Еще раз. Я не призываю никого быть сторонниками (или противниками) конструктивизма. Я лишь утверждаю, что автор того текста на картинке - либо маразматик, либо демагог (и вредитель).

Про критерий построимости, который состоит в "реальности" чего-то там, я вообще первый раз слышу. Даже ультрафинитисты не говорят о "реальности".
Аноним 12/11/16 Суб 20:55:12 2209150
>>2207
Нет, он не пишет такого. Он пишет ахинею про чернила. К конструктивистам это не имеет отношения. Я про это.
Аноним 12/11/16 Суб 21:00:15 2211151
>>2208
>вредитель
Ну блядь начался сталинизм.

>>2209
Именно это он пишет. Приводя конкретный пример, как это делается. Более того, аргумент про чернильную дыру кажется убедительным той подсекте конструктивистов, которая называется ультрафинитисты, они его принимают и большие числа не разрешают. А ты ничего на этот аргумент не можешь возразить, лишь только шокированно пишешь про "демагогию" и "вредительство".
Аноним 12/11/16 Суб 21:12:49 2213152
>>2209
>>2208
такому иезуиту как ты вообще воспрещено читать Вавилова, он имеет весьма своеобразное мнение на многие вопросы.

>>2203
Так прежде всего докажи, что можно построить следующее простое число. Причем неконструктивную дзету функцию трогать нельзя!
Аноним 12/11/16 Суб 21:27:33 2214153
>>2211
> сталинизм
Ой, а иронию мы как будто уже не улавливаем.

>>2211
Что "именно это"? Ахинею про чернила? Так я об этом и говорю!

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

>>2213
Бро, так у меня к его мнению претензий никаких. Я настаиваю на том, что аргумент его - демагогический и некорректный.
Аноним 12/11/16 Суб 21:30:00 2215154
>>2214
Если мы допускаем, что где-то на бесконечности закон исключенного третьего мистическим образом перестаёт работать, почему бы нам не допустить чернильную дыру?
Аноним 12/11/16 Суб 21:50:26 2216155
>>2215
Допусти чернильную дыру, назови это чернилизмом и вперед, доказывать теоремы. Конструктивизм тут при чем?
Аноним 12/11/16 Суб 21:56:07 2218156
>>2216
Конструктивизм так же нелеп, как чернилизм.
Аноним 12/11/16 Суб 22:16:21 2220157
>>2204
>Полученное число будет простым
Нету такого перехода там, и твое рассуждение не является доказательством. Мы утверждаем, что полученное перемножением n простых и прибавлением единицы к произведению число не может делиться ни на одно из меньших простых чисел, поскольку в остатке от деления будет единица.
Доказательство верно и в том случае, если мы не предполагаем, что число всех простых чисел конечно. У нас есть процедура, которую можно повторять. Возьми достаточно большое n, рассуждение по-прежнему верно. Никакой контрадикции не требуется.
Аноним 12/11/16 Суб 22:40:33 2221158
>>2220
>Возьми достаточно большое n, рассуждение по-прежнему верно
Это не так.
>Нету такого перехода там
Если бы противоречия не было, то ты получил бы алгоритм генерирования простых чисел. Мол, достаточно перемножать первые n простых и прибавлять единичку. Проблема в том, что полученное таким образом число M на самом деле не будет простым, вообще говоря. Например, 235711*13+1 делится на 59. Если не предполагать, что число M является произведением _всех_ простых чисел, то доказательство не пройдёт - остаётся шанс, что M делится на простое число, расположенное между n-ым простым числом и M.
Аноним 12/11/16 Суб 22:43:56 2222159
>>2220
вопрос только в том, как определить произведение n простых. Как мы его строим?
https://oeis.org/A066576
Аноним 12/11/16 Суб 23:09:54 2225160
>>2218
Твое мнение очень важно для нас и конструктивизма, спасибо.
Аноним 12/11/16 Суб 23:12:47 2226161
>>2225
Как ты объясняешь отсутствие у конструктивизма каких-либо успехов?
Аноним 12/11/16 Суб 23:16:03 2227162
>>2221
Да что ты. Произведение первых семи простых плюс один тоже не простое, мрожешь проверить. Поэтому я и оговорил "достаточно большое n".
Аноним 12/11/16 Суб 23:22:35 2228163
>>2226
Никак, потому что это неправда.

Алсо, какие же вы тупые, в сотый раз повторяю, что мне плевать на конструктивизм, меня бесит Вавилов- пиздабол и демагог.
Аноним 12/11/16 Суб 23:32:02 2229164
>>2228
>что мне плевать на конструктивизм
Так сильно плевать, что ты сидишь в тредике и защищаешь его.
>меня бесит Вавилов- пиздабол и демагог.
То же можно сказать о Брауэре.
Аноним 12/11/16 Суб 23:32:39 2230165
>>2227
Пруфай возможность построения такого n.
Аноним 12/11/16 Суб 23:51:36 2232166
>>2229
Я не "защищаю" его, я критикую >>2136-пикрелейтед, дурья твоя башка.
Аноним 12/11/16 Суб 23:56:51 2233167
>>2232
Критикуешь, предлогай.
Аноним 13/11/16 Вск 01:04:51 2235168
>>2233
Предложил уже.
Аноним 13/11/16 Вск 01:18:24 2236169
Аноним 13/11/16 Вск 01:32:21 2237170
>>2236
Выше по треду. Я предложил не заниматься религиозными войнами и дешевыми софисткими трюками, а обращать внимание на качество рассуждения.
Аноним 13/11/16 Вск 01:38:12 2239171
>>2237
>Выше по треду.
Пожалуйста, укажи номер поста.
Аноним 13/11/16 Вск 01:42:33 2240172
Аноним 13/11/16 Вск 07:27:07 2262173
>>2237
Аргумент Вавилова - не дешёвый. Этот аргумент (в реальном мире нельзя написать много черточек) настолько убедителен, что убедил часть конструктивистов.
Аноним 13/11/16 Вск 09:23:48 2263174
>>2262
Не ибу, кто есть кто, кто конструктивист, а кто нет, но от писанины про чернила выпал нахуй. Пиздец, кончится время, бумага, гравитация нахуй. Чёрточку нарисовать можем? -Можем. Если написали N чёрточек, то ещё 1 можно написать? - Можно. Тогда сколько угодно чёрточек можно написать, ёпта.
Аноним 13/11/16 Вск 10:29:13 2268175
>>2263
Точно так же можно обосновать аксиому выбора.
Пусть M - множество. Выберем в нём элемент и скажем, что он < всех других элементов. Выберем второй элемент, не равный первому. Скажем, что он < всех других элементов, но > первого. И так для любого ординала, пока множество M не исчерпается. Убедительно? А конструктивисты не верят.
Аноним 13/11/16 Вск 18:16:27 2347176
brouwerportret0.jpg 48Кб, 240x473
240x473
инт10.png 628Кб, 1588x1838
1588x1838
Охлол, люто я парашу затралел, уже недели две в этот раздел не пишу, не считая сцая, а всем до сих пор горит с Брауэра и интуиционизма. А главное, чем дальше, тем дебильнее "аргументы" у бесноватых >>2136 глаза закатил, завыл так, чернил, грит, не хватит. И это после того, как детям еще в детском саду объясняют, что такое "потенциально". Что интересно, претензии к одной из основных абстракций математики - абстракции потенциальной осуществимости, в принципе не возникает нигде, кроме этой параши и кроме конкретно конструктивного направления. Т.е. когда закон исключенного третьего принимается как данность, априори, просто потому что Аристотель так завещал, это норма. А когда говорят, что это ебланство, поскольку такая вера тупо нарушает вычислимость в случае когда нет возможности проверить этот закон на конкретном объекте, начинаются кукареканья, что дескать, фофудью любимую отобрали, как страшно жить. Причем, такое и от Гильберта было, в каком-то из предыдущих маттредов постили цитату. Пикрелейтед, к слову, писал что сложность ментальных построений на основе 1 и 2 актов интуиционизма ограничена физическими возможностями человека. Сейчас с этим проще чем при Брауэре, т.к. алгоритмические построения, по тезису Черча равнообъемные конструктивным ментальным, можно строить на языках с зависимыми типами, но выше физических ограничений по факту все равно прыгнуть невозможно. Можно придумывать неконструктивные манябесконечности, равнообъемные Аллаху и веровать, что к ним применим закон исключенного третьего, без фактического построения такого доказательства, уже к началу 20 века было ясно, что это путь в никуда и сколько костылей не придумывай, кроме непрерывных кризисов оснований и парадоксов это ни к чему не приведет. Потому что в математике не существует того, чего нельзя построить, если эту проблему игнорировать, никуда она не денется. И сколько костылей не вводи, все равно итоговая ебань будет либо противоречивой, либо неполной, т.е. в обоих случаях хуетой без задач, а не математикой. Так-то.
Аноним 13/11/16 Вск 18:22:51 2348177
Снимок.PNG 92Кб, 484x759
484x759
Снимок1.PNG 48Кб, 483x327
483x327
>>2268
>А конструктивисты не верят.
Наркоман ты. Конструктивность аксиомы выбора сто раз обосновывали, Мартин-Лёф тот же. В конструктивной математике аксиома выбора - доказуемая теорема. Зато в ZFC нет даже внятного доказательства этой аксиомы, в нее веровать надобно. А вы и веруете.
Аноним 13/11/16 Вск 18:29:21 2350178
Аноним 13/11/16 Вск 18:46:05 2352179
>>2348
>Конструктивность аксиомы выбора сто раз обосновывали
Этак у вас скоро и ZFC конструктивной станет.
Аноним 13/11/16 Вск 18:53:40 2355180
ZFC.png 246Кб, 736x732
736x732
Аноним 13/11/16 Вск 19:20:28 2363181
>>2348
>В конструктивной математике аксиома выбора - доказуемая теорема
И давно? Потому что для конечного числа множеств этот факт вывел еще Цермело, но конструктивисты как всегда впереди планеты всей.

>>2347
>кроме непрерывных кризисов оснований и парадоксов это ни к чему не приведет
Открываешь любую статью топового математика типа там Тао, Громова, Атьи, Лэнглендса, Терстона, Уайлза, etc. Считаешь количество утверждение, использующих неконструктивную индукцию и закон исключенного третьего. Открываешь любой учебник по алгебре, анализу или геометрии graduate уровня. Делаешь то же самое.
Выходит, что большинство математиков и не слышали о каком-то кризисе, что неудивительно, ведь конструктивная догма поставит крест на работе всей их жизни.
Аноним 13/11/16 Вск 19:27:08 2365182
>>2363
>большинство математиков и не слышали о каком-то кризисе,
Потому что любая практически применимая математика конструктивна по своей сути. Иначе ее просто нельзя было бы применять. Неконструктивные верования, нарушающие вычислимость, встречаются только в неконструктивных основаниях. Закон исключенного третьего никто не отменяет в случаях, когда он доказуем непосредственно.
Аноним 13/11/16 Вск 19:42:33 2372183
>>2365
>любая практически применимая математика конструктивна по своей сути
На самом деле эти слова бессмысленны, лишены какого-либо смысла вообще. Невозможно понять, что они значат. Т.е. тут ничего не утверждается.
Аноним 13/11/16 Вск 19:46:43 2379184
>>2372
>Невозможно понять, что они значат.
С точки зрения умственно неполноценного дебила вроде тебя - несомненно.
Аноним 13/11/16 Вск 19:48:53 2381185
>>2379
Ахахахах, где-то была паста "how to отвечать, как конструктивист". Реквестирую её. Она полностью обличает демагогию.
Также, в тред призывается парень с фотонами.
Аноним 13/11/16 Вск 19:50:05 2384186
>>2365
Вот практический пример, я инженер, мне надо посчитать площадь круга. Где мне найти конструктивное доказательство этого факта?
Аноним 13/11/16 Вск 19:53:14 2390187
>>2384
>я инженер, мне надо посчитать площадь круга.
>конструктивное доказательство этого факта
>я инженер
>доказательство этого факта
Ну то, что ты дебил - очевидно и доказательств не требует.
Аноним 13/11/16 Вск 19:56:19 2394188
Снимок.PNG 152Кб, 1121x621
1121x621
>>2384
>Где мне найти конструктивное доказательство этого факта?
Какого факта? Формула площади круга - конструктивный объект. Круг тоже, поскольку его как-то же построили.
Аноним 13/11/16 Вск 19:58:34 2399189
>>2394
Площадь круга равна pr^2. С классическим анализом мне не приходится брать это на веру.

>Формула площади круга - конструктивный объект.
Значит должно существовать конструктивное доказательство этого факта.
howto отвечать как конструктивист Аноним 13/11/16 Вск 19:59:33 2402190
— Почему существует только то, что порождается алгоритмом?
— Потому.

— Ты ебанутый?
— На это неоднократно давался ответ.

— Ты можешь доказать формулу Гаусса?
— Твоя вера не нужна.

— Пошёл нахуй, ебанашка.
— Ты не воспринимаешь объективные аргументы.

— Какие?
— Хватит спрашивать одно и то же.

— Ты издеваешься. Ты не можешь писать это всерьёз.
— Я не виноват, что ты такой тупой.
Аноним 13/11/16 Вск 20:05:17 2409191
>>2394
>существующие во времени и пространстве
И тут из-за горизонта выплыла, ехидно улыбаясь, ЧЕРНИЛЬНАЯ ДЫРА
Аноним 13/11/16 Вск 20:05:34 2410192
>>2399
>Значит должно существовать конструктивное доказательство этого факта.
Ну круг же существует. Его радиус измерим, число пи тоже существует (в виде аппроксимации практически целесообразным числом знаков после запятой). Все это существующие и измеримые конструктивный объекты. Это и есть доказательство. Или тебе нужно какое-то мистическое доказательство, в отрыве от конкретного объекта?
Аноним 13/11/16 Вск 20:07:47 2414193
>>2410
>Ну круг же существует.
В реальном мире нет.
Аноним 13/11/16 Вск 20:08:57 2417194
>>2414
Тогда что ты там практически измерять собрался? Ты сам-то хоть читаешь, что пишешь?
Аноним 13/11/16 Вск 20:11:41 2424195
>>2417
>что ты там практически измерять собрался?
Глубину твоего ануса, пидорасина.
Аноним 13/11/16 Вск 20:13:44 2430196
Screenshot from[...].png 305Кб, 600x288
600x288
Screenshot from[...].png 576Кб, 585x582
585x582
>>2410
>Поверь, что они существуют, просто поверь!
Ясно. Все еще надеюсь на конструктивное доказательство, типа пикрелейтед, сводящие элементарные теоремы анализа к нерешенной в конструктивном мирке теореме Ферма.
Аноним 13/11/16 Вск 20:18:49 2437197
>>2430
Ты вроде этого >>2424 клована штоле? Не можешь прочитать даже то что сам пишешь?
Аноним 13/11/16 Вск 20:28:32 2445198
>>2437
Напишу еще раз, быть может русский для тебя не родной.
Мне необходимо конструктивное доказательство факта, что площадь круга равна pr^2.

Вот как выглядят неконструктивные доказательства:
https://en.wikipedia.org/wiki/Area_of_a_circle#Modern_proofs
Аноним 13/11/16 Вск 21:36:29 2469199
>>2262
В сотый раз спрашиваю: какое отношение математика имеет к "реальному миру"?
Аноним 13/11/16 Вск 21:46:09 2472200
>>2469
А она должна иметь?
Аноним 13/11/16 Вск 21:55:27 2475201
>>2469
Ты выше аргумент Вавилова прочти, он говорит, что у конструктивистов есть много ОЧЕВИДНЫХ аксиом, которые так не называются.
Аноним 14/11/16 Пнд 03:03:29 2568202
Поясните дауну за основания математики, которые продвигает Воеводский. Это правда, что там нет аксиомы выбора?
Аноним 14/11/16 Пнд 06:38:36 2570203
>>2469
Спрашивай конструктивистов, это они придумали, что математические объекты должны существовать в пространстве-времени. >>2394
Аноним 14/11/16 Пнд 09:06:14 2572204
photoNormal.jpg 61Кб, 600x450
600x450
>>2445
>Вот как выглядят неконструктивные доказательства:
Я думал, ты дебил. А ты дебил. Дифиченто, что именно тебе непонятно >>2394 в фразе что "конструктивный объект - это конечная конфигурация знаков, в том числе формула и доказательство в формальной системе"? Что именно неконструктивного в тех формулах, которые ты по своей одаренности называешь неконструктивными? Что неконструктивного в построенном по ним круге?
>>2469
>какое отношение математика имеет к "реальному миру"?
А к какому миру она имеет отношение, скоморох? К загробному? Ты совсем тутуру что ли? Даже неконструктивные аксиомы, в которые вы веруете, это конечные конфигурации знаков, только нарушающий вычислимость и т.о. всего лишь неправильный конструктивный объект, соответствующий пустому типу при проверке. Любое ментальное построение - результат работы ЦНС, т.е. все тот же реальный мир. Почему кому-то неочевидны настолько простые вещи? Тебе лет сколько? 9?
>>2568
>Это правда, что там нет аксиомы выбора?
Неравда. Я же цитировал Мартин-Лёфа >>2348 НоТТ основана на MLTT. Единственная разница - в конструктивной математике аксиома выбора - это доказуемая теорема, а не взятая с потолка аксиома как в ZFC.
Аноним 14/11/16 Пнд 09:31:52 2573205
>>2572
>К загробному?
Да.
Аноним 14/11/16 Пнд 12:09:35 2583206
>>2568
Отрицание аксиомы выбора не имеет к HoTT прямого отношения, HoTT это фреймворк, который может дать приют и подобным извращенцам.

>>2572
>НоТТ основана на MLTT
Основана, но...
https://homotopytypetheory.org/2015/01/11/hott-is-not-an-interpretation-of-mltt-into-abstract-homotopy-theory/

>Единственная разница - в конструктивной математике аксиома выбора - это доказуемая теорема, а не взятая с потолка аксиома как в ZFC.
Тут стоит добавить, что модель Воеводского неконструктивна. И еще раз, не понимаю, зачем говорить о доказательстве слабой аксиомы выбора, если она выводится из ZF?

>Что неконструктивного в построенном по ним круге?
А почему получится круг? Почему именно число pi? А какая формула для n-мерного случая?
Или по-твоему достаточно предъявить построение "хуй знает чего", а потом утверждать, что это мол круг? Давай я тебе построю рандомную хуиту и с помощью интегрирования найду площадь, это тоже конструктивный пруф?
Аноним 14/11/16 Пнд 12:39:23 2584207
>>2583
Местный конструктивист прав касательно этого доказательства того, что площадь круга pi*r^2.
В самом деле, в этом доказательстве не происходит ничего неконструктивного. Определение pi вполне конструктивно, значения интегралов определены конструктивным образом и т.д. Твои претензии в духе:
>А почему получится круг? Почему именно число pi? А какая формула для n-мерного случая?
Во-первых, не имеют никакого отношения к вопросу конструктивности и с тем же успехом могут быть применены к доказательству и без заявки на конструктивность. Во-вторых, все они разрешаются аккуратным выписыванием определений и увеличением подробности доказательства.

Другое дело, что в самом деле нет конструктивного доказательства того, что все непрерывные функции достигают своего максимума/минимума и даже того, что они принимают все свои промежуточные значения. И это действительно составляет коренной недостаток конструктивного анализа.
Аноним 14/11/16 Пнд 12:39:51 2585208
>>2584
>все непрерывные функции
все непрерывные функции на отрезке
Аноним 14/11/16 Пнд 13:05:42 2587209
>>2584
Я все-таки надеялся, что конструктивист знает понятие интеграла, хотя бы то, что давали в школе.

Тут два тонких вопроса. Во-первых конструктивное определение пи, насколько я знаю, это пи до определенного знака, что совершенно не вносит ясности.
Во-вторых как определить интеграл без фундаментальных лемм классического анализа, и что можно им посчитать? Везде, где фигурирует бесконечность, конструктивная математика дает прокол.
Аноним 14/11/16 Пнд 13:34:59 2588210
>>22 (OP)
>Обоссываний математики нить первая
Аноним 14/11/16 Пнд 18:39:45 2621211
>>2472
Не должна, я как бы на это и намекаю, привет. /аутист-мод

>>2475
К акисиомам у меня нет претензий; у меня претензии к его идиотскому или осознанно вводящему в заблуждение балабольству про чернила. Привет.

>>2570
Неавторитетный источник.

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

По содержанию: математика имеет отношение к миру идеалов Платона, например. А реальным миром занимается физика. Называть, например, сказки Андерсена реальностью из-за того, что они, мол, результат работы ЦНС - это редкое клоунство и аутизм, если честно.
Аноним 14/11/16 Пнд 18:42:00 2622212
>>2587
> до определенного
До сколь угодно большого вообще-то.
Аноним 14/11/16 Пнд 18:58:57 2624213
>>2622
И тут мы опять приходим к ограничениям реального мира!
Аноним 14/11/16 Пнд 21:10:23 2641214
>>2624
Я не прихожу. Почему ты приходишь?
Аноним 14/11/16 Пнд 21:32:34 2645215
>>2621
Почему ты считаешь аргумент Вавилова балабольством? Он ничем не отличается от аргументов конструктивистов и призван высмеять их.
Аноним 14/11/16 Пнд 21:36:08 2646216
>>2645
Я тыщу раз уже отвечал на этот вопрос выше по треду.

Ладно, выпиши явно "аргументы конструктивистов", о которых ты говоришь, чтобы разговор был предметным.
Аноним 15/11/16 Втр 00:16:12 2655217
>>2646
>Мы не имеем оснований, считает Брауэр, утверждать, к примеру, что каждое из множеств некоторой совокупности множеств либо конечно, либо бесконечно, ибо такое утверждение предполагает наличие процедуры отображения любого множества из этой совокупности либо на начальный отрезок натурального ряда, либо его или его части, — на множество чисел натурального ряда в целом. Некто может возразить в том смысле, что существует объективное положение дел, независимое от наблюдателя, и что на самом деле все-таки существует только одно из двух: либо A, либо не-А Эти возражения, считает Брауэр, исходят из незаконной объективации математических истин, из метафизического предположения, что и после того, как человечество будет уничтожено, они будут существовать наряду с законами природы. Г. Вейль писал в поддержку этой идеи Брауэра: «Принцип исключенного третьего для таких утверждений (для утверждений принадлежности или непринадлежности некоторого свойства всем числам натурального ряда) мог бы быть справедливым для Бога, способного обозревать все натуральные числа как бы единым взором, но не для человеческой логики».

>Брауэр был убежден, что логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Возражая против закона исключенного третьего, он настаивал на том, что между утверждением и его отрицанием имеется еще третья возможность, которую нельзя исключить. Она обнаруживает себя при рассуждениях о бесконечных множествах объектов. Допустим, что утверждается существование объекта с определенным свойством. Если множество, в которое входит этот объект, конечно, то можно перебрать все объекты. Это позволит выяснить, какое из следующих двух утверждений истинно: "В данном множестве есть объект с указанным свойством" или же: "В этом множестве нет такого объекта". Закон исключенного третьего здесь справедлив. Но когда множество бесконечно, его объекты невозможно перебрать. Если в процессе перебора будет все-таки найден объект с требуемым свойством, первое из указанных утверждений подтвердится. Но если найти этот объект не удастся, ни о первом, ни о втором из утверждений нельзя ничего сказать, поскольку перебор не проведен до конца. Закон исключенного третьего здесь не действует: ни утверждение о существовании объекта с заданным свойством, ни отрицание этого утверждения не является истинным.

Если в нашей критике дозволен Боженька-Переберун, то в ней также должна быть дозволена и чернильная дыра, согласись.
Аноним 15/11/16 Втр 01:57:27 2659218
>>2655
Ты сейчас на полном серьезе пытаешься обосновать метафизический аргумент Вавилова против конструктивизма тем, что Вейль однажды употребил метафору в тексте о принципе исключенного третьего?

Это либо аутизм, либо стопроцентная жирнота. Извини, но я не вижу у нас common ground для интересного разговора. Предлагаю сойтись на том, что мы друг друга не поняли.
Аноним 15/11/16 Втр 11:00:00 2678219
>>2659
Конструктивисты отвергают принцип исключенного третьего, основываясь на идее, что человек не может перебрать все элементы бесконечного множества. Эта идея столь же нелепа, сколь и идея, что слишком большие числа обязаны схлопнуться в чернильную дыру.
Аноним 15/11/16 Втр 16:11:48 2812220
>>2678
То есть от предыдущего аргумента про Боженьку ты отказываешься?

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

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

И повторю в сто десятый раз: мне плевать на конструктивистов, моя претензия - к демагогу Вавилову.
Аноним 15/11/16 Втр 18:52:15 2883221
>>2812
Это один аргумент, на мой взгляд.
Конструктивисты утверждают, что не в человеческих силах перебрать все элементы бесконечного множества. Вавилов утверждает, что не в человеческих силах написать 10^10^10 палочек. Если первое принимается к рассмотрению, то и второе следует принять к рассмотрению; никакой демагогии.
Аноним 15/11/16 Втр 18:59:49 2885222
>>2883
Одни аппелируют к ментальным моделям, а другой - к физическим ограничениям материального мира, еще раз повторяю. Числа - это про ментальные модели или про материальный мир, ответь мне сам? Числами занимается математика или физика?

Я уж молчу про то, что ты извратил его аргумент и представил его ультрафинитистом, а ультрафинитизм - вполне "законная" точка зрения, там нет никаких нелепостей.
Аноним 15/11/16 Втр 19:11:06 2886223
>>2885
Конструктивисты апеллируют именно к физическим ограничениям. Перебрать все элементы бесконечного множества невозможно лишь в физическом мире. Ибо ментальную модель, в которой операция перебора всех элементов бесконечного множества возможна, построить очень легко: нужно лишь вполне упорядочить это множество и пробежаться по нему трансфинитной индукцией, то есть совершить совершенно стандартное в обычной теории множеств движение ушами. Конструктивисты запрещают такие модели именно из-за их несоответствия физическому миру, отнюдь не по каким-либо иным причинам.

Я с самого начала называл аргумент Вавилова ультрафинитистским. Более того, про ультрафинитистов я в его же книге и вычитал, если не ошибаюсь.
Аноним 15/11/16 Втр 19:17:11 2887224
>>2886
upd: ошибаюсь. Но неважно, аргумент всё равно ультрафинитистский.
Аноним 15/11/16 Втр 19:27:57 2888225
>>2886
Так в стандартном формализме типа Гильберта речь идёт только о строках и некоторым базовым операциям над ними (чистые подстановки, правила вывода, ...). То, как ты интерпретируешь такую работу со строками - это неважно абсолютно, основаниям это никак не повредит.

То есть мне твой аргумент про "пробегание по трансфинитному множеству" видится подобным такому: "я не могу себе представить R^4 столь же ясно, как и R^3 R^2 R^1, а значит линейная алгебра неправильная", но чтобы работать с линейной алгеброй ничего представлять не нужно - подобные представления нужны тебе исключительно в твоих педагогическо-образовательных целях, а на уровне оснований нужно только уметь, опять же, работать со строками символов (выводить следствия из аксиом векторного пространства, например).
Аноним 15/11/16 Втр 19:48:32 2889226
>>2888
Я вслед за Вавиловым анализирую конструктивистское табу на закон исключенного третьего и точно так же прихожу к выводу, что причины этого табу, как их излагают конструктивисты, именно в невозможности перебрать все элементы бесконечного множества в физической реальности. Частные рассуждения о боженьке-переберуне лишь подкрепляют мою уверенность.
 
Мне, как и Вавилову, непонятно, почему конструктивисты не изгоняют из своей математики все остальные неосуществимые в физической реальности вещи. Я, как и Вавилов, отнюдь не возражаю против формальных теорий, лишь указываю на непоследовательность конструктивистов.
Аноним 15/11/16 Втр 20:03:53 2890227
>>2889
А, я понял. Думал ты наоборот конструктивист, который думает, что основания в классической математике стоят на "вере в аксиомы и бесконечные множества", а не на преобразованиях строк.

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

А Вавилов палки перегибать очень любит.
Аноним 16/11/16 Срд 13:48:49 2933228
>>2621
>математика имеет отношение к миру идеалов Платона, например.
И где этот мир, покажи. Или мне в него уверовать надобно?
>>2886
>Конструктивисты апеллируют именно к физическим ограничениям. Перебрать все элементы бесконечного множества невозможно лишь в физическом мире.
А в каком возможно? Вот эта простая вещь, что для неконструктивной математики нужны какие-то особенные манямиры, не имеющие отношения к объективной действительности, это разве не шизофрения? О каких мирах-то вы толкуете, жалкие веруны? Если нам нужно что-то посчитать, то все, что у нас есть для этого - объективная действительность.
>>2890
>Они хотят чтобы любая теорема утверждающая существование некоторого (для простоты положим) рационального числа явно предъявляла алгоритм его построения.
Ну а как иначе-то? С каких хуев мне веровать в слонопотама или в математический объект, который может существовать в каком-то смысле, отличном от возможности или хотя бы алгоритма его построения?
Аноним 16/11/16 Срд 13:57:02 2934229
И что вы так в этот принцип исключенного третьего вцепились? Нахуя он вам вообще? Аристотель в него веровал, и вы так делаете? Ведь никто же не возражает против этой хуеты, когда она доказуема непосредственно, на конкретном множестве, для всех его элементов. Принимать же этот частный принцип как нечто общее и незыблемое - это не просто вера, а противоречие с математикой, вы вдумайтесь, какое ебланство: швято веровать в какой-то древний принцип, введенный от балды, несмотря даже на то, что он нарушает вычислимость. Вам поэтому и нужно выдумывать какие-то там манямиры, потому что в реальном мире ваша маняматематика не работает.
Аноним 16/11/16 Срд 14:02:47 2935230
>>2934
> Аристотель в него веровал, и вы так делаете
>веровал
А вот и манька. В фотоны тоже верим?
>Принимать же этот частный принцип как нечто общее и незыблемое - это не просто вера, а противоречие с математикой
Жду примеры противоречий.
>швято веровать
Ясно, кто кричал про швабодку.
> несмотря даже на то, что он нарушает вычислимость.
Почему мы не должны класть хуй на вычислимость? Зачем нам веровать в то, что всё кроме вычислимости ненужная хуета?
Аноним 16/11/16 Срд 14:05:44 2936231
>>2935
>Почему мы не должны класть хуй на вычислимость?
Класть хуй на вычислимость = класть хуй на математику. На остальное отвечал уже.
Аноним 16/11/16 Срд 14:08:25 2937232
>>2936
>класть хуй на математику
Ну и правильно же.
Хуй ложу и ебу бесконечными множествами как хочу - потому что могу.
Аноним 16/11/16 Срд 14:09:31 2938233
>>2933
>это разве не шизофрения
Как что-то плохое, ты просто завидуешь.
>О каких мирах-то
Быдлу не понять.
Аноним 16/11/16 Срд 14:12:49 2940234
>>2936
>Класть хуй на вычислимость = класть хуй на математику
Cильное заявления. Только вот оно нихуя не значет, поскольку не ты можешь привести аргументов в его пользу.
>На остальное отвечал уже.
Ах да, кукареки мани.
Аноним 16/11/16 Срд 14:15:04 2941235
>>2937
Так я примерно о том же - неконструктивная математика это не математика.
>>2938
Опять же, поясню - манямиры и шизофрения это не что-то плохое, это просто не математика.
>>2940
>не ты можешь привести аргументов в его пользу.
Я их в каждом посте привожу, только ты их не воспринимаешь. Не судьба значит, просто смирись.
Аноним 16/11/16 Срд 14:18:28 2945236
>>2941
>Я их в каждом посте привожу, только ты их не воспринимаешь.
Потмоу что, твои агрументы лишь школьные вскареки и могут убедить школьников. Старайся лучше.
Аноним 16/11/16 Срд 14:20:06 2946237
>>2941
>Так я примерно о том же - неконструктивная математика это не математика.
Ну раз анон с мейлача так сказал, значит так и есть.
Проффесора и академики с тобой не согласны, они бы обоссали тебя, если бы не были культурными.
Аноним 16/11/16 Срд 14:25:24 2949238
>>2945
>школьные
>школьников
Ясно.
>>2946
>Проффесора и академики
уровня РАЕН не нужны.
Аноним 16/11/16 Срд 14:28:36 2951239
>>2949
>Ясно.
>уровня РАЕН не нужны.
Ну да, Вавилов просто тупой школьник. И чего его не устраивают твои аргументы?
Аноним 16/11/16 Срд 14:39:35 2957240
>>2951
>Вавилов просто тупой школьник
Что-то вроде, да.
Этот его, как вы это называете, "тралирование" чернилами и прочим - как раз уровень школьника.
Аноним 16/11/16 Срд 14:40:37 2959241
>>2957
А "тралирование" верунами и верой разве нет?
Аноним 16/11/16 Срд 14:45:57 2965242
>>2959
Так это анончики же, то есть - дебилы и черви-пидоры по определению.
Странно что этот твой академик - точно такое же говно.
Аноним 16/11/16 Срд 14:47:09 2967243
Констуктивизм не математика. Это говно обосранного бомжа.
Аноним 16/11/16 Срд 14:58:46 2970244
>>2967
А вот и иллюстрация к тезису >>2965
Аноним 16/11/16 Срд 15:11:27 2979245
>>2970
Тезис тоже говно.
Аноним 16/11/16 Срд 15:13:09 2980246
>>2979
>этот копротивляющийся школонизмус
Ясно.
Аноним 16/11/16 Срд 15:13:56 2981247
>>2980
>Ясно.
Этот ясновидящий клован.
Аноним 16/11/16 Срд 15:14:45 2982248
>>2981
>эта школоболь
Понятно.
Аноним 16/11/16 Срд 15:15:49 2984249
>>2982
>Понятно
Мне тоже понятно, что твоя жопа в огне.
Аноним 16/11/16 Срд 15:17:58 2985250
>>2984
>нет ты
Школота, школота never change.
Аноним 16/11/16 Срд 15:19:08 2986251
>>2985
>Школота, школота never change.
Хех. А ведь ты это нет ты уже несколько постов подряд повторяешь. Школьник ;3
Аноним 16/11/16 Срд 15:29:02 2987252
>>2986
>ты это нет ты
Мальчик, у тебя дислексия?
Аноним 16/11/16 Срд 15:30:34 2989253
>>2987
>этота попытка оправданий
Ну прекрати уже обсераться. Мама твоя же замучиется стирать.
Аноним 16/11/16 Срд 15:35:50 2990254
>>2933
>Или мне в него уверовать надобно?
Но ты же в него уже уверовал, когда тебе разъяснили земной аналог такой идеи как "число". Что этим идеальным числом можно яблоки посчитать. К этому миру, кстати, относится и машина Тьюринга с бесконечной лентой, ограничивая которой математику, ты просто ставишь идеальный мир в более узкие рамки.

>который может существовать в каком-то смысле, отличном от возможности или хотя бы алгоритма его построения?
Как, например, pi, e, ln, lg, sin, cos, R...
Аноним 16/11/16 Срд 15:57:17 2993255
>>2990
Зачем ты хуйню несешь?
>Как, например, pi, e, ln, lg, sin, cos, R...
И что из этого неконструктивно? Пи? Или ты веруешь, что синус может существовать в каких-то манямирах, вне конкретного своего значения?
>К этому миру, кстати, относится и машина Тьюринга с бесконечной лентой, ограничивая которой математику, ты просто ставишь идеальный мир в более узкие рамки.
Мне уже надоело объяснять рзницу между такими математическими абстракциями как потенциальная и актуальная бесконечность. Если тебе даже это непонятно, о чем тут вообще можно говорить? О погоде разве что. Я уже не говорю о разнице между машиной Тьюринга и универсальной машиной Тьюринга. Ты же даже не шаришь в том, что пытаешься использовать в качестве аргументов, это вообще пиздец полный. Может ли существовать что-то бесполезнее школьника, который на мейлру мне поясняет о неконструктивности машины Тьюринга?
Аноним 16/11/16 Срд 16:00:50 2994256
>>2993
>Может ли существовать что-то бесполезнее школьника, который на мейлру мне поясняет о неконструктивности машины Тьюринга?
Может. Например - ты, метающий бисер на мейлопараше перед школодегенератами.
Аноним 16/11/16 Срд 16:06:16 2995257
>>2993
>И что из этого неконструктивно
Все. Ничего из этого нельзя построить. Теорема Линдемана-Вейерштрасса. Их существование доказывается, но построить их нельзя. В конструктивной математике они значит вообще не существуют.

>сли тебе даже это непонятно, о чем тут вообще можно говорить?
Так ты не объяснил чем же одна лучше другой. По мне они равнозначны. В сотый раз расскажешь про то, что нельзя выбрать из бесконечного множества что-то, зато можно производить это что-то бесконечное количество раз, и это намного убедительнее? Не понимаю почему.
Аноним 16/11/16 Срд 16:11:01 2996258
>>2995
Позабавлюсь-ка и я со школьником. Педофил я или где? :3
>Теорема Линдемана-Вейерштрасса.
>Теорема Линдемана — Вейерштрасса, являющаяся обобщением теоремы Линдемана, доказывает трансцендентность большого класса чисел.
>Трансцендентное число — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с рациональными коэффициентами
Отсюда вывод: для нашего школотуна построить - это только и исключительно многочлены и их корни.
Ну да что со школобыдла взять - дебил же, вполне в медицинском смысле.
Аноним 16/11/16 Срд 16:17:34 2998259
хех
Аноним 16/11/16 Срд 16:19:30 2999260
>>2996
Тогда предъяви построение.
Аноним 16/11/16 Срд 16:20:45 3000261
Парни, давно видел подобные срачи в sci. Зашёл на эту доску специально, чтобы спросить.

Можете объяснить мне как полному профану, полнейшему? Вот на пальцах и без лишнего ололоканья и внутренних непонятных мне мемчиков.

Кто в математике кто? Как относиться к конструктивистам? Чем они недовольны? Кто более прав? К какому лагерю относится группа Бурбаки? Кто такие структуралисты? Кто среди математических школ самый благоразумный?

Я очень хочу разобраться, но из-за обилия инсайдерских шуточек и жаргона я с трудом въезжаю и в тред, и в математику вообще.
Аноним 16/11/16 Срд 16:21:03 3001262
>>2996
А ты согласен, что доказательство существования чего-то в классической математике вполне конструктивный объект?
>>2999
Он прав, там всё конструктивно. Построение чего ты хочешь, чтобы он предъявил?
Аноним 16/11/16 Срд 16:22:10 3002263
>>3000
>Как относиться к конструктивистам
Петухи они и сидят у пораши.
Аноним 16/11/16 Срд 16:23:16 3003264
>>3001
Построение неалгебраического числа.
Аноним 16/11/16 Срд 16:25:49 3004265
>>3000
>Кто в математике кто? Как относиться к конструктивистам? Чем они недовольны? Кто такие структуралисты?
wiki:Foundations of mathematics
wiki:Philosophy of mathematics
>Кто более прав? Кто среди математических школ самый благоразумный?
You decide.
>К какому лагерю относится группа Бурбаки?
Это размытый вопрос. Назовём их теоретико-множественными формалистами.

>>3003
google:Алгоритмы вычисления числа pi
wiki:Gauss–Legendre algorithm
Аноним 16/11/16 Срд 16:27:58 3005266
>>3001
>вполне конструктивный объект?
Это бессмысленное разделение.
Все объекты - вполне конструктивны.
Ибо действительно неконструктивный объект человечки представить/подумать/написать/сказать просто не в состоянии.
Скромнее будь, так-то.
Аноним 16/11/16 Срд 16:29:32 3006267
>>3005
Ну так в классическом формализме типа Гильберта вообще объектов нету, есть только утверждения и доказательства. Это, как мне кажется, с точки зрения конструктивизма вполне приемлимо.
Аноним 16/11/16 Срд 16:30:06 3008268
>>3004
Не нашел ни одного алгоритма, который на выходе бы давал пи. Все они выдают рациональные числа.
Аноним 16/11/16 Срд 16:30:49 3009269
>>3008
wiki:Вычислимое число
Аноним 16/11/16 Срд 16:32:18 3011270
>>3006
>в классическом формализме
Да в любом.
Все, что можно выразить словами - просто сорта одного и того же говна, и эти ваши бесконечности - тоже.
>>3008
>Не нашел ни одного алгоритма
Плохо быть тобой.
Аноним 16/11/16 Срд 16:32:30 3012271
>>3004
Видишь ли, я задал этот вопрос, потому что указанные тобой статьи кажутся мне слишком трудными для вхождения. Я надеялся, что на этой доске есть кто-то, достаточно хорошо шарящий, чтобы простыми словами объяснить как смотреть например на направления философии математики.
>You decide.
Опять же, проще начать с чьего-то мнения, чем со своего. В чужом мнении кроме информации сразу груда мета-информации.
Аноним 16/11/16 Срд 16:34:04 3013272
>>3012
>проще начать с чьего-то мнения, чем со своего.
Патриот, ты?
Аноним 16/11/16 Срд 16:37:08 3014273
>>3011
Не понял твоей мысли.
>>3012
Вероятность того, что кто-то сейчас напишет тебе качественное эссе об основаниях математики КРАЙНЕ МАЛА. Я ещё чего-нибудь простого поищу, но вообще говоря, если чувствуешь, что не осиливаешь тонкостей, то может ты пока просто не дорос до этого (абсолютно без всякого снобизма)?
Аноним 16/11/16 Срд 16:39:30 3015274
>>3014
>Не понял твоей мысли.
Это и к лучшему, повезло тебе.
/дозволенные речи
Аноним 16/11/16 Срд 16:40:40 3016275
>>3014
> то может ты пока просто не дорос до этого
Ну разумеется я не дорос, и я пытаюсь найти какую-то протоптанную тропу, чтобы пройти по ней, в надежде, что после этого я научусь топтать тропы сам.
Бывало у тебя такое, что ты вроде как морально готов что-то понять, но не хватает какой-то одной мелкой детали, или двух-трёх? И нужен совет кого-то, кто уже прошарен.
Аноним 16/11/16 Срд 16:40:59 3017276
Аноним 16/11/16 Срд 16:43:43 3018277
>>3017
Да нет, ответ на вопрос о том, что такое вычислимое число (а именно их используют в конструктивной математике) где-то в районе первого семестра курса мат.логики.
>>3016
Можешь читануть введение в Вавилове "Не совсем наивная теория множеств", только он очень любить передёргивать и говнить всё, чего не понимает. А по-нормальному конечно начать надо с курса мат.логики и потом переходить ко всяким экзотикам.
Аноним 16/11/16 Срд 16:46:01 3019278
>>3018
>говнить всё, чего не понимает
Конструктивисты так делают, ты чего. Даже актуальную бесконечность не могут понять и говнят.
Аноним 16/11/16 Срд 16:47:54 3021279
>>3019
Да мне вообще кажется, что метафизической разницы между классикой и конструктивизмом никакой нету.
Аноним 16/11/16 Срд 16:51:23 3022280
>>3018
Я закончил курс матана, матлогики, немного алгебры, я в общем знаю теорию множеств.
Я бы хотел понять общую, большую картинку математики. Типа вот почему конструктивисты петухи? И кто не петух? Кто находится в прямом антогонизме с ними?
Вот я, допустим, знаю матан. Пока я его учил, меня совершенно не ебали ни конструктивисты. ни структуралисты, ни неоплатонисты. Я вообще не понимал, с чего сыр бор. Теперь я вижу, что людей это нихуёво загоняет. Чего же я не догоняю блять?
Аноним 16/11/16 Срд 16:52:19 3023281
>>3021
Вот! Вот! Объясните мне про метафизическую разницу.
Аноним 16/11/16 Срд 16:55:15 3025282
бр.jpg 100Кб, 358x604
358x604
>>3006
>в классическом формализме типа Гильберта вообще объектов нету, есть только утверждения и доказательства. Это, как мне кажется, с точки зрения конструктивизма вполне приемлимо.
Я же цитировал Мартин-Лёфа по поводу того, что формулы и формализмы, записанные конечным числом символов - конструктивные объекты. Другое дело, что при проверке типов они могут приводить к пустому типу из-за всяких нарушающих вычислимость аксиом и т.п.
>>3019
>Даже актуальную бесконечность не могут понять
Ты что ли можешь? Думаешь, узнал псевдоумное слово и типа понял, школотрон?
>>3021
>мне вообще кажется
Крестись, если кажется. Интуиционизм просто не твое, бывает.
>>3022
Речь в основном о разных подходах к основаниям, на каких принципах строить математику в принципе. И так уж получилось, что формализм и логицизм для этой цели не подошел, т.к. все уперлось в кризис оснований, парадоксы и все такое. Брауэр же показал, очему так получилось и что конкретно надо править в консерватории, чтобы такой хуйни не было.
Аноним 16/11/16 Срд 16:55:39 3026283
>>3023
>Объясните мне
Деньги вперед.
Аноним 16/11/16 Срд 16:59:07 3027284
>>3025
Брауэр интуиционист? То есть, он отвергает математические объекты, которые не понятны интуитивно, так? Типа бесконечности.
Аноним 16/11/16 Срд 16:59:22 3028285
>>3025
>т.к. все уперлось в кризис оснований, парадоксы и все такое
Очередной раз:
1) какой кризис?
2) какие парадоксы?
Аноним 16/11/16 Срд 17:00:28 3029286
>>3027
>не понятны интуитивно, так? Типа бесконечности.
С точки зрения малолетнего долбоеба - несомненно.
Аноним 16/11/16 Срд 17:02:03 3030287
>>3029
Чувак, мы поняли, что ты так крут, что можешь представить себе бесконечность. Я надеюсь, ты после этого признания тебя в качестве гения успокоишься и уйдёшь из треда делать свои гениальные дела.
Аноним 16/11/16 Срд 17:07:51 3031288
>>3030
>успокоишься и уйдёшь из треда делать свои гениальные дела.
Ня :3
ушел считать и квантовать
Аноним 16/11/16 Срд 17:09:42 3032289
brouwer.png 653Кб, 1709x744
1709x744
>>3027
Брауэр - основоположник интуиционизма как такового.
>он отвергает математические объекты, которые не понятны интуитивно, так? Типа бесконечности.
Не совсем. Отвергаются объекты, которые невозможно построить или задать правила для их построения. Бесконечность как свойство потенциально бесконечного построимого объекта (N, например) не отвергается. Отвергается бесконечность актуальная, т.е. бесконечность сама по себе, в отрыве от конкретного объекта. То же для принципа исключенного третьего - он отвергается как общий принцип, когда он доказуем непосредственно - никто его не отвергает. Чистые ментальные конструкции по Брауэру на основе 1 и 2 актов интуиционизма можно по тезису Черча считать аналогами алгоритмических конструкций, поэтому по-сути, Брауэр отвергал то, что сейчас можно назвать "нарушающим вычислимость".
>>3028
>1) какой кризис?
Оснований.
>2) какие парадоксы?
Полно их, же. Забыл еще упомянуть неполноту либо противоречивость любой формальной системы по Геделю.
Аноним 16/11/16 Срд 17:18:07 3036290
K.png 18Кб, 887x84
887x84
>>3030
Ты слишком высокого мнения о нём, за много тредов просто очевидно, что этот человека из computer science или вообще без образования, потому что он и понятия не имеет о классической математике. Прочитал в жизни несколько научно-популярных книжек, а ля "очерки по конструктивной математике" и пытается осилить HoTT, хотя я уверен, он даже задачку пикрелейтед не осилит.
Аноним 16/11/16 Срд 17:21:41 3037291
Аноним 16/11/16 Срд 17:25:15 3039292
>>3032
>Отвергаются объекты, которые невозможно построить или задать правила для их построения.
Разве это не определение конструктивизма?
>Отвергается бесконечность актуальная, т.е. бесконечность сама по себе, в отрыве от конкретного объекта.
Спасибо, это один из тех маленьких нюансов. которые мешают мне понимать философию математики.
Аноним 16/11/16 Срд 18:01:02 3043293
>>3037
>тогда и у новых оснований кризис?
Конструктивная математика тем и хороша, что при правильном использовании никаких кризисов и парадоксов быть не может. При неправильном - бывает, но легко обходится, как парадокс Жирара для первой версии MLTT. В брауэровском интуиционизме ничего такого не может быть в принципе, т.к. за первокультурную математику он считал только чистые ментальные построения на основе актов интуиционизма, даже интуиционистскую логику Гейтинга считал не первокультурным явлением. НоТТ же слишком новая область, чтобы говорить о кризисах и парадоксах, возможно что-то и выплывет со временем и то только потому что забили на заветы Брауэра.
>Неси сюда.
В педивикии забанили? Да в любой книге по матлогике все перечислено.
>>3039
>Разве это не определение конструктивизма?
Конструктивизм это по-сути допиленный подход Брауэра, из которого выкинули его акты интуиционизма, солипсизм, и добавили формализма, что сделал еще Гейтинг. Тут уж каждый интерпретировал как мог, н-р отдельно выделяют русский конструктивизм (Колмогоров, Марков, вот это все). Но существование в математике к построению приравнял Брауэр.
Аноним 16/11/16 Срд 18:10:28 3044294
>>3043
>Конструктивная математика тем и хороша, что при правильном использовании никаких кризисов и парадоксов быть не может
Т.е. теоремы Геделя неприменимы к ней и можно сделать самоверифицирующую систему?

И про парадоксы ZFC я не нашел. Был парадокс Рассела, но его поправили аксиомой регулярности. В MLTT нет аналогов такой аксиоме? Парадокс Банаха-Тарского это вообще не парадокс.
Аноним 16/11/16 Срд 18:15:53 3046295
>>3044
>Т.е. теоремы Геделя
Говоришь так, как будто это парадокс.
Аноним 16/11/16 Срд 18:16:55 3047296
>>3043
> первокультурную математику
Что это значит, поясни плиз!
Аноним 16/11/16 Срд 18:25:48 3051297
Снимок.PNG 132Кб, 1080x523
1080x523
Снимок3.PNG 107Кб, 703x415
703x415
>>3044
>Т.е. теоремы Геделя неприменимы к ней и можно сделать самоверифицирующую систему?
Да. Мартин-Лёф пояснял почему так, пикрелейтед 1.
>>3046
>Говоришь так, как будто это парадокс.
Это хуже парадокса. Это как два стула - на одном неполнота точеная, на другом противоречивость дроченая. И вся ваша неконструктивная математика по-сути, выбор на какой стул сесть самому, на какой мамку посадить.
>>3047
В основном, мемас. Первая культура - т.е. чистая математика. Остальное - прикладная и т.д. По Брауэру же (пикрелейтед 2) матматика первого уровня - чистые ментальные конструкции. Второй уровень - формализация первого и т.д.
Аноним 16/11/16 Срд 18:33:12 3052298
Конструктивист, а что тебе мешает мыслить классическую математику на уровне дедуктивных систем? То есть полагать, что классическая математика тождественно совпадает с metamath proof explorer. Там ведь нету никаких парадоксов, иначе ничего бы не работало, ne?
Аноним 16/11/16 Срд 18:41:10 3054299
>>3052
Ты похоже, начинаешь что-то понимать, лол. Я, во-первых, уже раз 10 цитировал Мартин-Лёфа по поводу того что любая формула, записанная конечным числом знаков - это конструктивный объект. Более того, вся практически используемая математика конструктивна, иначе ее нельзя было бы использовать в практических целях. Даже таблица умножений конструктивна, хотя никто это особо не оговаривает. Неконструктивность по-сути начинается там, где идет по пизде вычислимость, т.е. когда начинаются всякие верования в актуальные бесконечности и т.д. А вычислимое всегда конструктивно.
Аноним 16/11/16 Срд 18:43:15 3055300
>>3051
>Да. Мартин-Лёф пояснял почему так, пикрелейтед 1.
Ну это какой-то философский бред, ты мне притащи что-то типа такого:
http://r6.ca/Goedel/goedel1.html
Только с противоположными выводами.
Аноним 16/11/16 Срд 18:43:29 3056301
>>3054
Так утверждение о существовании актуальной бесконечности - это не верования. Это тоже конечная строка символов.
Аноним 16/11/16 Срд 18:50:55 3058302
>>3056
>Так утверждение о существовании актуальной бесконечности - это не верования. Это тоже конечная строка символов.
Да. Но проверка типов этой последовательности приведет к пустому типу, т.к. строить там нечего. Так-то и слово "Аллах" тоже конечная последовательность символов.
>>3055
Там не философский бред. Канта с его аналитическими и синтетическими суждениями он приплел больше для иллюстрации, там суть в разных подходах. То, что в неконструктивной логике просто предполагается априори, в конструктивнй доказывается непосредственно построением типа/множества. Полная статья http://archive-pml.github.io/martin-lof/pdfs/Martin-Lof-Analytic-and-Synthetic-Judgements-in-Type-Theory.pdf
Аноним 16/11/16 Срд 18:51:15 3059303
>>3054
>Более того, вся практически используемая математика конструктивна, иначе ее нельзя было бы использовать в практических целях.
остался единственный вопрос: почему неконструктивные доказательства работают и дают верные предсказания. Или все великие математики занимались какой-то херней и построили огромный хрустальный замок?
Аноним 16/11/16 Срд 18:53:13 3060304
>>3059
Я же говорю, неконструктивность - это то, что нарушает вычислимость. Если что-то можно построить алгоритмически, с каких хуев это что-то считать неконструктивным? Ты головой-то подумой.
Аноним 16/11/16 Срд 18:54:55 3061305
>>3051
Погоди, разве теорема Гёделя о неполноте не касается ЛЮБОЙ математики? Вообще, любого языка описания. Я думал, что неполнота — это принципиальная неразрешимая особенность языков.

>По Брауэру же (пикрелейтед 2) матматика первого уровня - чистые ментальные конструкции
Что понимается под ментальными конструкциями? Что-то типа неясных интуитивных предчувствий? Речь идёт о психологических штуках?
Аноним 16/11/16 Срд 18:54:58 3062306
Аноним 16/11/16 Срд 19:02:09 3064307
>>3058
>Да. Но проверка типов этой последовательности приведет к пустому типу, т.к. строить там нечего. Так-то и слово "Аллах" тоже конечная последовательность символов.

Я не мыслю в таких терминах, в FOL вообще нету типов, есть только строки и правила вывода из строк. В конструктивизме марковского типа разве тоже не просто нормальные алгорифмы/машины тьюринга без всяких типов?
Аноним 16/11/16 Срд 19:05:26 3066308
>>3060
Теорема Ферма, например. Результат ее проверен вычислительно, но само ее доказательство неконструктивно.
Аноним 16/11/16 Срд 19:19:27 3067309
инт7.png 969Кб, 1388x1738
1388x1738
инт8.png 690Кб, 1271x1209
1271x1209
инт10.png 628Кб, 1588x1838
1588x1838
>>3061
>Погоди, разве теорема Гёделя о неполноте не касается ЛЮБОЙ математики? Вообще, любого языка описания. Я думал, что неполнота — это принципиальная неразрешимая особенность языков.
Там фишка в том, что алгоритм, по которому строится (и может быть проверен на корректность) конструктивный объект сам по себе является конструктивным объектом, который может быть проверен на корректность. Правила проверки на корректность - тоже конструктивный объект, который можно проверить на корректность.
>Что понимается под ментальными конструкциями? Что-то типа неясных интуитивных предчувствий? Речь идёт о психологических штуках?
Ну это в 3х словах не объяснить, речь о базовой интуиции времени, как функции ЦНС (нумеронов в правой нижней префронтальной коре - rIPC), ес-но, Брауэр всего этого знать не мог, но он таки сделал правильный выбор. Первичное построение на основе базовой интуиции времени - это two-ity, далее по второму акту интуиционизма - веера и виды (типа множеств и континуума). Как из всего этого построить математику - отдельная тема, вот тут http://gen.lib.rus.ec/book/index.php?md5=1F429F7BAC43FFFDB0EC4A5157EFEECD очень грамотно все рассмотрено. Но если не заморачиваться со взглядами конкретно Брауэра на этот вопрос, то ментальное построение это то же самое, что алгоритмическое построение (пик 3).
>>3064
>в FOL вообще нету типов, есть только строки и правила вывода из строк. В конструктивизме марковского типа разве тоже не просто нормальные алгорифмы/машины тьюринга без всяких типов?
Есть жи изоморфизм Карри-Говарда. Можно и без типов, но с типами удобнее. Логика первого порядка не подходит для камплюктеров, напрямую ее там использовать нельзя, отсюда необходимость костылей типа логики Хоара. В MLTT изначально все на типах, хотя по-сути те же строки и правила вывода. Это вопрос разных представлений одного и того же на самом деле.
Аноним 16/11/16 Срд 19:29:20 3069310
>>3067
>напрямую ее там использовать нельзя, отсюда необходимость костылей типа логики Хоара. В MLTT изначально все на типах, хотя по-сути те же строки и правила вывода. Это вопрос разных представлений одного и того же на самом деле.

А в metamath proof explorer какие костыли, кроме того, что там всё мета-? Скрины страничек почитаю обязательно. Что думаешь о HoTT?
Аноним 16/11/16 Срд 19:34:15 3070311
>>3067
>Там фишка в том, что алгоритм, по которому строится (и может быть проверен на корректность) конструктивный объект сам по себе является конструктивным объектом, который может быть проверен на корректность. Правила проверки на корректность - тоже конструктивный объект, который можно проверить на корректность.
Т.е. вся фишка в том, чтобы использовать МЕТААЛГОРИТМ. А кто МЕТАЛГОРИТМ проверять будет?
Аноним 16/11/16 Срд 19:51:28 3072312
PrincipiaMathem[...].png 42Кб, 800x333
800x333
>>3069
>Что думаешь о HoTT?
Конструктивные основания жи, дело Брауэра живет и процветает, скоро всю математику на компьютере можно будет строить.
>metamath proof explorer
Не очень понял, что это вообще. Вроде бы и не язык с зависимыми типами. Хитрое там доказательство "1+1=2", поди и определения N нету. Вот правильный проект https://leanprover.github.io/ есть онлайн-вариант с учебником https://leanprover.github.io/tutorial/
>>3070
>МЕТААЛГОРИТМ
Че? Фишка в том, что любая стадия такой проверки, начиная с самого объекта - конструктивный проверяемый объект. На языке с зависимыми типами можно проверить сам этот язык с зависимымии типами, например. И все, круг замыкается, все построимо, проверяемо, выводимо и полно.
Аноним 16/11/16 Срд 20:00:24 3073313
А, ну метаматематика же. Математика 4-ой культуры -ого уровня по Брауэру. В принципе, если исходная аксиоматика непротиворечива, то работает. Но по Геделю если непротиворечива, то неполна, те самые два стула неконструктивной математики. Поэтому этот ваш metamath proof explorer не дотянет до языков с зависимыми типами, хотя на нем и можно доказать что-то в рамках Principia Mathematica.
Аноним 16/11/16 Срд 20:05:02 3074314
>>3067
Это охуенно интересно, дружище, спасибо за ликбез. Теперь мне есть что почитать. Если можешь посоветовать ещё статей и книг на поднятые темы, особенно для таких профанов, как я, буду очень благодарен.

Алсо, правильно ли я понимаю, что философские школы проходят своеобразный путь эволюции: сначала от восприятия математики как формальной игры с цепочками символов, затем к рассмотрению воображаемых объектов, которые обозначаются символами, затем к рассмотрению и объектов и психики, которая их порождает? Типа как бы к всё более многомерному взгляду? Сорян. надеюсь, я не слишком криво выражаюсь.
Аноним 16/11/16 Срд 20:13:17 3075315
>>3074
>ещё статей и книг на поднятые темы
Вот годная книжка http://gen.lib.rus.ec/book/index.php?md5=F54C47275837DBC876940E067DB9FF0E пояснение за MLTT с нуля.
>Алсо, правильно ли я понимаю, что философские школы проходят своеобразный путь эволюции: сначала от восприятия математики как формальной игры с цепочками символов, затем к рассмотрению воображаемых объектов, которые обозначаются символами, затем к рассмотрению и объектов и психики, которая их порождает? Типа как бы к всё более многомерному взгляду?
Вряд ли, это скорее со стороны можно все представить в виде чего-то такого.
Аноним 16/11/16 Срд 20:29:20 3076316
Поясните за структуралистов. Кто такие, чем знамениты?
Аноним 16/11/16 Срд 20:36:42 3078317
>>3072
>Конструктивные основания жи, дело Брауэра живет и процветает, скоро всю математику на компьютере можно будет строить.
Хватит обманывать людей. Открываем HoTT 3.4, 3.8 и убеждаемся в обратном.

>>3073
> те самые два стула неконструктивной математики.
Теорема Геделя доказывается без исключенного третьего, без аксиомы выбора. Что в ней неконструктивного?
Аноним 16/11/16 Срд 20:40:27 3079318
>>3073
>Поэтому этот ваш metamath proof explorer не дотянет до языков с зависимыми типами
Да и на кой он нужен, если можно использовать язык с зависимыми типами и строить там ZFC с блекджеком и бесконечностям?
Аноним 16/11/16 Срд 21:20:08 3080319
Аноним 17/11/16 Чтв 00:11:42 3092320

Представил бесконечность конечным числом символов, и чернильной дыры не образовалось. Вопросы?
Аноним 17/11/16 Чтв 00:23:58 3096321
Блин, что за проблема с бесконечностью? Ну бесконечность и бесконечность, потенциальная возможность иметь сколько угодно элементов. В каком месте начинаются проблемы?
Аноним 17/11/16 Чтв 04:30:02 3103322
>>3022
>я в общем знаю теорию множеств
Скорее не знаешь, чем знаешь. Аксиомы NBG воспроизвести можешь? Аксиомы ZFC? Ультрафильтр можешь определить?
Аноним 17/11/16 Чтв 04:39:47 3104323
>>3103
>Аксиомы ZFC?
1. Пустое множество существует.
2. Хотя бы один бесконечный ординал существует.
3. Для любого множества объединение его элементов существует.
4. Для любой пары множеств неупорядоченная пара существует.
5. Для любого множества булеан существует.
6. Два множества равны титтк они состоят из одних и тех же элементов.
7. Одноместный предикат, заданный на множестве, - коллективизирующий.
8. Двуместный предикат, первый аргумент которого задан на множестве, - коллективизирующий по второму аргументу.
9. В непустом множестве есть элемент, не пересекающийся с этим множеством.
10. Всякая сюръекция имеет сечение.
Правильно?
Аноним 17/11/16 Чтв 08:04:46 3107324
>>3092
>Представил бесконечность конечным числом символов, и чернильной дыры не образовалось. Вопросы?
Проверка типов что даст? Правильно, жопу. Я уже приводил пример - "Аллах" тоже конечная последовательность символов. Никто не запрещает использовать нарушающие вычислимость верования, результатом проверки такого типа все равно будет пустой тип, т.к. в подобных последовательностях символов не содержится ничего для построения того, что эта последовательность символов выражает. Как итог - построения и нет, получаем дырку от бублика.
>>3096
>В каком месте начинаются проблемы?
Проблемы начинаются ровно в том месте, когда бесконечность постулируется без конкретного потенциально бесконечного объекта.
Аноним 17/11/16 Чтв 10:28:53 3109325
>>3107
Значит, проблемы в твоей проверке типов. Чини её, а не математику.
Аноним 17/11/16 Чтв 10:31:22 3110326
>>3109
Зачем ты вообще лезешь что-то отвечать в этот тред, если даже не понимаешь о чем говоришь? Пиздуй в /б, там и неси хуйню. Тут тематика вообще-то.
Аноним 17/11/16 Чтв 11:07:09 3111327
>>3110
Зарепортил срущего петуха.
Аноним 17/11/16 Чтв 11:28:13 3112328
>>3110
Если твоя проверка типов показывает жопу на обычном математическом объекте - проблема в твоей проверке типов. Это очевидно.
Аноним 17/11/16 Чтв 11:50:05 3114329
>>3112
>жопу
Репорт.
Аноним 17/11/16 Чтв 12:01:09 3115330
>>3114
Не будь ханжой. Термин "жопа" использован >>3107, не вижу причин не использовать его дальше в нашей беседе.
Аноним 17/11/16 Чтв 12:07:21 3116331
martinlof.jpg 27Кб, 400x366
400x366
>>3109
>>3112
>твоей
>твоя
Дебил, ты это, проследуй делать уроки, дебил. Чьей "твоей"-то, хуепутоло? Ты бы с собой разобрался для начала, потом лез что-то кому-то пояснять.
Аноним 17/11/16 Чтв 12:10:47 3117332
Аноним 17/11/16 Чтв 12:14:20 3118333
>>3117
Ты ведь понимаешь, что за злоупотребления репортами тебя и забанить могу.
Аноним 17/11/16 Чтв 12:15:57 3119334
>>3118
Срущий петух ожидаемо перешел к угрозам.
Такие как ты тут не нужны.
Аноним 17/11/16 Чтв 12:17:46 3120335
Пиздец тут сборище долбаебов-то, просто слов нет. Ну и сосите хуи, чо. Алибидерчи.
Аноним 17/11/16 Чтв 14:56:36 3128336
>>3110
Серьёзно, о какой проверке типов речь?
Аноним 17/11/16 Чтв 15:29:14 3132337
>>3104
Зачем ты отвечаешь за меня?

>>3103
Могу, а что толку? кто угодно с интернетом может.
Аноним 17/11/16 Чтв 15:32:03 3133338
>>3107
Что такое "проверка типов", о которой тут так много говорят?
>Проблемы начинаются ровно в том месте, когда бесконечность постулируется без конкретного потенциально бесконечного объекта.
А в классической математике оперируют самой бесконечностью? Есть примеры?
Аноним 17/11/16 Чтв 15:34:31 3134339
>>3119
>говорит "Срущий петух ожидаемо перешел к угрозам."
>при этом сам угрожает всем репортами
Тяжело тебе с самим собой, наверное, да и с людьми. Лицемерие никогда не сближает с окружающими.
Аноним 17/11/16 Чтв 15:44:42 3135340
>>3132
Без интернета же. Вопрос в том, достаточно ли глубоко ты знаешь теорию множеств, чтобы в твоей речи свободно присутствовали серьёзные теоретико-множественные понятия. Обычно люди, которые говорят о знании теории множеств, подразумевают умение брать объединения-пересечения-произведения конечного количества множеств и фейлятся уже при попытке определить произведение бесконечного семейства.
Аноним 17/11/16 Чтв 15:48:30 3136341
>>3135
Да ты не переживай, пиши, я разберусь по ходу.
Аноним 17/11/16 Чтв 16:14:10 3137342
>>3136
Отстань, безграмотный образованец.
Аноним 17/11/16 Чтв 16:34:14 3142343
>>3137
Ну давай, ну чего ты.
Аноним 17/11/16 Чтв 16:52:29 3147344
>>3136
Ладно.
>вот почему конструктивисты петухи?
Потому что они верят, что аксиомы математических теорий нельзя выбирать произвольно и что некоторые аксиомы - харам. По каким-то причинам они решили напасть на аксиому выбора (на другие аксиомы не нападают, видимо, только из-за того что ничего о них не знают). Что отсутствие аксиомы выбора означает недоказуемость наличия в каждом бесконечном множестве счётного подмножества и непустоты бесконечных декартовых произведений, а также отсутствие классической иерархии алефов, их не волнует. В то, что кумулятивная иерархия верумов является стандартной интерпретацией теории множеств, они не верят тоже. Общую топологию они просто ненавидят. Как-то аргументировать свою позицию отказываются либо аргументируют её ещё более сектантскими загонами.
Аноним 17/11/16 Чтв 16:54:33 3148345
>>3137
Трипфажить начать, что ли. Часто отвечают за меня.
Аноним 17/11/16 Чтв 17:00:44 3151346
>>3147
Какие-то школьные рассуждения.
Давай серьезней, что ли.
Аноним 17/11/16 Чтв 17:04:35 3152347
>>3151
Повышай уровень.
Аноним 17/11/16 Чтв 17:06:23 3153348
>>3147
> По каким-то причинам они решили напасть на аксиому выбора
Ну не по "каким-то" а по вполне определённым. Нельзя просто взять и выбрать что-то, не уверившись, что твой выбор вообще возможен. Это очень слабое место.
Аноним 17/11/16 Чтв 17:06:59 3154349
>>3152
Сколько платишь за услуги репетитора?
Аноним 17/11/16 Чтв 17:08:15 3155350
>>3153
>Нельзя просто
С точки зрения малолетнего дебила - несомненно.
Аноним 17/11/16 Чтв 17:08:31 3156351
>>3153
Точно так же можно напасть на какую-нибудь другую аксиому. Например, на аксиому подстановки.
Аноним 17/11/16 Чтв 17:10:36 3157352
>>3147
Понимаешь, у тебя критика конструктивистов довольно бессмысленная. Ты говоришь мол "посмотрите, эти петухи не признают мою топологию, мои счётные подмножества! правда дебилы?" Но это не аргумент. Как раз потому и не признают, что доказательства на основе аксиомы выбора слишком опрометчивы. То есть, ты не привёл критику их позиций, ты привёл личное возмущение.

Это напоминает спор между атеистом и верующим. Один говорит, что аксиома верна, второй говорит, что не верна. И тот и другой пердят в лужу.
Хотя, конструктивисты не пердят в лужу. На их стороне как минимум интуитивное представление о том, что невозможно сделать какой-то там абстрактный выбор, если нет уверенности, что он вообще возможен. Я вот не математик, а мне это вполне понятно. Что ты этому противопоставишь?
Аноним 17/11/16 Чтв 17:12:07 3158353
>>3155
>Пррррр пук!
>>3156
Можно. Может быть, в своё время и до них руки дойдут. Дело не в том, что на аксиому можно напасть. Можно вообще произвольные наборы непротиворечивых аксиом сочинять и строить на их основе какую-то математику. Дело в том, что именно эта аксиома вызывает наибольший стрём.
Аноним 17/11/16 Чтв 17:12:08 3159354
>>3157
>невозможно сделать какой-то там абстрактный выбор, если нет уверенности
>нет уверенности
Верун, please.
Аноним 17/11/16 Чтв 17:12:48 3160355
>>3157
>Я вот не математик
Зарепортил залетную маньку.
Аноним 17/11/16 Чтв 17:14:55 3161356
>>3159
Вау, аргументация! Полегче, а то я на тебя репорт кину за излишнюю убедительность.
>>3160
На твои репорты хоть кто-то реагирует, или модер на тебя давно хуй забил, как на дурачка?
Аноним 17/11/16 Чтв 17:19:22 3162357
>>3161
Модера сейчас просто нет.
Аноним 17/11/16 Чтв 17:21:55 3163358
>>3162
Живёшь в ожидании модера? Ты в детском саду, наверное, был из тех мерзких детей, которые постоянно крысили воспиталке и хныкали "вот сичас васпитатильница придёт!"
Аноним 17/11/16 Чтв 17:22:37 3164359
>>3162
Тогда я подаю заявку срочно и пишу Абу с Архом.
Буду банить залетных манек.
Аноним 17/11/16 Чтв 17:23:25 3166360
>>3157
Проблема в том, что конструктивисты отказываются аргументировать свои взгляды. От аксиомы выбора можно отказываться в некоторых случаях, я и сам отказываюсь иногда. Если хочется поизучать большие кардиналы, можно отказаться от выбора в пользу аксиомы детерминированности. Так что сам по себе отказ от выбора не вызывает у меня возмущения.

Видишь ли, мне не нужно что-то противопоставлять тому, что тебе кажется неинтуитивной какая-то аксиома. Ибо ZFC - это по определению теория первого порядка с равенством, имеющая вот такие вот аксиомы. У меня нет нужды как-то мотивировать определение и, в частности, делать его согласующимся с твоей интуицией.

Меня немного беспокоит репортер, который вмешивается в разговор.
Аноним 17/11/16 Чтв 17:25:42 3167361
>>3164
Быстрее, а то срущий петух вместо тебя модером станет.
Аноним 17/11/16 Чтв 17:27:11 3168362
>>3164
Быстрее подавай заявку! Не терпится порвать тебе пукан проксями.
Аноним 17/11/16 Чтв 17:28:42 3169363
>>3166
>хочется поизучать большие кардиналы
Слушай, меня интересуют ординалы и вся вот эта их охуительная иерархия. Что посоветуешь почитать для плавного вхождения?
Аноним 17/11/16 Чтв 17:29:59 3170364
>>3169
на русском Шень-Верещагин, Куратовский-Мостовский.

мимокрок
Аноним 17/11/16 Чтв 17:30:37 3171365
>>3169
Александров Введение в теорию множеств и общую топологию.
Аноним 17/11/16 Чтв 17:33:42 3172366
>>3169
Манин. Доказуемое и недоказуемое.
Архангельский. Канторовская теория множеств.
Мендельсон. Введение в математическую логику и теорию множеств.
Jech. Set theory, third millenium edition. Вышла недавно, разительно отличается от первых двух редакций, на русский не переведена.
Это по классической ТМ. По дескриптивной можешь навернуть Кановея, он пишет на русском.

>>3170
Куратовский-Мостовский используют довольно-таки оригинальный подход и нестандартную нотацию. В доказательствах они широко используют комбинаторику. Вряд ли это хорошая книга.

>>3171
Там об ординалах как раз-таки мало написано.
Аноним 17/11/16 Чтв 17:35:07 3173367
>>3172
>Мендельсон. Введение в математическую логику.
фикс
Аноним 17/11/16 Чтв 17:37:33 3174368
>>3172
От души, братуха, спасибо.
Аноним 17/11/16 Чтв 17:40:56 3175369
>>3157
>На их стороне как минимум интуитивное представление о том, что невозможно сделать какой-то там абстрактный выбор
И контринтуитивное отрицание закона исключенного третьего.
Утверждение: Конструктивист петух или конструктивист не петух. Но зная, что конструктивист петух, мы не можем определить истинность этого утверждения! Для этого нужен конструктивный алгоритм определения петушиности в общем случае.
Мы знаем, что это ложь, что конструктивист не петух. Но из этого знания мы не можем заключить, что конструктивист петух, потому что двойное отрицание выводится из исключенного третьего.
В итоге отпадает большинство доказательства "от противного".
Аноним 17/11/16 Чтв 17:44:38 3176370
>>3172
>Jech. Set theory, third millenium edition. Вышла недавно
2003?
Аноним 17/11/16 Чтв 17:48:10 3178371
Аноним 17/11/16 Чтв 17:58:46 3181372
>>3175
Почему контринтуитивное? Сокращение двойного отрицания это совершенно бредовая на интуитивном уровне операция.
Вот прикинь, ты подходишь к своей тёлке и спрашиваешь "Мань, как тебе секс со мной? Хорошо? Или не очень хорошо?"
Маня мнётся, не хочет отвечать. Ты настаиваешь.
"Нет, Мань, ну скажи? Не хорошо разве было?"
Наконец Маня отвечает тебе "Ну, не не хорошо".

Чувствуешь разницу между "не не хорошо" и "хорошо"? Думаю, у тебя от её ответа на месте бы бомбануло, и мистер вялый на всю жизнь с тобой.
Аноним 17/11/16 Чтв 18:06:34 3182373
>>3181
>к своей тёлке
>секс
Уйди, гнида.
Аноним 17/11/16 Чтв 18:09:27 3183374
>>3182
Теперь понятно, почему ты такой злой и кидаешь на всех репорты. Я думаю, тебе стоит познакомиться с прелестями мастурбации, пока ты совсем не утратил человеческий облик.
Аноним 17/11/16 Чтв 18:15:05 3184375
>>3181
Ты пытаешься аргументировать модальностью фразы? Совершенно бредово было бы, если бы ты маню расспрашивал было ли хорошо, а потом расспросил дополнительно было ли ей плохо, а потом узнал бы еще критерии оценки и попытался доказать независимость этих критериев от аксиомы выбора. Маня бы сразу поняла, что ты или долбоеб или конструктивист, что в общем-то одно и то же.

При этом я не могу представить ситуации, когда утверждение верное в классическое логике, но неверное в интуитивной, что-то принципиально меняет в фактической ситуации, что в принципе и очевидно, ведь классическая логика более сильная.
Аноним 17/11/16 Чтв 18:23:49 3185376
>>3184
> Совершенно бредово было бы, если бы ты маню расспрашивал было ли хорошо, а потом расспросил дополнительно было ли ей плохо
Между прочим, недурная стратегия.

>При этом я не могу представить ситуации, когда утверждение верное в классическое логике, но неверное в интуитивной, что-то принципиально меняет в фактической ситуации
Верно, затруднительно привести подобные примеры. Их, скорее всего, и не будет никогда. Но знаешь, спускать на тормозах проблему по этой причине это всё равно, что признать теорему доказанной за счёт компьютерной проверки брутфорсом по всем значениям переменных. Вроде на практике верна, но не хватает полнейшей аналитической убеждённости.
Аноним 17/11/16 Чтв 18:24:35 3186377
>>3184
s/сильная/слабая
Аноним 17/11/16 Чтв 18:27:08 3188378
>>22 (OP)
>определения N
Так ведь обсуждать нечего, нет определения.
Аноним 17/11/16 Чтв 18:37:02 3189379
>>3185
Так интуитивная логика не воспринимает аналитических доказательств и всегда требует потенциальный брутфорс. Сама математика на ней превращается в поиск конкретного алгоритма, в алгоритмическую науку. Вся математическая интуиция, методы оценок и доказательства существования, это все переходит в разряд "математики гипотез". Гипотезу любой может, как Уайлс или Перельман, а вот алгоритм найти это другое дело.
Аноним 17/11/16 Чтв 18:45:15 3190380
>>3189
Нужен результат. Под этим подразумевается решение уравняшек. Вы сказали, что 10 проблема Гильберта не имеет решений - поэтому будем разводить философию. Если она Вам так нравиться - занимайтесь этим. Никто не мешает Вам.

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

Можно сколько угодно кричать, что не надо их решать, но потребности остановить так не получиться. Можете всё удалять и ругать. Со временем это со стороны будет выглядеть как банда психов не даёт решать уравняшки. Видите ли они решили, что написанная формула не должна существовать и теперь ведут борьбу с ней.

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

У меня есть результат - то есть формулы. Поэтому вся Ваша философская болтавня должна быть уничтожена. Это то, что я добиваюсь и то, что обязательно произойдёт! Решайте уравняшки.
Аноним 17/11/16 Чтв 18:48:17 3192381
>>3190
Как ты прав, Андрюша!
Аноним 17/11/16 Чтв 19:02:14 3194382
ur2.png 54Кб, 936x744
936x744
ur.png 16Кб, 868x467
868x467
Аноним 17/11/16 Чтв 20:09:44 3199383
>>3189
>Вся математическая интуиция, методы оценок и доказательства существования, это все переходит в разряд "математики гипотез"
А можно подробнее про математическую интуицию? Как математики приходят к тем или иным теориям? Какие есть философские взгляды на этот процесс? Как приходит конструктивист и как приходит ну какой-нибудь там алгебраист?
Аноним 17/11/16 Чтв 20:16:25 3204384
Сюда перенесу
Попробуйте в яндекс/гугл картинках ввести HoTT
я чот прихуел
https://yandex.ru/images/search?text=hott
это получается такой намек: "нехуй, петушара, гейской хуйней заниматься, вот лучше на баб подрочи"
ко-ко-кошники официально унижены
Аноним 17/11/16 Чтв 20:19:59 3207385
>>3194
Простите, вставлю свои пару копеек. Я примерно могу понять, откуда претензии к теории множеств, и даже пассажи в духе "теория множеств это психическое заболевание". На мой взгляд, это одно из самых охуенных изобретений человечества. То есть вот сам образ такого мышления, набор инструментария. Изобретение недопиленное, находится в доработке. Кроме того, рвёт мозг неподготовленным людям. Теория множеств открывает двери в целый мир потрясающих гипотез и результатов.
Чувак пишет, мол можно придумать какую угодно теорию. Так да, блять, в том и дело. МОЖНО. Никто блять не запрещает, на то математика и нужна, чтобы делать построения даже такие, которые вообще крайне далеки от бытового опыта. Если ты способен придумать охуенную теорию — придумывай, никто не запрещает. Если ты обезьяна, у которой мозги перегреваются от любого нетривиального воздействия, то ну могу посоветовать, скажем, пойти паять электросхемы.
Теория множеств — это рывок над пошлятиной и бытовухой. Это просто охуенно. Кто не может с ней совладать, тот просто слишком зашорен и погряз в болоте. Я уверен, есть какие-то психологические причины, почему одни люди могут в ТМ, а другие нет. Мне кажется, у последних есть что-то вроде болезненной зацикленности на своих мыслительных процессах. В итоге это выливается в бессмысленные кукареки типа "хватет феласофствавать!!!111". Ну не можешь, не лезь, пидрила.
Аноним 17/11/16 Чтв 20:22:02 3209386
>>3207
>Кто не может с ней совладать, тот просто слишком дебил и дегенерат
Пиши правильно, толераст хуев.
Аноним 17/11/16 Чтв 20:26:46 3213387
>>3209
Твой энтузиазм заразителен.
Аноним 17/11/16 Чтв 21:26:13 3222388
>>3199
На эту тему есть Манин "Математика как метафора" и Гротендик "Урожаи и Посевы".
Аноним 17/11/16 Чтв 21:27:23 3223389
>>3222
Кто из них кто?
Аноним 17/11/16 Чтв 21:38:41 3224390
>>3223
Малоизвестные математики. Манин известен тем, что работал в одном институте с великим Кострикиным, а Гротендик вообще известен только за то, что придумал считать 0 натуральным числом.
Аноним 17/11/16 Чтв 21:52:38 3226391
>>3224
Ты ебанулся, "малоизвестные"? Гротендик придумал всю современную математику почти в одиночку. Зарепортил тролля.
Аноним 17/11/16 Чтв 21:54:24 3227392
>>3224
На самом деле Гротендик известен лишь тем, что как-то однажды ляпнул, что 57 — не очень большое простое число. С тех пор число 57 называется Гротендик.
Аноним 17/11/16 Чтв 22:01:09 3228393
>>3227
Серьёзно? Почему в википедии написано совсем другое? Гротендик редактировал?
(успокойся, сумасшедший)
Аноним 17/11/16 Чтв 22:04:53 3229394
>>3227
Манин кстати когда его выгнали с мехмата в 57ой преподавал, пока родители одной девочки не пожаловались
Аноним 17/11/16 Чтв 22:08:42 3230395
>>3229
На что пожаловались?
Аноним 17/11/16 Чтв 22:15:50 3231396
>>3230
Отец спросил девочку, что такое жорданова нормальная форма, а она показала, как Манин вводил.
Аноним 18/11/16 Птн 00:04:31 3235397
>>3231
Ах ты содомит.
Аноним 18/11/16 Птн 00:12:46 3236398
Зарепортил вас всех.
Аноним 18/11/16 Птн 03:51:10 3248399
>>3213
>энтузиазм
Прочитал, как энурез. Проиграл.
Аноним 19/11/16 Суб 10:46:41 3327400
>>3147
Ты настолько тупой, что у меня просто нет слов.
>По каким-то причинам они решили напасть на аксиому выбора
Кукарекать так после того, как я постил конструктивное доказательство аксиомы выбора, как и все прочее накукареканное в твоем посте говорит только о том, что ты малолетний дебил, не могущий даже в чтение. Сам выдумал себе врагов и сам с ними успешно борешься в своих манямирах, а о конструктивизме представлений вообще не имеешь, даже самых общих.
Аноним 19/11/16 Суб 10:48:37 3328401
>>3157
> у тебя критика конструктивистов довольно бессмысленная.
Я там вообще критики не увидел, если что. Одно непонимания темы, на которую предыдущий оратор пытается еще и рассуждать. Газификация луж всё это.
Аноним 19/11/16 Суб 10:53:09 3329402
>>3166
Ты даже не считаешь нужным попытаться понять, что имел в виду под интуиционизмом Брауэр, хотя я сто раз цитировал его 1 и 2 акты интуиционизма. Но, при этом ты что-то там критикуешь. И ты даже не понимаешь ,что критикуешь ты свое непонимание вопроса, считая интуиционизм чем-то вроде своих школьных "интуитивных" представлений о чем-то, считаешь, что это и имеется в виду в интуиционизме. И с чем тут спорить? С твоим незнанием предмета? Нахуй надо, сначала сам хоть пойми, что ты пытаешься "оспаривать", потом что-то заявляй.
Аноним 19/11/16 Суб 11:05:34 3331403
>>3329
По существу в том посте утверждается, что интуиционисты отрицают аксиому выбора. Это утверждение верно или неверно?
Аноним 19/11/16 Суб 11:14:48 3333404
мэгумин.jpg 167Кб, 782x543
782x543
Бесполезно же даунам объяснять разницу между аналитическим и синтетическим суждением, между конструктивной логикой, в которой имеет место интерпретация логических констант по Брауэру-Гейтингу-Колмогорову, в которой принимается только то, для чего есть непосредственное доказательство в виде proof-object и логикой от балды, аксиоматика которой принимается априори потому что пикрелейтед так "яскозал))0))00)", безотносительно конкретного случая. Отсюда и неполнота последней по Геделю, т.к. конструктивный объект-доказательство должен быть получен в каждом отдельном случае, он не выводим ни из какой общей формальной системы. В итоге, общие законы логики представляют собой нечто вроде того анекдота про логику "если спичек нет - знчит хуй не стоит".
>>3331
>интуиционисты отрицают аксиому выбора. Это утверждение верно или неверно?
А ты сам как думаешь, после того как я постил >>2348 конструктивное доказательство аксиомы выбора? Если интуиционисты ее прямо доказывают и в конструктивной математике это никакая не аксиома, а доказуемая теорема?
Аноним 19/11/16 Суб 11:24:33 3334405
Объясню разницу так, чтобы все поняли, на примере того анекдота:

Идет заяц и читает книгу по логике. Тут навстречу волк:
- Слышь, заяц, а что читаешь?
- Книгу по логике
- А что это?
- Ну смотри. У тебя спички есть?
- Есть
- Если есть спички, то ты куришь.
- Ну, курю
- Если ты куришь, то деньги есть.
- Ну, есть.
- Если есть деньги, значит работаешь.
- Ну, работаю.
- Если работаешь, то много денег зарабатываешь.
- Ну.
- Если много денег, то и телки есть.
- Ну есть.
- Если телки есть , то ты с ними спишь.
- Допустим, сплю.
- Если ты спишь с телками, то ты не импотент.

Волк:
- Ух ты, круто. Дай почитаю.
Идет по лесу , читает и встречает Медведя. Медведь:
-Волк, что читаешь?
-Книгу по логике.
-А что это?
-Ну смотри. У тебя спички есть??
-Не-а
-Значит ты импотент!


Жирный шрифт - пример аналитического суждения, конструктивный подход. Наклонный шрифт - пример синтетического суждения, неконструктивный подход.
Аноним 19/11/16 Суб 12:49:00 3335406
>>3333
На том пике доказывается не аксиома выбора.
Аноним 19/11/16 Суб 12:50:27 3336407
>>3335
А что там доказывается?
Аноним 19/11/16 Суб 13:09:34 3337408
>>3336
Какое-то другое утверждение. Почему его называют аксиомой выбора - непонятно.
Аноним 19/11/16 Суб 13:13:35 3338409
>>3337
Там просто нотация из MLTT и лямбда-исчисления. Это аксиома выбора.
Аноним 19/11/16 Суб 13:27:14 3339410
>>3338
Это утверждение называется слабая аксиома выбора и она выводится из остальных аксиом ZF.
Аноним 19/11/16 Суб 13:28:13 3340411
Аноним 19/11/16 Суб 13:31:38 3341412
Аноним 19/11/16 Суб 13:33:36 3342413
Аноним 19/11/16 Суб 14:17:45 3345414
>>3341
Бармен-интуиционист спросил бы:
- У тебя есть собака?
- Нет.
- У тебя нет собаки?
- Да.
- Это значит, что ты пидор!
Аноним 19/11/16 Суб 15:00:43 3346415
Сложно, пацаны.
Ещё раз, в чём разница между аналитическими и синтетическими суждениями?
Аноним 19/11/16 Суб 15:10:21 3347416
Снимок.PNG 6Кб, 558x35
558x35
Снимок1.PNG 39Кб, 678x260
678x260
>>3346
В неконструктивной логике правила принимаются априори, тогда как в конструктивной (интерпретация логических констант по Брауэру-Гейтингу-Колмогорову) только в случае существования соответствующих правилам конструктивных пруф-объектов. Истинное суждение в конструктивизме т.о. должно быть непосредственно доказуемо, иначе оно не принимается. Пример - тот же закон исключенного третьего. Он конструктивно приемлем только в тех случаях, когда доказуем. А не сам по себе, потому что "Аристотель в него веровал, и ты так делай".
Аноним 19/11/16 Суб 15:20:58 3348417
>>3347
>в случае существования соответствующих правилам конструктивных пруф-объектов
Что это значит?
Аноним 19/11/16 Суб 15:23:39 3349418
>>3347
Ну, я в сказанном не вижу ничего такого, что следовало бы критиковать. Есть ли у классических математиков реальные причины бомбить по поводу конструктивизма, кроме той, что это задевает их чувства?
Я читал у Пенроуза какую-то критику конструктивизма, но не понял её тогда, слишком молод был, а сейчас вряд ли найду. Он писал что-то на тему того, что конструктивизм налагает чрезмерные ограничения и вместо чистоты математики по факту культивирует запутанность и что-то там ещё. Не помню, к сожалению.
Аноним 19/11/16 Суб 15:39:17 3350419
>>3349
Для того, чтобы понять о чем он говорит, надо открыть книгу по конструктивному анализу, конструктивной топологии (pointless), да и вообще любое реальное применение конструктивных оснований к математике.
Обнаружится, что простейшие доказательства элементарных теорем сводятся к нетривиальной комбинаторике, поиску алгоритмов, и даже зависимости от теоремы Ферма (которая доказана только неконструктивно).
А все потому, что интуиционистская логика более сильная, чем обычная. Самый обычный пример, это доказательство иррациональности двух. Классическое школьное доказательство использует аксиому исключенного третьего. Без нее, это довольно нудно доказываемое утверждение (см. примечание на стр. 14):
https://arxiv.org/pdf/1110.5456v1.pdf
А отрицание аксиомы выбора добавляет еще больше огня, ведь огромное количество простых утверждений становятся в общем случае неверными:
https://en.wikipedia.org/wiki/Axiom_of_choice#Equivalents
При этом конструктивисткая математика занимается только подтверждением результатов классической в частном случае. Зачем это нужно? Математик, работающий в любой современной области, просто не сможет работать так.
Аноним 19/11/16 Суб 15:59:35 3351420
>>3350
> огромное количество простых утверждений становятся в общем случае неверными
Так что если они и есть неверные в общем случае? И однажды это где-то как-то вылезет?
Аноним 19/11/16 Суб 16:16:47 3352421
>>3351
Стоит вчитаться, ведь речь идет о существовании базиса векторного пространства и об обратимости справа сюръективной функции.

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

>Мехмат отзывает 500 000 своих выпускников по причине того, что во втором томе Фихтенгольца на странице 196 в формуле 56 отсутствует нормирующий оператор
Аноним 19/11/16 Суб 16:17:48 3354422
>>3348
Конструктивный, построимый по заданным правилам объект, удовлетворяющий заданным же условиям. Число, вектор, список, как простейшие примеры. Важна еще разница между каноническими и неканоническими элементами, но объяснять лениво, гуглится все элементарно.
>>3350
Ты главное игнорируешь - конструктивная математика построима и доказуема на компьютере, в т.ч. и с немалой степенью автоматизации. Хотя тут во многом все еще в зачаточном состоянии. Теорему 4х красок так и доказали, сколько с ней еблась бы классическая математика - никому не известно.
>>3351
>что если они и есть неверные в общем случае? И однажды это где-то как-то вылезет?
Они в общем случае как раз неверные и есть. Поскольку доказать их именно для общего случая возможности нет, т.к. эти утверждения опираются на нечто принципиально невычислимое. Брауэр именно это и показал, что все проблемы в математике из-за того, что некоторые вещи просто принимаются на веру.
Аноним 19/11/16 Суб 16:29:59 3355423
>>3354
>Ты главное игнорируешь - конструктивная математика построима и доказуема на компьютере
В чем тут отличие от неконструктивной? С принятием двух дополнительных аксиом ZFC построим и доказуем на компьютере.

При этом HoTT отличается, например, удобной, но избыточной аксиомой унивалентности. Почему бы и ее не выбросить?

>Теорему 4х красок так и доказали, сколько с ней еблась бы классическая математика - никому не известно.
Классическая математика дала возможность перебора за допустимое время как минимум.
Аноним 19/11/16 Суб 16:36:11 3356424
>>3355
>возможность перебора за допустимое время как минимум.
И что неконструктивного в конструктивном переборе, м?
>В чем тут отличие от неконструктивной?
В том, что в неконструктивной есть нарушающие вычислимость допущения. В остальном конструктивно все, что можно построить.
Аноним 19/11/16 Суб 16:42:44 3357425
>>3356
>И что неконструктивного в конструктивном переборе, м?
Тебе кажется это очевидным, но на самом деле конструктивное доказательство появилось много после самого доказательства. Самому перебору предшествует рассуждение:
https://en.wikipedia.org/wiki/Four_color_theorem#Summary_of_proof_ideas
Аноним 19/11/16 Суб 16:46:34 3358426
>>3354
>все проблемы в математике
Вот, началось. Ну-ка, о каких проблемах в математике идёт речь? Огласите весь список.
Аноним 19/11/16 Суб 16:47:41 3359427
>>3358
Кризис оснований. Не, не слышал?
Аноним 19/11/16 Суб 16:49:38 3360428
>>3359
Конструктивная математика его не решает. Метод теории типов это метаматематической подход, когда мы используем более сильную систему.
Аноним 19/11/16 Суб 16:51:07 3361429
>>3359
Ты бы ещё иррациональность корня из 2 проблемой назвал. Этот "кризис" сто лет назад закончился, сейчас он живёт только в статьях второсортных философов.
Аноним 19/11/16 Суб 16:51:18 3362430
>>3360
Решает. И N определяет. Это уже обсуждалось.
Аноним 19/11/16 Суб 16:53:52 3363431
>>3362
Объясни в чем разница:
1) Мы проверяем непротиворечивость ZFC средствами более сильной формальной системы. (например, в с помощью HoTT)
2) Мы проверяем непротиворечивость конструктивистской аксиоматики средствами более сильной формальной системы.
3) Мы проверяем непротиворечивость какой-то аксиоматики его собственными средствами. По известной теореме она неполна.
Аноним 19/11/16 Суб 16:56:49 3364432
Доказательство Мочизуки относится к какому виду математики?
Аноним 19/11/16 Суб 16:57:47 3365433
Аноним 19/11/16 Суб 17:00:46 3367434
>>3365
По вашему треду трудно понять, что харам, а что зашквар.
Аноним 19/11/16 Суб 17:03:23 3368435
>>3363
Все 3 - примеры синтетических суждений. Я уже неоднократно пояснял за аналитические суждения >>3333 Неполнота любой формальной системы - причина невозможности вывести из этой системы доказательства логических констант. Их можно только построить непосредственно, и уже в таком виде принимать, как это делается в случае интерпретации логики по Брауэру-Гейтингу-Колмогорову. Такая логика полна и непротиворечива, что показал Мартин-Лёф. Эти два геделевских стула с неполнотой точеной и противоречиостью дроченой - удел формально-аксиоматических построений.
Аноним 19/11/16 Суб 17:06:19 3369436
>>3364
>Доказательство Мочизуки относится к какому виду математики?
Аутизм.
Аноним 19/11/16 Суб 17:10:45 3372437
>>3369
>>3365
Парни, ну хватит шуток, давайте серьёзно.
Аноним 19/11/16 Суб 17:21:04 3375438
>>27
>>27

Задавайте свои ответы, я тут.
Аноним 19/11/16 Суб 17:21:22 3376439
>>3372
Мочизука слишком мутный перец, вряд ли тута кто-то знаком с его доказательством настолько, чтобы грамотно за него раскидать. Сам Мочизука в сентябре месяце выдал статью http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf где поясняет за свою теорию с точки зрения вычисления гауссова интеграла. Надо полагать, при желании можно было бы попробовать изложить все это в виде типов и проверить в прувере. Но те, кто понимает Мочизуку, видимо, слишком просветленные для такой слесарной работы.
Аноним 19/11/16 Суб 17:55:41 3383440
>>3376
Мочизука — чистая умозрительная математика?
Аноним 19/11/16 Суб 18:03:48 3384441
The-Multiradial[...].webm 7035Кб, 1280x720, 00:01:14
1280x720
Mózg Rozjebany [...].webm 2064Кб, 480x360, 00:00:19
480x360
>>3383
Теория чисел жи. Просто абстракций слишком много, в т.ч. придуманных самим Мочизукой, все эти анабелиоиды, фробениоиды, эталь-тета функции и т.д. Мыслить в терминах таких уровней абстракции, мало кто может.
Аноним 19/11/16 Суб 18:14:38 3388442
homepage526178a[...].jpg 1699Кб, 2715x2748
2715x2748
В целом, мочизукину писанину можно свести к элементарным понятиям уровня средней школы, причем в виде, доступной для понимания любым желающим. Это факт, поскольку его определения сводятся к более простым и т.д. вплоть до элементарных. Просто вручную это делать заебешься, а автоматизированно (как вариант - LSA-пространство, построенное на корпусе документов, релевантных мочизукиной писанине вплоть до школьных учебников, я думал над этим и примерно знаю как и что делать) слишком муторно, AMS-Tex, которую использует Мочизука хуй чем распознаешь нормально, халявных математических OCR не существует в природе, это самого Мочизуку надо напрягать, чтобы подогнал латех-исходники всей своей нетленки, а не готовые пдф-ы.
Аноним 19/11/16 Суб 18:24:05 3391443
Я не понимаю, почему все так преувеличивают сложность доказательства Мочизуки. Анон верно говорит >>3388
И вообще-то, это верно для любой теоремы. То есть, я не понимаю, в чём в целом сложность математики для народа. В том, что нужно обладать большой математической эрудицией? Ну так её теоретически можно достичь, это экстенсивная проблема, а не интенсивная, вопрос времени, а не какой-то недоступной для мозга сложности. Доказательство действительно базируется на конструкциях, которые состоят из конструкций поменьше и так далее. Почему все в один голос говорят, что в доказательство abc-гипотезы трудно въехать?
Аноним 19/11/16 Суб 18:27:29 3392444
>>3368
>Такая логика полна и непротиворечива, что показал Мартин-Лёф.
тащи сюда формальное доказательство. "Предположил" не считается.
понять Мочезуку Аноним 19/11/16 Суб 18:31:54 3393445
Вечер в хату, математы.
Решил поставить над собой эксперимент. Собираюсь понять доказательство Мочезуки. Уровень в математике на отметке "знаю, что такое интеграл и группа". Не могу похвастаться высоким IQ. Буду прилагать максимум усилий, по-честному стараться и идти с несгибаемой волей к своей цели. Прошу всех мне помочь советами, с чего начинать и куда двигаться. Пока что я вообще не вдупляю, о чём там. Постараюсь отчитываться о прогрессе.
Аноним 19/11/16 Суб 18:33:17 3394446
>>3391
Ты что-то в своей жизни делал на протяжении нескольких лет? Ну вот допустим ты учился в школе. А потом учился в институте хотя бы два курса. Чтобы понять доказательство теоремы Стокса, тебе надо открыть его и прочитать. А теперь представь себе маугли, которого надо научить пониманию этого доказательства. Трудно ли это? Это ведь экстенсивная проблема!
Аноним 19/11/16 Суб 18:34:58 3395447
>>3393
Для начала, какой именно документ ты намерен понимать?
Аноним 19/11/16 Суб 18:36:32 3396448
Аноним 19/11/16 Суб 18:40:27 3397449
>>3391
Проблема в основном в том, что нужно неблохо ориентироваться и мыслить в областях, связанных с основной задачей, н-р такой, как Мочизукино доказательство. Во всех областях. А это требует времени. В итоге, прискорбно, но оценка Фесенко (один из тех, кто проверил мочизукино доказательство) - 10 лет для математика-аспиранта, чтобы понять мочизукины выкладки - это правда. Альтернативный вариант - >>3388 нечто вроде lazy evaluation, займет минуты построения модели, ну и дни/недели чтобы разобраться.
>>3393
> Собираюсь понять доказательство Мочезуки. Уровень в математике на отметке "знаю, что такое интеграл и группа". Не могу похвастаться высоким IQ. Буду прилагать максимум усилий, по-честному стараться и идти с несгибаемой волей к своей цели.
По оценке Фесенко - 10 лет + путь до аспиранта-математика.
>>3392
http://archive-pml.github.io/martin-lof/pdfs/Martin-Lof-Analytic-and-Synthetic-Judgements-in-Type-Theory.pdf
Аноним 19/11/16 Суб 18:40:27 3398450
>>3394
Во-первых, аналогия не совсем правильная. Маугли не знает человеческой речи и, как считают современные нейролингвисты, если до определённого возраста человек не постигает логику языка, то уже и не сможет постичь. Есть вполне объективные физиологические барьеры для этого. Язык Мочезуки нам полностью доступен, мы знаем все слова, мы знаем правила грамматики. Так что мы как раз в положении студента-второкурсника, а не маугли.

Я не спорю, что это трудно, но есть совершенно явный и прямой путь, как понять доказательство. Нет ничего принципиально скрытого.
Аноним 19/11/16 Суб 18:40:54 3399451
>>3395
>In August 2012, Shinichi Mochizuki released a series of four preprints on Inter-universal Teichmuller Theory which is then applied to prove several famous conjectures in number theory, including Szpiro's conjecture, the hyperbolic Vojta's conjecture and the abc conjecture.
Вот эти четыре документа. Я, правда, пока не могу их найти.
Аноним 19/11/16 Суб 18:42:28 3400452
понять Мочезуку Аноним 19/11/16 Суб 18:44:49 3401453
>>3400
На момент, когда ты написал это пост, я уже нашёл эту страницу, так что видишь, я не так безнадёжен)

Ещё хочу добавить к своему посту. Конечная цель эксперимента в том, чтобы мочь ответить ИТТ на вопросы хотя бы по философии доказательства.
Аноним 19/11/16 Суб 18:47:23 3402454
>>3401
>Конечная цель эксперимента в том, чтобы мочь ответить ИТТ на вопросы хотя бы по философии доказательства.
Для этого Мочизука не нужон. Есть такая тема, как теория доказательств жи.
понять Мочезуку Аноним 19/11/16 Суб 18:5