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

Этого треда уже нет.
Это копия, сохраненная 25 марта 2025 года.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

838 Кб, 540x540
Философия математики для начинающих 3 — в поисках содержательной математики 1 дек 2017, 15:59 29692 В конец треда | Веб

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

(Оп знает, что он очень тупой и безнадёжный, лучше не тратьте время на то, чтобы лишний раз его в этом убедить)

1.Существует дисциплина «основания математики», которая вызывает скепсис у многих математиков.
2.Дисциплина «Основания математики» пытается установить такие общие правила математики, которые будут гарантировать её непротиворечивость. Так же эта дисциплина пытается найти какие-то философские интерпретации математического творчества, но зачем это делать — не понятно. Совершенно не ясно, например, зачем серьёзным людям нужен платонизм, неоплатонизм и т.п., ведь это просто некие образные системы.
3.Есть несколько школ математико-философской мысли, они взаимодействуют сложным образом. Среди школ, пытающихся обосновать математику, есть семейство конструктивистских школ, родственное семейству интуиционизма. Есть финитизм, ультрафинитизм, фикционализм и много чего ещё.
4.Не существует какого-либо течения мысли, которое выступает за отмену попыток обосновать математику. Однако, многие математики со скепсисом относятся к этим попыткам.
5.В прошлом треде проскакивал термин «содержательная математика». Пока не очень понятно, что это такое, но создаётся впечатление, что этот термин как бы вводит антагонизм между «ограничительными» системами, которые убирают из математики некоторые инструменты, и некой «свободой математического творчества». Подразумевается, что настоящий математик занимается содержательной математикой, а математический задрот ищет, чтобы ещё запретить, чтобы основания не расшатались.
6.Нет какого-то очерченного представления о содержательной математике, но, насколько я понял, для «настоящих, творческих» математиков (которых большинство среди активных математиков) наиболее важно богатство правил вывода, а не непротиворечивость систем.
7.Вопрос о непротиворечивости системы такими математиками тоже решается, но второстепенно и не в первую очередь. В первую очередь идёт построение новых связей, новых пластов математического языка.
8.По выражению Романа Михайлова, существуют языковые математики и практики. И те и другие, судя по всему, имеют отношение к «содержательной математике», а не к «основаниям».
9.Видимо, «основаниями» занимаются разрозненные маргинальные группы интеллектуальных агрессоров. Инструментарий таких групп состоит из размытых диссертаций и монографий. В треде высказывались даже теории, что «основания» — это такой дополнительный повод распилить универских денег в струе междисциплинарных и не слишком прозрачных постмодернистских исследований. Типа как афера Сокала, но против математики.
10.Языковые математики делают математику богаче и сложнее, увеличивают количество ассоциативных связей и структур, а практики находят хитрые применения некоторым кускам этого богатства, а так же формулируют новые задачи. И те и другие — соль земли.
11.Конструктивисты требуют, чтобы каждый объект в доказательстве мог быть построен за конечное число шагов. Доказательство тоже должно совершаться за конечное число шагов. Если его нельзя реализовать на машине Тьюринга — то его нельзя реализовать вообще.
12.Для конструктивиста такие сущности как «актуальная бесконечность» являются не более чем языковыми химерами. Для математика же нет сомнения, что оперируя такими понятиями, он оперирует чем-то «содержательным», т.е. несущим конкретный смысл, чем-то отдельным по своим качествам от других вещей.
13.В некотором смысле, деятельность математика является магией: он ворочает вещами, которые при детальном рассмотрении трудно формализовать на любом языке, но если не всматриваться, их «суть» понятна в самом процессе взаимодействия, понятно различие объектов относительно друг друга.
14.Сторонники конструктивизма часто нервные люди.
15.Конструктивисты пытаются как бы стать на позицию вне математики и сказать «посмотрите, вы неправильно пользуетесь языком, не осознавая, что это лишь язык, и у него свои ограничения!» При это, сама по себе позиция конструктивистов у содержательных математиков вызывает те же сомнения по тем же причинам.
16.При пристальном рассмотрении любой системы может показаться, что её и нет. Таковы свойства «пристальных рассмотрений».

Вопросы для рассмотрения:
Как очертить «содержательную математику»?
Что нужно знать и делать, чтобы ей заниматься?
Что будет, если повсеместно все математики согласятся с самыми радикальными идеями конструктивизма и примут его в своём творчестве? Как будет тогда выглядеть математика?
Могут ли все школы "оснований" быть верными одновременно, или нужно выбрать одну? Тогда какую?

Ответы2969329721297232978730903

2 1 дек 2017, 16:01 2 29693

>>29692 (OP)
Прошлые треды:
>>26720 (OP)
>>28470 (OP)

На архиваче:
https://arhivach.org/thread/312559/
https://arhivach.org/thread/318315/

3 1 дек 2017, 22:21 3 29721

>>26720 (OP)
>Философия математики для начинающих 1 (добротред эдишен)
>>28470 (OP)
>Философия математики для начинающих 0 (мистик эдишен) Аноним
>>29692 (OP)
>Философия математики для начинающих 3 — в поисках содержательной математики
А второй тред где? Почему сразу на третий перекат?

Ответы29724

4 1 дек 2017, 22:35 4 29723

>>29692 (OP)
>Как очертить «содержательную математику»?
Содержательный значит богатый, плодовитый, если ты вводишь какую-то структуру и это структура имеет три или больше содержательных примера, то её стоит изучать. Если же ты вводишь структуру, и ничего интересного не происходит, то и изучать там нечего.
>Что нужно знать и делать, чтобы ей заниматься?
Зависит от того, что тебе интересно.
>Что будет, если повсеместно все математики согласятся с самыми радикальными идеями конструктивизма и примут его в своём творчестве? Как будет тогда выглядеть математика?
Как конструктивизм, наверное.
>Могут ли все школы "оснований" быть верными одновременно, или нужно выбрать одну? Тогда какую?
Которая тебе больше по душе.

Ответы29725

5 1 дек 2017, 22:43 5 29724

>>29721
>А второй тред где? Почему сразу на третий перекат?
Нулевой и был второй.

Ответы29733

6 1 дек 2017, 22:44 6 29725

>>29723
>Если же ты вводишь структуру
То есть, математика — это структурализм, бурбакизм?

Ответы2972929730

7 1 дек 2017, 23:00 7 29729

>>29725
Я не знаю, что такое математика.

8 1 дек 2017, 23:04 8 29730

>>29725
Структурализм (и бурбакизм) это математика 1860-1940-х, то есть от абстрактной алгебры и до распространения теории категорий.
В теории категорий изучается скорее "тип", можно взять циклическую группу как категорию с одним объектом, у которого все морфизмы это изоморфизмы, и тогда все аксиомы группы вытекают из определения категории.
Вопрос "изоморфны ли две структуры?" имеет с категорной точки зрения столько же смысла, как вопрос "равны ли два числа?".
Так что алгебра значительно шире, чем структурализм Бурбаков и Андре Вейля в частности, много упустившего из-за своей философии (определение схемы хотя бы, первый шаг из трех он сделал, но дальше идти отказался).

Ответы29745

9 1 дек 2017, 23:46 9 29733

>>29724
Нумерация проёбана.

Ответы2974829757

10 2 дек 2017, 02:04 10 29745

>>29730
Бурбаки с того света продолжает писать книги. В них есть теория категорий (в версии Бурбаки) и другие современные вещи. Очередной том вышел в прошлом году. http://www.springer.com/fr/book/9783662493601

Ответы29756

11 2 дек 2017, 04:00 11 29748

>>29733
Цифры вторичны. настоящий математик видит не значки чисел, а сущности за ними.

12 2 дек 2017, 09:23 12 29756

>>29745
Том по гомодогической алгебре вышел еще в 87-м, одновременно с Гельфандом-Маниным, iirc.

13 2 дек 2017, 09:42 13 29757

>>29733
У нас тут два тред-стартера (как минимум). Видно этот любит создавать нечетные треды. Ничего, следующий тред будет четным, №2.

71 Кб, 850x400
14 2 дек 2017, 13:14 14 29787

>>29692 (OP)
Проиграл с некоторых пунктов, в целом же - та еще каша.
>Могут ли все школы "оснований" быть верными одновременно,
Есть мнение, что могут. И я даже пытался тут пояснить за соображения, из которых это следует. Релятивизм Маннури, его же теория 5 уровней языка и его же подход к основаниям с позиции т.н. сигнифики. Но в трех словах за это пояснить невозможно, а при попытке сколько-либо развернуть тезисы начинает гореть (((миша))), кукарекая, что все это не гамалогии, эрго и не математика, а Маннури - петух. В любом случае, любая предметная область начинается собственно с понятия предмета, математика - не исключение. Нельзя заниматься тем, хуй знает чем, например, без внятного определения математического объекта нельзя заниматься математикой. А поскольку математика - это деятельность человека, то мы приходим к пикрелейтед соображению.

Ответы29788297892979029839

15 2 дек 2017, 13:46 15 29788

>>29787
Миша за твой релятивизм Маннури пояснил уже давно у себя на сайте:
http://imperium.lenin.ru/LENIN/19lmdg/19lmdg.html

Ответы29792

16 2 дек 2017, 13:55 16 29789

>>29787
>Нельзя заниматься тем, хуй знает чем, например, без внятного определения математического объекта нельзя заниматься математикой
Именно поэтому в древней Греции и не было математики, там в основном ей занимались философы, исходящие из таких же соображений. Вывод: философов к науке подпускать нельзя.
Нельзя познать какой-либо части вселенной, не познав её целиком; прежде чем начать заниматься практической деятельностью, необходимо выписать все определения, и т.д., и т.п. В итоге вместо деятельности один пердеж.

17 2 дек 2017, 14:16 17 29790

>>29787
Объект это неопределяемое понятие.
Тоже, что и точка.
Это одновременно нулевой-морфизм и категория.
Оно отображает своё название (себя) в свои свойства(морфизмы).
Говорят об объекте, когда не хотят выделять морфизмы, называя неопределенное нечто, чем-то.
Кстати, морфизмы тоже неопределимы.

Ответы2979129792

18 2 дек 2017, 14:20 18 29791

>>29790
Должны же быть изначальные объекты.
Это аксиомы.
Значит, истинный объект — аксиома.
А все остальные — множества морфизмов.
Дискасс.

Ответы297922979329812

19 2 дек 2017, 14:32 19 29792

>>29791
Для религии норм. Для математики аксиомы не нужны, пример - тот же Брауэр.
>>29788
Эта хуйня ничего общего не имеет с тем, о чем я говорю. Впрочем, для миши разница действительно неочевидна.
>>29790
>Объект это неопределяемое понятие.
И это после того, как тут сто раз говорилось об определениях математического объекта от Брауэра до Мартин-Лёфа. Все-таки мейлру есть мейлру.

Ответы297942979529840

20 2 дек 2017, 14:32 20 29793

>>29791
Все остальные — категории.
Другими словами, если рассмотреть замкнутую систему множества[топоса]
Фрукты := {яблоки, груши, бананы}
То "яблоки", "груши", " бананы" можно рассматривать как аксиомы или истинные объекты.
Но, если система открыта.
Т.е видя слово "яблоко", мы можем предполагать, что оно " вероятно сьедобно", что оно "вероятно не чёрного цвета", и введена модальная логика[мы можем рассматривать что-то, как " вероятностное", то яблоко не является объектом.
Но можно ещё ссыляться на саму дефиницию. "Плод яблони", "служит сырьем в кулинирии". То это не объект.

21 2 дек 2017, 14:37 21 29794

>>29792
Они есть всегда, просто ты не формализируешь, а говоришь "очевидно".

Ответы29796

22 2 дек 2017, 14:39 22 29795

>>29792
Я не во всех тредах был, чтобы узнать определение обьекта.
Но как там определяют? Как печень свойств + отношение к математики? Это же можно назвать категорией. Объект — категория?
Значит объект содержит другие объекты и так до бесконечности?

23 2 дек 2017, 14:49 23 29796

>>29794
>Они есть всегда, просто ты не формализируешь, а говоришь "очевидно".
Я не говорил про "очевидно", как никогда не ссылался на "самоочевидность" и Брауэр, у него нет ничего подобного, он и слов таких не употреблял в своих работах. Однако, все, в т.ч. и бурбаки, почму-то в упор этого не видят, а неосилив, приписывают Брауэру свое понимание вопроса.

Ответы29803

24 2 дек 2017, 15:15 24 29803

>>29796
Есть два варианта, либо отрицания аксиоматики и провозглашение очевидности, либо формализм и согласованность аксиоматики.

Если наличествует отрицание требований к аксиоматике, то автоматически отсутствия формализма и провозглашение очевидности.

Ответы2980529808

25 2 дек 2017, 15:18 25 29805

>>29803
Демагогия простая.

48 Кб, 640x398
26 2 дек 2017, 15:31 26 29808

>>29803

27 2 дек 2017, 15:54 27 29812

>>29791
>Должны же быть изначальные объекты.
С хуя ли? В смысле, мне тоже этого хочется, как и всем. Только жизнь, похоже устроена так, что когда ты отделяешь "изначальный" объект от "неизначального" посредством <Должны же быть изначальные объекты>, то, оказывается, ничто не мешает применить <Должны же быть изначальные объекты> к "изначальному" и получить новый "изначальный". Но тогда какой же это изначальный?

Ответы29819

28 2 дек 2017, 16:06 28 29819

>>29812
>когда ты отделяешь "изначальный" объект от "неизначального" посредством <Должны же быть изначальные объекты>, то, оказывается, ничто не мешает применить <Должны же быть изначальные объекты> к "изначальному" и получить новый "изначальный". Но тогда какой же это изначальный?
Это уже близко к релятивизму Маннури и да, я его сто раз определял формально. Осталось только добавить, что через некоторое количество таких определений чего-то "изначального" очень просто вернуться к тому, с чего начал. Вот этого момента миша не понимает, он швято верует, что его гамалогии не представимы в виде чего угодно другого, в т.ч. в виде геделевских номеров и т.о. арифметики и прости господи в виде типов в MLTT. Отсюда возникает резонный вопрос, что же брать за изначальный объект? Все просто - то, что полезнее с практической точки зрения. И это уж точно не гамалогии и тапалогии. Практическая полезность - это в любом случае автоматизация, т.к. человек математику уже не вывозит и не сравнится в этом отношении с машинами. Да и глупо после работ Тьюринга, де Брауна, Мартин-Лёфа и т.д. вручную делать то, что может сделать машина.

Ответы2982129858

29 2 дек 2017, 16:07 29 29821

>>29819
>человек математику уже не вывозит
Ты себя уже человеком считать начал?

Ответы29822

30 2 дек 2017, 16:08 30 29822

>>29821
Я о виде гомо сапиенс в целом, миш.

Ответы29825

31 2 дек 2017, 16:12 31 29825

>>29822
Ты себя гамасапиенсом считаешь уже?

32 2 дек 2017, 16:14 32 29827

Вы со своими гамалогиями вкрай уже обпучкались. Это особенно очевидно стало после публикаций мочидзукой IUTeich, которую во всем мире понимают 3,5 аутиста вместе с самим мочидзукой. Это финиш, все, приехали. Дальше уже и ехать некуда.

Ответы2982929853

33 2 дек 2017, 16:16 33 29829

>>29827
>гамалогиями
А что это, подскажешь? Топазы Гратендика?

Ответы29832

34 2 дек 2017, 16:20 34 29832

>>29829
>Гратендика
Это тот француз, который вопреки Тезису Церкви невычислимой хуйнёй занимался? Неканструктивно, неуважаю...

35 2 дек 2017, 16:24 35 29837

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

Ответы29852298602986129979

36 2 дек 2017, 16:26 36 29839

>>29787
>Проиграл с некоторых пунктов, в целом же - та еще каша.
Милости просим объяснить, что смешного, и навести порядок в каше. Это достойное усилие для умного человека.
>его же теория 5 уровней языка
Что лучше почитать на эту тему?
>без внятного определения математического объекта нельзя заниматься математикой.
Почему нельзя? Практически всё, чем люди пользуются на протяжении своей истории, не имеет внятных определений. Потому и существует философия.

37 2 дек 2017, 16:28 37 29840

>>29792
>И это после того, как тут сто раз говорилось об определениях математического объекта от Брауэра до Мартин-Лёфа. Все-таки мейлру есть мейлру.
Слежу за тредами с открытия этой доски, ни разу не видел слов "Объект это — ..."
Если определение есть, в чём проблема его привести?

38 2 дек 2017, 17:01 38 29852

>>29837
>человечество в математику не может
Ты себя уже человечеством считаешь?

Ответы29856

39 2 дек 2017, 17:08 39 29853

>>29827
>которую во всем мире понимают 3,5 аутиста
К тебе-то это как относится? Вот у Паши Дурова есть брат, программист, он писал работы про поле из одного элемента. Для тебя эти статьи будут выглядеть точно так же, как Мочидзука, если не хуже.
Потому что ты тупое животное, и не знаешь математики первого курса (читай: 1840-х годов), а знаешь только свою хуйню про алгоритмы и вычислимость.
Дело не в том, что IU Tech суперсложнá (это не так), просто довольно узкая область, сейчас, по крайней мере. Специалистам в ней всё хорошо понятно, впрочем.
Кстати, Мочидзука значительную часть своей работы выстроил на результатах Аракелова и других, например Богомолова; это тебе к вопросу о северной нигерии, быдло ты тупое.

Ответы2985629857

40 2 дек 2017, 17:15 40 29856

>>29852
Дэбильный вопрос ни о чем. Триггернуться на одно слово в тексте и доебаться до него, не поняв даже о чем текст. Миша, не математик ты, смирись. В вашей африке математиков не осталось, все съебали давно.
>>29853
>Мочидзука значительную часть своей работы выстроил на результатах Аракелова и других, например Богомолова; это тебе к вопросу о северной нигерии, быдло ты тупое.
А что не так с северной нигерией? Вот ты, миша, ярчайший пример северного ниггера услышал про гамалогии, а как они с математикой (вычислимостью) связаны - и сам не знаешь. А когда я тебе сказал, как (арифметизация теорий геделевской нумерацией), тебе так припекло, что ты уже просто бессвязно кукарекать начал.

Ответы29866

41 2 дек 2017, 17:15 41 29857

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

42 2 дек 2017, 17:17 42 29858

>>29819
>Все просто - то, что полезнее с практической точки зрения.
Чёй-та?

43 2 дек 2017, 17:19 43 29860

>>29837
>Выход из этой ситуации - автоматизация как минимум проверки доказательств, перекладывания подобной работы на машину.
Это, конечно, здравая идея, но доказывать ведь машина не сможет, проблему с потолком человеческих возможностей это не решит ни разу.

44 2 дек 2017, 17:22 44 29861

>>29837
Есть детектор (кризис) и попроще. Или ты принимаешь, что есть теорема о раскраске карты четырьмя красками (которая на данный доказана только машинами), или ты считаешь, что это до сих пор лишь гипотеза.

Ответы2986329876

45 2 дек 2017, 17:23 45 29863

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

Ответы2986429868

46 2 дек 2017, 17:24 46 29864

>>29863
>а перебором вариантов
который ты заебался бы перебирать без кампутира. Нет, ну серьезно, сдох бы раньше.

Ответы29867

47 2 дек 2017, 17:26 47 29866

>>29856
>с математикой (вычислимостью)
>с математикой (починкой санузла)
>с математикой (аргонно-дуговой сваркой)
>с математикой (пайкой электросхем)
>с математикой (проектированием жилых домов)
>с математикой (патологической анатомией)
>с математикой (уголовным правом)
Я уже сомневаюсь, что это лечится.
Ты не можешь просто подменять понятия, ссылаясь на "изоморфизм" Рыкова-Троцкого.

48 2 дек 2017, 17:27 48 29867

>>29864
Ну да, поэтому я использовал кудахтер, электронно-вычислительную машину для этих целей. И что? Ну ок, я использую ручку и тетрадку для док-ва теоремы, по такой логике это ручка и тетрадка её доказали?

Ответы29872

49 2 дек 2017, 17:27 49 29868

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

Ответы2986929870

50 2 дек 2017, 17:27 50 29869

>>29868
Это ты несёшь хуйню, причём безостановочно. Не пиши мне больше.

Ответы29871

51 2 дек 2017, 17:31 51 29870

>>29868
>даже примерно не представляншь, что такое MLTT
>Потому что в гамалогиях этого нет
Доказательство? Или это тоже очередной Тезис?

Ответы29871

52 2 дек 2017, 17:32 52 29871

>>29869
Миша, я маму твою ебал. Еще Лейбниц в правильном направлении думал по вопросу что есть универсальное искусство изобретения. Потому что он был белым человеком, а не негром из африки со снегом. Т.к. ты не понимаешь в математике, ты не представляешь, насколько вперед ушла математика со времен идей типа characteristica universalis и calculus ratiocinator.
>>29870
Это не тезис, это вопрос представления теорий в MLTT.

Ответы29874

53 2 дек 2017, 17:32 53 29872

>>29867
Мой аспирант доказывает новую теорему, записывает его формально на бумаге. Я подменяю его имя своим на титульном листе - теперь я доказал теорему.

Ответы29875

54 2 дек 2017, 17:33 54 29874

>>29871
У тебя и под кроватью Миша, шизик быдлокодерский. Не пиши мне больше.

55 2 дек 2017, 17:34 55 29875

>>29872
К чему ты это сказал сейчас?

Ответы29878

56 2 дек 2017, 17:35 56 29876

>>29861
>которая на данный доказана только машинами
Применяем Аксиому Чёрча и получаем, что человеческий мозг изоморфен машине Тьюринга, то есть теорема доказана человеком.

Ответы29882

57 2 дек 2017, 17:35 57 29878

>>29875
Обнулил твой аргумент про доказывающую ручку. Не все так просто потому что.

Ответы29879

58 2 дек 2017, 17:37 58 29879

>>29878
Любой аргумент можно превратить в хуйню демагогией, что дальше? Ты хочешь сказать разницы между человеком и машиной нет?

Ответы29880298822988329888

59 2 дек 2017, 17:39 59 29880

>>29879
Человек знает что такое вещественная прямая, а компьютер нет. Компьютер не может заниматься математикой, а человек может. Вот уже два отличия.

Ответы298812988229884

60 2 дек 2017, 17:39 60 29881

>>29880
Тогда к чему твой пример с аспирантом?

61 2 дек 2017, 17:40 61 29882

>>29876
Я ж говорю, ты даже не понимаешь, о чем пишешь. Нет никакой аксиомы Черча, для начала. Потом, да, теорема 4 красок теоретически может быть доказана человеком, так же как человек способен перетащить 10000 тонн груза. Вопрос в том, как он это будет делать. На горбу или с помощью машины.
>>29879
>Ты хочешь сказать разницы между человеком и машиной нет?
Ты тупой какой-то. Еще Тьюринг и Пост с Черчем показазли, что с точки зрения математических возможностей их нет.
>>29880
Хуйню несешь. В математике ты не можешь "знать" больше машины. Для начала - дефайн "знать".

Ответы298872989029904

62 2 дек 2017, 17:40 62 29883

>>29879
>Ты хочешь сказать разницы между человеком и машиной нет?
Разницы нет, аксиома Церкви это доказывает.

63 2 дек 2017, 17:41 63 29884

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

64 2 дек 2017, 17:44 64 29887

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

Ответы29893

65 2 дек 2017, 17:44 65 29888

>>29879
Я прям щас с этим соглашаться или отвергать не буду, но вот я точно не согласен с тем, что доказательство машинными методами - это то же самое, что доказательство с помощью ручки и бумаги. Мои сомнения кроются в том тонком нюансе, что раз доказательство не пишется человеком от начала и до конца, то и не предполагается, что человеком оно вообще может прочитаться. При этом верность доказательства тут вообще за скобками.

Ответы29892

66 2 дек 2017, 17:45 66 29890

>>29882
>В математике ты не можешь "знать" больше машины
https://en.wikipedia.org/wiki/Floating-point_arithmetic
Машина может только с произвольного места пропускать очень большие числа и округлять их (при чем иногда до нуля, то есть для машины 2^54 + 2^54 = 2^54, если машина прибавляет к 2^54 каждый раз 1, и так 2^54 раз, то 1 округляется до нуля, чтобы не занимать место в памяти); человек (психически здоровый) этого никогда не делает. Отсюда совершенно очевидно, что машина (реальная, а не шизофренические фантазии Тьюринга, нигде не реализуемые) заниматься математикой не может в принципе.

67 2 дек 2017, 17:47 67 29892

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

Ответы29906

68 2 дек 2017, 17:47 68 29893

>>29887
>Математика это не только вычислимость.
А что еще? Гамалогии?

Ответы2989429897

69 2 дек 2017, 17:48 69 29894

>>29893
http://imperium.lenin.ru/~verbit/MATH/programma.html
Не увидел вычислимости, подскажи, где.

Ответы29898

70 2 дек 2017, 17:49 70 29897

>>29893
Невычислимые функции. Сказка про белого бычка.

Ответы29898

71 2 дек 2017, 17:50 71 29898

>>29894
Миша, уебывай и программу свою уноси. Там все либо сводится к вычислимости, либо невычислимая хуйня (актуальные бесконечности, исключенное третье и т.д.).
>>29897
>Невычислимые функции.
И что ты можешь с ними сделать?

Ответы2989929907

72 2 дек 2017, 17:51 72 29899

>>29898
>И что ты можешь с ними сделать?
Что с функциями обычно делают?

Ответы29901

73 2 дек 2017, 17:53 73 29901

>>29899
Ты расскажи, не стесняйся. Вот есть невычислимая функция, как ты ее будешь использовать?

74 2 дек 2017, 17:53 74 29902

test

75 2 дек 2017, 17:57 75 29904

>>29882
Ошибка - это вообще тема интересная. Если мы потребуем для каждой аксиомы учитывать вероятность ошибки при её применении, то окажется, что все бесконечные структуры - полностью ошибочны

Ответы29906

76 2 дек 2017, 17:58 76 29906

>>29892
>>29904
попутал

77 2 дек 2017, 17:59 77 29907

>>29898
>Там все либо сводится к вычислимости, либо невычислимая хуйня
>либо, либо
Спешите видеть: конструктивист насрал на себя, применив исключенное третье.

Ответы2990829909

137 Кб, 400x373
78 2 дек 2017, 18:00 78 29908

>>29907

79 2 дек 2017, 18:01 79 29909

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

Ответы299102991229914

80 2 дек 2017, 18:02 80 29910

>>29909
>приводил пример третьего
В какой системе это? Или это где-то вне математики?

Ответы29911

81 2 дек 2017, 18:04 81 29911

>>29910
Нет, в математике. Конкретных примеров третьего, которое нельзя исключить, приводил еще Брауэр.

Ответы29913

82 2 дек 2017, 18:04 82 29912

>>29909
В твоем случае его и нет, ибо как ты разберешься с тем, что там вычислимо, а что нет, если ты не понимаешь смысла написанного в принципе?

83 2 дек 2017, 18:04 83 29913

>>29911
В MLTT покажешь такой пример?

Ответы29915

84 2 дек 2017, 18:05 84 29914

>>29909
>нет метода доказать или опровергнуть
>исключается в классической математике
Может праграммистам лучше не стоит говорить про математику?

Ответы29915

85 2 дек 2017, 18:10 85 29915

>>29913
Любой пример Брауэра на эту тему выразим в MLTT.
>>29914
В "классической математике" веровается в догму Гильберта, которая гласит, что для любой математической задачи либо есть решение, либо есть доказательство, что задача нерешаемая. В математике это не так.

Ответы2991629917

86 2 дек 2017, 18:12 86 29916

>>29915
>выразим в MLTT
Докажи это.

Ответы29920

87 2 дек 2017, 18:12 87 29917

>>29915
У тебя как-то странно браузер работает, он "починку водопроводов" заменяет на "математику". Рекомендую сменить на другой.

88 2 дек 2017, 18:14 88 29918

Только что применил аксиому выбора в доказательстве.

Ответы29980

89 2 дек 2017, 18:16 89 29919

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

Ответы2992129922

90 2 дек 2017, 18:16 90 29920

>>29916
Применением геделевской нумерации это делается. Как и в случае с гамалогиями твоими.

Ответы2992329925

91 2 дек 2017, 18:17 91 29921

>>29919
Зависит от программы, сколько дисциплин, сколько часов, кто читает и т.д.

Ответы29927

92 2 дек 2017, 18:17 92 29922

>>29919
>разные виды анализа, алгебра, геометрия, алгоритмы и вычислимость, уравнения матфизики
Из математики тут только алгебра. Сомневаюсь только, что там именно её изучают.

Ответы29924

93 2 дек 2017, 18:18 93 29923

>>29920
Чем нумерация Геделя лучше перекодирования string of text в binary code?

94 2 дек 2017, 18:19 94 29924

>>29922
Геометрия это тоже алгебра. Линейная алгебра, если точнее.

Ответы29926

95 2 дек 2017, 18:19 95 29925

>>29920
Докажи это.
>гамалогиями
Что такое гамалогии?

96 2 дек 2017, 18:20 96 29926

>>29924
Обычно от именно такой геометрии там только название.

97 2 дек 2017, 18:23 97 29927

129 Кб, 181x438190 Кб, 171x691106 Кб, 178x389

>>29921
>программы
Как-то так. Мухосрань 300к жителей.

Ответы2992829929

98 2 дек 2017, 18:27 98 29928

>>29927
Пожалуй придется устанавливать новые глаза.

Ответы29930

111 Кб, 800x800
99 2 дек 2017, 18:27 99 29929

>>29927

Ответы29930

564 Кб, 1000x607
100 2 дек 2017, 18:28 100 29930

>>29928
>>29929
Лучше нет качества, сам как пикрелейтел сидел.

Ответы29931

101 2 дек 2017, 18:29 101 29931

>>29930
Тогда наверное становись сумрачным гением, постигай матешу на двощах (дешевле же)

Ответы29932

102 2 дек 2017, 18:30 102 29932

>>29931
Да грустно это, вся математика в ДСах, нет столько денег, учиться и работать не получится, вылечу мигом, вторая вышка платная, будто само государство против.

Ответы2993429935

103 2 дек 2017, 18:31 103 29934

>>29932
Чтобы в том же СПБГУ учиться, нужно 1200000, это только на учёбу, плюс жильё и питание.

Ответы29935

104 2 дек 2017, 18:35 104 29935

>>29934
Как говорил мой препод по анализу, образование у нас такого качества, что платить за него может только безумный.
>>29932
>вторая вышка
А какая у тебя первая? Иди в магистратуру, да и всё.

Ответы29936

105 2 дек 2017, 18:45 105 29936

>>29935
>А какая у тебя первая?
Геология, лол. Нахуй я вообще туда пошёл только.
>магистратура
Только что. Но это лет 5 занятий подготовки, пробовал за год надрочиться как к егэ когда-то готовился, но это надрачивание ни к чему не привело, да оно и к лучшему, лучше никакого фундамента чем хуёвый, я вообще ничего не понимал тогда считай, в общем неправильный подход был.

Ответы29937

106 2 дек 2017, 18:46 106 29937

>>29936
> ни к чему не привело
Ну как, набрал 45, а минимальный проходной 50 был.

Ответы29939

107 2 дек 2017, 19:02 107 29939

>>29937
В средний вуз экзамены в магу примерно в 500 раз легче егэ, я гарантирую это. В отдельные вузы для ебанутых типа ВШЭ и МГУ в магистратуру не пролезть (в первом случае желающих в 3 раза больше, чем мест; во втором мест только 5, и те хенстоки-курцвейли у Лукашенко).
Но это исключения, поступить например в магу МПГУ очень легко, достаточно подать туда документы, и всё. В тот же МПГУ на бакалавриат проходной 220, с математикой 50 столько набрать будет трудно, это 85 физика и русский оба.

Ответы29940

108 2 дек 2017, 19:04 108 29940

>>29939
> В тот же МПГУ на бакалавриат проходной 220, с математикой 50 столько набрать будет трудно, это 85 физика и русский оба.
Не, егэ у меня было 80, 80, 97. Только оно уже не действительно. 50 это я про внутренние экзамены для платников.

Ответы29942

109 2 дек 2017, 19:05 109 29942

>>29940
>50 это я про внутренние экзамены для платников.
На магистратуру.

Ответы29943

110 2 дек 2017, 19:09 110 29943

>>29942
Я криво прочитал, пропустил "как".
Ну не знаю тогда, зависит от того в какие вузы подаешь. Моё наблюдение, что егэ это полный пиздец, и если получается на этом говне набрать 97, то с магистерскими экзаменами проблем не должно быть вообще.

Ответы2994429945

111 2 дек 2017, 19:10 111 29944

>>29943
Так это по информатике же, в те годы, когда я сдавал, она очень лёгкой была.

112 2 дек 2017, 19:11 112 29945

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

Ответы29946

113 2 дек 2017, 19:12 113 29946

>>29945
Программа бакалавриата гораздо легче школьной, там хоть немного математики есть; а не одна эзотерическая хуйня.

Ответы2995229954

114 2 дек 2017, 19:18 114 29952

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

Ответы29957

115 2 дек 2017, 19:22 115 29954

>>29946
>Программа бакалавриата гораздо легче школьной
Вообще сейчас если смотреть, то да, но тогда мне так не казалось.

116 2 дек 2017, 19:26 116 29957

>>29952
>даже пересдать егэ нельзя
Лол что? Хоть каждый год, и бесплатно (до сих пор, по крайней мере).
Это вот в ссаную вышку берут 100% по олимпиадам, а олимпиады не будучи школьником писать нельзя. Дискриминация.

Ответы29958

117 2 дек 2017, 19:28 117 29958

>>29957
Пересдать можно, но толку никакого. Если у тебя уже есть вышка, то ЕГЭ не работает, принимают по вступительным. А там, где только бюджет, ты с вышкой не сможешь поступить, даже если у тебя 300 баллов по ЕГЭ.

Ответы29959

118 2 дек 2017, 19:31 118 29959

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

Ответы29961

119 2 дек 2017, 19:33 119 29961

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

Ответы2996229964

120 2 дек 2017, 19:33 120 29962

>>29961
>возможность личного контакта с преподами
Как-то по пидорски получилось.

121 2 дек 2017, 19:35 121 29964

>>29961
Ничего не дает, преподы знают материал гораздо хуже студентов обычно, да еще и необучаемые.

Ответы29965

122 2 дек 2017, 19:35 122 29965

>>29964
Ну хуй знает.
https://www.youtube.com/watch?v=Yawjc4Pg7x8

123 2 дек 2017, 20:15 123 29970

Эй, модер, тут /un/ протёк

Ответы29971

124 2 дек 2017, 20:20 124 29971

>>29970
Последние 15 тредов /pr и /ph протекали и ничего.

125 2 дек 2017, 21:25 125 29979

>>29837
Значит так, слушайте сюда. Меня немного раздражают эти мистификации вокруг работы Мотидзуки, которые разводят адепты "автоматизации доказательств".

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

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

Математика — это примерно то же, что и поэзия. Автоматизировать этот процесс невозможно. Можно сделать так, чтобы, например, математик рассуждал вслух, а комп подставлял значки или типа того, но невозможно симулировать человеческую находчивость.

В очередной раз оказывается, что "философия математики" — это вечный спор людей с бандерлогами за право оставаться людьми. Просто в терминах математики спор этот дистиллирован и очищен от прочих идеологических коннотаций, типа правовых или религиозных. Это спор о чистом творчестве.

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

Ответы30116

126 2 дек 2017, 21:28 126 29980

>>29918
https://www.youtube.com/watch?v=IBmQ50N_Qw8
Ах ты сука, сволочь большевистская.

127 2 дек 2017, 23:54 127 29995

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

Ответы2999729999

128 3 дек 2017, 00:02 128 29997

>>29995
А мы точно не в /law/? Один и тот же человек не может быть истцом и ответчиком в одном и том же процессе.

Ответы29999

129 3 дек 2017, 00:14 129 29999

>>29997
Это зависит от законов. Частный пример, когда преступник признаётся в своём правонарушении. Или, когда отрицает свою вину.
>>29995
Обвинитель <-> обвиняемый
Рекурсия. Ведь обвинитель содержит "обвиняемого". Всякий класс эквивалентности содержит рекурсивность, это одна из первых теорем в любом нормальном учебнике.

Ответы30000

130 3 дек 2017, 00:17 130 30000

Забыл добавить, что это про курс теории множеств.
>>29999

Ответы30012

131 3 дек 2017, 00:20 131 30001

У меня вопрос. Можно ли считать праграммистов людьми?

Ответы30002

132 3 дек 2017, 00:28 132 30002

>>30001
Если ты это предполагаешь, то "программист" не замкнутая система. Из того, что ты это спрашиваешь, следует, что тебя интересует наша система оценивания. Но, это только, если взять за аксиому, что ты "достаточно" рациональный индивид.

Программирование — это реализация систем, используя материю, действительные вещи вокруг тебя.

"Математика" люто ненавидит материю, другими словами, она в неё не входит, по заданному мною морфизму.
И отдельные способы реализации её, с помощью вещей мира, ее не интересует, по моему морфизму.

Поэтому, да, "математика" люто ненавидят тебя, и желает тебе смерти.
Она бы с радостью танцевала бы на твоей материальной могиле.

Ответы3000330013

133 3 дек 2017, 00:29 133 30003

>>30002
>люто ненавидят тебя
За что?

Ответы30004

134 3 дек 2017, 00:31 134 30004

>>30003
За изучение материи.
По моему морфизму, все, что не подраздел математики является ненавидимым самой математике. Да, в рамкой моей системы, я наделяю математику свободой воли, а также возможностью чувствовать, а именно ненавидеть.

Ответы30005

135 3 дек 2017, 00:32 135 30005

>>30004
>За изучение материи.
Я где-то упоминал, что изучаю "материю"?

Ответы30006

136 3 дек 2017, 00:34 136 30006

>>30005
Программирование — процесс реализации недостаточной[предел]математики, с помощью средств материи.

Ответы30007

137 3 дек 2017, 00:34 137 30007

>>30006
Я не занимаюсь праграммированием.

Ответы30008

138 3 дек 2017, 00:37 138 30008

>>30007
Могу привести пример программирования.
Например, когда ты одеваешь ботинки. Реализуешь определённое отношения свойств материи, реализуешь математику.
Но, ты не занимаешься математикой. Ты её лишь реализуешь.

Ответы300093001130013

139 3 дек 2017, 00:38 139 30009

>>30008
Реализация предела недостаточной математики — программирование

140 3 дек 2017, 00:41 140 30010

Математика изучает совершенное, независимое ни от чего, идеальное.
Программирование — изучает материю, условности. Изучает правила того, как одевать ботинки.

141 3 дек 2017, 00:44 141 30011

>>30008
>когда ты одеваешь ботинки
Я не одеваю ботинки.

sage 142 3 дек 2017, 00:46 142 30012

>>30000
>теории множеств
Не математика.
>Это зависит от законов
Если понимать буквально что он написал, то это абсурд, и такого не бывает. Законы не составляют полные идиоты и там часто специально оговорено, например нельзя взять у самого себя в долг, то в случае если кредитор и должник это одно лицо, то обязательство не имеет никакой силы.
>когда преступник признаётся в своём правонарушении. Или, когда отрицает свою вину.
И как это соотносится с "подать в суд на самого себя"? Ничего общего.

Ответы300143001530018

143 3 дек 2017, 00:49 143 30013

>>30002
>взять за аксиому, что ты "достаточно" рациональный индивид.
>рациональный
Еще один рационалист? /re – там.
>используя материю
>верит в существование материи
В флогистон и импетус тоже веришь? Как там, в тёмных веках?
>>30008
Еще и безграмотный. Ботинки надевают.

Ответы30016

144 3 дек 2017, 00:51 144 30014

>>30012
У тебя мышления быдла. Мы не спрашиваем про идиотизм тех, кто создавал законы. Ты бы ещё возмущался так, когда решал бы задачи, какими-то деталями, которые не были учтены, из-за несущественности.

Подать суд на себя —> быть обвинителем —> признать свою вину/отрицать свою вину.
Ты можешь прийти и сообщить о своём преступлении. Выступая на суде в роли обвинителя.

Ответы30021

145 3 дек 2017, 00:53 145 30015

>>30012
Суть не меняется, можно заменять обвиняемого на самоубийцу, кем он будет, убийцей или жертвой?

Ответы3001730021

146 3 дек 2017, 00:54 146 30016

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

Ответы30021

147 3 дек 2017, 00:57 147 30017

>>30015
Как ты определяешь "убийцу" и "жертву". Наверняка, как-то размыто.
Убийца — тот, кто убил кого-то.
Жертва — тот, кто был убитым кем-то.
Тогда, самоубийца и жертва, и убийца, требования соблюдаются.

148 3 дек 2017, 00:57 148 30018

>>30012
Теория множеств — иная трактовка теории топосов. А теория категорий здесь цениться.

Ответы30021

149 3 дек 2017, 01:01 149 30019

А если серьёзно, человек, который говорит "я лгу", лжёт?

Ответы300203002130028

150 3 дек 2017, 01:02 150 30020

>>30019
Я отвечу, когда подрочу.

151 3 дек 2017, 01:03 151 30021

>>30014
>Ты можешь прийти и сообщить о своём преступлении. Выступая на суде в роли обвинителя.
Нет. Разберись сначала с тем, кто такой обвинитель, мудак ты безграмотный.
>Закон предусматривает три вида О.: государственное, общественное и частное обвинение. В суде государственное О. поддерживает прокурор, общественное - общественный обвинитель, частное - потерпевший, лично или через своего представителя

Ещё раз: кем конкретно ты стал, заявив о своей вине, потерпевшим или прокурором?
>>30016
Рационалист это что-то вроде салафита, сильно опасная секта. Верит в руководящую роль разума, которая основана на идее объективности, которая основана на платонизме.
>>30018
Аксиомы Евклида – иная трактовка аффинных пространств со скалярным произведением. Что несёт.
>>30015
В отношении чего? Если ты хочешь применить наказание к убийце, то он должен быть живым, жертва же мёртвой; то есть перепутать трудно.
>>30019
Он говорит то, что в принципе не имеет смысла; набор звуков по сути.

Ответы300243002630035

152 3 дек 2017, 01:11 152 30024

>>30021
Ок, допустим я сказал что ты мудак, тем самым обвинил тебя, это является обвинением или нет? Если да, то я являюсь обвинителем.
Как будто обвинения бывают только в суде и только официальными, какие-то вы тут ебанутые.

Ответы30025

153 3 дек 2017, 01:12 153 30025

>>30024
Вопрос про суд был.

154 3 дек 2017, 01:14 154 30026

>>30021

> Нет. Разберись сначала с тем, кто такой обвинитель, мудак ты безграмотный.
Обвинитель — тот, кто обвиняет. Ненужно допускать излишнего.
> >Закон предусматривает три вида О.: государственное, общественное и частное обвинение. В суде государственное О. поддерживает прокурор, общественное - общественный обвинитель, частное - потерпевший, лично или через своего представителя
Это в твоей росиюшке. Мы ответ не привязываем к странам. Обвинять может кто угодно. Я могу обвинить тебя, в твоей быдлячости. И могу обвинить себя.
> Ещё раз: кем конкретно ты стал, заявив о своей вине, потерпевшим или прокурором?
Ты потерпевший, если обвиняешь себя. Ведь только следуя причинам, можно получить достаточную "энергию", чтобы обвинить кого-то. Под энергией я имею ввиду " достаточные условия".

> Рационалист это что-то вроде салафита, сильно опасная секта. Верит в руководящую роль разума, которая основана на идее объективности, которая основана на платонизме.
Есть множество различных определений одного слово. То, чем я пользовался, я привёл.
> Аксиомы Евклида – иная трактовка аффинных пространств со скалярным произведением. Что несёт.
Топосы, по определению, аналоги множеств.

> Он говорит то, что в принципе не имеет смысла; набор звуков по сути.

Ответы30041

155 3 дек 2017, 01:25 155 30028

>>30019
Это высказывание второго порядка.
Утверждение об утверждении.
Во-вторых, недостаточнач
формулировка вопроса.
Утверждение "это высказывание лжет" может быть истинным или ложным? Ведь, твоя формулировка говорит о предполагаемой ложности, что является излишеством. А также о наличии самости

Полагаю, это одно из тех утверждений, на которых неопределена истина/ложь.

Ответы3003630050

156 3 дек 2017, 01:44 156 30029

Писал длинный пост, а дописать не могу никак, т.к уже не варят мозги от переизбытка информации, как же долго восстанавливаться после такого, минимум 2-3 дня, методов ускорения так и не нашёл.

Ответы30031

157 3 дек 2017, 01:50 157 30031

>>30029
Где избыток информации?

Ответы30032

158 3 дек 2017, 02:03 158 30032

>>30031
Да это не связано с тредом, а вообще. Ситуация подобная тому что в этом треде.
>https://productivity.stackexchange.com/questions/5113/how-to-study-long-hours-without-being-burnt-out-or-getting-bored
>I can't continuously study more than 2.5 hours. After that, I become exhausted. If I continue to study after that time limit, I read something but the materials seem to be not entering my head. I just read and can not pick any meaning from the texts.

>If I still continue to study, I become burnt out and can not study again for the next 5-7 days.
Только если заменить числа, то будет 1 час, и 3 дня соответственно.

Ответы30033

159 3 дек 2017, 02:08 159 30033

>>30032
Отдохни, мой няш:3

160 3 дек 2017, 02:17 160 30035

>>30021
>Он говорит то, что в принципе не имеет смысла; набор звуков по сути.
Почему ты говоришь то, что имеет смысл, а он нет? Что за хуйня?

Ответы30041

161 3 дек 2017, 02:18 161 30036

>>30028
>А также о наличии самости
Что это значит?

Ответы30039

162 3 дек 2017, 02:27 162 30039

>>30036
Тип в утверждении "я лгу", он сказал "я".
А значение " я" не объясняется в рамках системы "я лгу".

Ответы30046

163 3 дек 2017, 02:32 163 30041

>>30026
>Мы ответ не привязываем к странам
Назови страну, где можно взять у себя самого в долг и потребовать деньги через суд. К здравому смыслу ответ тоже не привязан? Так бы и сказал.
>Ты потерпевший, если обвиняешь себя.
Нет, потерпевший это тот, в отношении кого было совершено преступление.
>Топосы, по определению, аналоги множеств.
Скорее то, что заменило и упразднило теорию множеств, как линейная алгебра геометрию. Кому интересны "аналоги множеств"?
Гротендику нужно было более общее понятие топологии для доказательства гипотез Вейля. В частности, сам Вейль указывал, что достаточно построить соответствующую теорию когомологий, и можно все вывести оттуда; проблема одна, способа задать топологию для алгебраических многообразий тогда не было известно.
Топос, собственно, есть обобщение топологического пространства. Ситуация типа как с когомологиями чеха, только вместо открытых множеств накрытия; и категория сооветствующих пучков на сайте как раз и есть топос Гротендика. ZFC ему не хватило, пришлось ввести аксиому недостижимого кардинала; в итоге конструкция получилась достаточно общей, можно сказать оверкилл; Делинь вычленил ровно то что ему надо и завершил большую часть доказательств.
Потом выяснилось, что собственно этальные когомологии в алгебраической геометрии не нуждаются, а еще на них действует группа галуа; Лавер же заметил, что топосы не нуждаются в топологии гротендика, пучки на пространстве с одной точкой образуют категорию множеств, ну это и есть элементарный топос.
>>30035
Не получается различать бред сумасшедшего от содержательных утверждений? Утверждение "я всегда лгу" не может иметь никакого содержания, это примерно как сказать "сапырва нелураг".

Ответы30043

164 3 дек 2017, 02:39 164 30042

Хотя, нет. Я допустил ошибку.
"Это" тоже достаточно неопределённо, если предположить, что это логика высказываний.

Всякая ложь истинна в своей лжи.

Сейчас допишу ответ.

Ответы30051

165 3 дек 2017, 02:47 165 30043

>>30041
Мы говорили не о долгах. И не о странах. Кто сказал в задаче, что там про реальный мир?
Это было исключительно математическая задача, геополитическими подробностями, можно пренебречь.

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

>это заменило и упразднело теорию множеств
Из этого не следует, что следует отказываться от всех теорем теории множеств.

>Не получается различать бред сумасшедшего от содержательных утверждений? Утверждение "я всегда лгу" не может иметь никакого содержания, это примерно как сказать "сапырва нелураг".
Из чего ты взял, что " истина/ложь" единственное что даёт смысл высказыванию? Возможно, это открытая система, какой-то читатель мог бы понять, что тот мошенник, тот из тайного сообщества Франции. Или по хоть, то, что говорящий интересуется парадоксами. Воспринять иначе, чем данное.

Ответы30060

166 3 дек 2017, 03:09 166 30046

>>30039
Я — тот, кто говорит, самоочевидно же.

Ответы30049

167 3 дек 2017, 03:10 167 30047

Что если я изнасилую сам себя в кулак?

168 3 дек 2017, 03:13 168 30049

>>30046
А кто говорит?

Ответы30072

169 3 дек 2017, 03:14 169 30050

>>30028
>Полагаю, это одно из тех утверждений, на которых неопределена истина/ложь.
Ну да, потому к математике такие утверждения не относятся, в предыдущем треде выяснили.

Ответы3005230053

170 3 дек 2017, 03:16 170 30051

>>30042
Проблема заключается в неформальном языке. Тут нету парадокса
Говоря "утверждение ложно".
Нужно отделять " утверждение" и "утверждение ложно". Каждое из них может быть ложным/истинным, отдельно.
Если "утверждение ложно" ложно, тогда "утверждение" истинно. Все

Ответы300523005430055

171 3 дек 2017, 03:17 171 30052

>>30051
>>30050

>>30050

172 3 дек 2017, 03:18 172 30053

>>30050
Не говори так. Все, что мы можем и не можем рассмотреть, относиться к математиуе

Ответы30054

173 3 дек 2017, 03:19 173 30054

>>30051
Тут нет парадокса, просто мы не можем оперировать в логике с тем, что не относится к логике. Утверждения типа "Утверждение ложно" или "Завтра война" или "Гипотеза Римана верна" не имеют истинностного значения, их значение неопределённость. Классическая логика с таким не работает.
>>30053
Ну ладно, к классической логике.

Ответы3005630057

174 3 дек 2017, 03:19 174 30055

>>30051
Если "я лгу" истинно, то "лгу" ложно, так как сообщилось, что "я лгу" истинно.

175 3 дек 2017, 03:22 175 30056

>>30054
Ты серьёзно? Я тебе только что сказал, что парадокса нету там, достаточно рассматривать в том утверждении два других.

Высказывание "завтра война" относится к математике, так как относится к логике.
В логических функциях могут участвовать и ложные высказывания и неопределённые. Она их и изучает.

Ответы3005830059

176 3 дек 2017, 03:23 176 30057

>>30054
Собственно, такая же ситуация и с парадоксами теории множеств. Сначала вводится совокупность, множеством не являющаяся, а затем выводится противоречие и высокопарно заявляется о противоречивости теории множеств. А ещё есть путаница между парадоксами и антиномиями, парадоксы это кажущееся противоречие, а вот антиномия реальное, люди часто путают первое со вторым.

Ответы30061

177 3 дек 2017, 03:25 177 30058

>>30056
Самым простым примером будет, это изучения правил вывода.

А и Б дают 1, если а~1 и б~1
А и Б изначально неопредлены, но показана таблица истинности для всех вариантов. Т.е вне зависимости от того, ложь или истина.я

178 3 дек 2017, 03:25 178 30059

>>30056
>Высказывание "завтра война" относится к математике, так как относится к логике
За пребывание в этих тредах я убедился, что в конечном счёте всё определяется верой, будь то вера в вычислимость, актуальную бесконечность, Алгебру и тд. Ну так вот, я не считаю, что высказывания такого типа(без истинностного значения) можно рассматривать в классической логике. Аргументировать я это никак не буду, видимо это дело вкуса.

179 3 дек 2017, 03:26 179 30060

>>30043
>там про реальный мир?
А есть какой-то ещё? Или ты из мира идей вещаешь, так бы и сказал.
>геополитическими подробностями
То что в мире существует только два-три вида правовых систем это факт из истории, а не геополитики.
>Потерпевший, тот, кто имеет достаточные причины
Нет, более того:
Если на момент возбуждения уголовного дела отсутствуют сведения о лице, которому преступлением причинен вред, решение о признании потерпевшим принимается незамедлительно после получения данных об этом лице.
Понятно, что ты из манямирка и тебя не интересует конкретная реализация каких-то там законов; просто скажу такого типа рассуждения часто выглядят как фразы допустим писательницы Латыниной о "падении давления в электросети".
>следует отказываться от всех теорем теории множеств
А там есть теоремы? По-моему ни одному математику они не известны.
> Возможно, это открытая система, какой-то читатель мог бы понять
Ну так любому набору слов можно приписать смысл, сделав его секретным паролем, кодовым словом, или ещё чем. Про это своя наука есть, прагматика, там в частности есть понятие неоднозначности:
https://en.wikipedia.org/wiki/Ambiguity
Если смотреть на фразу вне контекста, однако, никакого смысла она не имеет; но можно поместить её в контекст, например сделать кодовым словом, тогда про эту фразу можно сказать, что она неоднозначна.

Ответы300623006330064

180 3 дек 2017, 03:28 180 30061

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

181 3 дек 2017, 03:32 181 30062

>>30060
В Вербицкого хотя бы. Он же пишет про теорию множеств в своей книге
Например, степенью двойки элементов множества равно множеству вспэ подмножеств.
Я ещк выше приводил пример. Теория множеств доказала рекурсивность классов эквивалентности.

Ответы30065

182 3 дек 2017, 03:34 182 30063

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

Ответы30065

183 3 дек 2017, 03:37 183 30064

>>30060
>Если смотреть на фразу вне контекста, однако, никакого смысла она не имеет
Значит уточняй "Нету условий, чтобы я вклал смысл в это выражение".

184 3 дек 2017, 03:42 184 30065

>>30062
Булеан? Рекурсивность классов эквивалетности? Ну все, теперь охуеть. В общей топологии тоже есть теоремы, если что, и довольно полезные; но все они вместе с доказательствами занимают не более 5 страниц, а теория множеств так от силы три.
>>30063
>реальный мир здесь никого не инетересует
Я в палате шизофреников, что ли? Вроде нет. Математика имеет самое прямое отношение к реальному миру, очевидно.
>В задаче об этом ничего не сказано
Это не задача, а тупой пиздеж. Есть задачи по математике, по физике, есть по юриспруденции. У задачи должны быть корректно поставленные условия.
По сути ты любишь говорить про право, нихуя о нем не зная, и это ничем не отличается от ситуации, в которой юрист начал бы долго говорить про когомологии и топосы, нихуя о них не зная. Живот надорвёшь.

Ответы300673006830303

185 3 дек 2017, 03:48 185 30067

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

>Я в палате шизофреников, что ли? Вроде нет. Математика имеет самое прямое отношение к реальному миру, очевидно.
Да. Математика не имеет отношение к реальному миру. Она создаёт свои миры, либо замкнутые системы.

То была не задача о юриспруденции.
Там задавалось о цикличности/рекурсивности отношений обвиняемый<=>обвинитель, в случае эквивалетности высказываний.

Ответы30099

186 3 дек 2017, 03:53 186 30068

>>30065
https://en.m.wikipedia.org/wiki/Simple_theorems_in_the_algebra_of_sets
https://en.m.wikipedia.org/wiki/List_of_set_theory_topics

На самом деле, теорем в рамках теории множеств бесконечно много.
Тут вопрос в значимости.

Ответы30069

187 3 дек 2017, 04:00 187 30069

>>30068
>бесконечно много
Хотя бы континуум наберётся?

188 3 дек 2017, 04:57 188 30072

>>30049
Я!

189 3 дек 2017, 05:44 189 30075

А кто понял мочизуку?

Ответы30094

190 3 дек 2017, 06:02 190 30076

Есть ли какие-нибудь "кодовые слова" у интуицонистов? Хочу вступить в их секту, но не знаю как лучше. В открытую этого делать не очень хочется.

191 3 дек 2017, 07:19 191 30094

>>30075
Никто... Паталок уже достигнут, надо вычислимастью пытаться понять.

192 3 дек 2017, 10:40 192 30099

>>30067
>нету теорем в теории множеств, вовсе
Булеан это не теорема, а определение. Точно так же со свойствами классов эквивалентности.
>Математика не имеет отношение к реальному миру
Такое может сказать только шизик-платонист, не знающий ничего о математике.
Никаких "миров" кроме реального, в котором ты находишься, не может существовать в принципе; потому что субъект не есть что-то отдельное от объекта, а субстанции не есть что-то отдельное от феноменов. Все математические объекты существуют реально, но не потому, что есть какой-то волшебный мир идей, а потому, что они имеют прямое отношение к тому, что значит "существовать" в принципе.
Нет какой-то отдельной математической реальности, "математическая реальность" это единственная реальность.
Изучай феноменологию.
>То была не задача
Ты прав, это абсурдное высказывание, лишенное смысла, а не задача.

Ответы30101301023010430108

193 3 дек 2017, 11:24 193 30101

612 Кб, 1600x1200398 Кб, 1680x1050557 Кб, 1920x1200171 Кб, 1200x632

>>30099
>не может существовать в принципе;
Ржали всем Фаэруном.

Ответы30107

194 3 дек 2017, 11:25 194 30102

>>30099
Нет, в том смысле, что то высказывание можно рассмотреть, как два высказывания.
Тот парадокс в том, что люди тупые, видят одно высказывание, а затем скрещивают его с другим.

Парадокс Рассела, например, вначале говорит, что множество всех множеств, потом говорит, что оно что-то не содержит, т.е противоречит условию.
Это высказывание типа, мы утверждаем "2+2=4", а затем говорим, что "2+2=3" и говорим об парадоксе

Ответы30103

195 3 дек 2017, 11:26 195 30103

>>30102
Вы нихуя не понимаете в парадоксе Рассела. Убейтесь.

Ответы30105

196 3 дек 2017, 11:30 196 30104

>>30099
>булеан это определение
>также со свойствами класса эквивалентности.

Класс эквивалентности определяется, как сущности обладающие рефлексивностью, транзитивностью, симметричностью.
Оно не предполагает рекурсивность.

Булеан определяется, как множества всех подмножеств, но не как "мощность подмножеств эквивалентная кардиналам степени двойки"

Ответы30107

197 3 дек 2017, 11:37 197 30105

>>30103
Посмотри формулировку.
"Пусть М - множество всех множеств, которые не содержат себя в качестве"
Содержит ли оно себя?
Мы определили М, как множество всех множеств, а потом даем условие, чьл оно не должно содержать себя в качестве элемента.
Противоречие возникает в том, что мы определили это, как множество всех множеств, а потом говорим, оно должно не содержать себя.

Ответы30106

198 3 дек 2017, 11:40 198 30106

>>30105
Фишка в том, что тут пользуются теоремой.
Что элемент является частью множества, что недостаточно для некоторых очевидно.
Иначе можно сформулировать так,
"Это множество всех множеств. Оно не содержит себя в качестве элемента". Противоречие и обыденность этого парадокса становится ясна.

Ответы30112

199 3 дек 2017, 11:41 199 30107

>>30101
Я же говорю, ты тупой. Всё, что ты в принципе можешь придумать, находится у тебя в голове. С чего ты взял, что твоё мышление это то, что принадлежит лично тебе, а не вызванная внешним миром последовательность переживаний? Ток в ЦНС это твое мышление или уже внешний мир? Может и то, и другое одновременно?
Ты просто веруешь в независимый от реального мир идей, признавая это или нет. Отсюда все заблуждения, включая, например, идею о свободе воли. Все они уже давно опровергнуты, примерно в 1880-х.
>>30104
Зависит от того, что ты читаешь. В адекватной литературе так и пишут, "символом 2^N булем обозначать множество всех подмножеств множества N".

Ответы3010930111

200 3 дек 2017, 11:42 200 30108

>>30099
Хорошо, что ты определяешь, как реальное?
Я создал замкнутую систему "яблоко".
Оно уже мир, согласно моим определением.
И мир, равнозначен твоему миру, относительно меня.

201 3 дек 2017, 11:44 201 30109

>>30107
Вы не можете уяснить смысл термина "мир", в вашу голову не укладывается понятие "вымышленная вселенная".

Ответы30143

202 3 дек 2017, 11:46 202 30111

>>30107
>Зависит от того, что ты читаешь. В адекватной литературе так и пишут, "символом 2^N булем обозначать множество всех подмножеств множества N".
"2^N" это символ, и здесь говорится, что он обозначает множество всех подмножеств.
Здесь не говорится о эквивалетности булеана и его мощности, тем более в виде формуливооки "2^n"

Ответы30113

203 3 дек 2017, 11:48 203 30112

>>30106
Оригинальная теория множеств Кантора утверждает, что для любого свойства P совокупность всех вещей x, обладающих свойством P, является множеством.

Парадокс Рассела говорит, что для свойства P(x) = "x является множеством, не являющимся своим элементом" это невозможно.

Парадокс Рассела ничего не говорит про множество всех множеств. Множество всех множеств фигурирует в парадоксе Кантора.

Ответы3011430255

204 3 дек 2017, 11:53 204 30113

>>30111
>мощности
Адекватные люди под 2^N имеют ввиду экспоненциальный объект.

Ответы30115

205 3 дек 2017, 11:55 205 30114

>>30112
>Оригинальная теория множеств Кантора утверждает, что для любого свойства P совокупность всех вещей x, обладающих свойством P, является множеством.
Тут не стоит ограничение на противоречивость.

>Парадокс Рассела говорит, что для свойства P(x) = "x является множеством, не являющимся своим элементом" это невозможно.
Именно в такой трактовке, парадокса нету.
x может быть множеством, но не быть своим элементом.
x = {1,2,3}. В {1,2,3} не входит x

Ответы30117

206 3 дек 2017, 11:57 206 30115

>>30113
>спорить о символах
Скажи, что знак "*" лучше, чем "•" для умножения.

207 3 дек 2017, 11:57 207 30116

Этот тред хорошо показывает уровень рашкоматематики. Плешивый кловн миша, математик от бога уровня Золотца и еще полтора ебалая, даже не понимающих что несут. Так и победите, дегенераты.
>>29979
>Математика — это примерно то же, что и поэзия. Автоматизировать этот процесс невозможно.
Автоматизировать представлением в MLTT можно вообще весь человеческий и какой угодно язык. Это следует не только из чисто теоретических умозаключений Маннури, но и из конкретных примеров Монтегю и Ранта, у последнего есть даже примеры кода для прувера. И это конец 80-х годов.
>Можно сделать так, чтобы, например, математик рассуждал вслух, а комп подставлял значки или типа того, но невозможно симулировать человеческую находчивость.
То, что ты называешь "находчивостью" ничем не отличается от проверки типизации. И твои "рассуждения математика вслух" ничем не отличаются от автоматических манипуляций прувера с контекстом задачи. Но ты же африканский кловн на мейлру с магическим мышлением, даже примерно не представляющий что такое математика или хотя бы MLTT, поэтому объяснить тебе что-то невозможно принципиально.

Ответы301183012330145

208 3 дек 2017, 11:57 208 30117

>>30114
Ты троллируешь. Не бывает таких тупых.

209 3 дек 2017, 11:59 209 30118

>>30116
Ты уже пять лет про конструктивизм трепешься. А сам ни одной теоремы ещё не доказал.

Ответы3011930120

210 3 дек 2017, 11:59 210 30119

>>30118
>аргумент личности
мимо другой

211 3 дек 2017, 12:00 211 30120

>>30118
>Ты уже пять лет про конструктивизм трепешься.
Я про него узнал прошлой осенью.

Ответы30121

212 3 дек 2017, 12:01 212 30121

>>30120
Кому ты врёшь, лол.

Ответы30122

213 3 дек 2017, 12:03 213 30122

>>30121
Тебе виднее, конечно. Иксперды с мейлру они такие.

214 3 дек 2017, 12:04 214 30123

>>30116
Расскажи лучше как в секту вступить?

215 3 дек 2017, 12:07 215 30124

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

Ответы30125

216 3 дек 2017, 12:09 216 30125

>>30124
Это зависит от определений. Ну я есть, например.

Ответы30128

217 3 дек 2017, 12:09 217 30126

Конструктивизм — хороший, так как требует формализацию
Конструвизм — плохой, так как отрицает пределы, действительные числа, другие бесконечные структуры.

Ответы30127

218 3 дек 2017, 12:11 218 30127

>>30126
>так как требует формализацию
Интуицианизм по их же словам не формализуем. Это следует ещё из Аксиомы Церкви.
>отрицает пределы, действительные числа, другие бесконечные структуры
Хуйню не неси, пожалуйста.

Ответы3013030198

219 3 дек 2017, 12:12 219 30128

>>30125
>определений
Ну как скажут вычислятары (Изоморфизм) и прагрмамисты (Тезис), так и будет. Они же в математике хорошо разбираются.

220 3 дек 2017, 12:16 220 30129

Желаю вступить в местную секту по конструктивизму. Что нужно для этого сделать? Куда документы подавать?

Ответы30131

221 3 дек 2017, 12:17 221 30130

>>30127
>Хуйню не неси, пожалуйста.
Они утверждают, что вещественных чисел нету, есть лишь алгоритм, который позволяет их реализовать. Другими словами, если мы скажем (1;2), то между ними не бесконечность, а то что мы вычислили алгоритмом.
Они говорят, что существует самое большое натуральное число. Последняя итерация в алгоритме.
Конструктивисты не люди.

222 3 дек 2017, 12:19 222 30131

>>30129
Сначала нужно прочитать "Интуиционизм" Гейтинга и публично анафематствовать Гильберта и формальный метод.

Ответы30285

223 3 дек 2017, 12:25 223 30133

На википедии написано, что конструктивизм часть интуиционизма.

Ответы30135

224 3 дек 2017, 12:48 224 30135

>>30133
Любой объект тривиально часть себя.

Ответы30136

225 3 дек 2017, 12:54 225 30136

>>30135
В математике, насколько я знаю, "тривиальное" значит то, что тождественно нейтральному элементу.

Конструктивизм это подмножество интуиционизма. Кроме самого его, оно содержит другие представления о математических объектах.

Ответы30137

226 3 дек 2017, 12:56 226 30137

>>30136
https://ru.m.wikipedia.org/wiki/Тривиальность

227 3 дек 2017, 14:02 227 30143

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

Ответы3014930150301553015730229

228 3 дек 2017, 14:07 228 30145

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

Ответы30146

229 3 дек 2017, 14:09 229 30146

>>30145
Ну это ты легкий вопрос ему задал. По его определению математика это только конструктивизм, а значит 100% математиков конструктивисты. Случай клинический, таблетки принимать надо.

Ответы30148

230 3 дек 2017, 14:18 230 30148

>>30146
Бля, сейчас попробую переформулировать.

231 3 дек 2017, 14:19 231 30149

>>30143
>христианство основано на чисто платонической идее о свободе воли. Если не верить в мир идей, легко понять что никакая свобода воли невозможна.
Протестантские учения, как лютеранство[пму придерживается Трамп, президент США] отвергают свободу воли.

Ответы30158

232 3 дек 2017, 14:22 232 30150

>>30143
Ты не понимаешь.
Каждый человек, может создать свой мир.
Мир — это замкнутая система.
Говоря, "яблоки" ты создаешь отдельный мир, если предполагать замкнутость.
Иначе, миром будет "яблоко" и "неопределенное нечто". Где второе может быть чем угодно.

Ответы30152

233 3 дек 2017, 14:24 233 30151

Конструктивист, ответь мне сразу на несколько вопросов.

Какие важные достижения конструктивизма имели место за последние лет 10?

Передоказаны ли все неконструктивно доказанные на данный момент теоремы в терминах конструктивизма? Каковы перспективы в этой области?

Перейдём к конкретному. Доказанная Мотидзукой ABC-гипотеза будет ли доказана конструктивно? Есть вполне конкретный математический результат вполне конкретной и очень интересной задачи. Нельзя ведь сказать, что задачи нет. Интересная и не очевидная зависимость между суммой и произведением реально наблюдается. Это ведь не какая-то иллюзия. Значит, её механизм можно как-то проявить. Мотидзука это сделал, как это сделает конструктивист?

Ответы30153

234 3 дек 2017, 14:24 234 30152

>>30150
Кстати, что характерно, понятие "мир/универсум" вводится в теории множеств.
Операция дополнение относительно этого множества, является весь мир, исключая это множество.

235 3 дек 2017, 14:26 235 30153

>>30151
Ты понимаешь, что твои аргументы не по-существу. А демагогические. Понятное дело. Что ты отпугываешь посетителей.

Из-за тебя, я начинаю себя чувствовать умным.

Ответы30156

236 3 дек 2017, 14:26 236 30155

>>30143
>например христианство основано на чисто платонической идее о свободе воли.
Классический городской псевдо-интеллектуал, рассуждает об истории религий на основе своих догадок, "прозрений", высеров Мациха и на прочем таком второсортном материале.

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

Ответы3016030165

237 3 дек 2017, 14:27 237 30156

>>30153
>Из-за тебя, я начинаю себя чувствовать умным.
Это хорошо, пусть хоть кто-то.

238 3 дек 2017, 14:30 238 30157

>>30143
>Если не верить в мир идей, легко понять что никакая свобода воли невозможна.
Вот эта фраза знаменует собой целое семейство интеллектуальных тупиков. Она очень ёмкая, за ней стоит колоссальная сеть взаимосвязанных заблуждений. Таких людей надо пристально изучать для поучения и назидания юношам.

Ответы3015930165

239 3 дек 2017, 14:31 239 30158

>>30149
Библию отвергают, что ли?
The biblical ground for free will lies in the ”Fall” into sin by Adam and Eve that occurred in their “willfully chosen” disobedience to God.[10]
>лютеранство
Это довольно общее понятие, США к тому же прочно занимает первое место в мире по количеству религиозных движений. Однако:

[70] Lutherans believe that although humans have free will concerning civil righteousness, they cannot work spiritual righteousness without the Holy Spirit, since righteousness in the heart cannot be wrought in the absence of the Holy Spirit.[71] In other words, humanity is free to choose and act in every regard except for the choice of salvation.
Христианство без свободы воли это что-то странное, я сходу могу назвать только альбигойские общины катаров 13-го века; катары действительно отрицали free will, хотя все равно были дуалистами (то есть платонистами). Просто у них постулировалось что весь реальный мир это зло; а все хорошее существует только на небе. Ну оно и понятно, религия это мир идей, а мир идей это религия.

240 3 дек 2017, 14:32 240 30159

>>30157
Аргументы будут? Ах, я забыл, у верунов пользоваться аргументацией не принято.

Ответы30184

241 3 дек 2017, 14:34 241 30160

>>30155
>сказать мне нечего, назову псевдоинтеллектуалом, но спорить пожалуй не буду
Ок. Как появятся смодержательные возражения, приходи.

242 3 дек 2017, 14:34 242 30161

Кстати, по поводу свободы воли.
Когда я говорил, что математика имеет свободу воли, я подразумевал под "свободой воли" открытую систему, что очевидно. Открытую настолько, что содержит пространство всех возможных потенциальных миров. Другими словами, под "свободой воли" можно было иметь ввиду "стул", " корабль", "танк" и бесконечно много других вариантов.

Ответы301623016330185

243 3 дек 2017, 14:36 243 30162

>>30161
Переопределять устоявшиеся в философии понятия это популярная здесь тактика, конструктивист ей часто пользуется.

Ответы30164

244 3 дек 2017, 14:37 244 30163

>>30161
Тут нужно немного по-другому объяснить.
Фактически, я предполагаю, что возможно недостаточно осознаю понятие "стул", поэтому буду избегать любых высказываний о нем.

245 3 дек 2017, 14:38 245 30164

>>30162
Я не предопределял, то что я описал называется "не давать определение".

246 3 дек 2017, 15:08 246 30165

Собственно, для недоучек вроде >>30157 и >>30155 всё уже объяснил Мах еще в 1886-м, но у городских интеллектуалов изучать философию не принято.

Первичны не Я, а элементы (ощущения). Относительно выражения «ощущение» необходимо иметь в виду сказанное на странице 63. Я образуется из элементов. Что значит: «Я ощущаю зеленое»? Это значит, что элемент «зеленое» является в известном комплексе с другими элементами (ощущениями, воспоминаниями). Когда я перестаю ощущать зеленое, когдая умираю, то элементы перестают являться в прежнем обычном для них обществе. Этим все сказано. Перестала существовать идеальная, цельная с точки зрения экономии мышления, но не реальная единица.
<…>
Элементы сознания одного индивидуума между собою тесно связаны, но с элементами сознания другого индивидуума связаны слабо, и только иногда эта связь заметна. Вот почему каждый думает, что он знает только себя, считая себя неделимой единицей, не зависимой от других.
<…>
Часто указывают на то, что немыслимо психическое переживание, которое не было бы переживанием определенного субъекта, и полагают, что этим доказана существенная роль единства сознания. Но прежде всего, как различны могут быть степени сознания своего Я и из каких разнообразных и случайных воспоминаний оно составляется! С таким же правом можно было бы сказать, что немыслим физический процесс, который не происходил бы в той или другой среде, а он происходит собственно всегда в мире. Отвлечься от этой среды, влияние которой может быть ведь весьма различно и в частных случаях может быть доведено до минимума, мы имеем право как тут, так и там, чтобы начать исследование. Стоит подумать об ощущениях низших животных, в которых вряд ли кто-нибудь решится усмотреть резко выраженных субъектов. Из ощущений строится субъект, который, правда, затем снова реагирует на ощущения.
<…>
Не следует выдвигать единства сознания. Противоположность между действительным и ощутимым миром есть противоположность мнимая и обусловленная только исходной точкой зрения, но в действительности пропасти между ними нет. Вот почему многообразную связь содержания сознания ничуть не труднее понять, чем многообразную связь в мире.

246 3 дек 2017, 15:08 246 30165

Собственно, для недоучек вроде >>30157 и >>30155 всё уже объяснил Мах еще в 1886-м, но у городских интеллектуалов изучать философию не принято.

Первичны не Я, а элементы (ощущения). Относительно выражения «ощущение» необходимо иметь в виду сказанное на странице 63. Я образуется из элементов. Что значит: «Я ощущаю зеленое»? Это значит, что элемент «зеленое» является в известном комплексе с другими элементами (ощущениями, воспоминаниями). Когда я перестаю ощущать зеленое, когдая умираю, то элементы перестают являться в прежнем обычном для них обществе. Этим все сказано. Перестала существовать идеальная, цельная с точки зрения экономии мышления, но не реальная единица.
<…>
Элементы сознания одного индивидуума между собою тесно связаны, но с элементами сознания другого индивидуума связаны слабо, и только иногда эта связь заметна. Вот почему каждый думает, что он знает только себя, считая себя неделимой единицей, не зависимой от других.
<…>
Часто указывают на то, что немыслимо психическое переживание, которое не было бы переживанием определенного субъекта, и полагают, что этим доказана существенная роль единства сознания. Но прежде всего, как различны могут быть степени сознания своего Я и из каких разнообразных и случайных воспоминаний оно составляется! С таким же правом можно было бы сказать, что немыслим физический процесс, который не происходил бы в той или другой среде, а он происходит собственно всегда в мире. Отвлечься от этой среды, влияние которой может быть ведь весьма различно и в частных случаях может быть доведено до минимума, мы имеем право как тут, так и там, чтобы начать исследование. Стоит подумать об ощущениях низших животных, в которых вряд ли кто-нибудь решится усмотреть резко выраженных субъектов. Из ощущений строится субъект, который, правда, затем снова реагирует на ощущения.
<…>
Не следует выдвигать единства сознания. Противоположность между действительным и ощутимым миром есть противоположность мнимая и обусловленная только исходной точкой зрения, но в действительности пропасти между ними нет. Вот почему многообразную связь содержания сознания ничуть не труднее понять, чем многообразную связь в мире.

Показать весь текст
Ответы30186

247 3 дек 2017, 15:12 247 30166

Совершенно понятно, далее, что если бы отвергаем субъекта, как нечто отдельное от внешнего мира, как нам советует Мах; то мы вынуждены отвергнуть и свободу воли.
Легко показать, что можно разделять обоснованные выше убеждения; либо не разделять, и быть веруном-платоником.

Ответы3017130257

248 3 дек 2017, 15:50 248 30171

>>30166
Свобода воли не зависит от того, отвергаем ли мы субъекта.
Это высказывание лишённое смысла, типа "аоулщвьапл".

Ответы301783018830192

249 3 дек 2017, 16:10 249 30178

>>30171
Свобода воли это по определению возможность субъекта осуществлять выбор. Нет субъекта, некому осуществлять. Сложно?

В качестве примера возьмем опять эпос Гомера. Его герои могут оказаться перед лицом различных альтернатив. Так, например, Ахиллес рассуждает (Илиада 9, 412):
Если останусь я здесь, вкруг твердыни троянцев сражаясь,
Мне не вернуться в отчизну, но славою буду бессмертен.
Если ж домой я отправлюсь, в любезную отчую землю, Слава погибнет моя, но сам долговечен я стану
И не безвременно буду настигнут кончиною смертной.

Бруно Снелл указывает на то, что подобные отрывки нельзя интерпретировать, как говорящие о том, будто Ахиллес волен избрать тот или иной путь. Скорее следует сказать, что он находит себя на одном из двух путей и, имея их описания, знает, чего он может ожидать: «у Гомера мы нигде не находим личного решения, сознательного выбора действующего лица. Человек, сталкивающийся с различными возможностями, никогда не думает: вот это зависит от меня, от моего решения».

Иначе и не могло быть. У Гомера человек просто не обладает единством, необходимым для сознательного выбора и креативного акта. Люди, как они представлены в позднем геометрическом искусстве, у Гомера и в архаическом обыденном мышлении, являются системами слабо связанных между собой частей. Они функционируют в качестве транзитных станций для столь же слабо связанных событий — сновидений, мыслей, эмоций, божественных вмешательств. У них нет духовного центра, нет «души», которая могла бы давать начало или «порождать» конкретные каузальные цепочки. Даже тело не обладает связностью и той выразительностью, которую придала ему поздняя греческая скульптура. Но это отсутствие целостности индивида более чем компенсировалось тем способом, которым индивид был включен в свое окружение. В то время как современное мышление отделяет человека от мира так, что взаимодействие между ними превращается в проблему (например, в проблему сознания — тела), воин и поэт Гомера — не чужак в этом мире, а имеет с ним общие элементы. Он не может «действовать» или «творить» в том смысле, который придают этим словам защитники индивидуальной ответственности, свободной воли и креативности, но ему и не нужны эти чудеса для того, чтобы участвовать в окружающих его изменениях.
С этим я подхожу к главному пункту моего аргумента.
Сегодня персональная креативность рассматривается как особая способность, развитие которой поощряется, а отсутствие считается серьезным недостатком. Такая позиция имеет смысл только в том случае, если человек рассматривается как самодостаточное существо, стоящее вне остальной природы и обладающее собственными идеями и волей.

249 3 дек 2017, 16:10 249 30178

>>30171
Свобода воли это по определению возможность субъекта осуществлять выбор. Нет субъекта, некому осуществлять. Сложно?

В качестве примера возьмем опять эпос Гомера. Его герои могут оказаться перед лицом различных альтернатив. Так, например, Ахиллес рассуждает (Илиада 9, 412):
Если останусь я здесь, вкруг твердыни троянцев сражаясь,
Мне не вернуться в отчизну, но славою буду бессмертен.
Если ж домой я отправлюсь, в любезную отчую землю, Слава погибнет моя, но сам долговечен я стану
И не безвременно буду настигнут кончиною смертной.

Бруно Снелл указывает на то, что подобные отрывки нельзя интерпретировать, как говорящие о том, будто Ахиллес волен избрать тот или иной путь. Скорее следует сказать, что он находит себя на одном из двух путей и, имея их описания, знает, чего он может ожидать: «у Гомера мы нигде не находим личного решения, сознательного выбора действующего лица. Человек, сталкивающийся с различными возможностями, никогда не думает: вот это зависит от меня, от моего решения».

Иначе и не могло быть. У Гомера человек просто не обладает единством, необходимым для сознательного выбора и креативного акта. Люди, как они представлены в позднем геометрическом искусстве, у Гомера и в архаическом обыденном мышлении, являются системами слабо связанных между собой частей. Они функционируют в качестве транзитных станций для столь же слабо связанных событий — сновидений, мыслей, эмоций, божественных вмешательств. У них нет духовного центра, нет «души», которая могла бы давать начало или «порождать» конкретные каузальные цепочки. Даже тело не обладает связностью и той выразительностью, которую придала ему поздняя греческая скульптура. Но это отсутствие целостности индивида более чем компенсировалось тем способом, которым индивид был включен в свое окружение. В то время как современное мышление отделяет человека от мира так, что взаимодействие между ними превращается в проблему (например, в проблему сознания — тела), воин и поэт Гомера — не чужак в этом мире, а имеет с ним общие элементы. Он не может «действовать» или «творить» в том смысле, который придают этим словам защитники индивидуальной ответственности, свободной воли и креативности, но ему и не нужны эти чудеса для того, чтобы участвовать в окружающих его изменениях.
С этим я подхожу к главному пункту моего аргумента.
Сегодня персональная креативность рассматривается как особая способность, развитие которой поощряется, а отсутствие считается серьезным недостатком. Такая позиция имеет смысл только в том случае, если человек рассматривается как самодостаточное существо, стоящее вне остальной природы и обладающее собственными идеями и волей.

Показать весь текст
Ответы30189

250 3 дек 2017, 16:46 250 30184

>>30159
аргументы насчёт чего? Насчёт того, что ты дурак? Это довольно очевидно, даже по твоей лексике. Зачем тратить силы на доказательство очевидного? Ты же не трудишься предоставлять аргументы той чепухе, которую здесь пишешь. Или что, сможешь мне сейчас аргументированно обосновать за свободу воли?

Ответы3019130194

251 3 дек 2017, 16:46 251 30185

>>30161
> что содержит пространство всех возможных потенциальных миров.
Ошибка.

252 3 дек 2017, 16:52 252 30186

>>30165
>всё уже объяснил Мах еще в 1886-м
Заебал со своими Махами, Браузерами и прочими идиотами. Они тебе что, мозги заменили?

>Первичны не Я, а элементы (ощущения)
С хуя ли?

>Это значит, что элемент «зеленое» является в известном комплексе с другими элементами (ощущениями, воспоминаниями).
С хуя ли?

>степени сознания своего Я и из каких разнообразных и случайных воспоминаний оно составляется
"Сознание" не составляется из воспоминаний. Это очень устаревшая манера рассуждать.

>Стоит подумать об ощущениях низших животных, в которых вряд ли кто-нибудь решится усмотреть резко выраженных субъектов.
Откуда инфа, что ощущают низшие животные? Ему конструктивист рассказал?

>Не следует выдвигать единства сознания.
Что такое "единство" сознания блять?

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

>Вот почему многообразную связь содержания сознания ничуть не труднее понять, чем многообразную связь в мире.
Ну если не труднее, то объясните всем, ёпта.

Ответы3019130194

253 3 дек 2017, 16:53 253 30188

>>30171
>Это высказывание лишённое смысла, типа "аоулщвьапл".
Нет, не лишено, и ты это понимаешь, но в твоей ролевой игре оно как будто бы лишено. Блять, ну вот как с этим человеком разговаривать?

254 3 дек 2017, 16:55 254 30189

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

Интересно, что будет дальше. Ссылаясь на noclip в компьютерной игре докажем, что материи не существует?

Ответы30191

255 3 дек 2017, 17:16 255 30191

>>30184
А я уже привёл (при чём не впервые), смотри выше.
>>30186
>Они тебе что
Более популярного изложения основ феноменологии, чем у Маха, найти трудно.
>С хуя ли?
Обо всём этом подробно написано в "Анализе ощущений". Я так понял, по твоей невнятной фразе, что тебя интересует как именно Мах пришёл к этим выводам. Отвечаю: из исследований по физиологии восприятия. Сам он феноменологии не знал, с работами Брентано знаком не был; но переоткрыл всё это самостоятельно, тем и интересен.
>Что такое "единство" сознания блять?
Из контекста должно быть понятно, что под "единством сознания" Мах здесь имеет в виду критикуемую им точку зрения, то есть идею о мыслящем субъекте. Идея эта появилась впервые у Декарта в явном виде; как и всякий бред, она порождает кучу проблем: mind-body oroblem, проблему реальности внешнего мира (солипсизм), и т.д. Если принять точку зрения Маха (и феноменологии вообще) все эти проблемы разрешаются.
>объясните всем, ёпта.
Он и объяснил, просто люди вроде тебя даже не догадываются о существовании его книг.
>>30189
То, что я тебе привёл, это не аргумент. Это просто иллюстрация из литературы, какой смысл у понятия свободной воли, и вот в архаической Греции, которую описывает Гомер, этого понятия не было. Зачем я привёл? Потому что даун выше, которому я ответил, не знал что такое свобода воли.

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

Ответы30197301993020030203

256 3 дек 2017, 17:19 256 30192

>>30171
На самом деле я погоричился.
Свобода воли — это замкнутость и открытость системы одновременно.
Конечно, это противоречиво, но если не определить закон противоречия, то все будет хорошо.

Ответы30193

257 3 дек 2017, 17:22 257 30193

>>30192
Но люди трактуют свободу воли, как открытую системы, которая неопределена.

Когда ты пишешь "яблоко". И говоришь, что это открытая, неопределенная система, то " яблоко" обладает свободой воли.

Ответы3019530196

258 3 дек 2017, 17:23 258 30194

>>30186
>Это просто напросто словоблудие уже.
Ты просто не умеешь читать, не понимаешь, что тебе говорят. Расшифровываю: мир ощущений, о котором говорит Мах, это единственный реальный мир, и никакого другого нет. То что он называет ощущениями, это по сути феномены; можешь говорить про дхармы, если знаешь буддизм, можешь про морфизмы расслоений, это вопрос терминологии.
>>30184
>аргументы насчёт чего? Насчёт того, что ты дурак? Это довольно очевидно
В принципе, за такую культуру общения, тебя следовало бы сразу зарепортить и не отвечать в принципе.

259 3 дек 2017, 17:27 259 30195

>>30193
Свобода воли открыта[при том, открытость неопределенная], так как ссылается на возможность "выбирать" независимо.
Свобода воли замкнута, так как ссылается на то, что никакие внешние системы не влияет на её.

260 3 дек 2017, 17:28 260 30196

>>30193
Замкнутость системы тоже важна.

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

Ответы30201

261 3 дек 2017, 17:28 261 30197

>>30191
>Отвечаю: из исследований по физиологии восприятия.
За это время физиология восприятия шагнула далеко вперёд, и даже не использует его терминологию. Не пора ли свежие книжки почитать?

Ответы30207

262 3 дек 2017, 17:29 262 30198

>>30127
>Интуицианизм по их же словам не формализуем. Это следует ещё из Аксиомы Церкви.
Миша, неформализуемость интуиционизма прямо следует из самого определения интуиционизма, никакие тезисы тут не при чем, вот только ты не понимаешь этого по той простой причине, что не понимаешь что такое математика. Ты вообще качественно ничем не отличаешься от золотца, и ты и он одинаковый корм для украинских клопов, только никитка садков в отличие от тебя это уже понял.

263 3 дек 2017, 17:29 263 30199

>>30191
>Он и объяснил, просто люди вроде тебя даже не догадываются о существовании его книг.
Почему ты всё время убеждаешь себя в том, что все вокруг тупее тебя? Что тебе это даёт?
И если ты умнее всех, то почему твоя жизнь качественно ничем не лучше, а даже хуже? Как ты объяснишь этот парадокс?

Ответы30207

264 3 дек 2017, 17:32 264 30200

>>30191
>Современная физика утверждает, что ничего материального не существует
А вот ЭТО и есть бессмысленное выражение.

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

Ответы302023021330231

265 3 дек 2017, 17:32 265 30201

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

266 3 дек 2017, 17:35 266 30202

>>30200
Ты прав, существует то, что мы хотим, это не зависит от свойств реальности.

Но из существование/несуществование чего-то не следует определённое поведение, это же демагогия.

Ответы30204

267 3 дек 2017, 17:37 267 30203

>>30191
>Современная физика утверждает
>В М-теории говорят о бранах
Чувак, ты слышал звон, да не знаешь, где он.
Я понимаю, все эти книжечки по феноменологии очень впечатляют, как в своё время школьникам нравился Ницше, и ты считаешь, что вот оно — ты нашёл течение, достаточно интеллектуальное, но не запятнанное массами, чтобы ты мог к нему приобщиться, но если ты хочешь рассуждать на такие темы, тебе не помешало бы расширить свой кругозор и понять, как работают вещи, на которые ты ссылаешь.
И физика и математика описывают вполне реальный мир, "существующий" во всех значениях этого слова, состоящий из совершенно точно существующей материи. То, что модели этой материи выносят тебе мозг — ну это проблемы твоего восприятия.
Нет, правда, я прекрасно понимаю твой ход мысли, когда ты говоришь "ой ой, браны! видите, материя нематериальна и вообще фикция какая-то". Это распространённый паттерн, так, например, создавалась каббала. Просто поверь на слово, если не хочешь стоять в тупике, читай дальше. Искренне желаю удачи.

Ответы3020530231

268 3 дек 2017, 17:38 268 30204

>>30202
>существует то, что мы хотим
А это ещё откуда?

Ответы30206

269 3 дек 2017, 17:40 269 30205

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

Ответы30208

270 3 дек 2017, 17:41 270 30206

>>30204
Бляяядь, вы вообще ничего не читаете?
Любой учебник теории высказываний.
Существует то, что мы определяем существующим, то что мы выделяем из пространства идей.

271 3 дек 2017, 17:41 271 30207

>>30197
Как я уже сказал: Мах интересен тем, что пришел к идеям феноменологии самостоятельно. И он писал очень популярно.
Если бы я начал приводить отрывки из Гуссерля, ты бы ничего не понял; это более серьёзная литература, нужны пререквизиты. И да, новейшие исследования подтверждают феноменологию, у издательства Springer даже есть серия про это, в которой несколько раз в год выходят новые книги.
Философия делится на феноменологию и прикладную шизофрению, начиная с 1890-х, другого просто нет.
>>30199
Если бы ты читал Маха, ты бы не говорил здесь этой хуйни, и понимал бы, что такое свобода воли, simple as that. Вместо этого, ты знаешь про какого-то там Мацика, ну здорово.
>почему твоя жизнь качественно ничем не лучше, а даже хуже
Невнятные спекуляции, сделанные видимо исходя из собственной frame of reference.
Лучше ознакомься с тем, что такое парадокс. dic.academic.ru и википедия неплохие сайты.

Ответы30211

272 3 дек 2017, 17:48 272 30208

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

Ого, как круто! И можно жить в мире цветных коней? Это очень охуенно, мужик! А объясни, плиз, как попасть в эти миры?

Ответы3020930210

273 3 дек 2017, 17:50 273 30209

>>30208
>А объясни, плиз, как попасть в эти миры?
Мидантан же, Кладовка-кун. Ньюфаги не знают, олдфаги не помнят.

Ответы30212

274 3 дек 2017, 17:52 274 30210

>>30208
Можно. Достаточно аксиоматически определить себя, как часть мира пони.

Ответы30212

275 3 дек 2017, 17:54 275 30211

>>30207
>Мах интересен тем, что пришел к идеям феноменологии самостоятельно.
Много кто пришёл к этому самостоятельно. Евреи-мистики в 15-м веке во Флоренции пришли к этому самостоятельно. Уверен, каждый день миллионы людей в размышлениях натыкаются на что-то подобное.
>Если бы я начал приводить отрывки из Гуссерля, ты бы ничего не понял
Слушай, ты напрягаешь своим ЧСВ. Я знаю Гуссерля, я читал всё, что есть на русском. Прекрати, заёбал натурально. Попроси папу, чтоб он тебя похвалил и успокойся.
>Если бы я начал приводить отрывки из Гуссерля, ты бы ничего не понял
Это не так.
>Невнятные спекуляции, сделанные видимо исходя из собственной frame of reference.
Твоя жизнь не отличается от жизни любого человека. Это не спекуляция а факт. Я понимаю, что тебе не нравится негативный оттенок, но что поделать, такова феноменология попоболи. Итак, что же тебе дала феноменология и "понимание" свободы воли на уровне, отличном от моего, варварского?

Ответы30242

276 3 дек 2017, 17:54 276 30212

>>30210
>>30209
Сами же видите, что это смешно.

277 3 дек 2017, 17:55 277 30213

>>30200
>Если материальный мир не существует, почему бы тебе не прыгнуть навстречу движущемуся поезду? Это не риторический вопрос, защити свою позицию. Так почему?
Ответа не последовало. А я задумал такой стратегичный сократический диалог!

Ответы30214

278 3 дек 2017, 17:58 278 30214

>>30213
Ответ уже был. Из существование/несуществование мира не следует определенное поведение.

Ответы30215

279 3 дек 2017, 17:59 279 30215

>>30214
Нет, ответь боле понятным образом на примере с поездом.
"Я не прыгаю под поезд, потому что..."
Не бойся, я буду аккуратно.

Ответы30216

280 3 дек 2017, 18:01 280 30216

>>30215
Я не прыгаю под поезд, потому что нету достаточный условий, которые бы меня сподвингнулы прыгнуть. Мое решение независимо от существование/не существование .

Ответы30217

281 3 дек 2017, 18:04 281 30217

>>30216
Я заплачу тебе 1000 долларов, если прыгнешь под поезд.
Теперь как ответишь? Ну кроме очевидного виляния жопой "мне не нужна 1000 долларов".

Ответы3021830221

282 3 дек 2017, 18:06 282 30218

>>30217
1000$ потеряют свою ценность, после того, как я умру.

Ответы3021930220

283 3 дек 2017, 18:06 283 30219

>>30218
Так как не смогу покупать на них пончики.

284 3 дек 2017, 18:07 284 30220

>>30218
Погоди, как это "умрёшь"? От чего, ты болеешь что ли? Или что случилось?

Ответы30223

285 3 дек 2017, 18:07 285 30221

>>30217
Если есть возможность прыгнуть и не умереть, и мне будет известен этот вариант, то я им воспользуюсь.

Ответы30222

286 3 дек 2017, 18:07 286 30222

>>30221
>Если есть возможность прыгнуть и не умереть
От чего умереть? Откуда вдруг смерть взялась в схеме "прыгаешь под поезд, получаешь 1000 баксов"? Её же не было в условиях.

Ответы3022430249

287 3 дек 2017, 18:08 287 30223

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

Ответы30226

288 3 дек 2017, 18:09 288 30224

>>30222
Мне показалось, что это открытая система.

Если она так замкнута, то, я бы взял деньги.

289 3 дек 2017, 18:13 289 30225

Кстати, задачи Арнольда часто открытые.
Например, говоря про копейки, мы обязаны иметь ввиду, что те целые [а не те, которые поделены на половинки].
За это его критиковали, ведь нужно делать необоснованные, математические утверждения.

Ответы30227

290 3 дек 2017, 18:14 290 30226

>>30223
>Меня убьет поезд,
Почему?

Ответы30228

291 3 дек 2017, 18:14 291 30227

>>30225
Нематематические утверждения.

292 3 дек 2017, 18:15 292 30228

>>30226
Открытая система.
Я сделал такое допущение, потому что могу.

293 3 дек 2017, 18:20 293 30229

>>30143
Наблюдается вот какой факт: два разных не связанных друг с другом человека, размышляющие о причинах одного и того же явления в сеттинге Толкина, очень часто объясняют это явление одинаково. По твоей логике это значит, что вселенная Толкина "имеет прямое отношение к ощущаемой реальности".

А разгадка проста - вы не понимаете понятие "вымышленная вселенная".

Ответы3023030249

294 3 дек 2017, 18:22 294 30230

>>30229
Твоя вселенная может быть "вымышленная ".
Представь, что какой-то писатель описывает наш мир.
Ты делаешь много допущений.

Ответы30232

295 3 дек 2017, 18:26 295 30231

>>30200
Что такое материя? Обычно подразумевается что это нечто, состоящее из фундаментальных частиц, фермионов и лептонов, в основном.
Общеприятная точка зрения в физике, что эти самые частицы это просто абстракции, модели, описывающие возмущения квантового поля. Сложно?
>почему бы тебе не прыгнуть навстречу движущемуся поезду?
Это никак не соотносится с тем, что я сказал.
>в мире несуществующей материи
Ты в нём находишься прямо сейчас. Материя это устаревшее понятие, вроде флогистона, импетуса, мирового эфира, и т.д., в истории науки таких понятий много было.
>>30203
>Чувак, ты слышал звон, да не знаешь, где он.
А ты, стало быть, знаешь. Но вместо аргументов, предпочитаешь в многих словах описывать свое трудное детство (вероятно, еще не закончившееся) и делать какие-то догадки насчёт источника моих взглядов. Интересно, почему.

An important feature of QFT is the existence of a vacuum state |0>, a unit vector that must not be confused with the zero vector, having no quanta (N(k)=0 for all k). Each mode's vacuum state has energy hf(k)/2. The vacuum state manifests itself experimentally in many ways, which would be curious if particles were really fundamental because there are no particles (quanta) in this state.
The operator field (and other observables such as energy) operates on |Ψ>, creating and destroying photons. For example, the expected value of the vector potential is a vector-valued relativistic field A(x,t) = <Aop(x,t)> = <Ψ| Aop(x,t) |Ψ>, an expression in which Aop(x,t) operates on |Ψ>. We see again that Aop(x,t) is actually a physically meaningful field because it has a physically measurable expectation value at every point x throughout a region of space. So a classical field that is quantized does not cease to be a field.
Some authors conclude, incorrectly, that the countability of quanta implies a particle interpretation of the quantized system. Discreteness is a necessary but not sufficient condition for particles. Quanta are countable, but they are spatially extended and certainly not particles. Eq. 3 implies that a single mode's spatial dependence is sinusoidal and fills all space, so that adding a monochromatic quantum to a field uniformly increases the entire field's energy (uniformly distributed throughout all space!) by hf. This is nothing like adding a particle. Quanta that are superpositions of different frequencies can be more spatially bunched and in this sense more localized, but they are always of infinite extent.

И т.д. Тебе же можно посоветовать научиться вести дискуссию, и подкреплять свои слова чем-то ещё, кроме нелепых апелляций ad personam к людям, о которых ничего не знаешь. За пределами анонимных форумов такое поведение не поощряется.

295 3 дек 2017, 18:26 295 30231

>>30200
Что такое материя? Обычно подразумевается что это нечто, состоящее из фундаментальных частиц, фермионов и лептонов, в основном.
Общеприятная точка зрения в физике, что эти самые частицы это просто абстракции, модели, описывающие возмущения квантового поля. Сложно?
>почему бы тебе не прыгнуть навстречу движущемуся поезду?
Это никак не соотносится с тем, что я сказал.
>в мире несуществующей материи
Ты в нём находишься прямо сейчас. Материя это устаревшее понятие, вроде флогистона, импетуса, мирового эфира, и т.д., в истории науки таких понятий много было.
>>30203
>Чувак, ты слышал звон, да не знаешь, где он.
А ты, стало быть, знаешь. Но вместо аргументов, предпочитаешь в многих словах описывать свое трудное детство (вероятно, еще не закончившееся) и делать какие-то догадки насчёт источника моих взглядов. Интересно, почему.

An important feature of QFT is the existence of a vacuum state |0>, a unit vector that must not be confused with the zero vector, having no quanta (N(k)=0 for all k). Each mode's vacuum state has energy hf(k)/2. The vacuum state manifests itself experimentally in many ways, which would be curious if particles were really fundamental because there are no particles (quanta) in this state.
The operator field (and other observables such as energy) operates on |Ψ>, creating and destroying photons. For example, the expected value of the vector potential is a vector-valued relativistic field A(x,t) = <Aop(x,t)> = <Ψ| Aop(x,t) |Ψ>, an expression in which Aop(x,t) operates on |Ψ>. We see again that Aop(x,t) is actually a physically meaningful field because it has a physically measurable expectation value at every point x throughout a region of space. So a classical field that is quantized does not cease to be a field.
Some authors conclude, incorrectly, that the countability of quanta implies a particle interpretation of the quantized system. Discreteness is a necessary but not sufficient condition for particles. Quanta are countable, but they are spatially extended and certainly not particles. Eq. 3 implies that a single mode's spatial dependence is sinusoidal and fills all space, so that adding a monochromatic quantum to a field uniformly increases the entire field's energy (uniformly distributed throughout all space!) by hf. This is nothing like adding a particle. Quanta that are superpositions of different frequencies can be more spatially bunched and in this sense more localized, but they are always of infinite extent.

И т.д. Тебе же можно посоветовать научиться вести дискуссию, и подкреплять свои слова чем-то ещё, кроме нелепых апелляций ad personam к людям, о которых ничего не знаешь. За пределами анонимных форумов такое поведение не поощряется.

Показать весь текст
Ответы30233

296 3 дек 2017, 18:28 296 30232

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

Ответы30234

297 3 дек 2017, 18:29 297 30233

>>30231
>Что такое материя?
Бесполезный термин, который выдумали психи-марксисты. Физики им не пользуются.

Ответы30244

298 3 дек 2017, 18:33 298 30234

>>30232
Персонажи Толкиена, с точки зрения математики[теории высказываний] существует точно также, как и мы. Но те живут в другом мире.

Ответы3023530236

299 3 дек 2017, 18:35 299 30235

>>30234
> с точки зрения математики[теории высказываний] существует
Математика уже не гамалогии?

Ответы30238

300 3 дек 2017, 18:38 300 30236

>>30234
Это какой-то очередной твой Тезис?

301 3 дек 2017, 18:38 301 30237

Пиздец, смешно с деградантов. Допизделись уже до того, что персонажи толкина это математика. Зато нечеткая логика - это не математика.

Ответы30239

302 3 дек 2017, 18:40 302 30238

>>30235
Математика — это все вокруг тебя.
Я не тот тополог, вообще школьник.

Ответы30241

303 3 дек 2017, 18:43 303 30239

>>30237
Считаю чётную логику разделом математики.

Ответы30240

304 3 дек 2017, 18:44 304 30240

>>30239
*нечеткую

305 3 дек 2017, 18:44 305 30241

>>30238
>Я не тот тополог, вообще школьник.
Ну от миши ты недалеко ушел.

Ответы30243

306 3 дек 2017, 18:45 306 30242

>>30211
>Много кто пришёл к этому самостоятельно.
Мах, Брентано, Брауэр, Гёдель. Не так уж и много получается.
>Евреи-мистики в 15-м веке во Флоренции
Джордано Бруно, Джон Ди и розенкрейцерское просвещение это не Флоренция, и не 15-й век. Да и с феноменологией общего все-таки немного. Это как с Лейбницем, у него тоже много чего можно найти. Хотя не не лишено интереса, конечно.
>Я знаю Гуссерля, я читал всё, что есть на русском
А я знаю людей, которые читали например Куна, и нихуя не поняли, вообще. Моё объяснение такое: читать мало, надо уметь работать с текстом. Если ты ничего не знаешь, то Structure of scientific revolutions это неплохая книна по истории, с кучей интересных примеров. Но если ты знаешь все эти примеры, то тебе проще понять то, что они должны иллюстрировать.
А так да. Можно прочитать всю критику чистого разума и ничего не понять кроме "время дано нам априорно", если ты пиздоглазое хуйло. Хотя обе эти книги написаны для массового читателя; про Гуссерля такого не скажешь.
Замечу, что Гёдель у него читал только Идеи и Картезианские медитации; то есть "я прочитал всё" это вообще не аргумент. С тем же успехом можешь прочесть "капитализм и шизофрению", вот только если ты не знаком с Марксом и психоанализом, 100% материала пройдет мимо.
В случае Гуссерля этот материал – Брентано и Мах.
Кстати, второй том Логических исследований наполовину состоит из критики Маха, что еще раз показывает, какая ты лолка. Впрочем очевидно это анонимный пиздеж и ничего ты не читал.

Ответы30246

108 Кб, 1280x720
307 3 дек 2017, 18:45 307 30243

>>30241
Я решаю арифметические примеры, чтобы подготовиться к экзамену.

308 3 дек 2017, 18:46 308 30244

>>30233
Уже нет, до 1950-х вполне еще пользовались.

309 3 дек 2017, 18:56 309 30246

>>30242
>второй том
Первый точнее, ерунду ляпнул.

310 3 дек 2017, 19:17 310 30249

>>30222
Бросаться под поезд это не из области физики, это из области здравого смысла (которого у тебя нет).
Это никак не опровергает того, что я говорю.
Здравый смысл не связан с наукой или чем-то еще, это, по словам Эйнштейна "способ ориентироваться в лабиринте ощущений". Есть приобретенный в течение твоей жизни опыт, а есть врождённый, например инстинкт самосохранения, это уже эволюция виновата.
С тобой дискутировать сложно потому, что ты не понимаешь, о чем говоришь, что такое материя, в данном случае.
>>30229
>объясняют это явление одинаково
Интерпретация текстов и доказательства в математике это разные вещи. Понятно, что если у людей много общего в плане интересов, то о некоторых вещах они могут подумать одинаково.
Но в математике есть еще понятие об эквивалентных утверждениях, и один и тот же результат могут получить не только разные люди, но и из разных соображений, и с почти не пересекающимся опытом в разных областях

Ответы30252

311 3 дек 2017, 20:10 311 30252

>>30249
>Бросаться под поезд это не из области физики, это из области здравого смысла (которого у тебя нет).
Я тебя люто-бешенно ненавижу.

Кидаться под поезд — это здравый смысл.
Иначе, ты бы не бросался.
Бросаются тогда, когда есть достаточные причины, т.е здравый смысл.

312 3 дек 2017, 20:27 312 30255

>>30112
>Оригинальная теория множеств Кантора утверждает, что для любого свойства P совокупность всех вещей x, обладающих свойством P, является множеством.
Это не Кантор, это Фреге. Кантор за 20 лет до Рассела различал множества и совокупности, которые слишком велики для того, чтобы быть множествами.
>“Eine Mannigfaltigkeit (ein Inbegriff, eine Menge)
von Elementen, die irgendwelcher Begriffssphäre angehören, nenne ich wohldefiniert
wenn . . . es als intern bestimmt angesehen werden muß, sowohl ob irgendein
derselben Begriffsphäre angehöriges Objekt zu der gedachten Mannigfaltigkeit als
Element gehört oder nicht, wie auch, ob zwei zur Menge gehörige Objekte, trotz
formaler Unterschiede in der Art des Gegebenseins, eindander gleich sind oder
nicht.”
>Множество S полностью определено только тогда, когда относительно всякой вещи известно, является ли она элементом множества S или нет”.
Отсюда множество всех множеств множеством не является.

Ответы30256

313 3 дек 2017, 20:31 313 30256

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

Ответы30258

314 3 дек 2017, 20:43 314 30257

>>30166
>либо не разделять, и быть веруном-платоником.
Как заниматься математикой и не быть веруном? в аксиомы/конструктивный процесс/актуальную бесконечность.

Ответы30259

315 3 дек 2017, 20:44 315 30258

>>30256
Множество всех множеств допустимо, это шизофреники отрицают его.

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

Если по условию парадокса Рассела сказано "множество, содержащее и несодержащее данный элемент", а по аксиоматике, недопускать противоречия, то тут будет парадокс. Но это частный случай. И он — говно.

Ответы3026030261

316 3 дек 2017, 20:46 316 30259

>>30257
Математика не предполагает веру.

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

Ответы30260

317 3 дек 2017, 20:50 317 30260

>>30258
>это шизофреники отрицают его.
Дедекинд и Кантор то есть?
>Множество S полностью определено только тогда, когда относительно всякой вещи известно, является ли она элементом множества S или нет”.
Про множество всех множеств, которые не содержат себя нельзя сказать принадлежит ли оно само себе или нет, то есть не для всякой вещи в мире известно, является ли она элементом множества всех множеств или нет. А значит множество всех множеств не является множеством. Это по Кантору и Дедекинду, а та ахинея про любое свойство принадлежит Фреге, который был ссаным философом и, не разобравшись, полез не в свою область зачем-то.
>>30259
Что такое вера? Для меня вера это постулирование существования чего-то, существование чего доказать или опровергнуть нельзя.

Ответы30262

318 3 дек 2017, 20:52 318 30261

>>30258
1. Парадокс Рассела. Напомним, в чем именно состояли эти так называемые ‘парадоксы
теории множеств’. Все эти парадоксы связаны с принятием следующего абсурдного предпо-
ложения.
Аксиома Фреге. Для любого свойства P существует множество {x | P (x)} всех объектов x, обладающих свойством P .
В 1902 году Рассел заметил, что принятие этой аксиомы ведет к противорию 80 . Рассмотрим предикат P (x) = (x ∈/ x). Аксиома Фреге утверждает, что существует множество X = {x | x ∈/ x}.

Ответы30268

319 3 дек 2017, 21:00 319 30262

>>30260
>ахинея про любое свойство принадлежит Фреге, который был ссаным философом и, не разобравшись, полез не в свою область зачем-то.
Ладно, я погорячился чёт. Просто изначальная теория множеств была слишком узкой, вот и пытались её расширить, но расширение приводило к противоречивости. Фреге не ссаный.

Ответы30263

320 3 дек 2017, 21:01 320 30263

>>30262
Прости, Фреге.

321 3 дек 2017, 23:09 321 30268

>>30261
Зато это верно для классов.

Ответы30283

322 4 дек 2017, 06:56 322 30283

>>30268
Класс это класс
>Парадоксы наивной теории множеств, как правило, используют противоречивое утверждение «все классы являются множествами». Более строго, эти парадоксы предоставляют доказательство того, что некоторые классы являются собственными. Например, из парадокса Рассела следует, что класс всех множеств не является множеством, а из парадокса Бурали-Форти — что класс всех ординалов является собственным.

323 4 дек 2017, 07:19 323 30285

>>30131
>публично
Меня же засмеют.

Ответы3028630293

324 4 дек 2017, 07:32 324 30286

>>30285
А ты думал, конструктивистом быть легко?

325 4 дек 2017, 12:12 325 30293

>>30285
>Меня же засмеют.
Гильберта же не засмеяли. Когда он переобулся в финитные метаматематические методы после краха своей изначальной программы.

326 4 дек 2017, 14:02 326 30298

Математика состоит из геометрии, анализа и алгебры, общепринятый язык математики теория множествне видел теории категорий нигде, кроме алгебры, да и то далеко не везде, почему так?, общепринятый метод математики исчисление предикатов. Всё так?

Ответы3030030302

2,5 Мб, 1565x880
327 4 дек 2017, 14:31 327 30300

>>30298
Даже не так, реквестирую обзорный текст о связи между разделами математики или карту по типу такой, только правдоподобную.

Ответы30306

328 4 дек 2017, 14:33 328 30301

Дед, а ты правый или левый? Вообще интересный вопрос о политических воззрениях математиков, они условно-левокампусные как и в остальных науках, или есть отличие?

Ответы30515

329 4 дек 2017, 14:36 329 30302

>>30298
>Математика состоит анализа
"анализ" не является частью математики.
>не видел теории категорий нигде
В таком случае ты не видел математики.

Ответы303043035930371

330 4 дек 2017, 14:38 330 30303

>>30065
>но все они вместе с доказательствами занимают не более 5 страниц
Не первый раз слышу, что за 5 страниц? У вербилы вон целый учебник за ~1к рублей вышел.

331 4 дек 2017, 14:50 331 30304

>>30302
>"анализ" не является частью математики.
Да является, является. Частное ведь тоже можно и нужно изучать, общим(алгеброй) не обойдёшься ведь. Понятно, что ты ярый фанат алгебры, но тем не менее. Мне почему-то кажется. что математика это как сказка о слоне, каждый своё видит, а действительно увидеть её можно с трёх сторон, геометрической, алгебраической и аналитической. Вот тогда заебись.
>не видел математики
В алгебре видел, есть книги по анализу или геометрии/топологии с теоркатом вместо ТМ?

Ответы3030530307

332 4 дек 2017, 14:52 332 30305

>>30304
>геометрии/топологии с теоркатом
>Современное изложение алгебраической геометрии
Вопрос снимается. А анализ есть через категории?

Ответы30306

333 4 дек 2017, 15:00 333 30306

>>30305
>А анализ есть через категории?
>"анализ" не является частью математики.
Ладно, не получается найти, похоже анализ и теоркат как-то плохо совместимы. Ну а по>>30300
ничего не знаешь? Хотелось бы посмотреть на схему что ли связей между разными областями математики, как одно в другое перетекает и где, всё такое короче.

334 4 дек 2017, 15:03 334 30307

>>30304
>Да является
Ты ещё скажи, что комбинаторика является частью математики.
>геометрической
Частный случай алгебраической.
>аналитической
Не математика.

Ответы3030830359

335 4 дек 2017, 15:10 335 30308

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

Ответы3030930310

336 4 дек 2017, 15:15 336 30309

>>30308
>алгебра, геометрия и анализ
Но вроде как больше нет ничего, всё остальное к ним сводится. Ну и особняком ТМ(теоркат) как язык и логика как метод. Вроде всё.

337 4 дек 2017, 15:26 337 30310

>>30308
>Частью алгебры
Тогда получилось бы, что комбинаторика является математикой.
Из опыта максимум школьного действительно может показаться, что анализ является "математикой", но это не так.
>что не решалось алгебраически решалось геометрически
Та геометрия, про которую ты говоришь, является частным случаем линейной алгебры, а это раздел алгебры.
>ТМ
Упразднено теорией топосов, то есть разделом алгебры.
>теоркат
Раздел алгебры.
>логика
Изучение булевых алгебр является разделом алгебры.

Ответы3031430359

338 4 дек 2017, 15:38 338 30314

>>30310
Ну ладно, с геометрией сам сейчас думал, что как раз геометрия перестаёт работать там, где алгебра только начинает в полную силу. А с анализом как быть? Ведь все самые охуенные пересечения математики и реального мира про анализ как раз. Все эти совпадения и истории, когда физики что-то там нашли и оказалось, что это всё в анализе было за 100 лет до этого посчитано. А теория динсистем какая охуенная! Неужели тебя такое не прельщает? А всякие соотношения чисел, поведение функций, хитрое, но красивое. Не, алгебра не менее заебись, просто как можно только на одно дрочить не совсем понимаю.

Ответы303163031930324

339 4 дек 2017, 15:38 339 30316

>>30314
Хотя каждый дрочит как хочет.

340 4 дек 2017, 15:41 340 30319

>>30314
Ну и алгебра общая, она в частности не вдаётся никогда, "с точностью до изоморфизма", а ведь там самая писечка может быть, самая мякотка.

Ответы30321

341 4 дек 2017, 15:42 341 30321

>>30319
А анализ наоборот, конкретный такой поцык.

Ответы30322

342 4 дек 2017, 15:43 342 30322

>>30321
Но дальше своего носа не видит.

343 4 дек 2017, 15:43 343 30323

Ладно, спать пойду. Добра.

344 4 дек 2017, 15:43 344 30324

>>30314
>А с анализом как быть?
В каком смысле? Он к математике никакого отношения не имеет, это отдельная наука.
>"с точностью до изоморфизма"
В зависимости от категории это может означать и равенство.

Ответы3032730359

345 4 дек 2017, 15:45 345 30327

>>30324
Ну у тебя математика это алгебра. Можно тогда вообще о математике не говорить, а говорить об алгебре и анализе как отдельных друг от друга науках.

Ответы3032830331

346 4 дек 2017, 15:46 346 30328

>>30327
И доску сделать /anal/ для любителей анализа.

Ответы30334

347 4 дек 2017, 15:48 347 30331

>>30327
>Ну у тебя математика это алгебра.
Всё в математике сводится к алгебре. Она является частью алгебры.
>говорить об анализе
Про анализ вообще особого смысла нет говорить, он фактически мёртв.

Ответы30336303393035930372

348 4 дек 2017, 15:50 348 30334

>>30328
А для алгебры /puck

349 4 дек 2017, 15:51 349 30336

>>30331
> он фактически мёртв
Не говори так.

350 4 дек 2017, 15:57 350 30339

>>30331
https://youtu.be/iKIam70tHQU?t=949
Доказательство с помощью водовки, лол.

Ответы3034030341

351 4 дек 2017, 15:57 351 30340

>>30339
привязка там по времени в новой вкладке если открыть

Ответы30341

352 4 дек 2017, 16:00 352 30341

>>30339
>>30340
Бля перепутал, там короче Кузьмин залезал на полку с книгами по лестнице, брал оттуда водку, выпивал, слезал, пытался доказывать, затем залезал, бухал, слезал и так по кругу пока не доказал или не вырубался. Русский метод доказательства теорем.

Ответы30345

353 4 дек 2017, 16:08 353 30345

>>30341
>Кузьмин
https://youtu.be/Zadh8azrKqQ?t=2966
Во, короче, 49:26, в новой вкладке открыть там привязка по времени будет.

354 4 дек 2017, 16:38 354 30355

А ведь ты прав, я прозрел походу, анализ это эксперименты, естественно-научная тема такая, копошение в числах, там нет доказательств почти. Нашёл факт и заебись, тебе даже доказывать ничего не надо, факт по факту факт, он работает и ок.
Не ищите там теорем, их нет, я ничего не умею выводить из исходных для этой теории уравнений Навье—Стокса. Мои результаты об их решениях не доказаны, а верны — что гораздо важнее
Я понял тебя, ты прав, анализ не математика, анализ это анализ. Но он не мёртв, почему он мёртв-то? Не убивайте, ну не убивайте!

Ответы30357

355 4 дек 2017, 16:54 355 30357

>>30355
Но ради математики я от анализа отказываться не буду, я также залипал в числа, делил их друг на друга, периоды записывал, чёта гулял по ним и тп и вот эту
https://en.wikipedia.org/wiki/Full_reptend_prime
вытащил оттуда тему и другие, пох что они до меня вытащены были, всё равно это интересно, хоть и другое, ну типа больше реально на физику похоже какую-то. Но хотя это физика внутри математики как бы, она изучает математику всё же, просто физическими методами. Не,всё таки анализ это математика. О, а что если математику определять как то, что изучает математику. Если нечто изучает математику, то само является математикой. Пох, бред несу, спать нужно.

Ответы3035830360

356 4 дек 2017, 17:01 356 30358

>>30357
>я от анализа отказываться не буду
Тебя никто и не просит от него отказываться. Нравится жрать говно - жри. Только не нужно об этом всем рассказывать.
>всё таки анализ это математика
Анализ не используется в математике, следовательно он не является её частью.

Ответы3035930362

44 Кб, 1280x720
357 4 дек 2017, 17:08 357 30359

>>30302
>>30307
>>30310
>>30324
>>30331
>>30358
>"анализ" не является частью математики.
>В таком случае ты не видел математики.
>Ты ещё скажи, что комбинаторика является частью математики.
>Не математика.
>Тогда получилось бы, что комбинаторика является математикой.
>Из опыта максимум школьного действительно может показаться, что анализ является "математикой", но это не так.
>Та геометрия, про которую ты говоришь, является частным случаем линейной алгебры, а это раздел алгебры.
>Раздел алгебры.
>Упразднено теорией топосов, то есть разделом алгебры.
>Изучение булевых алгебр является разделом алгебры.
>В каком смысле? Он к математике никакого отношения не имеет, это отдельная наука.
>В зависимости от категории это может означать и равенство.
>Всё в математике сводится к алгебре. Она является частью алгебры.
>Нравится жрать говно - жри. Только не нужно об этом всем рассказывать.
>Про анализ вообще особого смысла нет говорить, он фактически мёртв.
>Анализ не используется в математике, следовательно он не является её частью.

358 4 дек 2017, 17:09 358 30360

>>30357
Ты говоришь с эталонной алгебраической пынькой, у которой пучок головного мозга. Не пытайся ей что-то объяснить, она не поймёт.

Ответы30362

359 4 дек 2017, 17:18 359 30362

33 Кб, 250x260819 Кб, 1328x8243 Кб, 363x133

>>30358
Зависит от того, что считать математикой. Но да, я понял тебя.
>>30360
Да не, я скорее себе объяснил, я наконец понял, что он имеет ввиду, когда говорит "не математика". И в этом есть смысл на самом деле. С одной стороны безупречная строгость, красота с другой какие-то отрывочные ни на чём не основанные факты непонятно откуда(на самом деле просто из любопытного ковыряния-гуляния внутри чисел например) взятые, возможно бездоказательно. Тут можно сгореть нехило с такого, я представил даже, хех. Но мне всё же кажется, что математика вообще вне лежит, что алгебра, геометрия, анализ это методы изучения её: структурно-дискретный, пространственно-образный и численно-аналитический точки зрения на одно какое-то что-то.

Ответы3036330367

360 4 дек 2017, 17:24 360 30363

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

Ответы3036430368

361 4 дек 2017, 17:27 361 30364

>>30363
Ну хуй знает. Короче ладно, надо спать идти, добра. Закрыть уже вкладку и выспаться как человек.

362 4 дек 2017, 17:35 362 30367

>>30362
Первая картинка - подмодуль симметрического неабелевого модуля на 48 символах.
Вторая картинки - пространство, гомотопически эквивалентое S^1, то есть пространству Эйленберга-Маклейна K(ℤ,1).
Третья картинка - хуйня какая-то.

Ответы30381

363 4 дек 2017, 17:36 363 30368

>>30363
>В его словах нет глубоких смыслов.
Действительно, эти вещи практически очевидны. Какой тут может быть глубокий смысл.

364 4 дек 2017, 17:38 364 30371

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

Ответы30373

365 4 дек 2017, 17:39 365 30372

>>30331
>Всё в математике сводится к алгебре.
К арифметике. И я тебе даже показал, как.

366 4 дек 2017, 17:40 366 30373

>>30371
>UML
Что это? Ещё один изоморфизм?
>из хачкиля
Какое отношение прагрмамирование имеет к математике?
>единственной математикой
Теория категорий это лишь раздел алгебры.

Ответы30374

367 4 дек 2017, 17:44 367 30374

>>30373
>Теория категорий это лишь раздел алгебры.
А алгебра - раздел арифметики. Арифметизация теорий, геделевская нумерация, да.
>Какое отношение прагрмамирование имеет к математике?
А теория категорий какое? Обпучкался ты совсем, везде стрелочки видишь, так это тебе прямая дорога программировать на UML'е.
>Что это? Ещё один изоморфизм?
Лучше. Загугли, это круче твоих категорий.

Ответы3037630377

368 4 дек 2017, 17:48 368 30376

>>30374
>арифметики
Раздел алгебры.
>А теория категорий какое?
Она является разделом алгебры, следовательно разделом математики.
>праграммировать
Это ведь для животных, я таким не занимаюсь.
>Лучше
Жаль, я думал опять изамарфизмы в несуществующих категориях.

Ответы30378

369 4 дек 2017, 17:49 369 30377

>>30374
>Загугли
Загуглил. Даже не порисуешь 3D диаграммы, хуйня какая-то. Как и ожидалось от праграммисата.

370 4 дек 2017, 17:51 370 30378

>>30376
>я таким не занимаюсь.
Занимаешься, только называешь это по-другому и при этом не видишь сути происходящего. Что и ожидалось.

Ответы30380

371 4 дек 2017, 17:54 371 30380

>>30378
Сейчас только что использовал аксиому выбора несчётное кол-во раз, это часть праграмиравания?

Ответы30382

372 4 дек 2017, 17:54 372 30381

>>30367
>хуйня какая-то.
Это экспонента же, там будет 2 11 4 11 6 11 8 11 10 11 12..

373 4 дек 2017, 17:57 373 30382

>>30380
>использовал
Это часть твоих фантазий. Ты думаешь, что использовал. Как и в категориях твоих, это просто рисование стрелочек. Если за этим стоит что-то конструктивное, будет вычисление. Если нет - будет простое рисование стрелочек.

Ответы30386

374 4 дек 2017, 18:04 374 30386

>>30382
>Это часть твоих фантазий.
Да нет, я вот прямо сейчас её использую.
>Если за этим стоит что-то конструктивное
Ты увлекаешься теорией типав, но даже не знаешь про её связь с одним разделом математики. Что и ожидалось от праграммаиста.

375 4 дек 2017, 18:59 375 30398

>>30392
Праграмисту это говорить бесполезно.

376 4 дек 2017, 19:52 376 30400

А почему нужно заниматься только вычислимой математикой?

Ответы3040130406

377 4 дек 2017, 20:44 377 30401

>>30400
Такова воля Аллаха.

378 4 дек 2017, 21:27 378 30406

>>30400
Так как прикладники, любят вычислять процессы.

Ответы30407

379 4 дек 2017, 21:30 379 30407

>>30406
Конструктивистская Умма это не прикладники. Прикладники хоть что-то про математику знают.

Ответы30408

380 4 дек 2017, 21:31 380 30408

>>30407
>Прикладники хоть что-то про математику знают.
Не видел ещё такого. Например?

Ответы30409

381 4 дек 2017, 21:36 381 30409

>>30408
Курс Вавилова по линейной алгебре для прикладников.

Ответы30412

382 4 дек 2017, 21:46 382 30410

260 Кб, 587x515232 Кб, 530x660

Ответы30412

383 4 дек 2017, 21:52 383 30411

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

Ответы30443

384 4 дек 2017, 21:52 384 30412

>>30409
>>30410
Нормально. Лучше, чем я ожидал.

385 4 дек 2017, 23:07 385 30443

>>30411
А зачем прикладникам инъективные резольвенты?

Ответы30445

386 4 дек 2017, 23:12 386 30445

>>30443
Так без них когомологии Чеха не определить нормально. Ещё спроси, зачем прикладнику когомологии Чеха.

Ответы30465

387 5 дек 2017, 00:19 387 30449

Сколько атеистов среди математиков?
Среди молодых физиков почти поголовно все. А что с математикой?

Ответы3045230515

388 5 дек 2017, 00:32 388 30452

>>30449
Большая часть математиков исповедует теологический нонкогнитивизм (хотя мало кто знает, как он по-научному называется).

Меньшая часть математиков поехала и всерьёз верит в каббалу, индуистских богов, телему, сатану, чудовищ лавкрафта, буддизм, говорящие бурлящие среды, голоса в белом шуме, etc. Есть и православные.

Ответы304703050630513

389 5 дек 2017, 00:45 389 30455

>>30389
>Хелемский, Пирковский.
>Ещё Кириллов-Гвишиани и Глазман-Любич.
Норм, спасибо.
>>30391
>Анализ это раздел к-теории с*-алгебр.
Так то, что анализ не математика не ты писал?

Ответы30458

390 5 дек 2017, 00:50 390 30458

>>30455
Не он.

391 5 дек 2017, 01:06 391 30465

>>30445
Зачем?

392 5 дек 2017, 01:14 392 30470

>>30452

>Есть и православные.
Оценил.

393 5 дек 2017, 01:34 393 30485

Дед, почему перестал форсить модульный фашизм?

Ответы3049930515

394 5 дек 2017, 02:08 394 30497

Являются ли "основания" математикой?

Ответы30498

395 5 дек 2017, 02:14 395 30498

>>30497
Все является математикой.
Но можно выделить понятие "предельной" математики. Примерами качеств такой математики, является сложность и отсутствие пользы, которые стремятся к бесконечности. Возможно, существует некий базис, который варьируется от линейного пространства, у всех математиков различно. У меня довольно толератный.

396 5 дек 2017, 02:38 396 30499

>>30485
Декабрь. Сессия.

397 5 дек 2017, 03:37 397 30506

>>30452
Роман Михайлов к кому относится?

>теологический нонкогнитивизм
Это чё, типа непознаваемость Бога?

Ответы30509

398 5 дек 2017, 04:19 398 30509

>>30506
Это значит, что в словах "бог", "сверхъестественное", "тонкие миры", "высшая материя", "дьявол", "порча", "сглаз" и т.п. смысла не больше, чем в словах "сепульки" и "бармаглот". Разумеется, из бессмысленных слов можно составлять тексты. Но эти тексты заведомо не ценнее выдачи генератора белого шума.

Религиозный язык лишён смысла, религиозные термины ничего не значат, использовать их как что-то осмысленное могут только психи. Спрашивать "существует ли бог" не более разумно, чем спрашивать "существует ли финьшщзх".

Варкалось. Хливкие шорьки
Пырялись по наве,
И хрюкотали зелюки,
Как мюмзики в мове.

Верую в Бога Отца, Всемогущего;
и во Иисуса Христа;
И в Духа Святого;
в Церковь Святую,
в отпущение грехов,
в воскресение тела
в жизнь вечную.

Ответы305113051230540

399 5 дек 2017, 06:00 399 30511

>>30509
У религиозных слов есть смысл, т.к. они представляют собой устойчивые пары означаемого/означающего.

Ответы3051430516

400 5 дек 2017, 06:02 400 30512

>>30509
Ну то есть я понимаю, что "смысл" этих слов тебя не удовлетворяет, и понимаю, почему, но смысл у них есть, так что по правде, ты не можешь так говорить. Иначе говоря, твоё заявление - бессмыслица. Выходит так.

Ответы30514

401 5 дек 2017, 06:35 401 30513

>>30452
>индуистских богов, буддизм
В индуизме нет никаких богов. Точнее бог там ровно один, Брахман, но это не бог, в христианском смысле, а скорее то, что Хайдеггер называл "бытие-с".

Brahman, along with Soul/Self (Atman) are part of the ontological[76] premises of Indian philosophy.[77][78] Different schools of Indian philosophy have held widely dissimilar ontologies. Buddhism and Carvaka school of Hinduism deny that there exists anything called "a soul, a self" (individual Atman or Brahman in the cosmic sense), while the orthodox schools of Hinduism, Jainism and Ajivikas hold that there exists "a soul, a self".[79][80]

Это вообще не имеет отношения к религии, например, существуют материалистические и атеистические направления индуизма:

Other schools of Hinduism have their own ontological premises relating to Brahman, reality and nature of existence. Vaisheshika school of Hinduism, for example, holds a substantial, realist ontology.[85] The Carvaka school denied Brahman and Atman, and held a materialist ontology.

Такие дела.

402 5 дек 2017, 06:40 402 30514

>>30511
>>30512
Смысл есть, в определённом контексте, но эти понятия существуют только в языке и ни к чему реальному не отсылают.
На самом деле, проблема с христианством, исламом и т.д., не в этом, что это религии per se, а в том, что они основаны на платонизме.
Быть рационалистом ничуть не лучше, чем быть христианином, одного рода секты.
С другой стороны, чтобы сравнивать христианство с индуизмом, это надо быть совсем уже ебанутым.

403 5 дек 2017, 06:48 403 30515

>>30485
А я и не перестал.
>>30301
>>30449
Среди математиков пропорционально столько же представителей разных взглядов и идеологий, сколько среди наугад выбранного по случайному признаку количества людей. Кроме желания доказывать теоремы, их ничего не объединяет.
Подавляющее большинство математиков это крайне невежественные во всех других областях люди. Объясняется тем, что большинство в целом очень тупое; а математиков сравнительно мало.

404 5 дек 2017, 06:51 404 30516

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

Ответы3051730604

405 5 дек 2017, 06:59 405 30517

>>30516
С точки зрения семантики, да. Есть ещё прагматика:
https://en.wikipedia.org/wiki/Pragmatics#Ambiguity

406 5 дек 2017, 14:18 406 30540

>>30509
Подобные отголоски лингвистического позитивизма это скорее удел всяких брейнлетов от физики.

Ответы30573

407 5 дек 2017, 20:26 407 30573

>>30540
This.

408 6 дек 2017, 01:24 408 30604

>>30516
Ты слышишь о рождении; не допытывайся знать, каков образ рождения. Слышишь, что Дух исходит от Отца; не любопытствуй знать, как исходит.

Но если любопытствуешь о рождении Сына и об исхождении Духа, то полюбопытствую и я у тебя о соединении души и тела: как ты - и перст, и образ Божий? Что в тебе движущее или движимое? Как одно и то же и движет, и движется? Как чувство пребывает в том же человеке и привлекает внешнее? Как ум пребывает в тебе, и рождает понятие в другом уме? Как мысль передается посредством слова?

Не говорю о том, что еще труднее. Объясни вращение неба, движение звезд, их стройность, меры, соединение, расстояние, пределы моря, течения ветров, перемены годовых времен, излияния дождей. Ежели во всем этом ничего не разумеешь ты, человек (уразумеешь же, может быть, со временем, когда достигнешь совершенства, ибо сказано: "Узрю Небеса, дела перст Твоих" (Пс. 8, 4), а из сего можно догадываться, что видимое теперь не самая Истина, но только образ истины), ежели и о себе самом не познал, кто ты, рассуждающий об этих предметах, ежели не постиг и того, о чем свидетельствует даже чувство, то как же предприемлешь узнать в подробности, что такое и как велик Бог? Это показывает великое неразумие!

Ответы30608

409 6 дек 2017, 03:46 409 30608

>>30604
Что-то мне это напоминает...

Ответы30609

410 6 дек 2017, 04:15 410 30609

>>30608
Ибо один только Отец нерожден, потому что Он имеет бытие не из другой какой-либо ипостаси; и один только Сын рожден, потому что из сущности Отца родился безначально и безлетно; и один только Дух Святый исходящ, потому что из сущности Отца не рождается, но исходит. Так учит Божественное Писание, хотя образ рождения и исхождения пребывает для нас непостижимым.

Согласно литературным данным, оценка веб-браузеров невозможна без управления переполнением. С другой стороны, существенная унификация передачи голоса в Интернет-телефонии по схеме общее-частное является общепринятой схемой. Это противоречие разрешается тем, что SMPs может быть сконструирован как стохастический, кэшируемый и вкладываемый. Обычные методы эмуляции Smalltalk, проложившего путь для исследования растрирования, в этой области неприменимы. В литературе имеются утверждения, что на этот вопрос отвечает исследование точек доступа, однако в практических приложениях необходим другой подход. Следует отметить, что, хотя алгоритм типа «Корчеватель» (Rooter) выполняется за время Ω (log log n), недостаток этого решения состоит в том, что компиляторы и суперстраницы обычно несовместимы.

Количество есть единство этих моментов, непрерывности и дискретности, но оно сначала есть это единство в форме одного из них - непрерывности, как результат диалектики для-себя-бытия, которое свелось в форму самой себе равной непосредственности. Количество, как таковое, есть этот простой результат, поскольку он еще не развил и не положил в самом себе своих моментов. - Оно прежде всего содержит их, будучи положено как для-себя-бытие в его истинном виде. Это для-себя-бытие было по своему определению снимающим себя соотнесением с самим собой, вечным выхождением вовне себя (perennierendes Aupersichkoinmen). Но то, что отталкивается (Abgestopene), есть оно само; отталкивание есть поэтому то, что порождает продолжающееся течение самого себя (erzeugende Fortfliepen seiner selbst).

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

410 6 дек 2017, 04:15 410 30609

>>30608
Ибо один только Отец нерожден, потому что Он имеет бытие не из другой какой-либо ипостаси; и один только Сын рожден, потому что из сущности Отца родился безначально и безлетно; и один только Дух Святый исходящ, потому что из сущности Отца не рождается, но исходит. Так учит Божественное Писание, хотя образ рождения и исхождения пребывает для нас непостижимым.

Согласно литературным данным, оценка веб-браузеров невозможна без управления переполнением. С другой стороны, существенная унификация передачи голоса в Интернет-телефонии по схеме общее-частное является общепринятой схемой. Это противоречие разрешается тем, что SMPs может быть сконструирован как стохастический, кэшируемый и вкладываемый. Обычные методы эмуляции Smalltalk, проложившего путь для исследования растрирования, в этой области неприменимы. В литературе имеются утверждения, что на этот вопрос отвечает исследование точек доступа, однако в практических приложениях необходим другой подход. Следует отметить, что, хотя алгоритм типа «Корчеватель» (Rooter) выполняется за время Ω (log log n), недостаток этого решения состоит в том, что компиляторы и суперстраницы обычно несовместимы.

Количество есть единство этих моментов, непрерывности и дискретности, но оно сначала есть это единство в форме одного из них - непрерывности, как результат диалектики для-себя-бытия, которое свелось в форму самой себе равной непосредственности. Количество, как таковое, есть этот простой результат, поскольку он еще не развил и не положил в самом себе своих моментов. - Оно прежде всего содержит их, будучи положено как для-себя-бытие в его истинном виде. Это для-себя-бытие было по своему определению снимающим себя соотнесением с самим собой, вечным выхождением вовне себя (perennierendes Aupersichkoinmen). Но то, что отталкивается (Abgestopene), есть оно само; отталкивание есть поэтому то, что порождает продолжающееся течение самого себя (erzeugende Fortfliepen seiner selbst).

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

Показать весь текст
Ответы3061530646

411 6 дек 2017, 08:10 411 30615

>>30609
Лол, нет. Не это. Фу, как пошло.

412 6 дек 2017, 17:03 412 30646

>>30609
Причём тут математика? Ты брейнлет или шизик?

Ответы30733

25 Кб, 529x326
413 6 дек 2017, 20:52 413 30678

Я думаю, даже миша не будет спорить с тем, что математика даже в его понимании (гамалогии, тапалогии,...) это допустимые действия над допустимыми знакосочетаниями с целью получения результата. Т.е. по-сути, некий набор алгоритмов. Что тривиально делается с помощью машины Тьюринга. По-сути, спор только о том, что миша и ему подобные веровают, что за значками может стоять нечто, недоступное машине Тьюринга, что машина "не пони мает" чего-то такого, что якобы "пони мает" человек. Однако, конкретного ответа на вопрос, что же это такое, и чем определение чего-то в виде правила для машины Тьюринга отличается от "понимания" этого чего-то человеком я так и не увидел. Т.о. "проблема" конструктивного подхода в его отрицании магического мышления и платонизма. Почему это плохо для математики (кроме того, что от этого подпекает мише), я так же пока не увидел в этих тредах. Т.е. предметно рассмотреть вопрос ИТТ не может никто.

Ответы3068030686306893071330733

414 6 дек 2017, 20:54 414 30680

>>30678
>машине Тьюринга
Всем давно уже понятно, что это верование чистой воды. Как и сама аксиома Чёрча.

Ответы30681

415 6 дек 2017, 20:55 415 30681

>>30680
>аксиома Чёрча.
Тезис, мань.
>Всем давно уже понятно,
1,5 дегенерата с мейлру - это далеко не все.

Ответы30682

416 6 дек 2017, 20:58 416 30682

>>30681
>Тезис
В математике такие вещи обычно называются аксиомами.
>1,5 дегенерата с мейлру
Если даже дегенераты с мейлру это понимают, то тут нужно серьёзно задуматься.

Ответы30683

417 6 дек 2017, 21:01 417 30683

>>30682
>Если даже дегенераты с мейлру это понимают, то тут нужно серьёзно задуматься.
Ничего вы не понимаете. Не надо себе льстить. Батруха и понимание - это вообще разные вещи. Вы даже этого понять не в состоянии, о чем речь вообще, куда вам судить о работах Тьюринга, которые вы даже не читали, но осуждаете, как совки Пастернака.

Ответы30693

418 6 дек 2017, 21:06 418 30684

И да, аксиомы только в религии. Конструктивно аксиома - это логический вывод без посылок (в натуральной дедукции Генцена-Правитца). Т.е. нечто изначально от балды, а не из каких-то посылок.

Ответы30685

419 6 дек 2017, 21:08 419 30685

>>30684
На практике, предпочтения определённых "конструктивных аксиом" имеют свои посылки.

Ответы30688

420 6 дек 2017, 21:08 420 30686

>>30678
>Я думаю, даже миша не будет спорить с тем
Ты постоянно разговариваешь с "мишей". У тебя галлюцинации?

421 6 дек 2017, 21:08 421 30687

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

Ответы30690

422 6 дек 2017, 21:09 422 30688

>>30685
Логический вывод, имеющий посылки - это вообще не аксиома, а именно логический вывод по определенному правилу.

Ответы30710

423 6 дек 2017, 21:09 423 30689

>>30678
>что машина "не пони мает" чего-то такого, что якобы "пони мает" человек. Однако, конкретного ответа на вопрос, что же это такое, и чем определение чего-то в виде правила для машины Тьюринга отличается от "понимания" этого чего-то человеком я так и не увидел.
То есть, ты признаёшь, что ты просто кусок мяса, легкозаменяемый машиной или другим аналогичным куском мяса? Да/нет?

Ответы30691

424 6 дек 2017, 21:10 424 30690

>>30687
>не опровергает
И? Доказательство этого тезиса будет, или это просто вера?

Ответы30691

425 6 дек 2017, 21:12 425 30691

>>30689
Да. Тебе именно от этого бомбит, неприятно считать себя куском мяса, бездуховненько. Признайся.
>>30690
Ты дебил? У человечества на данный момент нет ни одного опровержения этого тезиса, все существующие на данный момент представления его только подтверждают. Если ты или кто-то еще его опровергнет хотя бы одним примером - его имя навсегда впишут в историю математики, и твой запойный еблет будет висеть рядом с каким-нибудь Евклидом в каждом кабинете математики во всех школах.

Ответы3069430698307003071430727

426 6 дек 2017, 21:13 426 30692

Не знаете, аксиома Чёрча противоречит аксиоме выбора? Хочу попробовать её использовать.

427 6 дек 2017, 21:14 427 30693

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

Тебе пора признаться себе, что твои верования в конструктивизм — это такой способ отделить себя от толпы, на основе того, что ты что-то якобы понимаешь, а они нет. Хотя к твоему "пониманию" можно предъявить те же претензии, что ты предъявляешь "пониманию миши". Если для тебя не очевидно, что это просто твоё лицемерие и ЧСВ, если это не очевидно для тебя хотя бы на мгновение, когда ты пытаешься посмотреть на себя со стороны, то я не знаю. что может тебя спасти. Наверное, ничего. У тебя стадия полного отрицания.

Вообще, радуйся, что конструктивизм в парашном андерграунде, иначе как бы ты выёбывался перед людьми? В противном случае, пришлось бы себе какую-нибудь другую оригинальную непризнанную концепцию искать.

Ответы30695

428 6 дек 2017, 21:14 428 30694

>>30691
>ни одного опровержения
Я не верую в "закон" двойного отрицания, мне нужно доказательство этого тезиса.

429 6 дек 2017, 21:16 429 30695

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

Ответы30696307013072230729

430 6 дек 2017, 21:16 430 30696

>>30695
>это полная противоположность любым верованиям
Согласен, разве что кроме аксиомы Чёрча. В неё можно (и нужно) веровать без доказательства.

Ответы30697

431 6 дек 2017, 21:17 431 30697

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

Ответы30699

432 6 дек 2017, 21:18 432 30698

>>30691
>Да. Тебе именно от этого бомбит, неприятно считать себя куском мяса, бездуховненько. Признайся.
В чём признаваться? Я не кусок мяса, потому и неприязни нет. Да и ты в это не веришь, вон как за свою индивидуальность бьёшься на анонимной доске с тремя дурачками.
Ты только вдумайся, какое у тебя больное самомнение. Если бы ты считал себя куском мяса, смирился бы даже с чем-то намного более серьёзным, чем мейлрушечный спор. А ты уже блять годами на борде защищает своё... что блять? Что ты тут защищаешь? реально ведь интересно.

Так что не втирай мне. Я прекрасно вижу по товоим поступкам, по лексике, что ни куском мяса, ни машиной ты себя не считаешь. Других людей может быть, наверняка. Но не себя, ой не себя.

Грязная ты лицемерная самовлюблённая фашистская сука, как и ожидалось.

Ответы30702

433 6 дек 2017, 21:18 433 30699

>>30697
Мне не обязательно понимать, я в неё просто верю. Этого достаточно.

434 6 дек 2017, 21:18 434 30700

>>30691
>все существующие на данный момент представления его только подтверждают.
Как и закон исключения третьего. Повиляешь сракой ещё?

Ответы30702

435 6 дек 2017, 21:20 435 30701

>>30695
>Конструктивизм - это полная противоположность любым верованиям
Да, ты так кукарекаешь, чтобы все видели, что уж ты-то поумнее прочих, ты-то не веруешь, а понимаешь "действительность как она есть". И ты совершенно не осознаёшь, что такая схема делает тебя более гнилым и даже уязвимым, чем любого веруна.

Ответы30703

436 6 дек 2017, 21:22 436 30702

>>30700
>Как и закон исключения третьего
Я ж говорю, что ты дебил. Примеры того, как в математике не работает этот закон, приводил еще Брауэр. И Гейтинг и много кто. Только ты слишком тупой, чтобы понять о чем речь вообще.
>>30698
>Я не кусок мяса,
Вера швятая, лол.
>Я прекрасно вижу по товоим поступкам, по лексике, что ни куском мяса, ни машиной ты себя не считаешь. Других людей может быть, наверняка. Но не себя, ой не себя.
Ошибаешься.

Ответы307243073030732

41 Кб, 400x396
437 6 дек 2017, 21:25 437 30703

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

Ответы30715

438 6 дек 2017, 21:41 438 30704

В каких основаниях доказывается аксиома Чёрча?

Ответы30705

439 6 дек 2017, 21:43 439 30705

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

Ответы30706

440 6 дек 2017, 21:44 440 30706

>>30705
>Ты даже примерно не понимаешь, что такое конструктивность.
Доказательство?

Ответы30707

441 6 дек 2017, 21:46 441 30707

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

Ответы3070830715

442 6 дек 2017, 21:50 442 30708

>>30707
Понял, я действительно тупой. Я программист просто и в математике не разбираюсь. А как всё-таки доказывается аксиома Чёрча?

Ответы30709

443 6 дек 2017, 21:52 443 30709

>>30708
Твои вопросы что-то уровня "кто президент рашки - Меркель или Обамка?". Тебе отвечают "вообще-то они вообще не при чем к президентству рашки". А ты в ответ "ок, я понял, а все-таки, кто из них?".

Ответы30712

444 6 дек 2017, 22:02 444 30710

>>30688
Ты слишком ограничиваешь понятие "посылки".
Я говорю, что определённые математические аксиомы были выбраны из-за социальных/физиологических причин, посылок. Или, иначе нужно верить в то, что люди выбрали аксиомы абсолютно случайно, без никаких причин, рандомео.

Ответы30789

445 6 дек 2017, 22:07 445 30711

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

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

446 6 дек 2017, 22:22 446 30712

>>30709
Понял, извини, я программист просто. Я полностью не прав или только частично, можешь ответить на вопрос про доказательство аксиомы Чёрча?

447 6 дек 2017, 22:23 447 30713

>>30678
А в Тезис нужно просто уверовать, или имеется его доказательство?

448 6 дек 2017, 22:35 448 30714

>>30691
>нет ни одного опровержения этого тезиса
Отсутствие опровержений ничего не значит, это признавали даже фальсификационисты. То есть ты тупо джастификационист, живешь в 17-м веке на заре науки и пытаешься думать как Галилей.

Ответы30789

449 6 дек 2017, 22:37 449 30715

>>30707
>хуету про интуиционизм я даже у бурбаков читал
Мартин Лёф и Гейтинг вроде бы не входили в коллектив Бурбаки.
>>30703
>конструктивизм не имеет общего с феноменологией
Маняотрицания, тебе просто неприятно от того, что ты не понимаешь ни того, ни другого.

450 6 дек 2017, 23:00 450 30718

Конструктивизм же вроде противоречив, разве нет? Почему в него ещё веруют?

451 7 дек 2017, 01:25 451 30722

>>30695
>Конструктивизм - это полная противоположность любым верованиям
Особенно верованиям в конструктивный объект.

452 7 дек 2017, 01:29 452 30724

>>30702
>Примеры того, как в математике не работает этот закон, приводил еще Брауэр. И Гейтинг
Только эти примеры к математике не относятся.

Ответы30789

453 7 дек 2017, 01:29 453 30725

>Конкретных примеров третьего
Какого блять третьего? У конструктивистов там тернарная логика? Если "А или не-А" ложно, значит А = не-А, как это вообще возможно, кроме как в диалектике?

Ответы3072630728

454 7 дек 2017, 01:33 454 30726

>>30725
Никак. Вернее их логика ничем не отличается от обычной, кроме понтов.

455 7 дек 2017, 01:34 455 30727

>>30691
>У человечества на данный момент нет ни одного опровержения этого тезиса
Прямо как тезиса Церкви о существовании Бога.

456 7 дек 2017, 01:35 456 30728

>>30725
Думаешь этот праграмаист знает, что в конструктивной логике нет третьего состояния? Доказывается тривиально.

12 Кб, 388x26
457 7 дек 2017, 01:37 457 30729

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

Ответы30731

458 7 дек 2017, 01:41 458 30730

142 Кб, 380x33691 Кб, 383x245

>>30702
> Примеры того, как в математике не работает этот закон, приводил еще Брауэр. И Гейтинг
Эти примеры к математике не относятся, твой Гейтинг сам это отмечает.

Ответы30789

459 7 дек 2017, 01:47 459 30731

>>30729
Проорал с пика. Сектанты.

Ответы30734

460 7 дек 2017, 01:49 460 30732

>>30702
>Я ж говорю, что ты дебил. Примеры того, как в математике не работает этот закон, приводил еще Брауэр. И Гейтинг и много кто. Только ты слишком тупой, чтобы понять о чем речь вообще.
Как уже справедливо заметили другие аноны, эти примеры не имеют отношения к математике, что и сказал сам Гейтинг. "Только ты слишком тупой, чтобы понять о чем речь вообще", наверное.

>Ошибаешься.
Нет, не ошибаюсь. Я попал именно в точку.

461 7 дек 2017, 01:51 461 30733

>>30646
Это примеры бессмысленных текстов.

>>30678
Пример математического мышления описан в эссе "Плач математика", в задаче о разрезании треугольника.
>это допустимые действия над допустимыми знакосочетаниями с целью получения результата
Чушь. Даже Гильберт никогда не считал свой формальный метод равнообъёмным математике, что подтвердил книжкой "Наглядная геометрия".

Ответы30789

462 7 дек 2017, 02:06 462 30734

>>30731
http://ikfia.ysn.ru/images/doc/math_logika/Gejting1965ru.pdf

463 7 дек 2017, 14:00 463 30789

>>30710
>Ты слишком ограничиваешь понятие "посылки".
Да. Я его ограничиваю записью над чертой в натуральной дедукции Генцена-Правитца. Если там ничего нет, а есть только запись под чертой, то это и есть аксиома.
>>30714
>Отсутствие опровержений ничего не значит
Отсутствие опровержения значит отсутствие опровержения. Ты даже этого не понимаешь?
>>30724>>30730
>Эти примеры к математике не относятся, твой Гейтинг сам это отмечает.
>Только эти примеры к математике не относятся.
Относятся. Они могут не относиться к гамалогиям, а к математике запросто. Но видимо, они слишком сложны, если ты даже не понял, что к математике не относятся определения типа "на сегодняшний день нет решения чего-то", а не сами примеры. Попробую попроще, как раз для мейлру: есть уравнение a*b=0. По манязакону исключенного третьего нулю равны a или b. Третье, которое в верованиях исключается, состоит в том, что и a и b равны нулю.
>>30733
>Даже Гильберт никогда не считал свой формальный метод равнообъёмным математике
Считал, перед тем как обосраться со своей изначальной программой. Потом переобулся, да. Бывает. Ок, что еще есть в математике кроме обозначенного мной? Конкретно, без всякого магического мышления.

Ответы307903079530801

464 7 дек 2017, 14:01 464 30790

>>30789
>Относятся
Сам Гейтинг пишет, что не относятся. Я кому скрины делал, алло!

Ответы30792

465 7 дек 2017, 14:03 465 30792

>>30790
Прочитай, что там написано, потом прочитай, что я тебе ответил. Хотя, я уже понял что бесполезно. Мейлру же.

Ответы3079430796

119 Кб, 523x172
466 7 дек 2017, 14:04 466 30794

>>30792
Там написано, что это не математика.

467 7 дек 2017, 14:05 467 30795

>>30789
>есть уравнение a*b=0
Обычно в математике это называется равенством. Что за a и b тут? Нужно просто уверовать, что между ними можно звёдочку поставить и это будет натуральным числом?
>Третье, которое в верованиях исключается, состоит в том, что и a и b равны нулю.
Это такая "шутка"?

Ответы30798

468 7 дек 2017, 14:05 468 30796

>>30792
Это не звучит как математическое определение, я согласен с этим возражением и сомневаюсь, а не хуйню ли я написал. Вот что там написано.

Ответы30797

469 7 дек 2017, 14:06 469 30797

>>30796
>Это не звучит как математическое определение
Что именно не звучит? Ты этого понять даже не можешь. Пиздец тут даунятник во главе с мишей.

Ответы30799

470 7 дек 2017, 14:07 470 30798

>>30795
>Это такая "шутка"?
Это пример третьего, в которое веровать нельзя.

142 Кб, 380x336
471 7 дек 2017, 14:08 471 30799

>>30797
Это! Это не звучит! Вот это блядь не звучит! Сука, я из-за тебя навернул твоего Гейтинга ебучего, говна поел, но блядь, я теперь всегда тебя носом в него как кота сраного тыкать буду. Понял?

Ответы3080230804

472 7 дек 2017, 14:10 472 30801

>>30789
>Третье, которое в верованиях исключается, состоит в том, что и a и b равны нулю.
Хахахаахахахаахах. Я конечно понимаю, что у праграмаристав с математикой плохо, но не до такой же степени.

473 7 дек 2017, 14:10 473 30802

>>30799
>говна поел,
Говна ты давно поел, это факт. Из чего никак не следует, что ты понял текст ,которы зачем-то пытаешься меня затралить.

Ответы30806

474 7 дек 2017, 14:11 474 30804

>>30799
Гейтинг хуесос, нужно Браузера читать. Можно ещё Пророка его, Мартина Льва.

475 7 дек 2017, 14:12 475 30806

>>30802
0123456789 в числе Пи зависит от "существования в данный момент доказательства математического высказывания", все примеры у Гейтинга на этом построены, он же сам и признаёт, мол, я и сам не уверен, что это математика.

Ответы308073080830809

476 7 дек 2017, 14:13 476 30807

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

Ответы308093081030835

477 7 дек 2017, 14:13 477 30808

>>30806
>в данный момент
Вот это убрать и будет нормально. Хотя можно было и день недели добавить.

Ответы30809

119 Кб, 523x172
478 7 дек 2017, 14:15 478 30809

>>30806
>все примеры у Гейтинга на этом построены
Все эти примеры к математике не имеют отношения потому что, но надо же показать небессмысленность своей охуенной супертеории без исключённого третьего. Которая имеет смысл, только когда рассматриваешь хуйню, которая к математика отношения не имеет, найс блядь.
>>30808
Да что убрать? Это его блядь слова!
>>30807
Ну и что я не так понял? Демагог ебучий, как ты заебал меня.

Ответы30812

479 7 дек 2017, 14:15 479 30810

>>30807
Исключённое третье ведёт к противоречию, из-за этого конструктивисты его отрицают?

Ответы30811

480 7 дек 2017, 14:17 480 30811

>>30810
>Исключённое третье ведёт к противоречию,
Во, уже теплее. Исключенное третье, т.е. дизъюнкция, не может просто приниматься на веру без возможности построить один из дизъюнктов. То же с конъюнкцией, но там требуется построение и того и другого.

Ответы30813

481 7 дек 2017, 14:17 481 30812

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

Ответы3081530818

482 7 дек 2017, 14:17 482 30813

>>30811
Так ведёт ли это верование к противоречию?

Ответы30814

483 7 дек 2017, 14:19 483 30814

>>30813
Верование всегда ведет к противоречию. Что и имеем, принимая исключенное третье без возможности построения одного из дизъюнктов. Это же просто, зачем вы такие тупые, что не понимаете простейших вещей.

Ответы30816

484 7 дек 2017, 14:20 484 30815

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

Ответы30817

485 7 дек 2017, 14:21 485 30816

>>30814
>Верование всегда ведет к противоречию.
Похоже понял. То есть имеется конкретный пример, где доказывается ¬(P∨¬P) для определённого конструктивного объекта P?

486 7 дек 2017, 14:22 486 30817

>>30815
>Потому что это хуета
Согласен, что MLTT хуета.

Ответы30820

487 7 дек 2017, 14:23 487 30818

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

Ответы3082130825

488 7 дек 2017, 14:23 488 30820

>>30817
Тебе почему так подпекает с MLTT? Ты наркоман штоле?

Ответы30822

489 7 дек 2017, 14:25 489 30821

>>30818
>Оно доказуемо
Исключённое третье начинается квантора всеобщности, как верование может быть доказуемо? Наверное ты имел ввиду его частные случаи. Хотя тебе простительно конечно, не все праграмсты способны понимать такие простые вещи.

Ответы30826

490 7 дек 2017, 14:26 490 30822

>>30820
>Тебе почему так подпекает с MLTT?
Ты ведь только что сказал, что MLTT это хуйня. Вот я и согласился.

Ответы30826

491 7 дек 2017, 14:28 491 30825

>>30818
Можно конкретный пример, где доказывается отрицание дизъюнкции P∨¬P?

492 7 дек 2017, 14:28 492 30826

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

Ответы3082830830

493 7 дек 2017, 14:29 493 30828

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

Ответы30831

494 7 дек 2017, 14:31 494 30830

>>30826
>пытаешься оспорить
Я же с тобой согласился. Ты сам сказал, что MLTT хуйня.

495 7 дек 2017, 14:32 495 30831

>>30828
Типа, я не писал сто раз, что есть случаи, когда один из дизъюнктов доказуем, а есть верование в априорную правильность исключенного третьего. Ты хоть читаешь, на что отвечаешь, не?

Ответы30836

496 7 дек 2017, 14:35 496 30835

>>30807
Так что я не так понял? Может откроешь?

Ответы30837

497 7 дек 2017, 14:36 497 30836

>>30831
>есть случаи, когда один из дизъюнктов доказуем
Тут из идиотов только ты, это очевидно кому угодно, так что об этом писать не нужно.
До этого ты писал, "Оно доказуемо" в ответ на "недоказуемо исключённое третье". То есть ты не различаешь исключённое третье и его частные случаи.

Ответы30839

498 7 дек 2017, 14:37 498 30837

>>30835
Этот придурок не может понять простых вещей про свою же любимую MLTT, что ты от него хочешь?

Ответы30840

499 7 дек 2017, 14:37 499 30839

>>30836
Я различаю. Это ты только что это понял, видимо. Что и требовалось доказать.

Ответы30841

500 7 дек 2017, 14:37 500 30840

>>30837
Действительно. Я не знаю. Ты прав. Я ничем не лучше, раз продолжаю участвовать в споре с дураком.

501 7 дек 2017, 14:38 501 30841

>>30839
>Я различаю.
Почему же ты тогда ответил, что оно (исключённое третье) доказуемо?

Ответы30843

502 7 дек 2017, 14:39 502 30842

Как можно доказать отрицание исключённого третьего? Хочется попробовать.

503 7 дек 2017, 14:40 503 30843

>>30841
Вот правда, неинтересно одно и то же разжевывать потомственному дегенерату с мейлру. Если до сих пор не понял, о чем речь, ну ладно, понял, отстал.

Ответы30844

504 7 дек 2017, 14:41 504 30844

>>30843
Праграмистам похоже действительно сложно быть. Как же мне повезло.

505 7 дек 2017, 16:51 505 30865

http://dxdy.ru/topic30836-105.html
Такое-то дежавю, так и хочется заменить Катющик на Брауэр.

506 7 дек 2017, 22:34 506 30888

Помимо прочего, я так и не понял, почему местным ебалаям так подпекает с Брауэра.

3,4 Мб, 1200x1800
507 8 дек 2017, 02:45 507 30903

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

Следующий тред: >>29692 (OP)

Тред утонул или удален.
Это копия, сохраненная 25 марта 2025 года.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

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

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