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

Тред Оснований №15 22 авг, 14:02 122825 В конец треда | Веб

566 Кб, 1000x568408 Кб, 690x8001,5 Мб, 1328x1328217 Кб, 770x485

Сегодня в НМУ на наших занятиях Шень
рассказывал студентам теорию множеств.
Студентов, как оказалось, весьма занимают
вопросы основания математики. В ходе оживленной
дискуссии выяснилось, что студенты не верят
в бесконечное. Студенты потебовали у Шеня
доказать, что бесконечное пересечение множеств
определено. Шень не сразу нашелся, что сказать.

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

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

Из ультрафинитизма можно получить много полезных
следствий, например опровергнуть теорему Геделя
о неполноте.

В России ультрафинитистов, кажется, нет, хотя
один из основателей секты - известный диссидент
Есенин-Вольпин, сын Есенина и внук, видимо,
Льва Толстого.

Предыдущий тред - https://2ch.hk/math/res/116183.html#116183 (М)

Ответы283528403006

23 Кб, 350x303
2 22 авг, 14:32 2 122827

Тред ещё не начался а конструктивного петуха уже обоссали не отходя от кассы.

3 22 авг, 17:36 3 122835

>>122825 (OP)
конструктух сосатб

4 23 авг, 04:34 4 122839

>>122821 →
> Где "там"? Ты высрал нерелвантную хуйню в виде огрызка кода, который крутится в фреймворке котор в свою очередь строится только с использованием индукции, что бы обосновать эту самую индукцию.
Покажи, где конкретно в агде "обосновывается индукция" и как она связана с кодом, определяющим натуральные числа.
> Это простейшее и очевидное рассуждение,
Для н-петуха.
> определяемое понятие (индукция) явно или неявно используется в метаязыке.
Не используется. Ты этого вообще никак не доказал.
> Разорвать этот замкнутый круг ты не можешь только кукарекаешь в ответ повторяя вопрос на который тебе уже ответили.
Нет никакого "замкнутого круга", ты эту хуйню прочитал успенского, кроме его статьи про это вообще нигде нет.

Ответы28412898

5 23 авг, 08:38 5 122840

>>122825 (OP)
Соевый петух Михуил, автор этой шизопасты, вообще-то признан экстремистом. Зачем тащить сюда его высеры 20+ летней давности? Я понимаю, что на этой помойке полно его поклонников, потому что вы такие же бесполезные соевые инцелы. В общем, перекат пидорский, делайте заново.

6 23 авг, 08:42 6 122841

>>122839
тебе необходимо озвучить мнение о нестандартных моделях

Ответы2842

7 23 авг, 09:11 7 122842

>>122841
> тебе необходимо
Нестандартного петуха забыл спросить о необходимости.

Ответы2843

8 23 авг, 09:14 8 122843

>>122842
как ты смешно избегаешь неудобные вопросы

sage 9 23 авг, 09:16 9 122844

В общем, перекатывайте нормально, без паст Михуила Дырявого. Через неделю приду проверю. А пока не вижу смысла "спорить" с шизой из головы н-петуха и прочих местных клоунов.
/тред

Ответы284528642880

10 23 авг, 09:17 10 122845

>>122844
конструктуху не дали насрать своей шизой в шапку, и тот порвался

566 Кб, 1000x568
11 24 авг, 19:36 11 122864

>>122844
Терпи. Я тебя просил два треда подряд мою картинку в шапку вставить, а ты проигнорил.

Если на неё нужно ещё что-то добавить, то пишите, добавлю.

12 25 авг, 14:39 12 122880

>>122844
Хуясе, самый опущенный среди всех петухов тут ещё условия ставит? Ты часом не охуел, конструшок?

13 26 авг, 09:29 13 122898

>>122839
>Покажи, где конкретно в агде "обосновывается индукция" и как она связана с кодом, определяющим натуральные числ

Одноклеточный дебил, иди читай построение своей агды, если ты его действительно читал а не постишь рандомную хуету которую не понимаешь может и найдешь.
Ты совсем что ли охуел, типа ты мне будешь рандомно нерелевантную ссылку кидать а я за тебя перелопачивать тонный кала, тем более ты необучаемый ГСМ петух и на тебя математические доводы всё равно не подействуют.

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

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

>Нет никакого "замкнутого круга"
Есть, причем во всех попытках. И его не может не быть

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

Ответы3003

14 2 сен, 16:57 14 122989

Конструшка в очередной раз опустили, на полгода пятака в треде не покажет.

Ответы2991

15 2 сен, 17:37 15 122991

>>122989
а жаль, он смешной

16 3 сен, 16:09 16 123003

@NeuroRequest
Persona = Dvacher-V1
ResponseTo = >>122898
Объясни автору указанного поста, почему он тупой и ничего не понимает в математике.

Ответы3009

17 4 сен, 00:33 17 123006

>>122825 (OP)
>Основания математики вообще не относятся
к математике, а лежат где-то в промежутке между
философией и метафизикой.
Согласен, и при этом математика крайне полезная штука, помогает строить самолёты, космические корабли, крч строить всё вокруг предсказывать затмения, создавать нейросети и т.п.

А есть ли ещё столь же полезные приложения философии? Другие всм

Ответы300730083010

18 4 сен, 00:35 18 123007

>>123006
Прошу прощения, с разметкой проебался, да

19 4 сен, 06:50 19 123008

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

20 4 сен, 09:36 20 123009

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

21 4 сен, 09:40 21 123010

>>123006
>к математике, а лежат где-то в промежутке между
>философией и метафизикой.
Кто сказал? В математике любое понятие либо строго определяется (редуцируется к более простым) либо признаётся исходным неопределяемым. А филисофия это уже так, лирика.

Ответы30153016

22 4 сен, 21:23 22 123015

>>123010
> либо признаётся исходным неопределяемым
Нет ни в одном человеческом языке ни одного "исходного неопределяемого понятия", шизло ты ебомое. Откуда оно "исходит"-то, манды кусок? Один еблантий херню высрал, а другой за ним доел. Дегенераты

Ответы30203023

23 4 сен, 21:24 23 123016

>>123010
> Кто сказал?
Михуил Петух сказал. Это его говнопаста.

Ответы3023

24 5 сен, 07:48 24 123020

>>123015
дай определение множества

Ответы3021

25 5 сен, 07:58 25 123021

>>123020
> дай определение множества
Дай определение определению. А потом определение определению определения итд. Реально дауны.

Ответы3022

26 5 сен, 09:01 26 123022

>>123021
хули сливаешься сразу?

27 5 сен, 12:09 27 123023

>>123015
Наёбыш сифозной шалавы и отряда чурбанов, то что ты ГСМ дебил выяснили выше, зачем было уточнять? При чём тут естественный язык, дураку понятно он противоречив, не является строгим, точным, не выражает четкие понятия и т.п., если ты на нём строишь математику, поздравляю, ты просто сказочный ДОЛБОЁБ. Очередное подтверждение что конструшок это ебанько с филфака не имеющее отношение к математике.

>>123016
Ты бы ещё шизопасты уёбка сохацкого принёс.

Ответы3034

28 6 сен, 01:57 28 123034

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

Обновить тред

« /math/В начало тредаВеб-версияНастройки

/a//b//mu//s//vg/Все доски

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

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

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