Математеки знаете такой труд уатхейда и рассела "принципы математики"? Или он только у нас на филосо
Аноним
29/09/23 Птн 10:51:11
№
1
Хуевая теория типов которая изначально была слабее аксиоматики Цермело и нахуй не нужная ни тараканам, ни прикладникам ни кульным математикам. Как только появилось типизированное лямбда исчисление Чёрча, всё это говно окончательно превратилось в тыкву (логицизм стал тыквой ещё раньше когда Гёдель показал не всемогущесть логики предикатов). Современные смузихлебы сейчас вообще угарают по теории типов Лефа. Есть такой вот гига тараканий прикл, вообще страшно это шизу открывать. И да, NF Куайна тоже было обоссано тугой струёй мочи. Вся ваша "аналитическая философия" - это сборище неудачников.
>>109142
Вижу конструктивного петуха накормили говном в его загоне и теперь он сменил тактику.
Поссал на петуха.
я понимаю что ты двачер
но можешь воздержать от процедуры дефикации и мочеиспускания хотя бы во время диалога
> всё это говно окончательно превратилось в тыкву (логицизм стал тыквой ещё раньше когда Гёдель показал не всемогущесть логики предикатов).
Почему-то не принято считать, а уж тем более писать, что из-за этого события (а так же доказательства Тьюрингом неразрешимости проблемы останова) в тыкву превратился так же и формализм именно как основания (я имею в виду три основных направлений в основаниях - логицизм, формализм и интуиционизм). А вот то, что у тебя на картинке, как раз живее всех живых в плане именно оснований.
>Гёдель показал не всемогущесть логики предикатов
Что ты несёшь?
Весь стакэксченж завален тонкими вопросами о биекциях полуинтервалов в R, тонкими конструкциями N через пересечение индуктивных подмножеств R, выводом простейших свойств из аксиом Пеано и т.д. и т.п. Авторы вопросов - студенты факультетов философии, экономики, программной инженерии, физики, прикладной математики.
Все потому, что в первом семестре 1го курса вскользь затрагивают ZFC на 1 лекции по калькулюсу/алгебре. У малолетнего долбоеба с ЧСВ до небес от слов основания/фундамент/база возникает цель во что бы то ни стало это познать, ведь как можно двигаться дальше, если не усвоил так называемые "основы". Поскольку основания объективно сложны(расписать явно композицию 4х биекций, отследить где использовал какую аксиому, теорему, двойные отрицания, проверить конкретные образы, прообразы), то у глупого студента происходит reality check, он ничерта не понимает в этой белиберде, ничего не может запомнить в этой игре в бисер. Далее он либо забивает на это и начинает учиться, собственно, математике, математике гораздо проще оснований, либо проявляются симптомы ОКР и дебил превращается в N-петуха без шансов на излечение. ИМХО, конечно же.
Конкретно в /math - да. Собственно, какой нормальный разговор может быть, если один из участников 24/7 шитпостит в прямом смысле? В маттреде /sci такого не было, а как завели отдельную доску, так и началось.
насколько важна книга для математики и "основ математики"
поменялось бы что-либо в науке если бы рассел со своим другом предпочли бы написанию это книги, игру в гольф или отжимания?
Здесь стоит обратить внимание на такую вещь, что все языки имеют такое свойство, что они контекстуальны. Это выражается в том, что чтобы адекватно пользоваться языком, мы всегда должны опираться на множество пресуппозиций, умолчаний и скоращений, которые никогда не проговариваются, но подразумевается. Разумеется, не факт, что они всеми одинаково подразумеваются, но мы не можем никак это ограничение обойти. Иначе нам будет затруднительно передать даже самое простое сообщение своему собеседнику, потому что вслух надо будет проговорить такое количество умолчаний, что само сообщение в них потеряется. И математический язык в этом отношении не исключение. Математики не пытаются все свои умолчания проговорить вслух не потому что они тупые или что-то не понимают, а потому что иначе они будут только этим и заниматься.
> насколько важна книга для математики и "основ математики"
Историческая ценность имеется. Что-то получило дальнейшее развитие, что-то нет.
> поменялось бы что-либо в науке если бы рассел со своим другом предпочли бы написанию это книги, игру в гольф или отжимания?
Да.
>насколько важна книга для математики
Абсолютно не важна.
>поменялось бы что-либо в науке
Нет.
>Абсолютно не важна.
почему? кто тебе сказал?
вот например описание книги из паблика нму:
Трехтомная монография А. Уайтхеда и Б. Рассела “Principia Mathematica” занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910–1913 гг. в трех томах, составлявших вместе почти 2000 страниц. “Principia Mathematica” по праву считается одним из самых ярких сочинений по основаниям математики и, в широком смысле, – выдающимся вкладом в интеллектуальную сферу прошедшего столетия. Не будет преувеличением сказать, что по прошествии почти целого столетия с момента первого издания этой монографии интерес к ней не ослабевает и “Principia Mathematica” до сих пор продолжает оказывать весьма существенное влияние на развитие математики и логики.
> почему? кто тебе сказал?
Голоса в голове. Это сектант, верует что математика это только гамалогии и все.
>почему? кто тебе сказал?
Любой современный учебник математики и тем более любая современная статья? Прямых библиографических ссылок на Принципию нет нигде. И если прочитать некоторое количество математической литературы, то станет наглядно очевидным полное расхождение текстов - тематическое, стилистическое и т.п. Даже банально нотация не совпадает.
Действительно важные книги, такие как Алгебра Артина, выдержали кучу реинкарнаций (учебники алгебры ван дер Вардена, МакЛейна, Лэнга - модификация этой книжки, как и необозримое множество менее известных косплееров). Из современных Расселлу авторов, близких по тематике, можно отметить Хаусдорфа, чьё изложение теории множеств несомненно является дефолтным даже сейчас (выбранные топики, базовые понятия; "наивная теория множеств" есть по существу книжка Хаусдорфа), несмотря на изменение и языка, и нотации.
Расселл ничего подобного не достиг даже близко.
Ну и, в общем, да. Математика, которая именно математика, - это алгебраическая геометрия.
> Ну и, в общем, да. Математика, которая именно математика, - это алгебраическая геометрия.
Ага, и она конечно же, в воздухе висит, на дереве выросла, а потом вжух, и нашел дурачок в лесу пучок. Вот только проблема Уайтхеда (и неизвестное количество других, подобных или нет) доказывает то, что непротиворечивость гамалогий недоказуема в них самих, и вот тут как раз тот случай, о котором не в тему кукарекает N-петух - нужна метатеория, в котором представимы гамалогии, хотя бы для того чтобы как минимум, определить границы применимости. И такие инструменты существуют, например, стек де Рама - Черубини - Шрайбера в спектральной категории формальных мов. Но сектантам неинтересно.
>непротиворечивость гамалогий недоказуема в них самих
Да всем похуй же. То, что ты этого не понимаешь, просто раскрывает тот факт, что ты этих разделов даже не касался. То есть ты либо школьник\первокурсник, либо не математик вообще. В любом случае, твоё мнение никого не интересует. Иди обратно в свой загон для псевдоинтеллектуалов тред оснований.
Без доказательств непротиворечивости гамалогий, все результаты, полученные с их использованием - художественная литература. Без возможности доказать такую непротиворечивость в самих гамалогиях нет ни одной причины считать, что они "подвешены в воздухе" из-за очевидной зависимости от других теорий. Это то же самое, что упорно доказывать что-то в Idris2, а потом прочитать на гитхабе, что кумулятивной иерархии не завезли, и все ваши "доказательства" не то чтобы превратились в тыкву, а всегда тыквой и были, по определению. Можно игнорировать этот факт, но это уже называется манямир, а не математика.
>Без доказательств непротиворечивости гамалогий, все результаты, полученные с их использованием - художественная литература.
С точки зрения необразованного долбоёба вроде тебя - безусловно.
> С точки зрения необразованного долбоёба вроде тебя - безусловно.
N-петух ты там или ещё какой еблан наподобие, все равно должен понимать, даже если твоя цель просто хоть что-то "возразить", что математика это доказательство, если нет доказательства, нет и математики как явления.
Ладно. Немного посрал на конструктивного петуха.
https://www.tiktok.com/@vladtxn/video/7062686511199685890
На видео конструктивный петух утопает в основаниях.
>>109224
> тиктак
Я давно говорил, что это твой максимум, мозгов у тебя нет. Если бы ты ещё за пределами тиктака не срал, вообще хорошо было бы. Но вы, пердежи, к сожалению, пердежируете везде, откуда вас ссаными тряпками не гонят.
>тирег на тикток
Это был байт на щитпост-картинку с зумером и ты повёлся на него, как дешевка, коей ты и являешься, конструктивный петух. Посрал на тебя ещё раз, обтекай.
>>109227
> N-петух не попадает по кнопкам
Кроме тряски и тиктака ты ни на что и не способен. Свои маняаргументы ты все просрал, кроме тупого кукареканья в надежде кого-то оскорбить, ты не можешь ничего, лох без задач с отрицательным интеллектом школотрона. Ты и на этот пост что-то прокукарекаешь из-за своей школьной уверенности в том, что прав тот, кто последний пукнул. Такой тут даунятник развели, ну вы и дебилы...