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

1,3 Мб, 2560x1920
Поясните за математику. Что она описывает? Понятно, 23 фев 2020, 03:11 65355 В конец треда | Веб

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

Ответы6536165366653756600866009692426934069381

sage 2 23 фев 2020, 12:03 2 65361

>>65355 (OP)
>где находятся такие вещи как множество мандельброта, например?
/pr/
>Но можно ли сказать, что Что-то описанное языком математики существует, если это что-то описано только ей
/re/
>И если можно сказать, что существует, значит ли это то, что существуют другие миры?
/sci/

Ответы65363

3 23 фев 2020, 13:02 3 65363

>>65361
>жидкий траллинк
/b

4 23 фев 2020, 15:15 4 65366

>>65355 (OP)
>Понятно, что окружающий нас мир, но где находятся такие вещи как множество мандельброта, например?
http://caute.ru/ilyenkov/texts/vf/prideala.html

Ответы6536966003

5 23 фев 2020, 17:15 5 65369

>>65366
Благодарю

6 23 фев 2020, 20:51 6 65375

>>65355 (OP)
Множество мандельброта - это просто множество компллексных чисел, удовлетворяющих некоему условию. Где оно существует в реальности? А где в реальности существует множество четных или простых чисел?

Ответы653836543869242

7 23 фев 2020, 21:34 7 65376

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

Ответы6537765382

8 23 фев 2020, 21:43 8 65377

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

9 23 фев 2020, 23:41 9 65382

>>65376
>основания обсуждали, философию математики
>мемные фракталы
Моча съела говно.

10 23 фев 2020, 23:43 10 65383

>>65375
Ну вот же он, на оп-пике. Очевидно, это его проекция, но насколько реальна проекция, настолько же реально и само множества

Ответы6538565391

20 Кб, 300x300
11 23 фев 2020, 23:55 11 65385

>>65383
Но на самом деле абсолютно похуй что рассматривать. Не нравятся мемные фракталь? Давайте посмотрим на числа. Я не могу просто крикнуть в окно, что поверх комплексных чисел есть хуемплексные. Это просто невозможно, потому что они нереальны, а все что на пике - реально. Так вот откуда это все появилось?

Ответы6538865392654376600466005

363 Кб, 1650x1050
12 24 фев 2020, 00:20 12 65388

>>65385
Но ведь вещественные числа, также известные как числа Аллаха существуют не более чем хуемплексные...

Ответы653906541866004

13 24 фев 2020, 00:29 13 65390

>>65388
Как видим, чуть более, все же

14 24 фев 2020, 00:45 14 65391

>>65383
И что из этого следует?

Ответы65394

15 24 фев 2020, 00:46 15 65392

>>65385
Есть же история математики. Там описано, какие причины послужили для придумывания новых типов чисел.

Ответы6539566004

16 24 фев 2020, 01:27 16 65394

>>65391
Очевидный вопрос: почему он существует вместо того, чтобы не существовать?

Ответы65427

17 24 фев 2020, 01:33 17 65395

>>65392
Не придумывания, а скорее открытий? Это как говорить, что число pi придумали и продолжают придумывать уже дохуя знаков после запятой

18 24 фев 2020, 14:40 18 65418

>>65388
>rational tricks
every time

19 24 фев 2020, 19:47 19 65427

>>65394
А почему ему не существовать? Комплесное число - это пара. Паре чисел можно поставить в соответствие точку на листке бумаги. Значит множество может быть нарисовано с какой-то точностью.

20 24 фев 2020, 21:27 20 65437

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

Ответы654496545266004

21 24 фев 2020, 21:30 21 65438

>>65375
В определенном смысле, число пи придумали. Придумали обозначать "пи" отношение длины окружности к диаметру.

Ответы6544865452

22 25 фев 2020, 00:29 22 65448

>>65438
Я не о его названии, братан, а вот об этом:
>отношение длины окружности к диаметру
Число, которое люди для себя открыли существовало задолго до того как появились люди и наука изучающая его

23 25 фев 2020, 00:31 23 65449

>>65437
>Только никто не будет ими пользоваться, потому что нинужно.
Не потому что ненужно, а потому что связи с реальностью никакой у моих хуилионов не будет. Это совершенно разные вещи. Если бы они просто никому ненужны билы, но их можно было бы использовать, это одно, и совершенно другое, когда за названием ничего не стоит

Ответы65461

24 25 фев 2020, 00:41 24 65452

>>65437
>>65438
А вообще, ребята, вы меня поправьте, если я ошибаюсь, но ведь это тематическая доска и о математике здесь должны понимать побольше меня, мимокрокодила.
Кто-то умный сказал: математика - наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.

Вот о чем тред! Математика изучает объекты изначально существующие, а не выдумывает их. Да, даёт названия, но как без этого?

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

Ответы6546065463

25 25 фев 2020, 08:01 25 65460

>>65452
>Математика изучает объекты изначально существующие, а не выдумывает их.
Основыные понятия (неопределяемые и определяемые) и аксиомы математики выдуманы. Разумеется, не на пустом месте, но тем не менее (необъяснимая эффеквтивность математики и бла-бла-бла). Пример с числом пи: окружности выдуманы, длины выдуманы и т.д.

Ответы65468

26 25 фев 2020, 08:03 26 65461

>>65449
>Математика изучает объекты изначально существующие, а не выдумывает их.
Это платонизм - всего лишь один из вариантов восприятия математики.

Ответы65469

27 25 фев 2020, 08:09 27 65463

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

17 Кб, 512x342
28 25 фев 2020, 10:03 28 65468

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

Ответы65470

29 25 фев 2020, 10:04 29 65469

>>65461
Один из, но не менее справедливый чем все остальные. Поэтому я создал этот тред

30 25 фев 2020, 10:33 30 65470

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

31 9 мар 2020, 06:47 31 66003

>>65366
>Ру сегмент

32 9 мар 2020, 06:49 32 66004

>>65385
>еально. Так вот откуда это все появилось?
>>>65388 >>65392 >>65437

А ты уверен, что этот пик не может быть дополнение?

33 9 мар 2020, 06:49 33 66005

>>65385
>Это просто невозможно

Плохой подход к делу.

34 9 мар 2020, 08:11 34 66008

>>65355 (OP)
Самый разумный тред на доске.

548 Кб, 1920x1148
35 9 мар 2020, 08:15 35 66009

>>65355 (OP)

Ответы66013

36 9 мар 2020, 09:30 36 66013

>>66009
Nlab вреден, это давно установлено. Читай
http://stacks.math.columbia.edu
а если так уж хочется философию, то лучше сразу
https://plato.stanford.edu

Ответы6604966094

37 9 мар 2020, 10:29 37 66014

Не испорченный шизой оригинал карты, если кому надо
http://srln.se/mapthematics.pdf

Ответы66016

38 9 мар 2020, 11:47 38 66016

>>66014
Да даже в оригинале карты много хуиты и иерархия сомнительная.

Ответы66045

39 9 мар 2020, 16:40 39 66045

>>66016
Нарисуй свой вариант

40 9 мар 2020, 17:30 40 66049

>>66013
>Nlab вреден, это давно установлено.
Пруфцов бы

41 10 мар 2020, 00:58 41 66094

>>66013
7000 страниц забористой алгебры без особых пояснений это очень полезно!

Ответы68164

42 29 апр 2020, 16:18 42 68164

>>66094
уж лучше чем герыч

48 Кб, 500x334
43 22 мая 2020, 21:05 43 69242

>>65355 (OP)
Так и не могу понять как оно строится. Понял только, что комплексное число прогоняют через какую-то рекурсию. В чем ее суть?
>>65375
Под ЛСД, если глаза закрываю, то вижу эти фракталы.

Ответы69251

44 23 мая 2020, 02:47 44 69251

>>69242
Берем комплексное число C, строим из него последовательность.
Z[1]=C
Z[2]=Z[1]^2 + C
...
Z[n]=Z[n-1]^2 + C
Если последовательность ограничена, то C принадлежит множеству (черный цвет).

1 Мб, 1468x1129
45 26 мая 2020, 05:27 45 69340

>>65355 (OP)
> Поясните за математику. Что она описывает?
Ментальные построения, удовлетворяющие определенным свойствам.

Ответы6936169425

46 27 мая 2020, 00:04 46 69361

>>69340
О, я знаю, что это, это заклинание-вызов модульного деда!

Ответы69376

47 28 мая 2020, 05:06 47 69376

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

Ответы69378

48 28 мая 2020, 08:09 48 69378

>>69376
Не нужно вдаваться в такие крайности, чтобы понять (и показать), что пруверы - говно без задач. Тут уже просили показать, как пруверы справляются с любой из реально важных теорем ХХ века, но местные питонисты слились. И дело тут ни в каких-то эфемерных сущностях, "душе", что-то там про "человека" - критерий исключительно прагматический.

Ответы69393

49 28 мая 2020, 11:44 49 69381

>>65355 (OP)
https://www.youtube.com/watch?v=o8TZMtoJPVs

50 28 мая 2020, 18:41 50 69393

>>69378
Ты же сам пынимаешь, что твой аргумент - такое себе "доказательство". Если всем создателям пруверов по какой-то причине похуй на то, что лично ты или там условный Вербицкий считаете важными теоремами а скорее всего похуй потому, что на самом деле, а не в сектантстком манямире, важными они не являются, это никак не доказывает твоей правоты. Ты путаешь отсутствие доказательства с доказательством отсутствия. Алсо, я ж давал ссылку на UniMath, там частично как раз пытаются обпучкаться. И опять же, я давал ссылку на работу, где доказывалось, что в общем случае гамалогии доказуемы только в изначально противоречивой системе со специально прописанным парадоксом Жирара. Что само по себе говорит о гамалогиях лучше чем о них сказано всей вашей сектой. С немалой вероятностью эта ваша хуета вообще ошибочна. Отсюда и ваше сектантство с отношением к математике уровня "тут играем, тут не играем, тут вообще рыбу заворачивали".

Ответы6941769418

51 28 мая 2020, 22:20 51 69417

>>69393
не следил за дискуссией, но что значит "гамалогии ошибочны"?

Ответы69421

52 28 мая 2020, 22:23 52 69418

>>69393
>или там условный Вербицкий
или условный топовый математик, работающий не в сфере логики.

53 29 мая 2020, 02:17 53 69421

>>69417
> что значит "гамалогии ошибочны"?
Чекаются только если специально прописать правило типизации Type -> Type без использования кумулятивной иерархии типов. Жирар ещё в 1972 году доказал, что MLTT с таким правилом противоречива, т.к в ней можно прописать парадокс Рассела. В противном случае чекаются только очень некоторые гамалогии. Но свидетелям гамалогий проще заявить, что теория типов не математика, и вообще нет никаких оснований, а математика это гамалогии онли и они "подвешены в воздухе" и не нуждаются в основаниях.

Ответы69422694316944482200

54 29 мая 2020, 03:46 54 69422

>>69421
Это неправда, не обязятельно U -> U, можно U_n -> U_{n+1} :-) и тогда фиксается Жирар и открывается инфинити иерархия вселенных. К тому же модальные пруверы прекрасно работают с бесконечностями.

Ответы6942369426

55 29 мая 2020, 03:47 55 69423

>>69422
На пруверах даже вселенную Махло можно построить, если кто-то тут знает, что это такое.

Ответы69424

56 29 мая 2020, 03:49 56 69424

>>69423
Гомологий это не касается, бесконечности нужны для когомологий.

57 29 мая 2020, 04:25 57 69425

>Где в реальном мире находятся такие вещи как множество мандельброта?
Нигде. Описание окружающего мира заканчивается на аксиоматической системе, которая, вообще говоря, даже не обязана описывать мир, просто изначально придуманная для математики классическая АС не противоречила тому что было известно об окружающем мире, когда ее придумали, да и до сих пор не, поэтому мы считаем, что математика достоверно описывает действительность. Причем, некоторые части АС репрезентованы в окружающем мире очень условно, например мнимая единица. Вообще-то, есть математики построенные на АС, которые противоречат нашему восприятию мира. Наверное. Я, кроме неевклидовых геометрий, примеров привести не могу, но, я думаю, есть и какие-нибудь неклассические алгебры. Вся остальная математика - это следствия из АС. Множество мандельброта, в частности - это дополнительно введенное определение, которое можно свести к описанным в АС фундаментальным понятиям, нужное для того, чтобы проще описать некоторые следствия из АС. Оно само по себе ничего не репрезентует, помимо фундаментальных понятий на которые раскладывается.
В общем, анон >>69340 описал все то же самое существенно более кратко.

58 29 мая 2020, 04:27 58 69426

>>69422
Я знаю, что такое кумулятивная иерархия типов. И знаю что парадокс Жирара ими фиксится. Но, в такой непротиворечивой теории типов не чекаются гамалогии, я об этом писал.

Ответы69444

59 29 мая 2020, 10:39 59 69431

>>69421
>Жирар ещё в 1972 году доказал, что MLTT с таким правилом противоречива,
Проблемы млтт, а не гамалогий.

Ответы69432

60 29 мая 2020, 10:47 60 69432

>>69431
> Проблемы млтт, а не гамалогий.
Отнюдь. Это ж чистое сектантство - основывать гамалогии на самих гамалогиях, утверждая что они висят в воздухе, а если противоречат основаниям, так это проблема оснований. Нет, ребятки, это так не работает. Можно конечно окуклиться в некоем манямире и игнорировать все остальное, только это уже уровень Рыбникова с его счётом шизов, семитами и электроатомами русов.

Ответы69433

61 29 мая 2020, 10:50 61 69433

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

Ответы69434

62 29 мая 2020, 11:00 62 69434

>>69433
Гамалогии в общем случае неконструктивны, без парадокса Жирара их никак не типизировать. Можно только дальше в них веровать, но как я написал выше, это ничем не лучше счета шизов.

Ответы69435

63 29 мая 2020, 11:06 63 69435

>>69434
> без парадокса Жирара их никак не типизировать
Проблемы МЛТТ.

Ответы6943669463

294 Кб, 1197x593
64 29 мая 2020, 11:22 64 69436

>>69435
> Проблемы МЛТТ.
А не швятых ли гамалогий? Или они априори истинны, ибо так завещал пыня пучкист?

Ответы6943769444

65 29 мая 2020, 11:32 65 69437

>>69436
>А не швятых ли гамалогий?
Нет, швитой млтт.

66 29 мая 2020, 14:23 66 69444

>>69421
>>69426
>>69436
>Чекаются только если специально прописать правило
>не чекаются гамалогии
>основывать гамалогии на самих гамалогиях
>противоречат основаниям
> они априори истинны

Я не понимаю.
"гамалогии" -- это не утверждения (это инварианты)
Как они могут быть "истинны", "чекаться", "противоречить"?

Ответы6946169467

67 29 мая 2020, 22:44 67 69461

>>69444
Да это же N-петух!

Ответы69462

68 29 мая 2020, 22:46 68 69462

>>69461
Как говорится: от модульного деда до N-петуха рукой подать.

69 29 мая 2020, 22:48 69 69463

>>69435
На MLTT действительно хуй шо напишешь, это же ядро вокруг которого строится HoTT, ее флейворы кубические, точно N-петух.

Ответы69468

70 30 мая 2020, 02:49 70 69467

>>69444
> Я не понимаю.
Заебись у тебя аргументы, конечно. Не понимаешь - пойми, потом лезь спорить.

Ответы69471

71 30 мая 2020, 05:13 71 69468

>>69463
Вообще-то в той статье речь как раз об унивалентных основаниях, а не чистой MLTT. Но дело не в этом, а в том, что гамалогии в общем случае не имеют вычислительного содержания, с точки зрения свидетелей гамалогий, они истинны потому что что? Правильно, потому что истинны. Это принципиально нефальсифицируемая религия.

Ответы6947769522

72 30 мая 2020, 09:55 72 69471

>>69467
это были не аргументы, это был вопрос
поясни, что значат выделенные зелёным фразы

Ответы69476

73 30 мая 2020, 10:57 73 69476

>>69471
> это были не аргументы, это был вопрос
Ответ на который прямо следует из того, на что я ответил. Если б ты понимал что вообще такое основания, то понимал бы и следствия из этого, а именно, что гамалогии представимы в виде термов HoTT, и как и все термы имеют в том числе свойства чекаться или не чекаться в различных системах типов. Так вот, чекаются гамалогии только в противоречивых системах с прописанным парадоксом Жирара.
> поясни, что значат выделенные зелёным фразы

Ответы69484

74 30 мая 2020, 12:02 74 69477

>>69468
Ну в хотт же их как-то записывают?

Ответы69532

75 30 мая 2020, 12:26 75 69480

Какой вообще смысл этих тредов, если местные фанатики пруверов и хотт не знают чистой математики в принципе? Это аналог волны CS андерградов, читающих теоркат и делающих вид, что им всё понятно, потому что в хаскеле якобы категории?

Ответы6948169483

40 Кб, 745x480
76 30 мая 2020, 12:44 76 69481

>>69480
> у них гамалогии не той системы

Ответы69550

77 30 мая 2020, 13:00 77 69483

>>69480
Двачую, причём именно читающих, не царское это дело упражнения выполнять.

78 30 мая 2020, 13:01 78 69484

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

но последующее объяснение, кажется, понял: "гамалогии можно описать в моём манямирке, но там это описание становится днищем; следовательно, гамалогии днище"

комментировать от себя это не буду, просто выделил главное

Ответы69488

79 30 мая 2020, 16:02 79 69488

>>69484
> но последующее объяснение, кажется, понял:
Не льсти себе, ничего ты не понял.

Ответы69508

80 31 мая 2020, 02:14 80 69508

>>69488
Это не я льщу себе, а ты не можешь ничего внятно сформулировать. Я простой вопрос спросил, но ты сумел только про мою тупость

81 31 мая 2020, 15:53 81 69522

>>69468
>гамалогии в общем случае не имеют вычислительного содержания
это неправда

Ответы69529

82 31 мая 2020, 18:37 82 69529

>>69522
Да нет, правда. Иначе они бы нормально чекались в любой теории типов, не требуя прописывания парадокса Жирара. Т.е были бы конструктивными объектами.

Ответы69530

83 31 мая 2020, 20:25 83 69530

>>69529
ты долбоеб

Ответы69539

84 31 мая 2020, 20:37 84 69532

>>69477
Гомологии начали формализировать еще на PRL системах, эта ебанутая идиотина N-петух наводить тень на конструктивною математику своей гадкой блевотиной. Они есть на Coq, Agda, и вообще на любой хуйне их можно написать --- это просто фактор группы спектральных комплексов, на бейсике можно, это комбинаторика.

Ответы69534695356953969548

85 31 мая 2020, 21:20 85 69534

>>69532
Я так и думал.

86 31 мая 2020, 21:24 86 69535

>>69532
>это комбинаторика.
Дальше хатчера и 1950х не продвинулся что ли?

Ответы69536

87 31 мая 2020, 23:51 87 69536

>>69535
Ты понимаешь что уже десятилетия существуют CAS системы для счета гомологий?

Ответы6953769549

88 1 июня 2020, 00:05 88 69537

>>69536
>Ты понимаешь что уже десятилетия существуют CAS системы для счета гомологий?
А еще CAS системы для счета интегралов и решения диффуров. Наверное, анализ и теория ду на этом исчерпаны.

Ответы6953869542

89 1 июня 2020, 00:42 89 69538

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

50 Кб, 512x512
90 1 июня 2020, 02:33 90 69539

Ну так вы определитесь уже, гамалогии конструктивны или где? Подать сюда того петуха, модульного деда, пусть поясняет. А то что-то кроме жопной гари ничего нет.
>>69530
> ты долбоеб
>>69532
> та ебанутая идиотина N-петух наводить тень на конструктивною математику своей гадкой блевотиной

Ответы69541

91 1 июня 2020, 05:00 91 69541

>>69539
Самый неконструктивный тред в истории конструктивной математики :-)

92 1 июня 2020, 05:03 92 69542

>>69537
> А еще CAS системы для счета интегралов и решения диффуров. Наверное, анализ и теория ду на этом исчерпаны.
А причем тут "исчерпаны" вообще? Вот есть автотранспорт, ты же надеюсь не считаешь, что ноги исчерпаны и "ногоблядь не человек"? Это просто инструмент. Ногами ты 200-300км в день не пройдешь, а на машине запросто. С чего вообще вся эта швитая война с пруверами итд, не очень понятно.

Ответы69543

93 1 июня 2020, 05:32 93 69543

>>69542
я нихуя не понимаю, ты сразу мне скажи, ты шизик, какие ноги?

Ответы69544

94 1 июня 2020, 05:37 94 69544

>>69543
> я нихуя не понимаю
Это ты уже говорил. И да, это так. Про аналогию как явление вам в школке еще не рассказывали?

Ответы69546

95 1 июня 2020, 07:04 95 69546

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

Ответы69547

96 1 июня 2020, 07:15 96 69547

>>69546
Доказательства это доказательства, аналогии это аналогии, что сказать-то хотел?

525 Кб, 948x1250
97 1 июня 2020, 08:05 97 69548

Ну а если серьезно? Я смотрю, мнения обпучканных разделились. Модульный дед говорит, что гамалогии неконструктивны, какой-то хуй >>69532 утверждает обратное, грит хоть на бейсике можно сделать. Я лично сюда приносил ссылку на статью от создателей кока, там черным по белому написано что гамалогии в общем случае не чекаются в системе, в которой не прописан парадокс Жирара, а все что таки чекается, более-менее есть в UniMath. Ну так, что в итоге?

Ответы69554

98 1 июня 2020, 08:26 98 69549

>>69536
>Ты понимаешь что уже десятилетия существуют CAS системы для счета гомологий?
.. для счёта гомологий простейших комплексов, да. Математика у вас тут дальше Пуанкаре не двигается?
Тут вообще кто-нибудь в треде современную чистую математику в глаза видел? Тред уровня IQ тредов на форче, только актёры из хотт палаты.

Ответы69550

99 1 июня 2020, 08:30 99 69550

>>69549
> Тут вообще кто-нибудь в треде современную чистую математику в глаза видел?
-> >>69481

100 1 июня 2020, 10:18 100 69554

>>69548
Проблема в том, что тот, кто сильно шарит в гамалогиях не шарит в пруферах, коках и всём таком и наоборот. Нужно астрально с Воеводским связаться, чтобы он пояснил за всё.

Ответы69556

101 1 июня 2020, 10:56 101 69556

>>69554
> Проблема в том, что тот, кто сильно шарит в гамалогиях не шарит в пруферах, коках и всём таком
Это да.
> и наоборот.
А это нет. Я ж приводил в пример UniMath. Воеводский в этой тусовочке не единственный в гамалогиях шарил.

Ответы695576956569588

102 1 июня 2020, 11:00 102 69557

>>69556
>приводил пример
Так а толку, если этот пример непонятен большинству анонов.

103 1 июня 2020, 13:03 103 69565

>>69556
лол

104 1 июня 2020, 18:43 104 69588

>>69556
UniMath это неликвидное говно, блядь специалист тут нашелся

Ответы6958969593

105 1 июня 2020, 18:44 105 69589

>>69588
У одного гомологии неконструктивные, у второго UniMath оказывается еще актуален. Йобаные пидаро-черви.

Ответы69590

106 1 июня 2020, 18:44 106 69590

>>69589
На дваче нема с кем общаться. Все долбоебы.

107 1 июня 2020, 19:17 107 69593

>>69588
Ты что ли специалист? Чучела кусок.

Ответы69596

108 1 июня 2020, 19:35 108 69596

>>69593
Иди на UniMath унивалентность доказывай, долбоеб.

Ответы69619

109 2 июня 2020, 01:21 109 69619

>>69596
То есть, в твоём дырявом манямире факт недоказуемости аксиомы унивалентности в HoTT делает ее неактуальной?

Ответы6965569656

110 3 июня 2020, 01:04 110 69655

>>69619
тебе хотят объяснить что UniMath настолько аутдейтнутое говно, что в ней даже аксиома унивалентности недоказума.

Ответы69660

111 3 июня 2020, 01:05 111 69656

>>69619
манямирок тут у тебя один, двач

112 3 июня 2020, 04:29 112 69660

>>69655
Понятно, тут дебилы одни

Ответы6968069681

113 3 июня 2020, 19:07 113 69680

>>69660
ну дебил тут один ты, пушо UniMath написана на Coq, а Coq не является конструктивным прувером с аксиомой унивалентности, этим свойством обладают только кубические системы и HoTT пруверы на них построенные. Поэтому собирай остатки своего математического достоинства и упиздывай нахуй отседова, долбоебина второкультурная.

Ответы69691

114 3 июня 2020, 19:10 114 69681

>>69660
посцал тебе в рот

115 4 июня 2020, 02:28 115 69691

>>69680
> Coq не является конструктивным прувером
Хуйни не неси.
> с аксиомой унивалентности, этим свойством обладают только кубические системы и HoTT пруверы на них построенные
Мань, в кубической теории типов аксиома унивалентности доказуема конструктивно, и является теоремой, а не аксиомой. Я не зря говорю что ты дебил, смирись с медицинским фактом.

Ответы6969270075

116 4 июня 2020, 04:13 116 69692

>>69691
очевидный шизик, распарсать текст не может

117 14 июня 2020, 13:34 117 70075

>>69691
>Мань, в кубической теории типов аксиома унивалентности доказуема конструктивно, и является теоремой, а не аксиомой. Я не зря говорю что ты дебил, смирись с медицинским фактом.
Так в кубической теории, ебанашка, а не в Coq, Coq это не кубическая теория, а значит в UniMath унивалентность недоказуема.

118 20 июня 2020, 23:24 118 70367

Трёхмерный стрелок здесь?

Ответы70392

119 21 июня 2020, 16:27 119 70392

>>70367
*Топология - это НЕ всякие узелки, да красивые бутылочки Клейна.
НЕ, СУКА, НЕ, БЛЯДЬ!!!
НЕ ВСЯКИЕ УЗЕЛКИ
НЕ ВСЯКИЕ БУТЫЛОЧКИ
НЕ НЕ НЕ!!!!
НЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕЕ!!!!!!

120 21 дек 2020, 12:09 120 77912

Начал читать, половина треда ссылается на гомологии и Жерара (Жирара). Не могу нагуглить, где Жирар (Жерар) запрещает гомологиями заниматься. Реквестирую линк.

Ответы7791382148

121 21 дек 2020, 13:01 121 77913

>>77912
https://ru.m.wikipedia.org/wiki/Ломон,_Жерар

Ответы77917

122 21 дек 2020, 14:50 122 77917

>>77913
идиот. на этой странице ничего про гомологии нет.

Ответы77918

123 21 дек 2020, 14:53 123 77918

>>77917
Читай внимательно

124 9 апр 2021, 10:32 124 82147

Весёлый тред. Я поорал! Всем добра и непротиворечивых гамалогий.

125 9 апр 2021, 13:35 125 82148

>>77912
>гомологии и Жерара (Жирара)
Жежера де Пардье?

126 10 апр 2021, 13:20 126 82200

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

Ответы82221

127 10 апр 2021, 23:17 127 82221

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

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

Скачать тред только с превьюс превью и прикрепленными файлами

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

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