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

65 Кб, 1137x717
Математеки знаете такой труд уатхейда и рассела "принципы математики"? Или он только у нас на филосо 29 сен 2023, 10:51 109141 В конец треда | Веб

Математеки знаете такой труд уатхейда и рассела "принципы математики"? Или он только у нас на философском упоминается? Насколько актуальна книга?

Ответы142143

75 Кб, 610x788
2 29 сен 2023, 11:52 2 109142

>>109141 (OP)
Хуевая теория типов которая изначально была слабее аксиоматики Цермело и нахуй не нужная ни тараканам, ни прикладникам ни кульным математикам. Как только появилось типизированное лямбда исчисление Чёрча, всё это говно окончательно превратилось в тыкву (логицизм стал тыквой ещё раньше когда Гёдель показал не всемогущесть логики предикатов). Современные смузихлебы сейчас вообще угарают по теории типов Лефа. Есть такой вот гига тараканий прикл, вообще страшно это шизу открывать. И да, NF Куайна тоже было обоссано тугой струёй мочи. Вся ваша "аналитическая философия" - это сборище неудачников.

Ответы143144148149

468 Кб, 950x536
3 29 сен 2023, 12:04 3 109143

>>109141 (OP)
>>109142
Вижу конструктивного петуха накормили говном в его загоне и теперь он сменил тактику.
Поссал на петуха.

Ответы147

4 29 сен 2023, 12:27 4 109144

>>109142
Это вам где такое рассказывают?

5 29 сен 2023, 14:58 5 109147

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

6 29 сен 2023, 15:40 6 109148

>>109142
> всё это говно окончательно превратилось в тыкву (логицизм стал тыквой ещё раньше когда Гёдель показал не всемогущесть логики предикатов).
Почему-то не принято считать, а уж тем более писать, что из-за этого события (а так же доказательства Тьюрингом неразрешимости проблемы останова) в тыкву превратился так же и формализм именно как основания (я имею в виду три основных направлений в основаниях - логицизм, формализм и интуиционизм). А вот то, что у тебя на картинке, как раз живее всех живых в плане именно оснований.

7 29 сен 2023, 15:47 7 109149

>>109142
>Гёдель показал не всемогущесть логики предикатов
Что ты несёшь?

8 29 сен 2023, 16:40 8 109151

Мне кажется тут только сумасшедшие основаниями увлекаются и те кто реально в них шарят ничего не пишут. База/соглы?

Ответы164169

9 29 сен 2023, 22:38 9 109164

>>109151
Весь стакэксченж завален тонкими вопросами о биекциях полуинтервалов в R, тонкими конструкциями N через пересечение индуктивных подмножеств R, выводом простейших свойств из аксиом Пеано и т.д. и т.п. Авторы вопросов - студенты факультетов философии, экономики, программной инженерии, физики, прикладной математики.
Все потому, что в первом семестре 1го курса вскользь затрагивают ZFC на 1 лекции по калькулюсу/алгебре. У малолетнего долбоеба с ЧСВ до небес от слов основания/фундамент/база возникает цель во что бы то ни стало это познать, ведь как можно двигаться дальше, если не усвоил так называемые "основы". Поскольку основания объективно сложны(расписать явно композицию 4х биекций, отследить где использовал какую аксиому, теорему, двойные отрицания, проверить конкретные образы, прообразы), то у глупого студента происходит reality check, он ничерта не понимает в этой белиберде, ничего не может запомнить в этой игре в бисер. Далее он либо забивает на это и начинает учиться, собственно, математике, математике гораздо проще оснований, либо проявляются симптомы ОКР и дебил превращается в N-петуха без шансов на излечение. ИМХО, конечно же.

10 29 сен 2023, 23:13 10 109169

>>109151
Конкретно в /math - да. Собственно, какой нормальный разговор может быть, если один из участников 24/7 шитпостит в прямом смысле? В маттреде /sci такого не было, а как завели отдельную доску, так и началось.

11 30 сен 2023, 06:32 11 109173

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

Ответы174176177

12 30 сен 2023, 07:01 12 109174

>>109173
Здесь стоит обратить внимание на такую вещь, что все языки имеют такое свойство, что они контекстуальны. Это выражается в том, что чтобы адекватно пользоваться языком, мы всегда должны опираться на множество пресуппозиций, умолчаний и скоращений, которые никогда не проговариваются, но подразумевается. Разумеется, не факт, что они всеми одинаково подразумеваются, но мы не можем никак это ограничение обойти. Иначе нам будет затруднительно передать даже самое простое сообщение своему собеседнику, потому что вслух надо будет проговорить такое количество умолчаний, что само сообщение в них потеряется. И математический язык в этом отношении не исключение. Математики не пытаются все свои умолчания проговорить вслух не потому что они тупые или что-то не понимают, а потому что иначе они будут только этим и заниматься.

13 30 сен 2023, 13:52 13 109176

>>109173
> насколько важна книга для математики и "основ математики"
Историческая ценность имеется. Что-то получило дальнейшее развитие, что-то нет.
> поменялось бы что-либо в науке если бы рассел со своим другом предпочли бы написанию это книги, игру в гольф или отжимания?
Да.

14 30 сен 2023, 15:28 14 109177

>>109173
>насколько важна книга для математики
Абсолютно не важна.
>поменялось бы что-либо в науке
Нет.

Ответы179

15 30 сен 2023, 17:35 15 109179

>>109177
>Абсолютно не важна.
почему? кто тебе сказал?

вот например описание книги из паблика нму:
Трехтомная монография А. Уайтхеда и Б. Рассела “Principia Mathematica” занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. “Principia Mathematica” по праву считается одним из самых ярких сочинений по основаниям математики и, в широком смысле, – выдающимся вкладом в интеллектуальную сферу прошедшего столетия. Не будет преувеличением сказать, что по прошествии почти целого столетия с момента первого издания этой монографии интерес к ней не ослабевает и “Principia Mathematica” до сих пор продолжает оказывать весьма существенное влияние на развитие математики и логики.

Ответы180181

16 30 сен 2023, 19:08 16 109180

>>109179
> почему? кто тебе сказал?
Голоса в голове. Это сектант, верует что математика это только гамалогии и все.

Ответы185

17 30 сен 2023, 19:53 17 109181

>>109179
>почему? кто тебе сказал?
Любой современный учебник математики и тем более любая современная статья? Прямых библиографических ссылок на Принципию нет нигде. И если прочитать некоторое количество математической литературы, то станет наглядно очевидным полное расхождение текстов - тематическое, стилистическое и т.п. Даже банально нотация не совпадает.

Действительно важные книги, такие как Алгебра Артина, выдержали кучу реинкарнаций (учебники алгебры ван дер Вардена, МакЛейна, Лэнга - модификация этой книжки, как и необозримое множество менее известных косплееров). Из современных Расселлу авторов, близких по тематике, можно отметить Хаусдорфа, чьё изложение теории множеств несомненно является дефолтным даже сейчас (выбранные топики, базовые понятия; "наивная теория множеств" есть по существу книжка Хаусдорфа), несмотря на изменение и языка, и нотации.

Расселл ничего подобного не достиг даже близко.

18 30 сен 2023, 22:30 18 109185

>>109180
Ну и, в общем, да. Математика, которая именно математика, - это алгебраическая геометрия.

Ответы190

19 1 окт 2023, 07:05 19 109190

64 Кб, 1022x220208 Кб, 799x694

>>109185
> Ну и, в общем, да. Математика, которая именно математика, - это алгебраическая геометрия.
Ага, и она конечно же, в воздухе висит, на дереве выросла, а потом вжух, и нашел дурачок в лесу пучок. Вот только проблема Уайтхеда (и неизвестное количество других, подобных или нет) доказывает то, что непротиворечивость гамалогий недоказуема в них самих, и вот тут как раз тот случай, о котором не в тему кукарекает N-петух - нужна метатеория, в котором представимы гамалогии, хотя бы для того чтобы как минимум, определить границы применимости. И такие инструменты существуют, например, стек де Рама - Черубини - Шрайбера в спектральной категории формальных мов. Но сектантам неинтересно.

Ответы213

20 2 окт 2023, 08:47 20 109213

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

Ответы215

21 2 окт 2023, 09:14 21 109215

>>109213
Без доказательств непротиворечивости гамалогий, все результаты, полученные с их использованием - художественная литература. Без возможности доказать такую непротиворечивость в самих гамалогиях нет ни одной причины считать, что они "подвешены в воздухе" из-за очевидной зависимости от других теорий. Это то же самое, что упорно доказывать что-то в Idris2, а потом прочитать на гитхабе, что кумулятивной иерархии не завезли, и все ваши "доказательства" не то чтобы превратились в тыкву, а всегда тыквой и были, по определению. Можно игнорировать этот факт, но это уже называется манямир, а не математика.

Ответы217

22 2 окт 2023, 09:54 22 109217

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

Ответы219

23 2 окт 2023, 10:30 23 109219

>>109217
> С точки зрения необразованного долбоёба вроде тебя - безусловно.
N-петух ты там или ещё какой еблан наподобие, все равно должен понимать, даже если твоя цель просто хоть что-то "возразить", что математика это доказательство, если нет доказательства, нет и математики как явления.

42 Кб, 1200x800
24 2 окт 2023, 12:28 24 109222

Внимание анонам! В треде орудует КОНСТРУКТИВНЫЙ ПЕТУХ! сбежавший из своего загона об основаниях. Даже не пытайтесь вести с этим невменяемым ебанатом конструктивный диалог - это абсолютно бесполезно, десять тредов оснований - пруф. Можете разве что поссать или посрать на петуха для острастки если хочется.

Ответы224225

25 2 окт 2023, 12:46 25 109224

>>109222
Ладно. Немного посрал на конструктивного петуха.
https://www.tiktok.com/@vladtxn/video/7062686511199685890
На видео конструктивный петух утопает в основаниях.

Ответы225

141 Кб, 907x1036
26 2 окт 2023, 12:51 26 109225

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

Ответы226

91 Кб, 311x162
27 2 окт 2023, 13:09 27 109226

>>109225
>тирег на тикток
Это был байт на щитпост-картинку с зумером и ты повёлся на него, как дешевка, коей ты и являешься, конструктивный петух. Посрал на тебя ещё раз, обтекай.

Ответы227230

28 2 окт 2023, 13:10 28 109227

>>109226
>тирег
*тригер

Ответы230

29 2 окт 2023, 13:23 29 109230

>>109226
>>109227
> N-петух не попадает по кнопкам
Кроме тряски и тиктака ты ни на что и не способен. Свои маняаргументы ты все просрал, кроме тупого кукареканья в надежде кого-то оскорбить, ты не можешь ничего, лох без задач с отрицательным интеллектом школотрона. Ты и на этот пост что-то прокукарекаешь из-за своей школьной уверенности в том, что прав тот, кто последний пукнул. Такой тут даунятник развели, ну вы и дебилы...

Ответы231

30 2 окт 2023, 13:33 30 109231

>>109230
Как же ты тебе горит. А чего в этот картинку с зумером не прикрепил? Ещё раз посрал на тебя.

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

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

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

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