561698e12f315euclid.jpg10 Кб, 180x240
Евклид был конструктивистом 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.



Оправдывайтесь.
2 30988
Пропы сюда приведи.
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.
4 31146
>>31077

>Было на math overflow шесть лет назад.


А здесь не было. Ссылку-то вкинул бы.
5 31147
>>31077
Да, и цитата никакого отношения к ссылке из оп-поста не имеет, если что. Там термины внятно определены.
6 31989
Чем дальше математика от конструктивности, тем она дальше от применимости (в любом смысле этого слова). С этой точки зрения вся математика возникла исключительно из конструктивных соображений (посчитать, начертить и т.д).
sage 7 31992
>>31989
В математике конструктивизм не применим вовсе, о чём и говорят сами математики.
Конечно, можно не считаться с их мнением и придумать манямирок с альтернативным научным сообществом, как делает местный конструктивист, но это уже на грани шизофрении.
8 32022
>>31992

> В математике конструктивизм не применим вовсе, о чём и говорят сами математики.


Сам понял что сказал? В математике вообще можно иметь дело только с конструктивными объектами, коими является и любая формальная теория. И только в рамках непосредственной вычислимости, за пределами которой от математики остаётся рисование разве что.
sage 9 32024
>>32022
Ничем не обоснованный и опровергаемый реальной научной практикой предмет твоей веры. Пруфы тебе неоднократно приводили, ты их просто игнорируешь, сам никаких аргументов кроме "я сказал" не предоставляешь.
Не сочувствую сектантам, сорри, репорт.
10 32025
>>32024

> Пруфы тебе неоднократно приводили,


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

> "Нет математики кроме вычислимости", и потом старательно игнорирует все контрпримеры;


Которых не было. Про премию Филдса вообще смешно. Евклид её не получал и гамалогиями не занимался, значит он не математик.
sage 13 32028
>>32027
Аргументов не было у тебя, ты постулируешь свою позицию чисто догматически.

>цитатки рандомных ноунеймов


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

>Евклид


Премия была учреждена в 1936-м году.
Евклид и диплома о высшем образовании не имел.
Значит тебе тоже можно не иметь, и тоже считать себя математиком, а 99.999% реального научного сообщества – не считать таковыми. С этим в дурдом, пожалуйста,
Репорт.
14 32029
>>32028

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


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

> Почему мнение десятков тысяч людей это не аргумент, а мнение одного человека – да?


Мнение в математике это вообще не аргумент. Но ты даже этого не понимаешь.
sage 16 32031
Ньютон не признавал теорию относительности (которой тогда не было), прямо как академик Логунов. По логике конструктивиста, Логунов – ученый, а 99.999% физиков – нет.
То есть, я товарищу пример с сообществом приводили уже раз шесть, пять раз он промолчал, видимо думал что ответить. Ничего лучше не придумал, как поставить себя на один уровень с Логуновым и Катющиком.
>>32029

>Догма это твои заявления что математика это только алгебра


Проанализируем, чем это отличается от "математика это вычислимость".
Алгебра инклюзивна, то есть любую область математики можно описать в терминах алгебры. И это не будет полностью бесполезным описанием; возьмём теорию представлений: это один из разделов алгебры, который сам по себе включает всю математику (изучаются конечномерные и бесконечномерные представления групп Ли, алгебр Ли, ассоциативных алгебр – конечномерных и бесконечномерных). Гармонический анализ возник как часть теории представлений, теоретическая физика её использует (от стандартной модели и калибровочных теорий до современных идей типа суперсимметрии); теория представлений была использована для таких задач как классификация простых конечных групп и доказательство гипотезы Шимуры-Таниямы-Вейля (следствием которой является великая теорема Ферма).
И это не удивительно, поскольку в основе теории представлений лежит та же идея линеаризации, что и в гомологической алгебре, алгебраической к-теории, и т.д.
Говоря "математика это алгебра" мы никак не ограничиваем математику, с другой стороны, говоря "математика это вычислимость", мы вынуждены выбросить 99% математики.

>Мнение в математике это вообще не аргумент


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

>Догма это твои заявления что математика это только алгебра


Проанализируем, чем это отличается от "математика это вычислимость".
Алгебра инклюзивна, то есть любую область математики можно описать в терминах алгебры. И это не будет полностью бесполезным описанием; возьмём теорию представлений: это один из разделов алгебры, который сам по себе включает всю математику (изучаются конечномерные и бесконечномерные представления групп Ли, алгебр Ли, ассоциативных алгебр – конечномерных и бесконечномерных). Гармонический анализ возник как часть теории представлений, теоретическая физика её использует (от стандартной модели и калибровочных теорий до современных идей типа суперсимметрии); теория представлений была использована для таких задач как классификация простых конечных групп и доказательство гипотезы Шимуры-Таниямы-Вейля (следствием которой является великая теорема Ферма).
И это не удивительно, поскольку в основе теории представлений лежит та же идея линеаризации, что и в гомологической алгебре, алгебраической к-теории, и т.д.
Говоря "математика это алгебра" мы никак не ограничиваем математику, с другой стороны, говоря "математика это вычислимость", мы вынуждены выбросить 99% математики.

>Мнение в математике это вообще не аргумент


В таком случае зачем продолжать кукарекать?
"Математика это вычислимость" – мнение.
При чем, я его уже опровергнул, указав на неконструктивность гомологической алгебры, метода спектральных последовательностей, понятия топоса, и т.д.
Что ты на это ответил? "Тваи гамалогии эта не математика".
Это разве не мнение? При чём мнение ноунейма.
Понятно, что ты хочешь уравнять его с мнением Мамфорда или (который кстати был не только алгебраическим геометром, но и прикладником) или Манина (написавшего ряд работ по вычислимости, кстати). Эти люди знают о вычислимости явно больше тебя.
Напомню тебе, что ты сам ещё недавно тряс цитаткой Брауэра с azquote и скриншотами из Лёфа, и это было нормально, как только я привёл шесть математиков калибром выше, чем Брауэр, это теперь "вообще не аргумент".
17 32034
>>32029

>Аргументировал я вполне достаточно, вот только ты не понял ничего


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

> По логике конструктивиста, Логунов – ученый, а 99.999% физиков – нет.


По твоей логике. Не вали с больной головы на здоровую.

> "Математика это вычислимость" – мнение.


Это не мнение, это факт. Опровержения которого пока не поступало.
19 32036
>>32034

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


Бурбаки ещё туда же.
sage 20 32037
>>32035

>По твоей логике


"Евклид не занимался гомологической алгеброй, значит, сейчас можно не признавать гомологическую алгебру" – это твои слова.
"Ньютон не занимался теорией относительности, значит сейчас можно не признавать теорию относительности".
В чём разница? Кроме того, что одно утверждение тебе нравится, а другое нет.

>Это не мнение, это факт. Опровержения которого пока не поступало.


Что такое факт? То, что ещё не было опровергнуто? Тогда "Аллах существует" это факт.
Может быть, факт это то, что лично ты считаешь фактом?

>Опровержения которого пока не поступало


Поступало, но ты его проспал.
Еще раз: "математика это только вычислимость".
Спектральные последовательности это математика, но они не всегда вычислимы. Противоречие.
>>32036
Конечно, Бурбаки тоже. А еще Воеводский.
А еще все математики, кроме тех, которые тебе нравятся.
Репорт.
21 32042
>>32037

> "Евклид не занимался гомологической алгеброй, значит, сейчас можно не признавать гомологическую алгебру" – это твои слова.


Нет конечно. Ты даже не читаешь что тебе пишут.
>>32031

> Алгебра инклюзивна, то есть любую область математики можно описать в терминах алгебры


А алгебру можно описать в терминах множеств, типов и даже в натуральных числах (геделевская нумерация). Но ты этого не видишь.

> говоря "математика это вычислимость", мы вынуждены выбросить 99% математики.


Каким образом?
sage 22 32048
>>32042

>Нет конечно


>Евклид гамалогиями не занимался


Найс отрицание.

>Ты даже не читаешь что тебе пишут


Твой шизофренический бред? К сожалению, читаю, но лучше бы не читал.

>А алгебру можно описать в терминах множеств, типов и даже в натуральных числах (геделевская нумерация)


Я же специально оговорил:

>И это не будет полностью бесполезным описанием; возьмём теорию представлений


Не видишь разницы между теорией представлений и теорией множеств/универсальной алгеброй/нумерацией мейл ру/каллиграфией?
Объясняю еще раз то, что уже объяснил: первое приводит к математическим результатом, второе – нет.

>Каким образом


Учись читать, животное.
Гомологические методы используются в 99% математики.
А там, где они не используются, например в общей топологии и дескриптивной теории множеств, тоже ничего конструктивного нет.
Репорт.
23 32049
>>32048

> Учись читать, животное.


Пидарашка кого-то животным называет. Совсем ебнутые. Быстро ты опять на кукареканья перешёл, но для унтерменша норм.
sage 24 32050
>>32049
Сказал придурок, который из всего сообщения отвечает на одно оскорбление. Если бы его там не было, ты бы вообще не ответил, потому что нечем.
sage 25 32051
Хуйло, у которого любимый ответ это "пидорашка", "животное", "дауны с мейл ру", "родители твои", "унтерменш" и т.д. ещё что-то будет говорить про оскорбления. Когда тебя уже забанят за жырный троллинг и флуд, повесишься от одиночества наверное, чмо анимешное.
14981740838380.jpg109 Кб, 640x480
26 32053
>>32051

> коококо


Гори, пидорашка опученная, лол.
sage 27 32054
>>32053

>Быстро ты опять на кукареканья перешёл, но для унтерменша норм


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


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

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


> Репорт.

sage 29 32061
>>32057
Про родителей написать забыл в этот раз, почему?
30 32064
>>32061
Хуй на них. Там в соседнем треде про алгебру в оп посте написано, что алгебра это вычисления. Оправдывайся.
31 32070
>>32037

>Репорт.


>>32048

>Репорт.


>>32054

>Репорт.



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

Plot twist: ты и есть конструктивист
32 32081
>>32070
Там и разжигать нечего, этот даун одинаково на всё реагирует из раза в раз.
sage 33 32162
Евклид был нигилистом.
34 32167
>>32070

>неудачно подвернулся вместе с пучкопетухом)


Ты про того, что серенькает своими этонематематика?
35 32172
36 41904
>>30974 (OP)
Есть мнение, что Евклид - Бурбаки в Древней Греции.
37 41910
>>41904
Современные математики просто не дотягивают до его величия.
38 41935
Евклид был русским.
39 41953
>>41935
бурбакистом
Обновить тред
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

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

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