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

10 Кб, 180x240
Евклид был конструктивистом 8 дек 2017, 16:23 30974 В конец треда | Веб

https://existentialtype.wordpress.com/2017/03/04/a-proof-by-contradiction-is-not-a-proof-that-derives-a-contradiction/

> As an aside Euclid Book I, Prop. 6 uses the “refutation by contradiction” plus double negation form whereas Prop. 7 uses the straight “refutation by contradiction” form. This suggests to me the Greek geometers were well aware of the distinction.

Оправдывайтесь.

Ответы3107741904

2 8 дек 2017, 16:45 2 30988

Пропы сюда приведи.

Ответы31077

3 8 дек 2017, 20:41 3 31077

>>30974 (OP)
Было на math overflow шесть лет назад.
>>30988
This is another very widespread false belief. It depends on personal opinion and interpretation what a proof by contradiction is and whether Euclid's proof belongs to this category. In fact, if the derivation of an absurdity or the contradiction of an assumption is a proof by contradiction, then Euclid's proof is a proof by contradiction. Euclid says (Elements Book 9 Proposition 20): The very thing (is) absurd. Thus, G is not the same as one of A, B, C. And it was assumed (to be) prime.

Ответы3114631147

4 9 дек 2017, 09:04 4 31146

>>31077
>Было на math overflow шесть лет назад.
А здесь не было. Ссылку-то вкинул бы.

5 9 дек 2017, 09:05 5 31147

>>31077
Да, и цитата никакого отношения к ссылке из оп-поста не имеет, если что. Там термины внятно определены.

6 16 дек 2017, 18:30 6 31989

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

Ответы31992

sage 7 16 дек 2017, 20:03 7 31992

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

Ответы32022

8 17 дек 2017, 07:31 8 32022

>>31992
> В математике конструктивизм не применим вовсе, о чём и говорят сами математики.
Сам понял что сказал? В математике вообще можно иметь дело только с конструктивными объектами, коими является и любая формальная теория. И только в рамках непосредственной вычислимости, за пределами которой от математики остаётся рисование разве что.

Ответы32024

sage 9 17 дек 2017, 09:55 9 32024

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

Ответы32025

10 17 дек 2017, 10:02 10 32025

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

Ответы32026

sage 11 17 дек 2017, 10:11 11 32026

>>32025
Даже уже надоело ещё раз перечислять признаки, по которым твоя позиция схожа с чисто религиозной, которая постулирует что-то, i.e. "Нет бога кроме Аллаха", "Нет математики кроме вычислимости", и потом старательно игнорирует все контрпримеры; надоело потому что это бесполезно: тебе нечего ответить.
Приведу, однако, самый очевидный аргумент. Математика, как и наука, это в том числе и сообщество. То есть, чтобы называть себя математиком, собственного мнения недостаточно; необходимо чтобы тебя признали специалистом. Мне неизвестно ни одного серьёзного математика, который воспринимал бы конструктивизм всерьёз, руководствовался бы идеями конструктивизма и не высказывал бы ничего, что явно противоречит постулатам этого учения. Что такое серьёзный математик? Ну, высшей наградой для математика является медаль Филдса, так же можно назвать альтернативную ей премию Абеля.
Приведи пример хоть одного лауреата-конструктивиста.
Их нет.
Всё. Ты ничем не отличается от обезьяны, которая "Докажи что не Аллах, нет аргументов, одно кукареканье, а вот и Аллах, я так сказал, а ты не доказал что нет, вот и Аллах"
Репорт.

Ответы32027

12 17 дек 2017, 10:16 12 32027

>>32026
> "Нет математики кроме вычислимости", и потом старательно игнорирует все контрпримеры;
Которых не было. Про премию Филдса вообще смешно. Евклид её не получал и гамалогиями не занимался, значит он не математик.

Ответы32028

sage 13 17 дек 2017, 10:24 13 32028

>>32027
Аргументов не было у тебя, ты постулируешь свою позицию чисто догматически.
>цитатки рандомных ноунеймов
То есть Брауэр, Маннури, Мартин-Лёф, Барендрегт, Миколов, и т.д. это не ноунеймы, а Серр, Гротендик, Дьедонне, Делинь, Мамфорд, Манин – ноунеймы?
Почему?
Ты понимаешь, что в любом вузе мира тебя обоссут за такое мнение? Ты осознаешь, сколько людей защитили диссертации, получили признание научного сообщества, основываясь на работах Гротендика? Тот же Воеводский, которого ты раньше постоянно упоминал и чья фотография до сих пор висит на оп-посте треда оснований номер 5.
Сколько конференций проводят по конструктивизму, и сколько по алгебраической геометрии ежегодно? Эти числа отличаются на три порядка.
Почему мнение десятков тысяч людей это не аргумент, а мнение одного человека – да?
Как можно настолько игнорировать действительность?
>Евклид
Премия была учреждена в 1936-м году.
Евклид и диплома о высшем образовании не имел.
Значит тебе тоже можно не иметь, и тоже считать себя математиком, а 99.999% реального научного сообщества – не считать таковыми. С этим в дурдом, пожалуйста,
Репорт.

Ответы3202932030

14 17 дек 2017, 10:29 14 32029

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

Ответы3203132034

15 17 дек 2017, 10:31 15 32030

>>32028
> Почему мнение десятков тысяч людей это не аргумент, а мнение одного человека – да?
Мнение в математике это вообще не аргумент. Но ты даже этого не понимаешь.

sage 16 17 дек 2017, 10:59 16 32031

Ньютон не признавал теорию относительности (которой тогда не было), прямо как академик Логунов. По логике конструктивиста, Логунов – ученый, а 99.999% физиков – нет.
То есть, я товарищу пример с сообществом приводили уже раз шесть, пять раз он промолчал, видимо думал что ответить. Ничего лучше не придумал, как поставить себя на один уровень с Логуновым и Катющиком.
>>32029
>Догма это твои заявления что математика это только алгебра
Проанализируем, чем это отличается от "математика это вычислимость".
Алгебра инклюзивна, то есть любую область математики можно описать в терминах алгебры. И это не будет полностью бесполезным описанием; возьмём теорию представлений: это один из разделов алгебры, который сам по себе включает всю математику (изучаются конечномерные и бесконечномерные представления групп Ли, алгебр Ли, ассоциативных алгебр – конечномерных и бесконечномерных). Гармонический анализ возник как часть теории представлений, теоретическая физика её использует (от стандартной модели и калибровочных теорий до современных идей типа суперсимметрии); теория представлений была использована для таких задач как классификация простых конечных групп и доказательство гипотезы Шимуры-Таниямы-Вейля (следствием которой является великая теорема Ферма).
И это не удивительно, поскольку в основе теории представлений лежит та же идея линеаризации, что и в гомологической алгебре, алгебраической к-теории, и т.д.
Говоря "математика это алгебра" мы никак не ограничиваем математику, с другой стороны, говоря "математика это вычислимость", мы вынуждены выбросить 99% математики.
>Мнение в математике это вообще не аргумент
В таком случае зачем продолжать кукарекать?
"Математика это вычислимость" – мнение.
При чем, я его уже опровергнул, указав на неконструктивность гомологической алгебры, метода спектральных последовательностей, понятия топоса, и т.д.
Что ты на это ответил? "Тваи гамалогии эта не математика".
Это разве не мнение? При чём мнение ноунейма.
Понятно, что ты хочешь уравнять его с мнением Мамфорда или (который кстати был не только алгебраическим геометром, но и прикладником) или Манина (написавшего ряд работ по вычислимости, кстати). Эти люди знают о вычислимости явно больше тебя.
Напомню тебе, что ты сам ещё недавно тряс цитаткой Брауэра с azquote и скриншотами из Лёфа, и это было нормально, как только я привёл шесть математиков калибром выше, чем Брауэр, это теперь "вообще не аргумент".

sage 16 17 дек 2017, 10:59 16 32031

Ньютон не признавал теорию относительности (которой тогда не было), прямо как академик Логунов. По логике конструктивиста, Логунов – ученый, а 99.999% физиков – нет.
То есть, я товарищу пример с сообществом приводили уже раз шесть, пять раз он промолчал, видимо думал что ответить. Ничего лучше не придумал, как поставить себя на один уровень с Логуновым и Катющиком.
>>32029
>Догма это твои заявления что математика это только алгебра
Проанализируем, чем это отличается от "математика это вычислимость".
Алгебра инклюзивна, то есть любую область математики можно описать в терминах алгебры. И это не будет полностью бесполезным описанием; возьмём теорию представлений: это один из разделов алгебры, который сам по себе включает всю математику (изучаются конечномерные и бесконечномерные представления групп Ли, алгебр Ли, ассоциативных алгебр – конечномерных и бесконечномерных). Гармонический анализ возник как часть теории представлений, теоретическая физика её использует (от стандартной модели и калибровочных теорий до современных идей типа суперсимметрии); теория представлений была использована для таких задач как классификация простых конечных групп и доказательство гипотезы Шимуры-Таниямы-Вейля (следствием которой является великая теорема Ферма).
И это не удивительно, поскольку в основе теории представлений лежит та же идея линеаризации, что и в гомологической алгебре, алгебраической к-теории, и т.д.
Говоря "математика это алгебра" мы никак не ограничиваем математику, с другой стороны, говоря "математика это вычислимость", мы вынуждены выбросить 99% математики.
>Мнение в математике это вообще не аргумент
В таком случае зачем продолжать кукарекать?
"Математика это вычислимость" – мнение.
При чем, я его уже опровергнул, указав на неконструктивность гомологической алгебры, метода спектральных последовательностей, понятия топоса, и т.д.
Что ты на это ответил? "Тваи гамалогии эта не математика".
Это разве не мнение? При чём мнение ноунейма.
Понятно, что ты хочешь уравнять его с мнением Мамфорда или (который кстати был не только алгебраическим геометром, но и прикладником) или Манина (написавшего ряд работ по вычислимости, кстати). Эти люди знают о вычислимости явно больше тебя.
Напомню тебе, что ты сам ещё недавно тряс цитаткой Брауэра с azquote и скриншотами из Лёфа, и это было нормально, как только я привёл шесть математиков калибром выше, чем Брауэр, это теперь "вообще не аргумент".

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

17 17 дек 2017, 11:30 17 32034

>>32029
>Аргументировал я вполне достаточно, вот только ты не понял ничего
Но тут я не один: Гротендик и Манин тоже ничего не поняли, похоже.
Как так получилось, что ты один умнее десятка филдсовских лауреатов и вообще гений уровня Евклида, при этом твой вклад в математику ограничивается троллингом на АИБ и просмотром аниме?

Ответы32036

18 17 дек 2017, 11:34 18 32035

>>32031
> По логике конструктивиста, Логунов – ученый, а 99.999% физиков – нет.
По твоей логике. Не вали с больной головы на здоровую.
> "Математика это вычислимость" – мнение.
Это не мнение, это факт. Опровержения которого пока не поступало.

Ответы32037

19 17 дек 2017, 11:40 19 32036

>>32034
> Но тут я не один: Гротендик и Манин тоже ничего не поняли, похоже.
Бурбаки ещё туда же.

Ответы32037

sage 20 17 дек 2017, 11:44 20 32037

>>32035
>По твоей логике
"Евклид не занимался гомологической алгеброй, значит, сейчас можно не признавать гомологическую алгебру" – это твои слова.
"Ньютон не занимался теорией относительности, значит сейчас можно не признавать теорию относительности".
В чём разница? Кроме того, что одно утверждение тебе нравится, а другое нет.
>Это не мнение, это факт. Опровержения которого пока не поступало.
Что такое факт? То, что ещё не было опровергнуто? Тогда "Аллах существует" это факт.
Может быть, факт это то, что лично ты считаешь фактом?
>Опровержения которого пока не поступало
Поступало, но ты его проспал.
Еще раз: "математика это только вычислимость".
Спектральные последовательности это математика, но они не всегда вычислимы. Противоречие.
>>32036
Конечно, Бурбаки тоже. А еще Воеводский.
А еще все математики, кроме тех, которые тебе нравятся.
Репорт.

Ответы3204232070

21 17 дек 2017, 12:16 21 32042

>>32037
> "Евклид не занимался гомологической алгеброй, значит, сейчас можно не признавать гомологическую алгебру" – это твои слова.
Нет конечно. Ты даже не читаешь что тебе пишут.
>>32031
> Алгебра инклюзивна, то есть любую область математики можно описать в терминах алгебры
А алгебру можно описать в терминах множеств, типов и даже в натуральных числах (геделевская нумерация). Но ты этого не видишь.
> говоря "математика это вычислимость", мы вынуждены выбросить 99% математики.
Каким образом?

Ответы32048

sage 22 17 дек 2017, 13:07 22 32048

>>32042
>Нет конечно
>Евклид гамалогиями не занимался
Найс отрицание.
>Ты даже не читаешь что тебе пишут
Твой шизофренический бред? К сожалению, читаю, но лучше бы не читал.
>А алгебру можно описать в терминах множеств, типов и даже в натуральных числах (геделевская нумерация)
Я же специально оговорил:
>И это не будет полностью бесполезным описанием; возьмём теорию представлений
Не видишь разницы между теорией представлений и теорией множеств/универсальной алгеброй/нумерацией мейл ру/каллиграфией?
Объясняю еще раз то, что уже объяснил: первое приводит к математическим результатом, второе – нет.
>Каким образом
Учись читать, животное.
Гомологические методы используются в 99% математики.
А там, где они не используются, например в общей топологии и дескриптивной теории множеств, тоже ничего конструктивного нет.
Репорт.

Ответы3204932070

23 17 дек 2017, 13:15 23 32049

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

Ответы32050

sage 24 17 дек 2017, 13:16 24 32050

>>32049
Сказал придурок, который из всего сообщения отвечает на одно оскорбление. Если бы его там не было, ты бы вообще не ответил, потому что нечем.

sage 25 17 дек 2017, 13:22 25 32051

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

Ответы32053

109 Кб, 640x480
26 17 дек 2017, 13:32 26 32053

>>32051
> коококо
Гори, пидорашка опученная, лол.

Ответы32054

sage 27 17 дек 2017, 13:49 27 32054

>>32053
>Быстро ты опять на кукареканья перешёл, но для унтерменша норм
>Гори, пидорашка опученная, лол
В это скатывается любой тред, в котором ты начинаешь срать.
Репорт.

Ответы3205732070

1 Мб, 500x312
28 17 дек 2017, 14:00 28 32057

>>32054
> В это скатывается любой тред, в котором ты начинаешь срать.
> Репорт.

Ответы32061

sage 29 17 дек 2017, 14:32 29 32061

>>32057
Про родителей написать забыл в этот раз, почему?

Ответы32064

30 17 дек 2017, 14:58 30 32064

>>32061
Хуй на них. Там в соседнем треде про алгебру в оп посте написано, что алгебра это вычисления. Оправдывайся.

31 17 дек 2017, 15:53 31 32070

>>32037
>Репорт.
>>32048
>Репорт.
>>32054
>Репорт.

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

Plot twist: ты и есть конструктивист

Ответы3208132167

32 17 дек 2017, 16:56 32 32081

>>32070
Там и разжигать нечего, этот даун одинаково на всё реагирует из раза в раз.

sage 33 18 дек 2017, 01:49 33 32162

Евклид был нигилистом.

34 18 дек 2017, 04:39 34 32167

>>32070
>неудачно подвернулся вместе с пучкопетухом)
Ты про того, что серенькает своими этонематематика?

Ответы32172

35 18 дек 2017, 11:20 35 32172

>>32167
да

36 6 авг 2018, 13:50 36 41904

>>30974 (OP)
Есть мнение, что Евклид - Бурбаки в Древней Греции.

Ответы41910

37 6 авг 2018, 16:01 37 41910

>>41904
Современные математики просто не дотягивают до его величия.

38 7 авг 2018, 02:45 38 41935

Евклид был русским.

Ответы41953

39 7 авг 2018, 21:37 39 41953

>>41935
бурбакистом

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

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

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

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