Это копия, сохраненная 26 января 2017 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Итак, почему же аксиомы Пеано не определяют N?
Формализация натуральных чисел в рамках комбинаторной логики. Через базисные комбинаторы определяется объект (комбинатор) "0" и операция (ну, тоже комбинатор) "+1" (инкремент). На их основе всё остальное.
Ловите стенку. На dxdy вбрасывал - там сразу в карантин за неиспользование TeX(ну не знаю я его).
Насчёт индукции - она эквивалентна утверждению, что (счётное ;) множество истинных утверждений {An} получается из истинного утверждения-базы A1, порождающего правила (An=>An+1) и логической аксиомы(или модуса, доказываемого в разных подходах мат. логики - кому как нравится) Modus Ponens. На мой взгляд, это утверждение интуитивно понятно, и непосредственного отношения к натуральным числам не имеет. Числа нужны только для индексирования(определения порядка) множества. Но ведь индексировать можно любым линейно упорядоченным множеством. Тут прослеживается связь с множествами, порождающей процедурой задания множества и логикой.
Видимо, понятие множества строк конечной длины и операции подстановок-конкатенации эквивалентно понятию числа(попутно вспоминаем нормальные алгоритмы Маркова). Но возможно ли на языке НАМ, задать арифметические операции для любого(неограниченной разрядности) числа?
Представляется, что число можно определить и на языке формальных грамматик(в которых работает рекурсия, а не индукция), не совсем уверен насчёт определения арифметических операций. Допустим алфавит {1}, X+Y->X|Y(единичная система счисления). Как записать, что XY->X|X|X...|X Y раз?
Например, так? XY->X|X(Y-1) где Y-1 - отщепление символа от Y, X1->X? Но тогда конкатенации не хватит, нужно уметь отщеплять/стирать символы.
Понятие числа также включает в себя понятие "полностью упорядоченного счётного множества", с точностью до биекции. Верно ли обратное? Можно ли, например, с помощью нескольких аксиом на полностью упорядоченном множестве - задать функцию сложения, например?
Еще есть связь с композицией операций - композицию одинаковых операций можно задать числом, но это те же строки вида aaaaa... по сути. С рекурсией тоже связь очевидна, как уже подмечено, потому что тривиальная рекурсия без ветвлений - тот же линейный порядок.
Так что довольно простой вопрос "А что такое N?" может навести на незамысловатые, но занимательные размышления.
Ловите стенку. На dxdy вбрасывал - там сразу в карантин за неиспользование TeX(ну не знаю я его).
Насчёт индукции - она эквивалентна утверждению, что (счётное ;) множество истинных утверждений {An} получается из истинного утверждения-базы A1, порождающего правила (An=>An+1) и логической аксиомы(или модуса, доказываемого в разных подходах мат. логики - кому как нравится) Modus Ponens. На мой взгляд, это утверждение интуитивно понятно, и непосредственного отношения к натуральным числам не имеет. Числа нужны только для индексирования(определения порядка) множества. Но ведь индексировать можно любым линейно упорядоченным множеством. Тут прослеживается связь с множествами, порождающей процедурой задания множества и логикой.
Видимо, понятие множества строк конечной длины и операции подстановок-конкатенации эквивалентно понятию числа(попутно вспоминаем нормальные алгоритмы Маркова). Но возможно ли на языке НАМ, задать арифметические операции для любого(неограниченной разрядности) числа?
Представляется, что число можно определить и на языке формальных грамматик(в которых работает рекурсия, а не индукция), не совсем уверен насчёт определения арифметических операций. Допустим алфавит {1}, X+Y->X|Y(единичная система счисления). Как записать, что XY->X|X|X...|X Y раз?
Например, так? XY->X|X(Y-1) где Y-1 - отщепление символа от Y, X1->X? Но тогда конкатенации не хватит, нужно уметь отщеплять/стирать символы.
Понятие числа также включает в себя понятие "полностью упорядоченного счётного множества", с точностью до биекции. Верно ли обратное? Можно ли, например, с помощью нескольких аксиом на полностью упорядоченном множестве - задать функцию сложения, например?
Еще есть связь с композицией операций - композицию одинаковых операций можно задать числом, но это те же строки вида aaaaa... по сути. С рекурсией тоже связь очевидна, как уже подмечено, потому что тривиальная рекурсия без ветвлений - тот же линейный порядок.
Так что довольно простой вопрос "А что такое N?" может навести на незамысловатые, но занимательные размышления.
Whatever. Любые продуктивные определения, критика имеющихся определений. Как я понЕл.
Рекурсия же это форма индукции. А у Маркова с первых же строк идет определение N как рядов палочек, т.е. по сути оно берётся как исходное понятие.
Ничего, но надо прояснить статус всего этого. Что мы признаём исходным не определяемым, а что определяем как производное понятие.
Возмущение на индукцию пошло вроде с одного недалекого сосачера, недовольного тем, что определение индукции завязано на определении числа. Т.е. получается логическая петля.
От себя добавлю - что мат. индукция вроде как аксиома, но относится к "логическим" инструментам вроде доказательства от противного, простейшим модусам применяющимся при доказательствах(например тот же Modus Ponens a, a=>b |- b, и много других) - которые в рамках мат. логики можно рассматривать как свойства булевых функций, либо доказывать в рамках подходов исчисления высказываний. Т.е. выходим на истоки метатеории - которые сразу же ассоциируются с теоремой Гёделя и тематикой ИИ, автоматического вывода теорем. Отсюда вопрос - можно построить внятную и удобную метатеорию, в которой N(а также некоторые другие "аксиомы") будет определяться легко и безболезненно.
>определение индукции завязано на определении числа
Хуета какая-то школьная.
В этом смысле та же комбинаторная логика на определении числа ну вообще никак не завязана (хотя определение комбинатора индуктивно, да).
Т.е. поддвачну индукцию как логический инструмент. "Определять" её через числа нахрен не надо.
Поясню - логическая петя возникает в аксиоматике Пеано(определяем числа через индукцию - которая в свою очередь требует определение числа).
Еще сопутствующий вопрос - как можно из разных определений чисел выудить вменяемую хай-лвл мат. аксиоматику(необходимую для матана и прочего - тысячи их) вроде этой
http://ru.math.wikia.com/wiki/Аксиоматика_вещественных_чисел
Ну то есть, если мы докажем всё для натуральных чисел - дальше не надо, с натуральных чисел "подъем" уже проработан Дедекиндом и последователями.
> индукция вроде как аксиома, но относится к "логическим" инструментам вроде доказательства от противного, простейшим модусам применяющимся при доказательствах
Т.е. ты объявляешь N как неопределяемое понятие подтверждая тем самым точку зрения твоего "недалекого сосачера".
Это он переврал. Говорилось обратное, что N полностью завязано на индукцию. Если считать индукцию как неопределяемое понятие то по сути у нас тут же возникает натуральный ряд, так как N это и есть какой-то базовый объект плюс применение к нему этой индукции.
ИМХО. Любая хрень о которой идет речь в аксиоматике - это неопределяемые понятия, т.е. определения для которых давать не надо - но можно приводить объяснения и примеры из реального мира. Иначе - уходим в бесконечную цепь определений, в какой-то момент нужно остановиться. По аналогии с естественным языком - "базовый" словарный запас усваивается интуитивно.
Я же объявляя N неопределяемым понятием не отказываюсь от выбора аксиоматики - а наоборот, рад всяким конструктивным предложениям. Вопрос - какую аксиоматику считать удобной, не так важно. Главное - чтобы не было логических петель и порочных кругов. Ну и хорошо бы, чтоб можно было ввести операции на натуральных числах и доказать их свойства, выводя их из простых и понятных аксиом - либо вычислительных моделей этих операций.(в рамках "метатеории" - для кого-то это может быть перебором, конечно). Потому что просто определение чисел без арифметических операций смотрится "немного" кастрированно лол.
>>295514
Эй, говнари, вы вообще что называете "индукцией"? Чего-то мне подсказывает, что вы путаете два несколько разных значения у этого слова, а именно "математическую индукцию" с, скажем так, "логической индукцией". Есть ещё электротехническое значение, его вы почему отбрасываете?
Пиздануться от вас, школоматематиков, можно. С терминологией не определились, но тред запилили.
мы(то есть я - >>295500,
>>295510, >>295513, >>295516) оперируем в терминах математической, а не классической гуманитарной логики. Под индукцией я понимал именно мат. индукцию. Вообще индукция - это вывод от частного к общему, в отличие от дедукции. В рамках исчисления предикатов дедукция представляется как подстановка термов, например, а индукция - навешивание квантора всеобщности на предикат
.
Про электромагнитную индукцию тоже вкурсе.
ЗЫ. И вообще я не школоматематик, а скорее шизоматематик - если уж в такой манере генерировать мемосы.
1. I, K, S - "комбинаторы";
2. () - операция аппликации такая, что если А и В комбинаторы, то (АВ) - комбинатор;
3. других комбинаторов нет;
4. для лубых комбинаторов x, y, z: Ix = x; Kxy = x; Sxyz = xz(yz).
Никакой мат. индукции не используется. Никакой, не нужна она тут. Число логические "договоримся о такой вот пизде". Чисто математический стиль "не ебу, что это за хуйня такая - I, K, S, черные ящики какие-то, но ведут они себя вот так-то".
Далее введем удобные краткие обозначения для показавшихся нам интересными комбинаторов:
0 := KI
+1 := S(S(KS)K)
+ := {много букв}
:= S(KS)K
Чем интересные? Просто тем, что при их подстановке в школьные выражения для натуральных чисел, получим верные тождества. Радуемся и начинаем для краткости называть все комбинаторы, которые можно получить из "0" аппликацией "+1" - натуральными числами.
Затем можно давать определение математической индукции, пользуясь этими "натуральными числами".
вот это заебись. Видимо то, что надо для меня.
Сразу вспомнил о "великом комбинаторе" чёт.
А индукция в принципе все равно используется по всей математике - без неё никуда. Просто её суть очень близка сути натуральных чисел(аксиоматика Пеано это подтверждает), может даже это изоморфизм с первого взгляда. ;)
А на аксиоматике Пеано можно элементарно и с минимальными усилиями определить операции и все школьные формулы(для натуральных чисел) вывести?
> Любая хрень о которой идет речь в аксиоматике - это неопределяемые понятия, т.е. определения для которых давать не надо - но можно приводить объяснения и примеры из реального мира. Иначе - уходим в бесконечную цепь определений, в какой-то момент нужно остановиться
Тут есть один ключевой момент, который меняет всё. Это рассуждение без всяких оговорок принимается когда объектная система и метасистема не пересекаются, например формализация геометрии. В нашем же случае эти системы пересекаются, как раз по понятию индукции.
> Я же объявляя N неопределяемым понятием не отказываюсь от выбора аксиоматики
Ну это уже вопрос вторичный. Нам бы разобраться с первичными определениями.
> Главное - чтобы не было логических петель и порочных кругов.
Так ты их и получаешь, если не признаешь индукцию неопределяемым понятием.
>>295517
Очевидно разговор про мат индукцию в широком смысле.
> Никакой мат. индукции не используется.
Используется, только неявно (из рекурсии).
Кроме того ты привел свои определения как часть формальной системы, а если откроешь любую книжку по матлогике где развивается теория ФС, там индукция будет на каждом шагу.
Как я понимаю, в аксиоматике Пеано мат. индукция является аксиомой, а не неопределяемым понятием. Претензия - как нам провести индукцию, не умея в числа. Мне кажется это реально сделать если использовать понятие "линейного порядка", т.е. мы утверждения не будем нумеровать, а просто упорядочим в порядке "порождения" их мат. индукцией.
>Используется
Так ты что индукцией-то называешь, можешь сказать?
Математической индукции, той, которая даёт механизм доказательств теорем, которая по сути "правило вывода" в определении не используется. Хотя бы потому, что это определение, а не доказательство.
То есть претензия к аксиоматике Пеано сводится к такой - каким боком мы проводим мат. индукцию по числам, нумеруем утверждения - если еще не знаем что это такое. Иначе появляется логическая петля - индукция и числа как бы сами себе насасывают.
Ой а иди-ка ты нахуй. Логическая петля у него. Речь про определения, а не про доказательства. Логические петли в доказательствах порочны, а в определениях они указывают лишь на взаимосвязь, т.е. два якобы связанных петлёй определения рассматривай как одно целое. Но это не случай индукции и натуральных чисел.
Как ты можешь нумеровать утверждения(чтобы использовать мат. индукцию) - не зная, что такое число? Что-то должно быть определено раньше, чем что-то другое. Если определишь раньше числа - аксиоматика Пеано летит к хуям т.к. тебе нужны числа(в индукции) чтобы построить числа. Если индукцию - то возвращаемся к вопросу аксиоматики натуральных чисел. Можно избежать петли если не юзать аксиоматику Пеано.
Вообще аксиоматика Пеано мне представляется самой интуитивно ясной и лаконичной - только напрягает самоотсос с индукцией - может это я зря на неё гоню, но пока интерпретация у меня такая.
Лол, далеко пойдешь с таким подходом. Предлагаю начать с взаимности множества и совокупности, лол.
>порождающая процедура элементов
... которая будет "индуктивна". Вон пример такой процедуры, в >>295522
Чисто алгоритмическое описание процедуры построения множества. Да, оно индуктивно - в логическом смысле. Местный хуй от него нос воротит, считая, что буквы "и т.д." можно писать только зная, что такое число. Иди опиши процедуру, порождающую множество без этих букв.
Двачую. Считаю, что сам принцип "индуктивности" не завязан на числа, он всего лишь очень близок к нему и ассоциируется с ними - как мне кажется, потому в математике мы привыкли всё и вся нумеровать. Так что тут включается человеческий фактор.
Зря радуешься, просто это признак того, что ты мыслишь поверхностно и не видишь глубинных связей. Это хуёвое свойство для математика.
> где конкретно в индукции N
Говорилось что N это по сути только индукция. Так как определение базового объекта тривиально.
> почему без N индукции быть не может
Это не утверждалось. Хотя по сути это верно. Так как если у тебя есть индукция, то взяв базовый элемент ты по индукции получишь N. Так что формально это истинное высказывание, лол.
> почему же аксиомы Пеано не определяют N
А зачем его определять? Берутся аксиомы, берется произвольное N и с ним работают. Если тебе не нравится N которое сипользуют другие люди, можешь взять свое.
Выдумаю.
Советую начать с чтения этой статьи.
Проиграл сам с себя и осознал, каким же я был дауном. Аксиома индукции в аксиоматике Пеано не является логическим приемом мат. индукции, хотя и похожа на него.
Я подменял понятие аксиомы индукции в аксиоматике Пеано "методом доказательства по индукции".
Я считал, что использование понятия числа идет в аксиоматике Пеано, потому что мы нумеруем утверждения и ссылаемся на понятие числа при использовании конструкта "логическое утверждение, зависящее от n" при применении метода индукции(отсюда делал вывод о логической петле и самоотсосинге).
Математические аноны, не повторяйте моих ошибок.
Ты это серьезно? Устроил весь этот анальный цирк из-за того, что не прочитал википедию внимательно?
Да, серьезно. Устроив анальный цирк - узнал и уяснил для себя некоторые интересные и полезные вещи. Вообще имхо - метатеории и "проблемы обоснования" являются анальным цирком и ментальной мастурбацией по сути своей(как и огромный кусок математики). Просто кому-то она доставляет - мне, например. Просто "прочитать статью", как бы "понять" - не интегрировав полученные знания в общую систему понятий и представлений, смириться и не дискутировать - это не мой подход. Лучше задать "дурацкий" вопрос и разобраться, чем всю жизнь сидеть и неверно что-то понимать. И вообще - дурацких вопросов не бывает - имхо.
А теперь разбор полетов aftermath.
Ну не въехал сразу в статью, наложил маня-предубеждения(в том числе из рассуждений других сосачеров) и получил полную логическую кашу в голове. Кстати англоязычная статья намного доходчивее(что неудивительно). Главное - это то, что я всё-таки объективно лучше стал въезжать в тему - хотя бы на крупицу. И не буду больше никогда спрашивать разъяснить эту хуйню - я её понял раз и навсегда. искренне надеюсь
> TeX(ну не знаю я его).
Потому что ты дегенерат и твоё знание математики -- на уровне кухарки.
>>295513
> ru.math.wikia
Правильно, что тебя, шизика, пидорнули на dxdy
Это интересный вопрос, между прочим. В ZF нельзя определить кардинал привычным образом как класс всех равномощных множеств - потому что новые множества можно образовывать только из уже построенных множеств, а множества всех множеств у нас нет.
Очень просто.
0)Есть пустое множество - ноль.
1)Есть множество {0} - один.
2)Есть множество {0,{0}} - два.
3)Есть множество {0,{0},{0,{0}}} - три.
И т.д.
Это первые несколько натуральных чисел по фон Нейману. Но это не определение кардинала. Куратовский не смог определить кардинал в аксиоматике Цермело-Френкеля, и ему пришлось ввести дополнительную аксиому о порядковых типах. В ней кардиналы (точнее, порядковые типы) вводились как некие новые сущности, онтологически не связанные со множествами.
Короче, что такое кардинал?
Мы говорим, что конечное множество имеет кардинал А, если оно равномощно одному из множеств >>295737
Фактически, кардинал - это обобщение представления о колличестве. Говорят, что множества имеют один и тот же кардинал тогда и только тогда, когда они равномощны.
С порядковыми типами проследуйте к ординалам.
То есть ты отрицаешь, что кардинал - это самостоятельный, существующий объект, и считаешь, что словосочетание "имеют один и тот же кардинал" является просто синонимом словосочетания "равномощны"? Но ведь это же скучно.
Я говорю о том, что кардинальное число - это свойство множества. Разумеется, на определённом уровне абстракции можно мыслить его, как самостоятельный объект, но это не меняет хода рассуждений, и высказывания о кардинале как о свойстве переводимы в высказывания о нём как об объекте.
Математика нужна постольку, поскольку приносит фан.
>>295751
На кардиналах, как известно, можно построить развитую арифметику со сложением, умножением, возведением в степень, извлечением корней и логарифмированием. Концептуально удобнее думать о них как об объектах, нежели как о свойствах. Но в ZFC, кажется, кардинал нельзя определить как объект.
У нас тут серьёзный дискасс. Соси.
Ты не задал дурацкий вопрос, ты именно что устроил анальный цирк: никто не может определить N, конструкция по сути определяется через себя, ко-ко-ко. Если б мог четко и недвусмысленно сформулировать свою претензию, тебе бы давно ответили, сколь дурацкой бы она ни была.
>>295717
Ну да, ну да - по теме треда ты ничего не можешь сказать, а говном полить - пожалуйста. С dxdy меня не пидорнули - мне просто в лом было дооформлять - тем более ответа я мог ждать годами. TeX я бы заюзал если бы мне оно надо было.
Ты сам-то чьих будешь? Профессор кафедры?
И еще - тред создал не я - >>295500, а значит вопрос интересен
кому-то еще.
Подгоревшие уебки-снобы-знатоки - проходите мимо, не задерживайтесь. Для вас каноничный мат-тред есть. "Тупые, щизики, низзя такое спгашивать, вы ньичего не панимаити!"
>>295776
Я уже объяснил почему нельзя что-то определять через само себя - чисто логически
>Что-то должно быть определено раньше, чем что-то другое.
Т.е. говоря более формально если построить граф ссылок определений - в них не должно быть циклов(что я и имел в виду под логической петлей). Простейший пример: понятие X использует в определении Y. Понятие Y использует в определении X. Пытаясь пройтись по "графу определений" (т.е. попытавшись уяснить что же такое X, либо Y) мы итоге попадаем в "порочный круг". А вот если представить такую ситуацию: X в определении использует Y, а Y - неопределяемое понятие - никаких циклов не возникает.
В случае с аксиомой индукции - работает второй вариант, как я понял.
В следующий раз читай внимательнее.
тот самый момент, когда я не в курсе событий :)
На проблемы обоснования/формального вывода/проверки доказательств всем насрать, или просто всё что могли уже сделали? (Полу-)Автоматическая проверка доказательств - это же вроде довольно актуально, учитывая какие объемы выдают Перельманы, Монтидзуки и прочие?
Проблемы обоснования математики не существует. Это миф, который держится на поддуве философов.
На поддуве тех, кто не понимает в философии. Решения нет и не может быть, поэтому нет и проблемы
Крепко сказано. Тем временем, теоремами существования, формализмами(во имя строгости и обоснованности) и прочей "обосновательной" лабудой полнятся остальные разделы - ещё физики на это внимание обратили. Взять тот же Бурбаки-клаб к примеру. Может дело в том, что лично тебе мат. логика не нравится?
>Бурбаки-клаб
Они не занимались матлогикой. Всё, что они сделали на эту тему, - написали одну-единственную книжку с одной специфичной формальной теорией, которая была нужна им, чтобы утверждать, что математические объекты онтологически являются всего лишь наборами символов. Идея, что Бурбаки был хардкорным матлогиком, не соответствует действительности, их трактат - довольно удобный, коротко и ясно написанный учебник фундаментальной математики. Упоротый матлогический трактат - это, например, Principia Mathematica, но не книжка Бурбаки.
Теоремы существования и единственности вовсе не относятся к основаниям математики. Последнее революционное событие в области оснований - создание после войны Tarski–Grothendieck set theory (аксиомы как в ZFC, плюс аксиома Тарского: для каждого множества существует содержащий его универсум Гротендика). TG ввела в науку большие кардиналы, после чего основания благополучно издохли. Кто ими сейчас занимается, просто копошится в дерьме вековой давности.
Я имел в виду то, что проблемы "обоснования" и "строгости" возникают вне мат. логики. Приложения и область развития для мат.логики я вижу в создании систем, помогающих проверить формальные математические доказательства.
Добавлю - возможно там и пригодятся метатеории и логики 2-го уровня.
Я искренне сомневаюсь, что в естественных науках в принципе возможна строгость в математическом смысле.
Физикам в своей деятельности постоянно приходится воображать творческие модели, каждую конкретную из которых чрезвычайно трудно описать формально. В каждой физической задачке физику приходится выдумывать некоторое, иногда довольно большое, количество допущений. В механике, например, очень часто физику приходится полагаться на соображения симметрии. Отказ от всего этого превращает физику в математику. Попытки приложить матлогику к физике происходят с тех самых пор, как Гильберт сформулировал свою шестую проблему, и ни одного, ни единственного успеха уровня хотя бы Бурбаки до сих пор нет.
В химии нет не то что формальных теорий, но даже мало формализованных аксиоматических теорий. Ни одного аксиоматического изложения химии в природе вообще не существует. Поэтому человеку, который захочет приложить метаматематику к химии, придётся с нуля создать новую науку, аксиоматическую химию. Вряд ли у кого-нибудь сейчас найдётся достаточно бабла, чтобы сделать это.
Я имел в виду приложение именно к математике(к другим областям).
Я думаю, есть в мат. логике потенциал для роста - но чё-то заглохло(может немодно, видится неактуальным - ко многим другим областям то же применимо). В области ИИ применяли же машины формальных доказательств, нашли кучу неизвестных теорем(в геометрии) - может бесполезных, но тем не менее. Правда там всё шло на уровне предикатов, а для полезных выводов нужно спускаться на уровень термов - т.е. создавать новые предикаты на основе термов(уравнения/неравенства/выражения).
Мне кажется вся сложность, противоречивость определения натуральных чисел заключается вот в чем. Вся современная математика опирается на теорию множеств. Теория множеств оперирует такими понятиями, как континуум, бесконечно-делимые интервалы. Вещественные числа, которые принципиально до конца не определены (мощность множества вещественных чисел - континуум). Натуральные же числа, они опираются на понятие дискретности (неделимого интервала). И вот в этом и есть вся суть. Дискретность и континуум это противоположные, противоречивые понятия, не сочетаемые вместе. Нужна другая математика, опирающаяся не на теорию множеств, а на что то другое. Что-то такое, у чего в основе лежит понятие дискретности. Так мыслю. Но вообще я дилетант. Поправьте, если где обосрался.
В математике упадок. Речь идёт не о том, чтобы получать новые знания, а о том, чтобы хотя бы частично сохранить уже полученные. Количество людей, слышавших название "гомологическая алгебра", сокращается год от года.
Так там вроде завязка на то, что количество и сложность необходимых знаний, время/труд необходимые на их усвоение, чтобы работать в какой-то области - увеличиваются, и причём не хило. Тут уже проблема ограниченности возможностей человеческого интеллекта встаёт, имхо.
>>296690
На повестке дня проблема натуральных чисел - дискретной природы. Проблем построения вещественных чисел, перехода дискретность-континуум мы не касаемся.
Это полный бред, это просто невозможно. Количество людей на планете год от года растет, вычислительные мощности тоже растут, средства анализа совершенствуются. Причем всё это растет нехуевыми темпами. При таких условиях упадо математики невозможен, сосни хуйца.
>завязка
Непонятно в чём. Возможно, в том, что власть на матфаках захватили сракодрищенские выблядки, которые ненавидят математику.
идёт речь о настоящей математике, а не о том, что ты в школе проходил - и что можно решить в любом CAS.
Ну давай расскажи мне, когда блядь еще в истории человечество, обладая суперкомпьютерами (с вычислительной мощностью в петафлопсы), был упадок математики?
Один раз наука умерла в Древней Греции. Несмотря на успехи древнегреческой цивилизации, её математика отчего-то угасла.
Другой раз математика исчезла в исламском мире. Исламские фанатики запретили математику.
Ещё один раз это случилось в Третьем рейхе, когда нацисты поубивали всех еврейских математиков и, между прочим, не дали Цузе изобрести компьютер.
Я не знаю, какая сила убивает математику сейчас. Но, несомненно, математика угасает. Суперкомпьютеры есть, но они математике побоку.
>>296702
В наши дни серьёзные занятия математикой - это не исследования в стратегически важных, фундаментальных областях, не изучение гомологической алгебры, а тупое взятие интегральчиков под картофанчик. Не только в России, везде.
Математику убивает потреблядство - косячок, дотка и прон с понями. Как и всё толковые интеллектуальные занятия. От твоих суперкомпьютеров умных и заинтересованных людей не прибавляется.
>Суперкомпьютеры есть, но они математике побоку.
Ну ты же не прав. Вот прямо совсем. Например поиск простых чисел осуществляется как раз на таких компьютерах.
Только не надо мне рассказывать, что простые числа, как тян, не нужны
ты путаешь разные науки/области. Чистая математика, к примеру - не о вычислениях и поиске каких-то там чисел, решений уравнений, коллизий хэшей. Этим занимаются прикладники/программисты. Computational science как есть.
Она больше о разных занимательных теориях, объектах/определениях, теоремах, гипотезах, выводах из них.
>поиск простых чисел
Напомнило интервью Садовничего.
"Два наших аспиранта мехмата, специалисты по криптографии, несколько месяцев назад установили мировой рекорд. Суть в том, что надо разложить большое число на сомножители двух простых. Они считали несколько месяцев и разложили число 2 в, э-э, ... 27-й степени, это что-то бесконечное такое, и тем самым установили новый мировой рекорд в криптографии. Это произвело колоссальное впечатление на все центры - аспиранты мехмата на нашем суперкомпьютере установили такой мировой рекорд."
Предлагаю новый рекорд - самое большое натуральное число, записанное в памяти компьютера(ов).
Скажи, сколько тебе понадобится времени, чтобы разложить 227 на простые множители на бумажке?
Ты очень коряво излагаешь свои мысли, но я понял о чем ты говоришь. Давай я тебе помогу сформулировать, о чем же на самом деле эта чистая математика. И после этого тебе сразу станет очевидно, почему она находится в упадке.
Чистая математика - это творческий процесс построения новых абстрактных математических объектов, структур. А также о связи между этими объектами. Суть этого творческого процесса в постоянном углублении уровня абстракций. Вот пример, который я уже постил как то раз в матан-треде:
1 уровень - простейшая чувственная абстракция. Переход от «двух яблок», «двух камней» и т. д. к понятию числа 2. При этом манипулирование предметами заменяется на универсальные законы работы с числами (или с преобразованиями, или с чем-то еще). Человек отделился от животных, стал разумным именно когда сумел выйти на этот первый уровень абстрактного мышления.
2 уровень абстракции возникает, когда понимаешь, что правила обращения с числами 2, 3, 15 и т. д. по сути одинаковы. Все эти числа можно складывать, перемножать, для них работают переместительный, сочетательный и другие законы. Иными словами, все целые числа «играют по одним правилам». Поэтому часто полезно оперировать не с конкретными числами, а с новым математическим объектом — кольцом целых чисел. Аналогично, разные повороты предмета в пространстве являются элементами нового математического объекта — группы трехмерных вращений.
3 уровень — это когда исчезает «осязаемость» элементов групп, колец, полей. Тут уже рассматриваются не конкретные группы вращений или иных преобразований, а просто абстрактные группы — совокупности элементов со строго очерченными свойствами. Здесь на первый план выходит то, какова структура группы, а не то, из чего она «состоит». Свойства всевозможных непротиворечивых математических структур, безотносительно к тому, где именно эти структуры возникают, изучает абстрактная алгебра.
4 уровень - теория категорий. Изучаются уже не конкретные группы, а сеть математических взаимосвязей между разными группами. Аналогично, изучается сеть взаимосвязей между самыми разными типами пространств или между самыми разными кольцами.
И так далее до бесконечности. Можно углублять уровень абстрации до бесконечности. Улавливаешь теперь суть вот этой самой чистой математики, на которую вы все надрачиваете?
Так вот, с углублением уровня абстракции сужается область применения в реальной жизни. Отсюда то самое выражение "говно без задач". Вот с этим как раз и связан упадок чистой математики. Уровень абстракции уже настолько глубок и сложен для понимания, а применяемость неочевидна.
Ты очень коряво излагаешь свои мысли, но я понял о чем ты говоришь. Давай я тебе помогу сформулировать, о чем же на самом деле эта чистая математика. И после этого тебе сразу станет очевидно, почему она находится в упадке.
Чистая математика - это творческий процесс построения новых абстрактных математических объектов, структур. А также о связи между этими объектами. Суть этого творческого процесса в постоянном углублении уровня абстракций. Вот пример, который я уже постил как то раз в матан-треде:
1 уровень - простейшая чувственная абстракция. Переход от «двух яблок», «двух камней» и т. д. к понятию числа 2. При этом манипулирование предметами заменяется на универсальные законы работы с числами (или с преобразованиями, или с чем-то еще). Человек отделился от животных, стал разумным именно когда сумел выйти на этот первый уровень абстрактного мышления.
2 уровень абстракции возникает, когда понимаешь, что правила обращения с числами 2, 3, 15 и т. д. по сути одинаковы. Все эти числа можно складывать, перемножать, для них работают переместительный, сочетательный и другие законы. Иными словами, все целые числа «играют по одним правилам». Поэтому часто полезно оперировать не с конкретными числами, а с новым математическим объектом — кольцом целых чисел. Аналогично, разные повороты предмета в пространстве являются элементами нового математического объекта — группы трехмерных вращений.
3 уровень — это когда исчезает «осязаемость» элементов групп, колец, полей. Тут уже рассматриваются не конкретные группы вращений или иных преобразований, а просто абстрактные группы — совокупности элементов со строго очерченными свойствами. Здесь на первый план выходит то, какова структура группы, а не то, из чего она «состоит». Свойства всевозможных непротиворечивых математических структур, безотносительно к тому, где именно эти структуры возникают, изучает абстрактная алгебра.
4 уровень - теория категорий. Изучаются уже не конкретные группы, а сеть математических взаимосвязей между разными группами. Аналогично, изучается сеть взаимосвязей между самыми разными типами пространств или между самыми разными кольцами.
И так далее до бесконечности. Можно углублять уровень абстрации до бесконечности. Улавливаешь теперь суть вот этой самой чистой математики, на которую вы все надрачиваете?
Так вот, с углублением уровня абстракции сужается область применения в реальной жизни. Отсюда то самое выражение "говно без задач". Вот с этим как раз и связан упадок чистой математики. Уровень абстракции уже настолько глубок и сложен для понимания, а применяемость неочевидна.
>И после этого тебе сразу станет очевидно, почему она находится в упадке
Мне вот не стало. Почему?
Не знаю, но могу предположить, что ты просто туповат для осознания и понимания глубоких абстракций. Не у каждого человека достаточно развит интеллект. Многим не дается даже 2ой уровень.
Я конечно совершенно зелёный в этих вопросах - но разве алгебраическая геометрия - это вся математика на сегодняшний день?
http://www.mathnet.ru/php/archive.phtml?jrnid=intf&wshow=contents&option_lang=rus&viewarchiveID=10 - вот краткий курс основ современной математики.
мимошёл
Ват?
Извини, я наверное тоже туповат, но я не могу понять причем тут алгебраическая геометрия и вот этот пост анона >>296729 ? Поясни.
Планировали 276, но СССР развалился. Поэтому только 80.
Признаю, я наверное всё-таки туповат - но пост >>296724 вызвал у меня ассоциацию с апологетикой Ъ-математики Вербитом и путём Дао, которому нужно следовать, как я понял(возможно неверно, в силу скудоумия) что всё должно быть завязано на алг. геом. как "передний край" современной математики - остальное "нинужно" и не развивается.
Вы что, совсем ебанутые?
Что мешает изучать математику, почему вы так озабочены краями? Вы невзъебать какие учёные, которые уже постигли всю известную математическую науку, и теперь пытаетесь определить, какая область важнее?
Вы что, совсем ебанутые?
Передний край и задний край. Хуй и жопа математики.
Можно изучать что хочешь, конечно. Можно задачки рашать, интегральчики считать. Но только ты будешь математиком второй культуры, а первая культура это алгеом.
Возьмём например основания геометрии. Аксиомы. Эти аксиомы определяют понятия (точка, прямая, плоскость, лежать на, етц.) через их взаимоотношения.
Вполне вероятно, что то же самое возможно и с натуральными числами.
> у любого пидорахи буквально под рукой википедия, где можно прочитать про сраные аксиомы Пеано
А толку? Приходишь потом с этими аксиомами в места скопления математиков (на сосач например), указываешь им на явные противоречия в этом "определении" а в ответ жалкое бубу да бебе, кококо это философия, нам на это поххх...
Как минимум, чтобы понимать, что считать, как считать, и почему не считается.
Вот тебе скрин. Ищем траекторию полета одного небесного тела вокруг другого, решая дифур. Задача, которую решили аналитически еще в средневековье, формулы можно найти в любом учебнике по механике. Численно - решается, все нормально, орбита - эллипс. Аналитически - остается невычисленным. В самом конце другая система дифуров, чтобы убедиться, что нами все было введено правильно. Она считается.
Вопрос: какого хуя?
Потому что на выходе имеем кашу из чисел и совершенное непонимание того, что мы насчитали(в статистике, в моделировании, к примеру). А вычислительные/решательные скиллы по трактатам 18-го века для практиков и вправду особо не нужны(всеми ненавистные интегральчики и.т.д).
>>297059
ты бы тред прочитал, траль, или пройдем еще раз по кругу?
> ты бы тред прочитал, траль, или пройдем еще раз по кругу?
Вообще-то я тот самый человек, который поднимал эту тему здесь на сосаче.
Пошел нахуй тогда.
А нахуя вообще для определения натуральных чисел аксиома индукции? Первые четыре аксиомы уже определяют N, а пятая нужна не для N, а для утверждений с элементами N. Убрать ее из списка, и ОП-шизик наконец-то успокоится.
И?
Ложь. Существуют бесконечные множества, являющиеся моделями для аксиом Пеано 1-4. Аксиома индукции нужна, чтобы у натуральных чисел были все известные свойства, например сложение.
>Это он переврал. Говорилось обратное, что N полностью завязано на индукцию. Если считать индукцию как неопределяемое понятие то по сути у нас тут же возникает натуральный ряд, так как N это и есть какой-то базовый объект плюс применение к нему этой индукции.
Вот ты приводил тогда пример, что, по твоему мнению, определение производной не содержит порочного круга, а определение N содержит. Но ведь определение производной существенно опирается на понятие вещественных чисел, для которых нужна какая-никакая континуальность, которую мы, по сути, постулируем (аксиома полноты). То есть мы опять же постулируем утверждение, которое почти что эквивалентно определению производной, почему же это у тебя не вызывает никакого диссонанса?
P.S. не ответил на твою последнюю телегу, так как появились дела, а сейчас искать её лень.
Оба хуйню несете. Без аксиомы индукции не доказано, что для каждого нат. числа кроме 1 есть предыдущее, т.е. что нат. числа не могут состоять из некоторого количества непересекающихся "ветвей" x, S(x), S(S(x)), ... . Но вот почему именно это утверждение не внести в качестве аксиомы (что для любого нат. числа отличного от 1 существует нат. число y такое, что S(y) = x) - вот это непонятно.
> Но вот почему именно это утверждение не внести в качестве аксиомы (что для любого нат. числа отличного от 1 существует нат. число y такое, что S(y) = x) - вот это непонятно.
Возьмём N, а сразу после него Z. Ну или в твоих терминах "ветвь" N, и "ветвь" Z.
Ну да, я уже понял. Хорошо. А что если сказать, что натуральные числа совпадают с последовательностью 1, S(1), S(S(1)), ... ? В такой последовательности нет повторений и она принадлежит нат. числам, а эта аксиома проводит обратное вложение.
Аксиома индукции, все-таки, нечто большее. Там говорится обо всех верных утверждениях, использующих нат. числа. Это излишне для определения самих нат. чисел. Чем они такие особенные, что только с ними можно херачить индуктивный переход? А если не особенные, то почему это вогнали в определение, словно без него это уже будут не нат. числа? Индукция же по сути привязана к многократной композиции функции (S(x) в данном случае), а не к нат. числам как таковым.
Как записать? Ну например (словами опишу) N равно минимальному по вложению множеству, удовлетворяющему предыдущему набору аксиом, т.е. с единицей и несклеивающей функцией следования. Любое такое множество будет содержать последовательность, порожденную единицей, а меньше нее уже не будет удовлетворять аксиомам, соответственно, минимум единственен по всем цепочкам вложений и потому определен корректно.
И да, минимум среди всех множеств, у которых один и тот же элемент выбран в качестве единицы, и одна и та же функция в качестве функции следования.
>Как записать? Ну например (словами опишу) N равно минимальному по вложению множеству, удовлетворяющему предыдущему набору аксиом, т.е. с единицей и несклеивающей функцией следования. Любое такое множество будет содержать последовательность, порожденную единицей, а меньше нее уже не будет удовлетворять аксиомам, соответственно, минимум единственен по всем цепочкам вложений и потому определен корректно.
Мне кажется ты мешаешь всё в одну кучу. Если у нас есть теория множеств с её мощной аксиоматикой, то множество натуральных чисел и без всяких аксиом Пеано не составляет определить никакого труда, например, как наименьший счётный ординал.
Если у нас теории множеств нету, и мы хотим определить "теорию натуральных чисел" саму по себе, то мы имеем право пользоваться только языком первого порядка, в которых никаких множеств и их пересечений и вложений нету.
>то мы имеем право пользоваться только языком первого порядка
Немного не так сказал, мы имеем право пользоваться стандартными средствами, использующимися при определении теории первого порядка: задать свои константы, функциональные символы, символы отношений, задать аксиомы или перечислимые схемы аксиом по оговоренным правилам, которые описаны в любом учебнике логики.
Постой-постой. Принадлежность элемента множеству мы писать можем - мы это делаем в аксиомах. Определить подмножество с его помощью не составляет труда: это множество с таким свойством, что если элемент лежит в нем, то лежит и в основном. Таким же точно образом мы накладываем условия на N в аксиомах Пеано, я не вижу тут ничего сверх "дозволенного". Если множество является подмножеством другого, то говорим, что оно вложено. Можно рассмотреть предел по вложению ака минимум. Все, какие проблемы?
Мы уже юзаем теорию множеств здесь. А вот что можно из нее юзать, а что - нет - об этом никто ничего не сказал.
Я не говорю о том, что и без нее хорошо, я говорю о том, что она утверждает больше, чем требуется для того, чтобы определить нат. числа.
Даже вот смотри, без всяких пределов:
Пусть зафиксированы элемент 1 и функция следования S(x). Назовем множество псевдонатуральным, если оно удовлетворяет аксиомам до аксиом индукции. Псевдонатуральное множество назовем минимальным, если никакое его подмножество не является псевдонатуральным. Теперь множеством натуральных чисел называется минимальное псевдонатуральное множество. Корректность определения, т.е. единственность, я уже показывал.
Не хочу быть многословным.
>Принадлежность элемента множеству мы писать можем - мы это делаем в аксиомах.
Не можем. Мы можем это делать в теории множеств, так как бинарный предикат "принадлежать" там часть сигнатуры.
>1. 0 is a natural number
>6. For every natural number n, S(n) is a natural number
Давай, запиши мне эти две аксиомы без теории множеств средствами логики первого порядка.
>средствами логики первого порядка
1. A
2. для всех x B(x)
A := {0 is a natural number}
B(x) := {S(x) is a natural number}
Это не аксиомы, а само собой разумеющиеся вещи. Грубо говоря, в теории натуральных чисел ничего, кроме натуральных чисел нету. Арифметика Пеано изложена, например, тут http://www.staff.science.uu.nl/~ooste110/syllabi/peanomoeder.pdf без всяких множеств.
Вообще тут есть некоторая путаница, аксиомами Пеано называют более менее 3 вещи.
Первая: аксиоматическое определение некоторого класса объектов в теории множеств, как, например, определение "группы" или определение "кольца". В этом случае о подмножествах говорить можно и даже нужно и аксиомы вроде (0 \in N) непременно нужны.
Вторая: определение абстрактной "теории натуральных чисел" как формальной теории исчисления предикатов первого порядка с константными символами (0,1) с функциональными символами арности 2 (+,*) (иногда заменяется просто на инкремент) и с одним предикатным символом арности 2 (<) (иногда не упоминается) и схемой аксиом индукции. В этом случае говорить о каких либо множествах просто бессмысленно.
Третье: определение абстрактной "теории натуральных чисел" как формальной теории исчисления предикатов второго порядка с константым символом (0) и одним функциональным символом арности 1 (S), и аксиомой индукции (которая пробегает по всем свойствам или, что почти то же самое, по всем подмножествам). В этом случае о подмножествах говорить можно, но не в том же смысле, что в первом случае.
В общем, человеку не в теме это объяснить довольно сложно, учебники бы почитали, что ли >_<
Ссылку то почитал, или тебе лишь бы "сыграть" на разности бытового и математического смысла слова "аксиома" (которое в математике нисколько не "утверждение принимаемое без доказательства", а, скорее, "часть определения"), чтобы показаться чуть умнее непонятно перед кем?
Если ты про аксиомы как элементы proof system (а точнее элементы индуктивного множества), то беру своё ёрничание обратно. Не ожидал встретить здесь человека хорошо знакомого с мат. логикой.
Я не понимаю, что за дичь ты мне пытаешься тут втереть, если мы начали писать 1 \in S, то с какой это стати мы не можем определить и писать A \subseteq B ?
Сам для начала разберись, какую из трех вещей ты имеешь в виду, говоря мне, что я не могу писать 1 \in N, когда на вики, например, они именно в такой форме и изложены, и мы обсуждаем вики в первую очередь.
Арифметика Пеано - это здорово, но мы пытаемся определить натуральные числа. Разница в том, что нат. числа - это самостоятельный объект, а арифметика - это набор доказуемых утверждений над этим объектом в такой-то модели.
>если мы начали писать 1 \in S, то с какой это стати мы не можем определить и писать A \subseteq B ?
Я уже описал выше (и я подобного не утверждал).
>и мы обсуждаем вики в первую очередь.
Даже не знаю как и прокомментировать.
>Я уже описал выше (и я подобного не утверждал).
Ничего ты не описал, Джон Сноу. И ты это утверждал: >>297422
>Даже не знаю как и прокомментировать.
Для справки, наше обсуждение начинается отсюда
>>295604
>>296929
Если на вики плохие, негодные аксиомы Пеано - неси свои. Тот пдфник с арифметикой Пеано не предлагать, потому что >>297446 . Ну или если это оно и есть, то ВСЕ ЯСНО
С моделями ситуация чуть сложнее, и я бы не хотел её касаться с учётом того что тут, видимо, и синтаксическую логику (теорию формальных языков, теорию доказательств) мало кто понимает.
Ну вот допустим определил ты через свои подмножества натуральные числа, теперь вопрос, а как определить множества? С помощью аксиом ZFC? А это разве будет "самостоятельный объект", а не "набор доказуемых утверждений над этим объектом в такой-то модели"?
Натуральные определим с использованием теории множеств. Можно и не подмножествами, а наименьшим ординалом, без разницы. Просто при таком подходе получается, что аксиомы Пеано нихрена не дают (по крайней мере в таком виде, как это описано в вики), ибо с используемым ими инструментарием (теорией множеств) можно сделать все лучше без всяких чудо-аксиом.
Ты же начал говорить, что нам незачем привлекать теорию множеств. Однако выясняется, что без нее удается только описать арифметику над N, а не само N. С учетом того, что мое изначальное утверждение было о том, что аксиома индукции - оверкилл для определения N, очевидно, что арифметика Пеано в этом смысле еще больший оверкилл.
Не знаю что хотели сказать на википедии и мне, если честно, лень вчитывать, но вот держу сейчас в руках Cori, Lascar "Mathematical Logic Part II A Course with Exercieses", и там те же аксиомы что и на вики в разделе "First-order theory of arithmeti", но без глупых "принадлежит N" после квантора, более того странно, что они это самое "принадлежит N" в аксиоме индукции на x не навесили. Так профит становится понятен: мы можем исследовать формальную систему натуральных чисел (безотносительно всяких множеств) средствами матлогики и получать содержательные результаты.
Хорошо, здорово, они обошлись без отношения принадлежности, но они не обшлись без арифметики Пеано:
> For each formula φ(x,y1,...,yk) in the language of Peano arithmetic, the first-order induction axiom for φ is the sentence ...
которая и так содержит N в виде нумералов, исходя из твоего пдфника. Нет, так можно определить N, я не спорю, но разве это не оверкилл - привлекать утверждения о истинности каких-то хитровыдуманных утверждений, включающих в себя формулы в такой-то теории над таким-то языком, когда мы просто хотим услышать ответ на вопрос "Что такое натуральные числа?"
>Язык предикатов.
Ок. A и B(x) в твоём алфавите, значит. Так что всё ты понимаешь.
Расшифровка высказываний выходит за рамки логик.
Хотя, конечно, я неверно написал.
1. A(0)
2. For every x: A(x) => A(S(x))
Все буквы знакомы? Все значки знакомы? Осваивайся.
Нет, я говорю именно об альтернативных. На тифаретнике когда-то где-то писали, что бывают аксиоматики N, которые метафизически не уступают аксиомам Пеано, но не эквивалентны им.
>которая и так содержит N в виде нумералов
Так имена переменных - и записи аксиом это не часть теории (а часть метатеории).
> Нет, так можно определить N, я не спорю, но разве это не оверкилл - привлекать утверждения о истинности каких-то хитровыдуманных утверждений, включающих в себя формулы в такой-то теории над таким-то языком, когда мы просто хотим услышать ответ на вопрос "Что такое натуральные числа?"
Так аксиомы Пеано формулировали не для ответа на этот вопрос, в частности их формулировали для того, чтобы показать, что арифметизация математики возможна и сформулировать теорему Гёделя.
Вообще я тоже проблемы не вижу, но мне кажется я понимаю в чём видит её ОП, однако лучше будет, если он сам опишет, чем ему не нравится определение как "наименьшее индуктивное множество" в ZFC.
Весь день на саентаче просидел, гспди >_<
Ему аксиома индукции не нравится, и все, связанное с индукцией - это все, что я знаю. Я докапывался до избыточности сей хрени, а он - до того, что она сама по сути порождает натуральные числа, то есть они как бы определены через себя. Впрочем, я бы сказал, что набор остальных аксиом уже определяет цепочку 1, S(1), S(S(1)), ... , которая по сути описывается индуктивным правилом, так что хули тут блядь.
>по сути описывается индуктивным правилом
... но не использует математическую индукцию. Вот и вся высосанная из пальца проблема треда: индукция математическая путается с построениями индуктивного характера в целом.
Ну некоторая логика в этом прослеживается, ибо сколько раз мы применили индуктивное правило (чтобы понять, другой ли мы элемент получили, или какой-то из предыдущих) - и есть натуральное число.
Индукция нужна, как я понимаю - чтобы ввести арифметику, отношения равенства/неравенства на N и доказывать факты об N. Без неё будет generic линейного упорядоченного множества(незацикленного) - много из него не выжмешь.
Потому что мы явно оговариваем эту аксиому, какие тут могут быть вопросы? Мы же не от хорошей жизни это делаем, а по необходимости.
Ты узко смотришь на аксиому нидукции как только на цепочку символов в формальном языке. Ты понимаешь, что без содержательной индукции ты даже употребить многоточие в своём посте не имеешь права???
Ты не можешь дат определение натерального числа, при этом посмел назвать себя спецом по матлогике?
Аксиомы Пеано не являются определением натуральных чисел, они лишь их описывают. А вопрос был как их определить, как математическйи объект. Чего вообще к вики привязались, это кривые попытки перепечатать куски учебников, зачем вообще на нее ссылаться???
Так проблема не в хитрожопости, а что по сути ЭТО ОПРЕДЕЛЕНИЕМ НЕ ЯВЛЯЕТСЯ. Как я уже говорил, с тем же успехом можно приянть определение множества как совокупности. Просто разные термины и всё.
ZFC это пример формальной системы, фс в рамках финитных средств метатеории уже содержит тривиальное определение N. А значит определение N через ZFC это не определение а кодирование. Определением в математическом смысле оно быть не может, так как иначе будет содержать замкнутый круг, как здесь >>298255
.
Достопочтенный господин, как ваш вопрос соотносится с тематикой треда?
Мы как-будто бы в разных дискурсах разговариваем. Разумеется (хотя поспорить с этим, при желании, и можно), у всех есть некоторое априорное представление об идее натуральных чисел и идее количества чего-нибудь там и, видимо, эти априорные представления неразрывно связаны с идеей индукции.
Однако, математика на текущем уровне строгости формально представляет из себя синтаксическую игру: у нас есть база данных фактов, которые представляют из себя строки на некотором заранее оговоренном языке. Изначально в неё положено несколько таких строк (аксиом) и мы можем по зараннее договоренным правилам получать из одних строк в этой базе некоторые другие строки и снова ложить их в базу. Цель игры для математика: путём таких вот "ходов" в ней (взятия нескольких строк из базы, и по договоренным правилам получения из них некоторой новой строки, после чего, возвращение этой новой строки обратно в базу). В этом случае, "определение" понимается ни в каком-то философском смысле, а очень банальным образом, определение представляет из себя следующую процедуру: мы берём некоторый значок "N" и некоторую строку phi на нашем языке. Вводим значок "N" в синтаксис нашего языка и договариваемся со всеми "игроками" этой игры, что когда они будут видеть N они будут подставлять вместо него строку phi. В ПРИНЦИПЕ в этой игре можно было вообще обойтись без определений, но это сделано для удобства играющих. Разумеется, эта игра описана с изрядной долей упрощения: есть такие вещи, как схемы аксиом, определения со свободными переменными, которые плохо вписываются в эту концепцию, о точных правилах игры можно прочитать в хорошем учебнике мат. логики. И тут я могу ответить на несколько возможных вопросов:
1) В математике есть определение со значком "N", которое заменяется на строку phi. Имеет ли этот значок и эта строка какое-то отношение конкретно к той идее натуральных чисел, которую мыслю я? Ответ: ХУЙ ЕГО ЗНАЕТ ЧТО ТЫ МЫСЛИШЬ, но, вообще говоря, играть в эту игру, ровно как и в шахматы, например, могут и люди никогда не задумывавшиеся а концепции "количества", так как её правила жестко описаны. Например, это может (и успешно) делать компьютерный ИИ.
2) Постойте, но разве те строки, что мы записываем в базу данных, они уже не есть "натуральные числа", получающиеся просто путём забывания различия между символами? Ответ: может есть, а может и нет, играющих в эту игру это не ебёт, они просто играют в игру.
3) Но разве эта игра тогда имеет какое-то отношение к реальному миру, и к реальным идеям таких категорий как "натуральное число", "количество", "треугольник", "длина", ...? Может имеет, а может и не имеет, а может и шахматы имеют к ним большее отношение, хуй знает. Но практика показывает, что люди, долго играющие в эту игру, иногда помогают другим людям строить ракеты. А иногда и не помогают.
Конечно, картина намеренно передёргнута и упрощена, но я тебе хотел показать, что на современном уровне строгости никаких "порочных кругов" не может быть в принципе. Задавай ответы.
Мы как-будто бы в разных дискурсах разговариваем. Разумеется (хотя поспорить с этим, при желании, и можно), у всех есть некоторое априорное представление об идее натуральных чисел и идее количества чего-нибудь там и, видимо, эти априорные представления неразрывно связаны с идеей индукции.
Однако, математика на текущем уровне строгости формально представляет из себя синтаксическую игру: у нас есть база данных фактов, которые представляют из себя строки на некотором заранее оговоренном языке. Изначально в неё положено несколько таких строк (аксиом) и мы можем по зараннее договоренным правилам получать из одних строк в этой базе некоторые другие строки и снова ложить их в базу. Цель игры для математика: путём таких вот "ходов" в ней (взятия нескольких строк из базы, и по договоренным правилам получения из них некоторой новой строки, после чего, возвращение этой новой строки обратно в базу). В этом случае, "определение" понимается ни в каком-то философском смысле, а очень банальным образом, определение представляет из себя следующую процедуру: мы берём некоторый значок "N" и некоторую строку phi на нашем языке. Вводим значок "N" в синтаксис нашего языка и договариваемся со всеми "игроками" этой игры, что когда они будут видеть N они будут подставлять вместо него строку phi. В ПРИНЦИПЕ в этой игре можно было вообще обойтись без определений, но это сделано для удобства играющих. Разумеется, эта игра описана с изрядной долей упрощения: есть такие вещи, как схемы аксиом, определения со свободными переменными, которые плохо вписываются в эту концепцию, о точных правилах игры можно прочитать в хорошем учебнике мат. логики. И тут я могу ответить на несколько возможных вопросов:
1) В математике есть определение со значком "N", которое заменяется на строку phi. Имеет ли этот значок и эта строка какое-то отношение конкретно к той идее натуральных чисел, которую мыслю я? Ответ: ХУЙ ЕГО ЗНАЕТ ЧТО ТЫ МЫСЛИШЬ, но, вообще говоря, играть в эту игру, ровно как и в шахматы, например, могут и люди никогда не задумывавшиеся а концепции "количества", так как её правила жестко описаны. Например, это может (и успешно) делать компьютерный ИИ.
2) Постойте, но разве те строки, что мы записываем в базу данных, они уже не есть "натуральные числа", получающиеся просто путём забывания различия между символами? Ответ: может есть, а может и нет, играющих в эту игру это не ебёт, они просто играют в игру.
3) Но разве эта игра тогда имеет какое-то отношение к реальному миру, и к реальным идеям таких категорий как "натуральное число", "количество", "треугольник", "длина", ...? Может имеет, а может и не имеет, а может и шахматы имеют к ним большее отношение, хуй знает. Но практика показывает, что люди, долго играющие в эту игру, иногда помогают другим людям строить ракеты. А иногда и не помогают.
Конечно, картина намеренно передёргнута и упрощена, но я тебе хотел показать, что на современном уровне строгости никаких "порочных кругов" не может быть в принципе. Задавай ответы.
>Цель игры для математика: путём таких вот "ходов" в ней (взятия нескольких строк из базы, и по договоренным правилам получения из них некоторой новой строки, после чего, возвращение этой новой строки обратно в базу)
получить из исходных строк какую-то свою строку, которую он заранее сам для себя прилумал.
(Лень было вычитывать пост, посему он немного несвязным получился).
> Однако, математика на текущем уровне строгости формально представляет из себя синтаксическую игру
Чтобы иметь возможность играть в эту игру (имплементировать правила) требуются исходные понятия включающие в себя натуральные числа (называй как угодно - индукция, абстракция потенциальной осуществимости - суть думаю понятна). Поэтому то что ты будешь формулировать в рамках любой такой ФС (например аксиомы Пеано) уже не может в содержательном смысле определять N, иначе имеем очевидный замкнутый круг.
> В этом случае, "определение" понимается ни в каком-то философском смысле, а очень банальным образом
Ну так ясен пень, если так узко понимать понятие определения, то всё сойдется как ты пишешь. Ну это как назвать белое черным, а черное белым. Я же про общематематическое (содержательное) понятие определения всегда говорил. Именно поэтому я понимаемое в твоем смысле определение внутри ФС называл кодированием, чтобы не было путаницы. И оно ни разу не философское. По-твоему в любом учебнике по матану философия изложена когда на обычном языке определения даются?
> на современном уровне строгости никаких "порочных кругов" не может быть в принципе. Задавай ответы.
Как это нет, если они явно прослеживаются??? Легко живешь. По твоему подходу можно просто взять исходное понятие совокупности предметов а потом сказать что множество это совокупность и на этом основание математики построена (типа совокупность это интуитивное философское понятие, а нам, матемтикам похх на философию).
>Чтобы иметь возможность играть в эту игру (имплементировать правила) требуются исходные понятия включающие в себя натуральные числа (называй как угодно - индукция, абстракция потенциальной осуществимости - суть думаю понятна). Поэтому то что ты будешь формулировать в рамках любой такой ФС (например аксиомы Пеано) уже не может в содержательном смысле определять N, иначе имеем очевидный замкнутый круг.
Но играющих в эту игру это не волнует. Ты путаешь совершенно два разных вопроса, первый: можно ли мыслящее существо, не имеющее никакой априорной идеи о количестве и натуральных числах научить играть в эту игру, и второй: корректно ли игроки играют в эту игру (тобишь корректно ли даются там определения)? Первый вопрос игроков в эту игру (тобишь, математиков) не волнует, они просто играют в игру. На второй вопрос ответ: да, все определения абсолютно корректны в том смысле, в котором это понимают математики.
>Ну это как назвать белое черным, а черное белым. Я же про общематематическое (содержательное) понятие определения всегда говорил.
Ну так я вот тебя расстрою, общематематическое определение именно таким и является. Например посмотри в каком виде вводят натуральные числа в metamath proof explorer http://us.metamath.org/mpegif/df-om.html просто вводят значок в синтаксис и договариваются, что его можно заменить на такую-то строку.
>Именно поэтому я понимаемое в твоем смысле определение внутри ФС называл кодированием, чтобы не было путаницы. И оно ни разу не философское.
Оно как раз философское, когда ты говоришь "кодирование внтури ФС" ты уже подразумеваешь, что есть какой-то "реальный мир множеств", а строки из ФС всего лишь "кодируют" эти "реальные объекты". Это как раз филосфская концепция, которая носит название "ультраплатонизм", но, к счастью, математическая строгость достигла такого уровня, что какой бы концепции не придерживался конкретный математик, если он "играет по правилам", другой математик всегда сможет понять результаты первого.
> По-твоему в любом учебнике по матану философия изложена когда на обычном языке определения даются?
Мне казалось что такие вещи объяснять не нужно. Тогда просто процитирую Бурбаков:
"...Математик, желающий убедиться в полной правильности, или, как говорят, “строгости", доказательства или теории, отнюдь не прибегает к одной из тех полных формализаций, которыми мы сейчас располагаем, и даже большей частью не пользуется частичными и неполными формализациями, доставляемыми алгебраическим и другими подобными исчислениями. Обыкновенно он довольствуется тем, что приводит изложение к такому состоянию, когда его опыт и чутье математика говорят ему, что перевод на формализо ванный язык был бы теперь лишь упражнением в терпении. Если возникают сомнения, то, в конечном счете они отно сятся именно к возможности прийти без двусмысленности к такой формализации — употреблялось ли одно и то же слово в разных смыслах в зависимости от контекста, на рушались ли правила синтаксиса бессознательным употреблением способов рассуждения, не разрешаемых явно этими правилами, была ли, наконец, совершена фактическая ошибка. Текст редактируется, все больше и больше приближаясь к формализованному тексту, пока, по мнению специалистов, дальнейшее продолжение этой работы не станет излишним."
>Как это нет, если они явно прослеживаются??? Легко живешь.
Они прослеживаются только тобой, что конкретно тебя должно было бы навести на мысли, но, видимо, не навело.
>По твоему подходу можно просто взять исходное понятие совокупности предметов а потом сказать что множество это совокупность и на этом основание математики построена
По моему подходу как раз нельзя, потому что сказать что-то можно только только на формальном языке, а на формальном языке слов "совокупность предметов" или "множество" нету.
>Чтобы иметь возможность играть в эту игру (имплементировать правила) требуются исходные понятия включающие в себя натуральные числа (называй как угодно - индукция, абстракция потенциальной осуществимости - суть думаю понятна). Поэтому то что ты будешь формулировать в рамках любой такой ФС (например аксиомы Пеано) уже не может в содержательном смысле определять N, иначе имеем очевидный замкнутый круг.
Но играющих в эту игру это не волнует. Ты путаешь совершенно два разных вопроса, первый: можно ли мыслящее существо, не имеющее никакой априорной идеи о количестве и натуральных числах научить играть в эту игру, и второй: корректно ли игроки играют в эту игру (тобишь корректно ли даются там определения)? Первый вопрос игроков в эту игру (тобишь, математиков) не волнует, они просто играют в игру. На второй вопрос ответ: да, все определения абсолютно корректны в том смысле, в котором это понимают математики.
>Ну это как назвать белое черным, а черное белым. Я же про общематематическое (содержательное) понятие определения всегда говорил.
Ну так я вот тебя расстрою, общематематическое определение именно таким и является. Например посмотри в каком виде вводят натуральные числа в metamath proof explorer http://us.metamath.org/mpegif/df-om.html просто вводят значок в синтаксис и договариваются, что его можно заменить на такую-то строку.
>Именно поэтому я понимаемое в твоем смысле определение внутри ФС называл кодированием, чтобы не было путаницы. И оно ни разу не философское.
Оно как раз философское, когда ты говоришь "кодирование внтури ФС" ты уже подразумеваешь, что есть какой-то "реальный мир множеств", а строки из ФС всего лишь "кодируют" эти "реальные объекты". Это как раз филосфская концепция, которая носит название "ультраплатонизм", но, к счастью, математическая строгость достигла такого уровня, что какой бы концепции не придерживался конкретный математик, если он "играет по правилам", другой математик всегда сможет понять результаты первого.
> По-твоему в любом учебнике по матану философия изложена когда на обычном языке определения даются?
Мне казалось что такие вещи объяснять не нужно. Тогда просто процитирую Бурбаков:
"...Математик, желающий убедиться в полной правильности, или, как говорят, “строгости", доказательства или теории, отнюдь не прибегает к одной из тех полных формализаций, которыми мы сейчас располагаем, и даже большей частью не пользуется частичными и неполными формализациями, доставляемыми алгебраическим и другими подобными исчислениями. Обыкновенно он довольствуется тем, что приводит изложение к такому состоянию, когда его опыт и чутье математика говорят ему, что перевод на формализо ванный язык был бы теперь лишь упражнением в терпении. Если возникают сомнения, то, в конечном счете они отно сятся именно к возможности прийти без двусмысленности к такой формализации — употреблялось ли одно и то же слово в разных смыслах в зависимости от контекста, на рушались ли правила синтаксиса бессознательным употреблением способов рассуждения, не разрешаемых явно этими правилами, была ли, наконец, совершена фактическая ошибка. Текст редактируется, все больше и больше приближаясь к формализованному тексту, пока, по мнению специалистов, дальнейшее продолжение этой работы не станет излишним."
>Как это нет, если они явно прослеживаются??? Легко живешь.
Они прослеживаются только тобой, что конкретно тебя должно было бы навести на мысли, но, видимо, не навело.
>По твоему подходу можно просто взять исходное понятие совокупности предметов а потом сказать что множество это совокупность и на этом основание математики построена
По моему подходу как раз нельзя, потому что сказать что-то можно только только на формальном языке, а на формальном языке слов "совокупность предметов" или "множество" нету.
По-моему, твоя проблема в том, что ты пытаешься "понять" базовые математические сущности. Множества, совокупности... да похуям, что это такое. В пизду их определения в бытовом смысле -- т.е. в смысле что это. Тебе тут обесняют, что математиков в ФС интересуют некие правила, т.е. поведение определяемых объектов. Именно так следует понимать определения -- в смысле как это себя ведёт. Как себя ведёт множество и элемент множества? Да просто одно содержит либо не содержит другое, и последнее содержится или не содержится в первом. Ебал я в рот "совокупности" и вообще из какого материала состоит одно и другое, насрать вообще ЧТО это, мы просто определили в каких взаимоотношениях эти два понятия друг с другом. Это и есть абстрактная наука. То же самое с натуральными числами и аксиомами Пеано. Они не должны описывать, не описывают и не пытаются описать, чем являются натуральные числа; они просто декларируют, как они себя ведут и в каких взаимоотношениях друг с другом находятся.
1. В аксиоматике Пеано, натуральное число определяется индуктивно.
2. В определении индукции используется понятие натурального числа.
?
Вот ты задаешь вопрос в треде, но делаешь это с сажей, без уважения...
Ты правильно понял - но всё уже разрешилось само собой. Индукцию по Пеано не следует путать с мат. индукцией(методом доказательства - там нам нужны натуральные числа). Тогда никаких проблем нет.
С сажей я писал, чтобы не бампать тред лишний раз, поскольку ничего нового в тред я не писал, а лишь уточнил. Ты мог мне тоже ответить с сажей.
Что такое "индукция по Пеано"?
>не бампать тред лишний раз
ты думаешь кто-то будет вечно сидеть в этом треде, когда истинные джентельмены давно обо всём договорились и разрешили ОП-вопрос?
>>298682
Аксиома индукции в аксиоматике Пеано, которая и являлась камнем преткновения.
> когда истинные джентельмены давно обо всём договорились и разрешили ОП-вопрос?
Примеры в студию: кто, где и как это всё разрешил???
Нет. Речь о том, что аксиоматика не может являться определением натуральных чисел, поскольку даже ее формулировка как формальной системы не может обойтись без использования содержательной индукции.
Ок, тогда обратимся с теми же вопросами к правилам. Я вот, например, не понимаю индуктивных определений используемых в них. Научи меня.
> они просто декларируют, как они себя ведут и в каких взаимоотношениях друг с другом находятся.
Только вот описания этих аксиом само целиком построено на индукции, а это замкнутый круг.
> Но играющих в эту игру это не волнует.
Оно волнует того кто устанавливает правила, потому что играющие в эту игру (собственно зачем им дали поиграть) решают в том числе и задачу обоснования понятий общих для обеих сторон.
> Ты путаешь совершенно два разных вопроса, первый: можно ли мыслящее существо, не имеющее никакой априорной идеи о количестве и натуральных числах научить играть в эту игру, и второй: корректно ли игроки играют в эту игру (тобишь корректно ли даются там определения)? Первый вопрос игроков в эту игру (тобишь, математиков) не волнует, они просто играют в игру. На второй вопрос ответ: да, все определения абсолютно корректны в том смысле, в котором это понимают математики.
Я не путаю, а изначально их разделял (и даже употреблял разные термины для определённости). И вопрос ставил с точки зрения обоснования понятия натурального числа, а в такой постановке не обойтись без одновременного рассмотрения как мета так и объектной теории поскольку по этой части они пересекаются (в метаматематическом смысле).
С каких это пор математиков не волнует корректность вводимых ими определений??? Хуйли с того что какого нибудь дифурщика не волнует определение базовых понятий, я говорю о систематическом построении математики с самого начала, а оно должно начинаться с явной формулировки исходных понятий и допустимых способов рассуждения. А поскольку индукция уже необходима на уровне формулировки общих понятий ФС, то определение чего-либо внутри ФС необходимо является производным от понятия индукции, а значит не может его обосновывать.
Более того, твоя попытка уйти от вопроса легко ломается. Я могу сказать, ок, забудем вообще про конкретные примеры ФС а обратимся с тем же самым вопросом к метаязыку - каков статус индукции в нем, является ли она неопределяемым понятием, или может быть сведена к более простым?
> Ну так я вот тебя расстрою, общематематическое определение именно таким и является.
Доказательств ты никаких не привёл, так что я не сильно расстроился.
Если ты не заметил, практически во всех основных подходах к основаниям математики это понятие берётся как исходное потому что оно минимально необходимое для возможности оперировать хоть каким-то видом бесконечности. Разные филсофии расходятся в вопросах использования "больших бесконечностей", а "в малом" они все общее ядро используют.
> Например посмотри в каком виде вводят натуральные числа в metamath proof explorer http://us.metamath.org/mpegif/df-
om.html просто вводят значок в синтаксис и договариваются, что его можно заменить на такую-то строку.
Этот пример вообще не в тему - назначение этой проги сугубо утилитарное и с выяснением связей между базовыми понятиемя
никак не соприкасается. Да и не может этого делать в принципе так как является всего лишь конеченой реализацией ФС в компе.
> Оно как раз философское, когда ты говоришь "кодирование внтури ФС" ты уже подразумеваешь, что есть какой-то "реальный
мир множеств", а строки из ФС всего лишь "кодируют" эти "реальные объекты". Это как раз филосфская концепция, которая
носит название "ультраплатонизм", но, к счастью, математическая строгость достигла такого уровня, что какой бы концепции
не придерживался конкретный математик, если он "играет по правилам", другой математик всегда сможет понять результаты
первого.
С какого перепоя ты увидел в моих словах ультраплатонизм??? Там даже и намека на умеренный платонизм не было, более того,
я даже за рамки финитного подхода Гильберта не вылезал.
Вообще, это глупый спор о терминах, ты просто обозвал философией основы содержательной математики. В любом случае тебе
нужно содержательное понимание при использовании метаязыка (иначе как ты будешь развивать терию ФС?). Так что просто
отмахнуться от этих вопросов нельзя.
> Мне казалось что такие вещи объяснять не нужно. Тогда просто процитирую Бурбаков:
У бурбаки вообще нет изложения мат логики, так что их кукареканье тут неуместно.
Я пытался пояснить тебе что имею ввиду говоря "содержательный язык" поскольку ты постоянно делаешь вид что не понимаешь
этого (хотя это общепринятый термин, в литературе по матлогике на русском довольно часто используется).
Кстати приписать формалистский подход всем авторам учебников по матану это круто. Думаю сказав им это в лицо, ты бы по
загривку мог отхватить за такое.
> Они прослеживаются только тобой, что конкретно тебя должно было бы навести на мысли, но, видимо, не навело.
Я приводил цитаты как минимум двух математиков полностью подтверждающих мои слова. Да это и не важно, главное я выдвинул тезис который ни ты ни твои ссылки (я их прочитал таки все) так и не опровергли. Всё что ты предлагаешь, это "прочувствовать", но это как ты должен понимать с точки зреиния математического подхода просто смешно. Если бы я был не прав, ты бы просто привел цепочку своих рассуждений из которых всё это было бы очевидно, а перед этим сломал бы мою.
> По моему подходу как раз нельзя, потому что сказать что-то можно только только на формальном языке, а на формальном языке слов "совокупность предметов" или "множество" нету.
ОК, объясняю на пальцах. Ты писал, что пусть даже на языке метаматематики мы юзаем индукцию, как только ввели аналогичные понятия в ФС то нас то что происходит на мета-уровне не волнут и мы можем без оглядки юзать те же самые понятия внутри ФС. Тогда что нам мешает взять в качестве мета-математики противоречивую теорию множеств, или еще хуже сформулировать определение ФС как производное от множества всех множеств (которое заведомо противоречиво) и дальше приказать себе забыть этот факт сидя внутри ФС. Ну и какова будет в этом случае ценность всех дальнейших рассуждений, если они заведомо сделаны на противоречивом фундаменте???
> Но играющих в эту игру это не волнует.
Оно волнует того кто устанавливает правила, потому что играющие в эту игру (собственно зачем им дали поиграть) решают в том числе и задачу обоснования понятий общих для обеих сторон.
> Ты путаешь совершенно два разных вопроса, первый: можно ли мыслящее существо, не имеющее никакой априорной идеи о количестве и натуральных числах научить играть в эту игру, и второй: корректно ли игроки играют в эту игру (тобишь корректно ли даются там определения)? Первый вопрос игроков в эту игру (тобишь, математиков) не волнует, они просто играют в игру. На второй вопрос ответ: да, все определения абсолютно корректны в том смысле, в котором это понимают математики.
Я не путаю, а изначально их разделял (и даже употреблял разные термины для определённости). И вопрос ставил с точки зрения обоснования понятия натурального числа, а в такой постановке не обойтись без одновременного рассмотрения как мета так и объектной теории поскольку по этой части они пересекаются (в метаматематическом смысле).
С каких это пор математиков не волнует корректность вводимых ими определений??? Хуйли с того что какого нибудь дифурщика не волнует определение базовых понятий, я говорю о систематическом построении математики с самого начала, а оно должно начинаться с явной формулировки исходных понятий и допустимых способов рассуждения. А поскольку индукция уже необходима на уровне формулировки общих понятий ФС, то определение чего-либо внутри ФС необходимо является производным от понятия индукции, а значит не может его обосновывать.
Более того, твоя попытка уйти от вопроса легко ломается. Я могу сказать, ок, забудем вообще про конкретные примеры ФС а обратимся с тем же самым вопросом к метаязыку - каков статус индукции в нем, является ли она неопределяемым понятием, или может быть сведена к более простым?
> Ну так я вот тебя расстрою, общематематическое определение именно таким и является.
Доказательств ты никаких не привёл, так что я не сильно расстроился.
Если ты не заметил, практически во всех основных подходах к основаниям математики это понятие берётся как исходное потому что оно минимально необходимое для возможности оперировать хоть каким-то видом бесконечности. Разные филсофии расходятся в вопросах использования "больших бесконечностей", а "в малом" они все общее ядро используют.
> Например посмотри в каком виде вводят натуральные числа в metamath proof explorer http://us.metamath.org/mpegif/df-
om.html просто вводят значок в синтаксис и договариваются, что его можно заменить на такую-то строку.
Этот пример вообще не в тему - назначение этой проги сугубо утилитарное и с выяснением связей между базовыми понятиемя
никак не соприкасается. Да и не может этого делать в принципе так как является всего лишь конеченой реализацией ФС в компе.
> Оно как раз философское, когда ты говоришь "кодирование внтури ФС" ты уже подразумеваешь, что есть какой-то "реальный
мир множеств", а строки из ФС всего лишь "кодируют" эти "реальные объекты". Это как раз филосфская концепция, которая
носит название "ультраплатонизм", но, к счастью, математическая строгость достигла такого уровня, что какой бы концепции
не придерживался конкретный математик, если он "играет по правилам", другой математик всегда сможет понять результаты
первого.
С какого перепоя ты увидел в моих словах ультраплатонизм??? Там даже и намека на умеренный платонизм не было, более того,
я даже за рамки финитного подхода Гильберта не вылезал.
Вообще, это глупый спор о терминах, ты просто обозвал философией основы содержательной математики. В любом случае тебе
нужно содержательное понимание при использовании метаязыка (иначе как ты будешь развивать терию ФС?). Так что просто
отмахнуться от этих вопросов нельзя.
> Мне казалось что такие вещи объяснять не нужно. Тогда просто процитирую Бурбаков:
У бурбаки вообще нет изложения мат логики, так что их кукареканье тут неуместно.
Я пытался пояснить тебе что имею ввиду говоря "содержательный язык" поскольку ты постоянно делаешь вид что не понимаешь
этого (хотя это общепринятый термин, в литературе по матлогике на русском довольно часто используется).
Кстати приписать формалистский подход всем авторам учебников по матану это круто. Думаю сказав им это в лицо, ты бы по
загривку мог отхватить за такое.
> Они прослеживаются только тобой, что конкретно тебя должно было бы навести на мысли, но, видимо, не навело.
Я приводил цитаты как минимум двух математиков полностью подтверждающих мои слова. Да это и не важно, главное я выдвинул тезис который ни ты ни твои ссылки (я их прочитал таки все) так и не опровергли. Всё что ты предлагаешь, это "прочувствовать", но это как ты должен понимать с точки зреиния математического подхода просто смешно. Если бы я был не прав, ты бы просто привел цепочку своих рассуждений из которых всё это было бы очевидно, а перед этим сломал бы мою.
> По моему подходу как раз нельзя, потому что сказать что-то можно только только на формальном языке, а на формальном языке слов "совокупность предметов" или "множество" нету.
ОК, объясняю на пальцах. Ты писал, что пусть даже на языке метаматематики мы юзаем индукцию, как только ввели аналогичные понятия в ФС то нас то что происходит на мета-уровне не волнут и мы можем без оглядки юзать те же самые понятия внутри ФС. Тогда что нам мешает взять в качестве мета-математики противоречивую теорию множеств, или еще хуже сформулировать определение ФС как производное от множества всех множеств (которое заведомо противоречиво) и дальше приказать себе забыть этот факт сидя внутри ФС. Ну и какова будет в этом случае ценность всех дальнейших рассуждений, если они заведомо сделаны на противоречивом фундаменте???
ебать дебил.
>Оно волнует того кто устанавливает правила, потому что играющие в эту игру (собственно зачем им дали поиграть) решают в том числе и задачу обоснования понятий общих для обеих сторон.
Нет, не решают, эту задачу решают другие люди, иногда те же самые, но это не входит в часть их деятельности как математика. Эта задача - не математическая, никто не пишет статьи с названием "Обоснование натуральных чисел", а если и пишут, то в журналы типа annals of mathematics они не попадают.
>Я не путаю, а изначально их разделял (и даже употреблял разные термины для определённости). И вопрос ставил с точки зрения обоснования понятия натурального числа, а в такой постановке не обойтись без одновременного рассмотрения как мета так и объектной теории поскольку по этой части они пересекаются (в метаматематическом смысле).
Ну тут есть два выхода: либо мы договариваемся о формальном языке, в котором будем рассматривать метатеорию и теорию одновременно, либо мы "рассматриваем" метатеорию и теорию не с математической точки зрения, и тогда уже никаких апелляций к математической строгости или "математическому парадоксу" не надо тут.
>С каких это пор математиков не волнует корректность вводимых ими определений??? Хуйли с того что какого нибудь дифурщика не волнует определение базовых понятий, я говорю о систематическом построении математики с самого начала,
Волнует, но определение "наименьший предельный ординал" абсолютно корректно, с точки зрения математиков.
>а оно должно начинаться с явной формулировки исходных понятий и допустимых способов рассуждения.
Ты опять либо намеренно сделал вид что не понял, либо не понял. Математики, чтобы заниматься математикой на принятом уровне строгости должны договориться о правилах синтаксической игры. Они могут на этом этапе использовать хоть идею индукции, хоть ученье Гротендика, хоть тетатры Ходжа, хоть в баню вместе сходить и одну и ту же шлюху трахнуть, главное одно: чтобы каждый математик после обсуждения таких правил (абсолютно не важно в каком ключе это обсуждения у них проходило) мог проверить "ход" другого и убедиться, что он корректный, при этом два разных математика должны прийти к одному и тому же "результату проверки" одного и того же хода. И вот после этого уже начинается "игра" - настоящая математика.
>А поскольку индукция уже необходима на уровне формулировки общих понятий ФС, то определение чего-либо внутри ФС необходимо является производным от понятия индукции, а значит не может его обосновывать.
Нет, оно не является производным понятием в математическом смысле так как "формулировки общих понятий ФС" - не были частью "математической игры", она началась позже.
>Более того, твоя попытка уйти от вопроса легко ломается. Я могу сказать, ок, забудем вообще про конкретные примеры ФС а обратимся с тем же самым вопросом к метаязыку - каков статус индукции в нем, является ли она неопределяемым понятием, или может быть сведена к более простым?
Если ты хочешь говорить о метаязыке и метатеории в математическом смысле (ровно как и о механике катящегося колеса, площади прямоугольного поля, позитрон-позитронных пучках) - ты должен сделать в "математической игре" корректные ходы, а именно, определить метатеорию, метаязык и тогда уже, с точки зрения "математической игры" о них можно будет что-то сказать.
>Доказательств ты никаких не привёл, так что я не сильно расстроился.
Получите, распишитесь:
https://en.wikipedia.org/wiki/Extension_by_definitions
https://en.wikipedia.org/wiki/Conservative_extension
>Если ты не заметил, практически во всех основных подходах к основаниям математики это понятие берётся как исходное потому что оно минимально необходимое для возможности оперировать хоть каким-то видом бесконечности. Разные филсофии расходятся в вопросах использования "больших бесконечностей", а "в малом" они все общее ядро используют.
Заметил, и что?
>Этот пример вообще не в тему - назначение этой проги сугубо утилитарное и с выяснением связей между базовыми понятиемя никак не соприкасается. Да и не может этого делать в принципе так как является всего лишь конеченой реализацией ФС в компе.
Этот пример просто сверх в тему. Это "математическая игра" в её самом идеализированном смысле, на практике же математикам приходится прибегать к естественному языку, и лишь хрупкая вера в то, что этот естественный язык всегда может быть однозначно двумя специалистами приведён к "ходам" в "математической игре" и поддерживает уверенность в том, что большинство математических текстов - математически строгие (то есть являются "записями ходов" в "математической игре").
>С какого перепоя ты увидел в моих словах ультраплатонизм??? Там даже и намека на умеренный платонизм не было, более того, я даже за рамки финитного подхода Гильберта не вылезал. Вообще, это глупый спор о терминах, ты просто обозвал философией основы содержательной математики.
Ты просто отбеливаешь философию, называя её "основами математики". Но то что спор глупый, с этим я абсолютно согласен.
>В любом случае тебе нужно содержательное понимание при использовании метаязыка (иначе как ты будешь развивать терию ФС?).
Не нужно, ровно как мне не нужно содержательное понимание "понимания", которое предоставляет нейронауки, чтобы заниматься математикой.
>У бурбаки вообще нет изложения мат логики, так что их кукареканье тут неуместно.
Чтобы понимать такие вещи, не нужно иметь за плечами монографию по мат. логике.
>Я пытался пояснить тебе что имею ввиду говоря "содержательный язык" поскольку ты постоянно делаешь вид что не понимаешь этого (хотя это общепринятый термин, в литературе по матлогике на русском довольно часто используется).
Видимо ты имеешь в виду "естественный язык" (который я действительно встречал в литературе по мат.логике), но надо чётко понимать, что это не математический термин и не математический объект, а значит про него нельзя делать никаких математических утверждений.
>Кстати приписать формалистский подход всем авторам учебников по матану это круто. Думаю сказав им это в лицо, ты бы по загривку мог отхватить за такое.
Ничего не могу посоветовать кроме того, чтобы перечитать цитату из бурбаков.
>Я приводил цитаты как минимум двух математиков полностью подтверждающих мои слова. Да это и не важно, главное я выдвинул тезис который ни ты ни твои ссылки (я их прочитал таки все) так и не опровергли. Всё что ты предлагаешь, это "прочувствовать", но это как ты должен понимать с точки зреиния математического подхода просто смешно. Если бы я был не прав, ты бы просто привел цепочку своих рассуждений из которых всё это было бы очевидно, а перед этим сломал бы мою.
Не видел ни цитат, ни (математических) рассуждений. (Но приводить их лично мне не надо, по причинам, изложенным ниже).
>ОК, объясняю на пальцах. Ты писал, что пусть даже на языке метаматематики мы юзаем индукцию, как только ввели аналогичные понятия в ФС то нас то что происходит на мета-уровне не волнут и мы можем без оглядки юзать те же самые понятия внутри ФС. Тогда что нам мешает взять в качестве мета-математики противоречивую теорию множеств, или еще хуже сформулировать определение ФС как производное от множества всех множеств (которое заведомо противоречиво) и дальше приказать себе забыть этот факт сидя внутри ФС. Ну и какова будет в этом случае ценность всех дальнейших рассуждений, если они заведомо сделаны на противоречивом фундаменте???
Отвечу вопросом на вопрос. Какова будет ценность всех шахматных партий, если изложить правила шахмат, пользуясь средствами противоречивой теории множеств? Ответ: ровно такая же, как и была до этого.
Вероятно, это моё последнее подобное сообщение, ибо диалог пошёл по второму кругу, а продвижений никаких.
>Оно волнует того кто устанавливает правила, потому что играющие в эту игру (собственно зачем им дали поиграть) решают в том числе и задачу обоснования понятий общих для обеих сторон.
Нет, не решают, эту задачу решают другие люди, иногда те же самые, но это не входит в часть их деятельности как математика. Эта задача - не математическая, никто не пишет статьи с названием "Обоснование натуральных чисел", а если и пишут, то в журналы типа annals of mathematics они не попадают.
>Я не путаю, а изначально их разделял (и даже употреблял разные термины для определённости). И вопрос ставил с точки зрения обоснования понятия натурального числа, а в такой постановке не обойтись без одновременного рассмотрения как мета так и объектной теории поскольку по этой части они пересекаются (в метаматематическом смысле).
Ну тут есть два выхода: либо мы договариваемся о формальном языке, в котором будем рассматривать метатеорию и теорию одновременно, либо мы "рассматриваем" метатеорию и теорию не с математической точки зрения, и тогда уже никаких апелляций к математической строгости или "математическому парадоксу" не надо тут.
>С каких это пор математиков не волнует корректность вводимых ими определений??? Хуйли с того что какого нибудь дифурщика не волнует определение базовых понятий, я говорю о систематическом построении математики с самого начала,
Волнует, но определение "наименьший предельный ординал" абсолютно корректно, с точки зрения математиков.
>а оно должно начинаться с явной формулировки исходных понятий и допустимых способов рассуждения.
Ты опять либо намеренно сделал вид что не понял, либо не понял. Математики, чтобы заниматься математикой на принятом уровне строгости должны договориться о правилах синтаксической игры. Они могут на этом этапе использовать хоть идею индукции, хоть ученье Гротендика, хоть тетатры Ходжа, хоть в баню вместе сходить и одну и ту же шлюху трахнуть, главное одно: чтобы каждый математик после обсуждения таких правил (абсолютно не важно в каком ключе это обсуждения у них проходило) мог проверить "ход" другого и убедиться, что он корректный, при этом два разных математика должны прийти к одному и тому же "результату проверки" одного и того же хода. И вот после этого уже начинается "игра" - настоящая математика.
>А поскольку индукция уже необходима на уровне формулировки общих понятий ФС, то определение чего-либо внутри ФС необходимо является производным от понятия индукции, а значит не может его обосновывать.
Нет, оно не является производным понятием в математическом смысле так как "формулировки общих понятий ФС" - не были частью "математической игры", она началась позже.
>Более того, твоя попытка уйти от вопроса легко ломается. Я могу сказать, ок, забудем вообще про конкретные примеры ФС а обратимся с тем же самым вопросом к метаязыку - каков статус индукции в нем, является ли она неопределяемым понятием, или может быть сведена к более простым?
Если ты хочешь говорить о метаязыке и метатеории в математическом смысле (ровно как и о механике катящегося колеса, площади прямоугольного поля, позитрон-позитронных пучках) - ты должен сделать в "математической игре" корректные ходы, а именно, определить метатеорию, метаязык и тогда уже, с точки зрения "математической игры" о них можно будет что-то сказать.
>Доказательств ты никаких не привёл, так что я не сильно расстроился.
Получите, распишитесь:
https://en.wikipedia.org/wiki/Extension_by_definitions
https://en.wikipedia.org/wiki/Conservative_extension
>Если ты не заметил, практически во всех основных подходах к основаниям математики это понятие берётся как исходное потому что оно минимально необходимое для возможности оперировать хоть каким-то видом бесконечности. Разные филсофии расходятся в вопросах использования "больших бесконечностей", а "в малом" они все общее ядро используют.
Заметил, и что?
>Этот пример вообще не в тему - назначение этой проги сугубо утилитарное и с выяснением связей между базовыми понятиемя никак не соприкасается. Да и не может этого делать в принципе так как является всего лишь конеченой реализацией ФС в компе.
Этот пример просто сверх в тему. Это "математическая игра" в её самом идеализированном смысле, на практике же математикам приходится прибегать к естественному языку, и лишь хрупкая вера в то, что этот естественный язык всегда может быть однозначно двумя специалистами приведён к "ходам" в "математической игре" и поддерживает уверенность в том, что большинство математических текстов - математически строгие (то есть являются "записями ходов" в "математической игре").
>С какого перепоя ты увидел в моих словах ультраплатонизм??? Там даже и намека на умеренный платонизм не было, более того, я даже за рамки финитного подхода Гильберта не вылезал. Вообще, это глупый спор о терминах, ты просто обозвал философией основы содержательной математики.
Ты просто отбеливаешь философию, называя её "основами математики". Но то что спор глупый, с этим я абсолютно согласен.
>В любом случае тебе нужно содержательное понимание при использовании метаязыка (иначе как ты будешь развивать терию ФС?).
Не нужно, ровно как мне не нужно содержательное понимание "понимания", которое предоставляет нейронауки, чтобы заниматься математикой.
>У бурбаки вообще нет изложения мат логики, так что их кукареканье тут неуместно.
Чтобы понимать такие вещи, не нужно иметь за плечами монографию по мат. логике.
>Я пытался пояснить тебе что имею ввиду говоря "содержательный язык" поскольку ты постоянно делаешь вид что не понимаешь этого (хотя это общепринятый термин, в литературе по матлогике на русском довольно часто используется).
Видимо ты имеешь в виду "естественный язык" (который я действительно встречал в литературе по мат.логике), но надо чётко понимать, что это не математический термин и не математический объект, а значит про него нельзя делать никаких математических утверждений.
>Кстати приписать формалистский подход всем авторам учебников по матану это круто. Думаю сказав им это в лицо, ты бы по загривку мог отхватить за такое.
Ничего не могу посоветовать кроме того, чтобы перечитать цитату из бурбаков.
>Я приводил цитаты как минимум двух математиков полностью подтверждающих мои слова. Да это и не важно, главное я выдвинул тезис который ни ты ни твои ссылки (я их прочитал таки все) так и не опровергли. Всё что ты предлагаешь, это "прочувствовать", но это как ты должен понимать с точки зреиния математического подхода просто смешно. Если бы я был не прав, ты бы просто привел цепочку своих рассуждений из которых всё это было бы очевидно, а перед этим сломал бы мою.
Не видел ни цитат, ни (математических) рассуждений. (Но приводить их лично мне не надо, по причинам, изложенным ниже).
>ОК, объясняю на пальцах. Ты писал, что пусть даже на языке метаматематики мы юзаем индукцию, как только ввели аналогичные понятия в ФС то нас то что происходит на мета-уровне не волнут и мы можем без оглядки юзать те же самые понятия внутри ФС. Тогда что нам мешает взять в качестве мета-математики противоречивую теорию множеств, или еще хуже сформулировать определение ФС как производное от множества всех множеств (которое заведомо противоречиво) и дальше приказать себе забыть этот факт сидя внутри ФС. Ну и какова будет в этом случае ценность всех дальнейших рассуждений, если они заведомо сделаны на противоречивом фундаменте???
Отвечу вопросом на вопрос. Какова будет ценность всех шахматных партий, если изложить правила шахмат, пользуясь средствами противоречивой теории множеств? Ответ: ровно такая же, как и была до этого.
Вероятно, это моё последнее подобное сообщение, ибо диалог пошёл по второму кругу, а продвижений никаких.
>Только вот описания этих аксиом само целиком построено на индукции, а это замкнутый круг.
Сейчас я дам определение натуральных чисел.
Введу технические понятия: символ и строка символов.
Введу постулаты.
PA. С любыми двумя строками можно совершить операцию конкатенации, результатом которой будет строка.
PB. Всякие две строки либо равны, либо не равны.
Если символами a и b обозначены строки, то утверждение, что a и b равны, я буду записывать как a = b, и утверждение, что a и b не равны, буду записывать как a ≠ b.
Введу аксиомы равенства. Они таковы.
EA. Всякая строка равна самой себе.
EB. Если символами a и b обозначены строки и если a = b, то b = a.
EC. Если символами a, b, c обозначены строки и если a = b и b = c, то a = c.
Введу аксиомы символов. Они таковы.
CA. 0 является символом.
CB. ' является символом.
CC. Каждый символ является символом либо на основании п.1, либо на основании п.2.
Введу аксиомы строк. Они таковы.
SA. Символ является строкой.
SB. Результат конкатенации двух строк является строкой.
SC. Каждая строка является строкой либо на основании п.1, либо на основании п.2.
Теперь я опишу те из строк, которые я буду называть натуральными числами.
NA. 0 является натуральным числом.
NB. Если символом n обозначена строка, являющаяся натуральным числом, то результат конкатенации n и ' является натуральным числом.
NC. Всякая строка является натуральным числом либо на основании п.1, либо на основании п.2.
Теперь я имею понятие натурального числа. Поскольку натуральные числа являются строками, к ним можно применять постулаты и аксиомы строк.
На основании PA, CB и NB заключаю, что для любого натурального числа, обозначенного символом n, существует натуральное число, получающееся конкатенацией n и '. Это натуральное число, связанное с n, я буду обозначать n'.
Введу наконец последние аксиомы.
ND. Если символами m и n обозначены натуральные числа, то из m' = n' вытекает m = n.
NE. Если символом n обозначено натуральное число, то n' ≠ 0.
Итак, я закончил. Этот набор определений и аксиом не использует ничего, кроме естественного языка. В нём нет никакой индукции и используются лишь два символа, 0 и '. "Либо ... , либо ..." здесь исключающее, то есть выполняется один и только один из вариантов. Выдвигайте конкретные претензии, если они у вас есть.
>Только вот описания этих аксиом само целиком построено на индукции, а это замкнутый круг.
Сейчас я дам определение натуральных чисел.
Введу технические понятия: символ и строка символов.
Введу постулаты.
PA. С любыми двумя строками можно совершить операцию конкатенации, результатом которой будет строка.
PB. Всякие две строки либо равны, либо не равны.
Если символами a и b обозначены строки, то утверждение, что a и b равны, я буду записывать как a = b, и утверждение, что a и b не равны, буду записывать как a ≠ b.
Введу аксиомы равенства. Они таковы.
EA. Всякая строка равна самой себе.
EB. Если символами a и b обозначены строки и если a = b, то b = a.
EC. Если символами a, b, c обозначены строки и если a = b и b = c, то a = c.
Введу аксиомы символов. Они таковы.
CA. 0 является символом.
CB. ' является символом.
CC. Каждый символ является символом либо на основании п.1, либо на основании п.2.
Введу аксиомы строк. Они таковы.
SA. Символ является строкой.
SB. Результат конкатенации двух строк является строкой.
SC. Каждая строка является строкой либо на основании п.1, либо на основании п.2.
Теперь я опишу те из строк, которые я буду называть натуральными числами.
NA. 0 является натуральным числом.
NB. Если символом n обозначена строка, являющаяся натуральным числом, то результат конкатенации n и ' является натуральным числом.
NC. Всякая строка является натуральным числом либо на основании п.1, либо на основании п.2.
Теперь я имею понятие натурального числа. Поскольку натуральные числа являются строками, к ним можно применять постулаты и аксиомы строк.
На основании PA, CB и NB заключаю, что для любого натурального числа, обозначенного символом n, существует натуральное число, получающееся конкатенацией n и '. Это натуральное число, связанное с n, я буду обозначать n'.
Введу наконец последние аксиомы.
ND. Если символами m и n обозначены натуральные числа, то из m' = n' вытекает m = n.
NE. Если символом n обозначено натуральное число, то n' ≠ 0.
Итак, я закончил. Этот набор определений и аксиом не использует ничего, кроме естественного языка. В нём нет никакой индукции и используются лишь два символа, 0 и '. "Либо ... , либо ..." здесь исключающее, то есть выполняется один и только один из вариантов. Выдвигайте конкретные претензии, если они у вас есть.
>>299655
>Только вот описания этих аксиом само целиком построено на индукции, а это замкнутый круг.
Сейчас я дам определение натуральных чисел.
Введу технические понятия: символ и строка символов.
Введу постулаты.
PA. С любыми двумя строками можно совершить операцию конкатенации, результатом которой будет строка.
PB. Всякие две строки либо равны, либо не равны.
Если символами a и b обозначены строки, то утверждение, что a и b равны, я буду записывать как a = b, и утверждение, что a и b не равны, буду записывать как a ≠ b.
Введу аксиомы равенства. Они таковы.
EA. Всякая строка равна самой себе.
EB. Если символами a и b обозначены строки и если a = b, то b = a.
EC. Если символами a, b, c обозначены строки и если a = b и b = c, то a = c.
Введу аксиомы символов. Они таковы.
CA. 0 является символом.
CB. ' является символом.
CC. Каждый символ является символом либо на основании п.1, либо на основании п.2.
Введу аксиомы строк. Они таковы.
SA. Символ является строкой.
SB. Результат конкатенации двух строк является строкой.
SC. Каждая строка является строкой либо на основании п.1, либо на основании п.2.
Теперь я опишу те из строк, которые я буду называть натуральными числами.
NA. 0 является натуральным числом.
NB. Если символом n обозначена строка, являющаяся натуральным числом, то результат конкатенации n и ' является натуральным числом.
NC. Всякая строка является натуральным числом либо на основании п.1, либо на основании п.2.
Теперь я имею понятие натурального числа. Поскольку натуральные числа являются строками, к ним можно применять постулаты и аксиомы строк.
На основании PA, CB и NB заключаю, что для любого натурального числа, обозначенного символом n, существует натуральное число, получающееся конкатенацией n и '. Это натуральное число, связанное с n, я буду обозначать n'.
Введу наконец последние аксиомы.
ND. Если символами m и n обозначены натуральные числа, то из m' = n' вытекает m = n.
NE. Если символом n обозначено натуральное число, то n' ≠ 0.
Итак, я закончил. Этот набор определений и аксиом не использует ничего, кроме естественного языка. В нём нет никакой индукции и используются лишь два символа, 0 и '. "Либо ... , либо ..." здесь исключающее, то есть выполняется один и только один из вариантов.
>>299655
>Только вот описания этих аксиом само целиком построено на индукции, а это замкнутый круг.
Сейчас я дам определение натуральных чисел.
Введу технические понятия: символ и строка символов.
Введу постулаты.
PA. С любыми двумя строками можно совершить операцию конкатенации, результатом которой будет строка.
PB. Всякие две строки либо равны, либо не равны.
Если символами a и b обозначены строки, то утверждение, что a и b равны, я буду записывать как a = b, и утверждение, что a и b не равны, буду записывать как a ≠ b.
Введу аксиомы равенства. Они таковы.
EA. Всякая строка равна самой себе.
EB. Если символами a и b обозначены строки и если a = b, то b = a.
EC. Если символами a, b, c обозначены строки и если a = b и b = c, то a = c.
Введу аксиомы символов. Они таковы.
CA. 0 является символом.
CB. ' является символом.
CC. Каждый символ является символом либо на основании п.1, либо на основании п.2.
Введу аксиомы строк. Они таковы.
SA. Символ является строкой.
SB. Результат конкатенации двух строк является строкой.
SC. Каждая строка является строкой либо на основании п.1, либо на основании п.2.
Теперь я опишу те из строк, которые я буду называть натуральными числами.
NA. 0 является натуральным числом.
NB. Если символом n обозначена строка, являющаяся натуральным числом, то результат конкатенации n и ' является натуральным числом.
NC. Всякая строка является натуральным числом либо на основании п.1, либо на основании п.2.
Теперь я имею понятие натурального числа. Поскольку натуральные числа являются строками, к ним можно применять постулаты и аксиомы строк.
На основании PA, CB и NB заключаю, что для любого натурального числа, обозначенного символом n, существует натуральное число, получающееся конкатенацией n и '. Это натуральное число, связанное с n, я буду обозначать n'.
Введу наконец последние аксиомы.
ND. Если символами m и n обозначены натуральные числа, то из m' = n' вытекает m = n.
NE. Если символом n обозначено натуральное число, то n' ≠ 0.
Итак, я закончил. Этот набор определений и аксиом не использует ничего, кроме естественного языка. В нём нет никакой индукции и используются лишь два символа, 0 и '. "Либо ... , либо ..." здесь исключающее, то есть выполняется один и только один из вариантов.
Ты мечешь бисер перед свиньей. Она тебя просто не поймет - не дано. Но всё равно респект, за отчаянную попытку что-то объяснить клиническому долбоебу.
Я для себя писал, чтобы в будущем копипастить тем, кто интересуется.
>Введу аксиомы строк. Они таковы.
>SA. Символ является строкой.
>SB. Результат конкатенации двух строк является строкой.
>SC. Каждая строка является строкой либо на основании п.1, >либо на основании п.2.
это уже индуктивная вполне себе конструкция.
Предпочитаю называть такие конструкции рефлексивными, ввиду как-то не особо замечаемого сейчас сходства с понятием this в ООП. Для использования этой конкретной конструкции не требуются ни использование на каком-то этапе трансфинитной индукции, ни какие-либо результаты из теории натуральных чисел, ни даже определение N. Поэтому её использование не есть порочный круг.
Ну очевидно, что натуральные числа получаются из строк тупо забыванием различия между символами, поэтому строки, в каком-то смысле, конструкты сложнее, чем натуральные числа и, собственно, это и бомбило того куна на протяжении всего треда, но называть это противоречием в математике как-то глупо.
Поздравляю, ты записал аксиомы Пеано без аксиомы индукции предварих изложение отрывочными сведениями теории формальных грамматик.
Что означает фраза "язык содержит множество"?
Таки да, тот кун в неявном виде использует аксиому выделения (переская все множества) и аксиому бесконечности (предполагая, что хотя бы одно такое множество существует), что гораздо более мощные штуки, чем индукция.
>ты записал аксиомы Пеано
Нет, я записал не аксиомы Пеано. Я записал аксиомы, указанные Клини. Математическая индукция оказывается в моих определениях теоремой. Справедливость теоремы о матиндукции гарантируется, опосредованно, аксиомой NC.
Только твою аксиому NC в языке первого порядка просто так "в лоб" не запишешь, схема аксиом индукции, по сути, и есть один из способов (со своими недостатками) записать NC.
Естественно, она метаматематическая. Даже метамета, если подумать. Я предполагал, что сначала была обезьяна, которая умела лишь мычать. Постепенно её язык усложнялся, и наконец она прочитала свою первую книгу по логике для бывших обезьян, например пикрелейтед, и более-менее разобралась в том, что в ней написано. Я писал пост, ориентируясь на такую обезьяну.
Аксиоматика предикатов/высказываний тоже - логика второго порядка(как правило, в каждой аксиоме формально там надо ставить конструкцию "для любого предиката выполняется"). И что характерно - аксиомы предикатов могут быть записаны на языке предикатов. Но т.к. это "мета" - приходится повышать порядок.
>>299775
Двачую, это индукция(ну или линейная рекурсия, кому как угодно) - в чистом виде. Ничего плохого в этом не вижу.
>>299794
А вот тут ты натолкнул меня на мысль. Между натуральными числами и строками есть взаимооднозначное отношение. Очень широко используемое на практике. Подумай какое.
Ответ: позиционная система счисления с основанием, равным мощности алфавита строки.
>>299811
Имхо ничего плохого в "метааксиоме" 2 lvl нет. Попытки избежать этого - весьма кривоваты и вымучены.
Самые лучшие учебники логики на русском - церковно-семинарские. Это может вызвать некий когнитивный диссонанс, но, если задуматься, то не должно.
Я не используя ни то, ни другое, я в явном виде предъявляю подмножество, которое принадлежит любому множеству, и эта принадлежность вытекает из набора аксиом до аксиомы индукции. Из того, что оно принадлежит всем, следует, что оно минимально.
Нет, эти учебники говно. Есть нормальный учебник: Гладкий - Введение в современную логику, а далее уже идут более хардкорные вещи.
>Назовем множество псевдонатуральным, если оно удовлетворяет аксиомам до аксиом индукции. Псевдонатуральное множество назовем минимальным, если никакое его подмножество не является псевдонатуральным.
Аксиома выделения два раза.
Существовние хотя бы одного псевдонатурального множества следует из аксиомы бесконечности
>следует из аксиомы бесконечности
А можно ли изобрести бесконечность, из которой не следовало бы существование натуральных чисел? То есть можно ли вложить в понятие бесконечности смысл, отличный от "содержит счётное подмножество"?
>Аксиоматика предикатов/высказываний тоже - логика второго порядка(как правило, в каждой аксиоме формально там надо ставить конструкцию "для любого предиката выполняется").
Lol. Нет конечно. Обычные схемы аксиом.
> И что характерно - аксиомы предикатов могут быть записаны на языке предикатов. Но т.к. это "мета" - приходится повышать порядок.
Не очень ясная фраза. "Логика первого порядка" вообще теорией не является, так как там как минимум, есть правила вывода (а не только аксиомы).
>Имхо ничего плохого в "метааксиоме" 2 lvl нет. Попытки избежать этого - весьма кривоваты и вымучены.
По мне так вот эта вся "метаметааксиоматика на естественном языке" получилась очень кривоватой и вымученной (не в обиду тому куну), а стандартный подход - строен и логичен.
>Ответ: позиционная система счисления с основанием, равным мощности алфавита строки.
Не понял, к чему это.
Множество называется бесконечным по Дедекинду, если оно равномощно некоторому своему собственному подмножеству. Множество называется бесконечным, если оно не равномощно никакому из множеств вида {1,2,3,...,n}.
В ZF (без аксиомы выбора!) может существовать множество, которое бесконечно, но не бесконечно по Дедекинду, оно будет меньше, чем счётное, но больше чем любое из множеств вида {1,...,n}
>оно будет меньше, чем счётное
Обосрамс. Оно будет несравнимо со счётным.
>Lol. Нет конечно. Обычные схемы аксиом.
Я имел в виду предикаты, введенные через алгебраический подход(основные тождества, через которые всё можно вывести), а не через подход исчисления высказываний.
http://logika-predikatov.ru/logik/ravnosilnyie-formulyi-logiki-predikatov.html - ставим квантор всеобщности на все предикаты любой формулы(он подразумевается т.к. это тождества верные для любых предикатов) - вот и логика 2-го порядка.
>Ответ: позиционная система счисления с основанием, равным мощности алфавита строки.
Число, записанное таким образом является строкой с алфавитом {0,1,2,...} - с точностью до выбора символов цифр и одновременно натуральным числом - записанным довольно экономично(порядок числа ~ количество цифр - экспоненциальная связь). В представлении "единичной системы счисления" (a - 1, aa-2, aaa-3) длина строки ~ числу, а не его порядку - линейная связь. Так что вавилоняне или кто там далеко не дураки были, и даже поумнее римлян с непозиционной системой.
А разве бесконечность и бесконечность по Дедекинду не эквивалентны? Можно моар инфы про это множество? Существование такого множества доказано или просто не исключено?
>А разве бесконечность и бесконечность по Дедекинду не эквивалентны?
Без аксиомы выбора - нет.
>Можно моар инфы про это множество?
Я не специалист, не математик, не синтетик. https://en.wikipedia.org/wiki/Dedekind-infinite_set можно начать отсюда.
>Существование такого множества доказано или просто не исключено?
Доказано, что существуют модели ZF в которых подобные множества существуют. Грубо говоря, если добавить как аксиому, что такие множества существуют, то противоречий не появится, если сама ZF была непротиворечивой.
Спасибо, весьма интересно. То есть возможно, что у кого-нибудь получится открыть мир бесконечностей, совершенно не похожих на привычные.
Без аксиомы выбора очень мало структуры, чтобы такую "теорию мощностей" контролировать, красивой теории кардиналов, где все они выстроены в линеечку не выйдет, собственно не очень понятно, что там вообще без дополнительных аксиом можно содержательного сказать. Хотя, быть может, структуру удастся наростить другими аксиомами, не приводящими к теореме Кантора-Бернштейна.
Уже сколько лет пытаются, так что вероятность крайне мала. С континуум-гипотезой слава Б-гу разобрались.
Так-так-так, я же сразу сказал, что я использую теорию множеств - у меня как минимум определения на этом завязаны. Весьма странно ею не пользоваться, если мы пытаемся определить множество (N). Аксиома выделения тут тоже будет использоваться, т.к. мы в любом случае описываем N набором свойств. До того, более это мощные штуки или менее, мне дела нет - мне нужно не пользоваться аксиомой индукции, тем более она вообще не из теории множеств, так что какого черта мы ее вообще пытаемся сравнивать с аксиомами теории множеств?
Что касается аксиомы бесконечности - без нее мы тоже не обойдемся, поскольку множество N бесконечно, а доказывать мы все планируем через теорию множеств, т.е. сводя к аксиомам.
Так в чем претензия?
>красивой теории кардиналов, где все они выстроены в линеечку не выйдет
Замечу, что теория, где все кардиналы выстроены в линеечку, как-то очень уж подозрительно проста. Кто сказал, что кардиналы нельзя организовать как-нибудь иначе? Расположить их в вершинах какого-нибудь "графа", например.
Ну, если человек "не верит" в аксиомы Пеано, то вряд ли ему будет легче от конструкции, основанной на ZFC. Собственно претензия тогда в том, что для кого вообще нужно твоё определение тогда? Я думал ты хотел продемонстрировать возможность определить нат. числа не используя индукцию как идею вообще. А в ZFC и так есть "наименьшее индуктивное множество".
>тем более она вообще не из теории множеств, так что какого черта мы ее вообще пытаемся сравнивать с аксиомами теории множеств?
Ну теория нат. чисел с аксиомами Пеано без проблем интерпретируются в теории множеств, так что сравнивать, в каком-то смысле, можно.
>>299855
Уже нечто похожее есть же кстати. В тех же New Foundations привычных кардиналов нету.
В теории множеств есть "индуктивность". Например, формирование множества конечного/бесконечного "порождающей процедурой" по сути та же индуктивность. Или вот формула счётного объединения, "максимального(т.е. наибольшей мощности) множества" и так далее.
Но ведь мне хватило наивной теории множеств. Да, она плоха, но извините - в математике вообще хуй сыщешь хотя бы что-то из базовых понятий, что можно определить строго-по-хардкору, и при этом не охренеть от того, что при этом получилось.
>Я думал ты хотел продемонстрировать возможность определить нат. числа не используя индукцию как идею вообще. А в ZFC и так есть "наименьшее индуктивное множество".
Нат. числа сами являются индукцией как идеей. Определить их, не используя индукцию ни в каком виде - значит описать индукцию через не индуктивные аксиомы. Это та еще задача, я полагаю, если индукцию народ предпочитает брать в качестве аксиомы.
Но зато нет аксиомы индукции, которая что-то утверждает обо всех утверждениях такого-то вида, т.е. на самом деле является набором из бесконечного числа аксиом. Очень плохая херь как аксиома. Формирование множества порождающей процедурой куда как проще и чище в этом плане.
А вообще - чего ты хочешь, если натуральные числа сами по себе являются структурой, описываемой индуктивным правилом? "Индуктивность" у них в крови. То, что ты (или не ты) там со строками накатал - в этом плане те же яйца, только в профиль, ибо вот оно, индуктивное правило:
>Если символом n обозначена строка, являющаяся натуральным числом, то результат конкатенации n и ' является натуральным числом.
Избавиться здесь от индуктивности, т.е. от утверждений, описывающих "следующие" элементы множества через "предыдущие", тебе не удастся, поскольку это будет то же самое, что доказать аксиому индукции через другие аксиомы. То есть лучшее, что ты можешь сделать - напридумывать несколько "менее индуктивных" аксиом, вывести из них аксиому индукции, и переписать определение N через них. Ну что ж, удачи с этим.
>Индукция же по сути привязана к многократной композиции функции (S(x) в данном случае), а не к нат. числам как таковым.
>Как записать? Ну например (словами опишу) N равно минимальному по вложению множеству, удовлетворяющему предыдущему набору аксиом, т.е. с единицей и несклеивающей функцией следования. Любое такое множество будет содержать последовательность, порожденную единицей, а меньше нее уже не будет удовлетворять аксиомам, соответственно, минимум единственен по всем цепочкам вложений и потому определен корректно.
теперь же ты пишешь
>А вообще - чего ты хочешь, если натуральные числа сами по себе являются структурой, описываемой индуктивным правилом? "Индуктивность" у них в крови.
То что тред повлиял на твоё "мировоззрение" если можно так выразится, это очень хорошо, но не надо вид делать, что "да очевидно же, что без индукции нельзя и я сразу это и имел в виду".
Я не тот анон, который со строками мурыжился.
От себя скажу - за что вы так хейтите аксиому индукции? Подумаешь, что 2 лвл - у нас же метаматематика, наконец. Она же почти что - метод доказательства/логический приём(мат. индукция) - вы же его не хейтите - хотя его формулировка работает для любых утверждений(мета-лвл). Имхо, аксиома индукции вполне удобоварима и интуитивно ясна, как и доказательство по мат. индукции.
>От себя скажу - за что вы так хейтите аксиому индукции? Подумаешь, что 2 лвл - у нас же метаматематика, наконец. Она же почти что - метод доказательства/логический приём(мат. индукция) - вы же его не хейтите - хотя его формулировка работает для любых утверждений(мета-лвл). Имхо, аксиома индукции вполне удобоварима и интуитивно ясна, как и доказательство по мат. индукции.
Никто не хейтит, хейтит один нат.числа-кун, да и то не хейтит, а считает что это приводит к "порочным кругам" (в чём не прав нисколько), остальные же тут мимо проходили.
>т.е. от утверждений, описывающих "следующие" элементы множества через "предыдущие"
A priori в утверждении "результат конкатенации n и ' является натуральным числом" не предполагается, что есть какие-то следующие элементы или предыдущие элементы. Здесь нет никаких утверждений о структуре строки, являющейся результатом конкатенации, и даже не говорится, что символ ' является её подстрокой, ибо понятие подстроки не введено. Здесь отнюдь не говорится, что каждое натуральное число - это ноль с некоторым количеством приписанных к нему штрихов. Доказательство существования порядка - нетривиальная задача. Оно существует, конечно, и его можно прочитать в книжке Ландау, но непосредственно в аксиомах наличие порядка не предполагается.
У манина как я знаю нет учебников по логике, у него есть только лекции по матлогике. Их гуманитарному гумусу не предложишь.
> Нет, не решают, эту задачу решают другие люди, иногда те же самые, но это не входит в часть их деятельности как математика.
Дело не в людях, я тебе про современное построение математики пишу, а ты всё про каких-то Васянов не желающих учить основы.
К тому же опять ты начинаешь убегать от ответа обозвав вопрос "не математическим". Точно так же говорили всякие мудаки (а среди них были и математики с мировым именем) в 19 веке, когда им в рыло предъявляли теоретико-множественные и логические парадоксы.
> Эта задача - не математическая, никто не пишет статьи с названием "Обоснование натуральных чисел", а если и пишут, то в журналы типа annals of mathematics они не попадают.
И что с того? Ты еще удивись почему они в журнал "Уравнения мат физики" не попадают.
> Ну тут есть два выхода: либо мы договариваемся о формальном языке, в котором будем рассматривать метатеорию и теорию одновременно, либо мы "рассматриваем" метатеорию и теорию не с математической точки зрения, и тогда уже никаких апелляций к математической строгости или "математическому парадоксу" не надо тут.
Ты сам попадаешь в ловушку своей же кривой логики в попытке уйти от ответа так как я элементарно могу задать тот же вопрос про метатеорию на естественном языке на которой ты собрался формализовать первую метатеорию и всё начнётся сначала.
> Волнует, но определение "наименьший предельный ординал" абсолютно корректно, с точки зрения математиков.
Для таких математиков и определение множества как совокупности объектов сойдет.
> Ты опять либо намеренно сделал вид что не понял, либо не понял. Математики, чтобы заниматься математикой на принятом уровне строгости должны договориться о правилах синтаксической игры. Они могут на этом этапе использовать хоть идею индукции, хоть ученье Гротендика, хоть тетатры Ходжа...
Ты утверждаешь что на уровне метаматематики естественного языка допустимы любые ничем не контролируемые методы. На это во-первых хотелось бы увидеть подтверждение в какой нибудь литературе или статьях (ссылки в студию). Во-вторых я уже вижу что это неправда, так как если ты возьмешь первый попавшийся текст обсуждающий начала любого подхода к основаниям математики, там первым делом ограничивают себя по максимуму в средствах вывода чтобы ненароком в говно парадоксов не наступить.
> главное одно: чтобы каждый математик после обсуждения таких правил мог проверить "ход" другого и убедиться, что он корректный, при этом два разных математика должны прийти к одному и тому же "результату проверки" одного и того же хода.
Это сверхсубъективный критерий, с позиций "математичности" о которой ты постоянно говоришь это намного хуже чем немного позаниматься "философией" исходных понятий (типа как я предлагаю).
> И вот после этого уже начинается "игра" - настоящая математика.
Ты фундаментально путаешь (или не до конца понял финитный метод Гильберта) творческую деятельность математика специалиста какого нибудь раздела математики с систематическим изложением этой науки с нуля. Я же нигде не отрицал, что на практике удобно вообще платонистский подход использовать (при этом держа в уме возможность формализации).
> Нет, оно не является производным понятием в математическом смысле так как "формулировки общих понятий ФС" - не были частью "математической игры", она началась позже.
Оно производное в том смысле, что без него ты не сможешь даже сформулировать и развить понятие ФС. А значит оно используется неявно.
Эта страусиная попытка закрыть глаза конечно забавная. Но ты должен быть последовательным, если ты не признаешь "нематематические" понятия за пределами ФС, какого хера ты их используешь в метаязыке? Выкручивайся без них тогда. Они же философские, а ты математик ёпта.
> Если ты хочешь говорить о метаязыке и метатеории в математическом смысле - ты должен сделать в "математической игре" корректные ходы, а именно, определить метатеорию, метаязык и тогда уже, с точки зрения "математической игры" о них можно будет что-то сказать.
Это будет еще один замкнутый круг который только добавит ненужное усложнение, так как наша метаматематика на естественном языке и так минимальна. Вводить ее формализацию для нашей задачи обоснования N нет, так как новая метаматематика всё равно будет такой же.
> Получите, распишитесь:
Зачем ты опять принес какие-то нерелевантные ссылки? К тому же это определения, а отвечал ты на реквест доказательств.
> Заметил, и что?
Охренеть, так с чем ты тогда споришь если согласен что все подходы к основаниям математики используют индукцию как одно из неопределяемых понятий???
> Этот пример просто сверх в тему. Это "математическая игра" в её самом идеализированном смысле
Он не в тему потому, что бесполезен в наших вопросах. Определение ФС все тут и так знают, зачем ты притащил какую-то конечную её реализацию, если факт её существования ничего не доказывает? Она ПРИНЦИПИАЛЬНО не может ответить на вопрос определения N, так как не может перейти на мета-уровень.
> Ты просто отбеливаешь философию, называя её "основами математики".
Нет, это ты юзаешь гнилой приёмчик пытаясь спихнуть неудобные вопросы в другую область. Это не ново, кажется в 19 (или 20, не помню) веке какой-то математик считал парадоксы лингвистической проблемой а не математической. Тем не менее из-за этих "лингвистических" проблем всю математаику перекроили и где сейчас этот математик со своим эпичным пердежом в лужу???
> Не нужно, ровно как мне не нужно содержательное понимание "понимания", которое предоставляет нейронауки, чтобы заниматься математикой.
Это уже дешёвая демагогия пошла. Я же не требую от тебя дать определение неопределяемых понятий. Я лишь говорю что нужно навести в них порядок, договориться какое понятие мы считаем интуитивно понимаемым, а какое определяем через другие.
> Чтобы понимать такие вещи, не нужно иметь за плечами монографию по мат. логике.
Это частные случаи конкретных ФС, я не понимаю что ты хочешь ими показать приводя в пример.
> Видимо ты имеешь в виду "естественный язык" (который я действительно встречал в литературе по мат.логике), но надо чётко понимать, что это не математический термин и не математический объект, а значит про него нельзя делать никаких математических утверждений.
Никто и не требует развивать на этот счет математическую теорию или что-то там формализовать. Но если ты в метаязыке юзаешь какое-либо понятие, будь добр за него ответить.
> Ничего не могу посоветовать кроме того, чтобы перечитать цитату из бурбаков.
А я тебе рекомендую перечитать что такое финитный метод. Ты похоже его так и не усвоил судя по тому как пытаешься тут описать формализацию по Гильберту.
> Не видел ни цитат, ни (математических) рассуждений. (Но приводить их лично мне не надо, по причинам, изложенным ниже).
Мдэ, тяжелый случай. Т.е. ты спрашиваешь цитаты математиков, а когда их тебе предъявляют говоришь что не хочешь их читать...
Рассуждение предельно простое: для определения ФС нужные понятийные средства уровня интуитивного определения N, а значит последующее рассмотрение ФС натуральных чисел не могут рассматриваться как их определение.
> Отвечу вопросом на вопрос. Какова будет ценность всех шахматных партий, если изложить правила шахмат, пользуясь средствами противоречивой теории множеств? Ответ: ровно такая же, как и была до этого.
Ответ конечно же не верный. Во-первых, как я уже писал про аксиомы геометрии, это тоже слишком простой пример, так как понятия объектной и мета теории лежат в абсолютно разных плоскостях. Во-вторых, он очевидно неявно полагается на тот факт что эта ФС в силу своей простоты уже изучена другими примитивными методами и про нее заведомо известно что она не противоречива - отними этот факт и тебя бы любой математик послал с такой ФС, так как ценность их в таком случае нулевая.
> Вероятно, это моё последнее подобное сообщение, ибо диалог пошёл по второму кругу, а продвижений никаких.
Ну так кто виноват, что ты аргументов не приводишь? Если ты сто раз скажешь одну и ту же бездоказательную херню, истиной она от этого не станет.
В таком случае тебе будет засчитан слив, и все будут знать что твой ник означает человека не сумевшего определить N.
> Нет, не решают, эту задачу решают другие люди, иногда те же самые, но это не входит в часть их деятельности как математика.
Дело не в людях, я тебе про современное построение математики пишу, а ты всё про каких-то Васянов не желающих учить основы.
К тому же опять ты начинаешь убегать от ответа обозвав вопрос "не математическим". Точно так же говорили всякие мудаки (а среди них были и математики с мировым именем) в 19 веке, когда им в рыло предъявляли теоретико-множественные и логические парадоксы.
> Эта задача - не математическая, никто не пишет статьи с названием "Обоснование натуральных чисел", а если и пишут, то в журналы типа annals of mathematics они не попадают.
И что с того? Ты еще удивись почему они в журнал "Уравнения мат физики" не попадают.
> Ну тут есть два выхода: либо мы договариваемся о формальном языке, в котором будем рассматривать метатеорию и теорию одновременно, либо мы "рассматриваем" метатеорию и теорию не с математической точки зрения, и тогда уже никаких апелляций к математической строгости или "математическому парадоксу" не надо тут.
Ты сам попадаешь в ловушку своей же кривой логики в попытке уйти от ответа так как я элементарно могу задать тот же вопрос про метатеорию на естественном языке на которой ты собрался формализовать первую метатеорию и всё начнётся сначала.
> Волнует, но определение "наименьший предельный ординал" абсолютно корректно, с точки зрения математиков.
Для таких математиков и определение множества как совокупности объектов сойдет.
> Ты опять либо намеренно сделал вид что не понял, либо не понял. Математики, чтобы заниматься математикой на принятом уровне строгости должны договориться о правилах синтаксической игры. Они могут на этом этапе использовать хоть идею индукции, хоть ученье Гротендика, хоть тетатры Ходжа...
Ты утверждаешь что на уровне метаматематики естественного языка допустимы любые ничем не контролируемые методы. На это во-первых хотелось бы увидеть подтверждение в какой нибудь литературе или статьях (ссылки в студию). Во-вторых я уже вижу что это неправда, так как если ты возьмешь первый попавшийся текст обсуждающий начала любого подхода к основаниям математики, там первым делом ограничивают себя по максимуму в средствах вывода чтобы ненароком в говно парадоксов не наступить.
> главное одно: чтобы каждый математик после обсуждения таких правил мог проверить "ход" другого и убедиться, что он корректный, при этом два разных математика должны прийти к одному и тому же "результату проверки" одного и того же хода.
Это сверхсубъективный критерий, с позиций "математичности" о которой ты постоянно говоришь это намного хуже чем немного позаниматься "философией" исходных понятий (типа как я предлагаю).
> И вот после этого уже начинается "игра" - настоящая математика.
Ты фундаментально путаешь (или не до конца понял финитный метод Гильберта) творческую деятельность математика специалиста какого нибудь раздела математики с систематическим изложением этой науки с нуля. Я же нигде не отрицал, что на практике удобно вообще платонистский подход использовать (при этом держа в уме возможность формализации).
> Нет, оно не является производным понятием в математическом смысле так как "формулировки общих понятий ФС" - не были частью "математической игры", она началась позже.
Оно производное в том смысле, что без него ты не сможешь даже сформулировать и развить понятие ФС. А значит оно используется неявно.
Эта страусиная попытка закрыть глаза конечно забавная. Но ты должен быть последовательным, если ты не признаешь "нематематические" понятия за пределами ФС, какого хера ты их используешь в метаязыке? Выкручивайся без них тогда. Они же философские, а ты математик ёпта.
> Если ты хочешь говорить о метаязыке и метатеории в математическом смысле - ты должен сделать в "математической игре" корректные ходы, а именно, определить метатеорию, метаязык и тогда уже, с точки зрения "математической игры" о них можно будет что-то сказать.
Это будет еще один замкнутый круг который только добавит ненужное усложнение, так как наша метаматематика на естественном языке и так минимальна. Вводить ее формализацию для нашей задачи обоснования N нет, так как новая метаматематика всё равно будет такой же.
> Получите, распишитесь:
Зачем ты опять принес какие-то нерелевантные ссылки? К тому же это определения, а отвечал ты на реквест доказательств.
> Заметил, и что?
Охренеть, так с чем ты тогда споришь если согласен что все подходы к основаниям математики используют индукцию как одно из неопределяемых понятий???
> Этот пример просто сверх в тему. Это "математическая игра" в её самом идеализированном смысле
Он не в тему потому, что бесполезен в наших вопросах. Определение ФС все тут и так знают, зачем ты притащил какую-то конечную её реализацию, если факт её существования ничего не доказывает? Она ПРИНЦИПИАЛЬНО не может ответить на вопрос определения N, так как не может перейти на мета-уровень.
> Ты просто отбеливаешь философию, называя её "основами математики".
Нет, это ты юзаешь гнилой приёмчик пытаясь спихнуть неудобные вопросы в другую область. Это не ново, кажется в 19 (или 20, не помню) веке какой-то математик считал парадоксы лингвистической проблемой а не математической. Тем не менее из-за этих "лингвистических" проблем всю математаику перекроили и где сейчас этот математик со своим эпичным пердежом в лужу???
> Не нужно, ровно как мне не нужно содержательное понимание "понимания", которое предоставляет нейронауки, чтобы заниматься математикой.
Это уже дешёвая демагогия пошла. Я же не требую от тебя дать определение неопределяемых понятий. Я лишь говорю что нужно навести в них порядок, договориться какое понятие мы считаем интуитивно понимаемым, а какое определяем через другие.
> Чтобы понимать такие вещи, не нужно иметь за плечами монографию по мат. логике.
Это частные случаи конкретных ФС, я не понимаю что ты хочешь ими показать приводя в пример.
> Видимо ты имеешь в виду "естественный язык" (который я действительно встречал в литературе по мат.логике), но надо чётко понимать, что это не математический термин и не математический объект, а значит про него нельзя делать никаких математических утверждений.
Никто и не требует развивать на этот счет математическую теорию или что-то там формализовать. Но если ты в метаязыке юзаешь какое-либо понятие, будь добр за него ответить.
> Ничего не могу посоветовать кроме того, чтобы перечитать цитату из бурбаков.
А я тебе рекомендую перечитать что такое финитный метод. Ты похоже его так и не усвоил судя по тому как пытаешься тут описать формализацию по Гильберту.
> Не видел ни цитат, ни (математических) рассуждений. (Но приводить их лично мне не надо, по причинам, изложенным ниже).
Мдэ, тяжелый случай. Т.е. ты спрашиваешь цитаты математиков, а когда их тебе предъявляют говоришь что не хочешь их читать...
Рассуждение предельно простое: для определения ФС нужные понятийные средства уровня интуитивного определения N, а значит последующее рассмотрение ФС натуральных чисел не могут рассматриваться как их определение.
> Отвечу вопросом на вопрос. Какова будет ценность всех шахматных партий, если изложить правила шахмат, пользуясь средствами противоречивой теории множеств? Ответ: ровно такая же, как и была до этого.
Ответ конечно же не верный. Во-первых, как я уже писал про аксиомы геометрии, это тоже слишком простой пример, так как понятия объектной и мета теории лежат в абсолютно разных плоскостях. Во-вторых, он очевидно неявно полагается на тот факт что эта ФС в силу своей простоты уже изучена другими примитивными методами и про нее заведомо известно что она не противоречива - отними этот факт и тебя бы любой математик послал с такой ФС, так как ценность их в таком случае нулевая.
> Вероятно, это моё последнее подобное сообщение, ибо диалог пошёл по второму кругу, а продвижений никаких.
Ну так кто виноват, что ты аргументов не приводишь? Если ты сто раз скажешь одну и ту же бездоказательную херню, истиной она от этого не станет.
В таком случае тебе будет засчитан слив, и все будут знать что твой ник означает человека не сумевшего определить N.
Вот одна из цитат Александрова (не путать с пидорком П.С. Александровым), даю её отдельно так как пост оказался выше лимита сосаки:
Определяют ли аксиомы Пеано натуральные числа? Нет. Как писал сам Пеано, «число (целое положительное) невозможно определить (ввиду того, что идеи порядка, следования, агрегирования и т. д. столь же сложны, как идея числа)». Иными словами, если вы не знаете, что это такое, так аксиомы Пеано вам не помогут. Вместо этого они описывают имеющуюся у нас идею числа, формализуют наши представления об арифметике, давая возможность строить доказательства.
> считает что это приводит к "порочным кругам" (в чём не прав нисколько)
Какие ваши доказательства???
Так ты открой dxdy, там даже раздел для доказателей теоремы Ферма есть! Потому что могут!
da ti zadolbal, mi prosto v raznih disskursah govoreem, no ti che to etogo ne ponimaesh i prodoljaesh vtirat mne svou dich. skolko mozno uje
Имхо аксиомы Пеано определяют(формализуют), но не объясняют - как и с любой системой аксиом(возьми хоть аксиомы евклидовой планиметрии, аксиоматика теории множеств, вещественных чисел). Неопределяемые понятия нельзя определить, но можно провести аналогии, дать некие модели, неформально "объяснить".
Разумеется, достаточно полная метаинформация об объекте важнее формального определения объекта для исследователя, развивающего теорию.
Расовая черта?
Бамп треду. Если возражений насчёт аксиом Пеано больше нет, то имхо тред заслуживает присуждения статуса платины /sci.
У меня есть возражение. Аксиомы Пеано по сути бесполезны, в них не отражены самые важные свойства N. С их помощью нельзя доказать теорему Гудстейна.
Я уже не в могу в такой лвл дискуссии, квалификации не хватает-ссс. Узнал про теорему Гудстейна с твоих слов - но попытаюсь возразить - хватает же арифметики первого порядка в плане приложений(матана, линейки, даже ТЧ и прочаго) - зачем нам какие-то хитровыстраданные теоремы на арифметике 2-го лвла?
...Математик отошел вправо. Математик наклонился. Математик вложил себе в рот четыре пальца. Математик завёл натуральные числа через аксиоматику Пеано. Математик вложил себе в рот два пальца. Математик завёл натуральные числа через аксиоматику фон Неймана. Математик вложил себе в рот четыре пальца. Математик завёл натуральные числа через аксиоматику Пеано. Математик опустился на колени. Математик стал сгребать натуральные числа в кучу. Математик сгреб натуральные числа в кучу. Математик присел над кучей. Математик ввёл кванторы в кучу натуральных чисел. Математик стал перемешивать кванторы с натуральными числами. Математик перемешал кванторы с натуральными числами. Математик зачерпнул пригоршню смеси. Математик намазал смесью кванторов и натуральных чисел свой член. Математик встал на колени. Математик стал мастурбировать. Математик доказал коммутативность сложения. Математик лег на спину. Математик стал пальцами доказывать коммутативность умножения. Математик доказал коммутативность умножения. Математик лег на живот. Математик подполз к смеси натуральных чисел с кванторами. Математик стал записывать в TeXе смесь. Математик записал всю смесь. Математик стал вылизывать участок пола на месте смеси. Математик вылизал участок пола. Математик встал с пола. Математик подпрыгнул. Математик похлопал себя ладонями по щекам. Математик надул щеки. Математик хлопнул себя ладонями по щекам. Математик надул щеки. Математик хлопнул себя ладонями по щекам. Математик наклонился. Математик ввёл себе эпсилон-дельта-формализм в задний проход. Математик вынул формализм из заднего прохода. Математик ввёл эпсилон-дельта-формализм себе в правую ноздрю. Математик облизал эпсилон-дельта-формализм. Математик присел на корточки. Математик налил водовки себе в ладонь. Математик вылил свою водовку себе на голову. Математик сел на пол. Математик разглядывал и трогал свои ноги. Математик зачерпнул меры Хаара с пола. Математик конструктивно ввёл меру Хаара себе на ноги. Математик разнёс меру Хаара левыми сдвигами. Математик согнул ноги в коленях. Математик качал ногами. Математик лег на спину. Математик вытянул ноги. Математик поднял ноги. Математик запрокинул ноги себе за голову. Математик стал элиминировать кванторы. Математик элиминировал себе на лицо...
...Математик отошел вправо. Математик наклонился. Математик вложил себе в рот четыре пальца. Математик завёл натуральные числа через аксиоматику Пеано. Математик вложил себе в рот два пальца. Математик завёл натуральные числа через аксиоматику фон Неймана. Математик вложил себе в рот четыре пальца. Математик завёл натуральные числа через аксиоматику Пеано. Математик опустился на колени. Математик стал сгребать натуральные числа в кучу. Математик сгреб натуральные числа в кучу. Математик присел над кучей. Математик ввёл кванторы в кучу натуральных чисел. Математик стал перемешивать кванторы с натуральными числами. Математик перемешал кванторы с натуральными числами. Математик зачерпнул пригоршню смеси. Математик намазал смесью кванторов и натуральных чисел свой член. Математик встал на колени. Математик стал мастурбировать. Математик доказал коммутативность сложения. Математик лег на спину. Математик стал пальцами доказывать коммутативность умножения. Математик доказал коммутативность умножения. Математик лег на живот. Математик подполз к смеси натуральных чисел с кванторами. Математик стал записывать в TeXе смесь. Математик записал всю смесь. Математик стал вылизывать участок пола на месте смеси. Математик вылизал участок пола. Математик встал с пола. Математик подпрыгнул. Математик похлопал себя ладонями по щекам. Математик надул щеки. Математик хлопнул себя ладонями по щекам. Математик надул щеки. Математик хлопнул себя ладонями по щекам. Математик наклонился. Математик ввёл себе эпсилон-дельта-формализм в задний проход. Математик вынул формализм из заднего прохода. Математик ввёл эпсилон-дельта-формализм себе в правую ноздрю. Математик облизал эпсилон-дельта-формализм. Математик присел на корточки. Математик налил водовки себе в ладонь. Математик вылил свою водовку себе на голову. Математик сел на пол. Математик разглядывал и трогал свои ноги. Математик зачерпнул меры Хаара с пола. Математик конструктивно ввёл меру Хаара себе на ноги. Математик разнёс меру Хаара левыми сдвигами. Математик согнул ноги в коленях. Математик качал ногами. Математик лег на спину. Математик вытянул ноги. Математик поднял ноги. Математик запрокинул ноги себе за голову. Математик стал элиминировать кванторы. Математик элиминировал себе на лицо...
F->(H->F)
(F->(G->H))->((F->G)->(F->H))
F/\G->F
F/\G->G
F->(G->F/\G)
F->F\/G
G->F\/G
(F->G)->((H->G)->(F\/H->G))
-F->(F->G)
(F->G)->((F->-G)->-F)
F\/-F
(∀x. F(x))->F(t)
F(t)->(∃x. F(x))
F F->G
----------
G
F
----------
∀x. F
N,=,0,S,+,*
∀x∈N. 0 ≠ S(x)
∀x,y∈N. S(x) = S(y) ⇒ x = y
∀x∈N. x + 0 = x
∀x,y∈N. x + S(y) = S(x + y)
∀x∈N. x ⋅ 0 = 0
∀x,y∈N. x ⋅ S(y) = x ⋅ y + x
∀y∈N(F(0,y) -> (∀x∈N. F(x,y) -> F(S(x),y)) -> ∀x∈N. F(x,y))
F->(H->F)
(F->(G->H))->((F->G)->(F->H))
F/\G->F
F/\G->G
F->(G->F/\G)
F->F\/G
G->F\/G
(F->G)->((H->G)->(F\/H->G))
-F->(F->G)
(F->G)->((F->-G)->-F)
F\/-F
(∀x. F(x))->F(t)
F(t)->(∃x. F(x))
F F->G
----------
G
F
----------
∀x. F
N,=,0,S,+,*
∀x∈N. 0 ≠ S(x)
∀x,y∈N. S(x) = S(y) ⇒ x = y
∀x∈N. x + 0 = x
∀x,y∈N. x + S(y) = S(x + y)
∀x∈N. x ⋅ 0 = 0
∀x,y∈N. x ⋅ S(y) = x ⋅ y + x
∀y∈N(F(0,y) -> (∀x∈N. F(x,y) -> F(S(x),y)) -> ∀x∈N. F(x,y))
Автору маскота треда отдельное спасибо.
Ad verecundiam.
Что ты местных долбаебов слушаешь. Аксиомы Пеано определяют натуральные числа.
Не то, чтобы модерируется, но проходят экспертную оценку, статьи, которые её не прошли заносятся в эту категорию https://en.wikipedia.org/wiki/Category:Mathematics_articles_needing_expert_attention . Всё сказанное верно только для энвики, разумеется.
>>306139
Вот вам мнение чуть более авторитетного форума про мемесы для дипломированных математиков
http://mathoverflow.net/questions/47399/dont-the-axioms-of-set-theory-implicitly-assume-numbers
Прекрасная ссылка! В самом популярном ответе написано то, что я тебе пытался объяснить на протяжении (двух?) месяцев:
Logical foundations avoids this paradox ultimately by being concrete. We may put it this way: logic at the primary level consists of instructions for dealing with formal linguistic items, but the concrete actions for executing those instructions (electrons moving through logic gates, a person unconsciously making an inference in response to a situation) are not themselves linguistic items, not of the language. They are nevertheless as precise as one could wish.
We emphasize this point because in our descriptions below, we obviously must use language to describe logic, and some of this language will look just like the formal mathematics that logic is supposed to be prior to. Nevertheless, the apparent circularity should be considered spurious: it is assumed that the programmer who reads an instruction such as "concatenate a list of lists into a master list" does not need to have mathematical language to formalize this, but will be able to translate this directly into actions performed in the real world. However, at the same time, the mathematically literate reader may like having a mathematical meta-layer in which to understand the instructions. The presence of this meta-level should not be a source of confusion, leading one to think we are pulling a circular "fast one".
In other words, to break out of the circularity,it is enough to observe that computers can be programmed to recognize certain strings as well-formed terms or formulas (of a given axiomatic theory), and how to recognize inferences as valid.
It's not as if there needs to be some background theory, or the prior existence of a completed or actual infinity of all expressions which might come up, sitting inside the computer. The computer is programmed to handle finite parts of the theory correctly, and the same applies to human users of a theory (although we say "taught", not "programmed").
>but the concrete actions for executing those instructions (electrons moving through logic gates, a person unconsciously making an inference in response to a situation) are not themselves linguistic items, not of the language
То есть абсолютно то, что я говорил: математик играет в синтаксическую игру, а то, умеет ли он распознавать символы и использует ли он при их распознавании априорную философскую идею о натуральных числах - никого не тревожит, это не часть математики, не часть правил игры. Кстати, даже аналогии про компьютерные программы я похожие приводил, когда давал ссылки на metamth.
Прекрасная ссылка! В самом популярном ответе написано то, что я тебе пытался объяснить на протяжении (двух?) месяцев:
Logical foundations avoids this paradox ultimately by being concrete. We may put it this way: logic at the primary level consists of instructions for dealing with formal linguistic items, but the concrete actions for executing those instructions (electrons moving through logic gates, a person unconsciously making an inference in response to a situation) are not themselves linguistic items, not of the language. They are nevertheless as precise as one could wish.
We emphasize this point because in our descriptions below, we obviously must use language to describe logic, and some of this language will look just like the formal mathematics that logic is supposed to be prior to. Nevertheless, the apparent circularity should be considered spurious: it is assumed that the programmer who reads an instruction such as "concatenate a list of lists into a master list" does not need to have mathematical language to formalize this, but will be able to translate this directly into actions performed in the real world. However, at the same time, the mathematically literate reader may like having a mathematical meta-layer in which to understand the instructions. The presence of this meta-level should not be a source of confusion, leading one to think we are pulling a circular "fast one".
In other words, to break out of the circularity,it is enough to observe that computers can be programmed to recognize certain strings as well-formed terms or formulas (of a given axiomatic theory), and how to recognize inferences as valid.
It's not as if there needs to be some background theory, or the prior existence of a completed or actual infinity of all expressions which might come up, sitting inside the computer. The computer is programmed to handle finite parts of the theory correctly, and the same applies to human users of a theory (although we say "taught", not "programmed").
>but the concrete actions for executing those instructions (electrons moving through logic gates, a person unconsciously making an inference in response to a situation) are not themselves linguistic items, not of the language
То есть абсолютно то, что я говорил: математик играет в синтаксическую игру, а то, умеет ли он распознавать символы и использует ли он при их распознавании априорную философскую идею о натуральных числах - никого не тревожит, это не часть математики, не часть правил игры. Кстати, даже аналогии про компьютерные программы я похожие приводил, когда давал ссылки на metamth.
Основания математики избегают этого парадокса, будучи вполне конкретными. Мы можем думать об этом следующим образом: логика на самом фундаментальном уровне содержит инструкции, для преобразования некоторых формальных лингвистических объектов. Но конкретные действия, для выполнения этих инструкций (движение электронов по микросхемам, или подсознательные умозаключения, которые мы должны сделать, чтобы выполнить данные инструкции) сами по себе не являются лингвистическими объектами, не являются частью языка.
Мы заостряем внимание на этом моменте, потому что в наших дальнейших построениях мы, очевидно, должны использовать естественный язык, чтобы описать логику, и некоторые части этого естественного языка будут выглядеть для нас прямо как формальная математика, основания которой мы и пытаемся построить. Тем не менее, соответствующий "порочный круг" следует считать недействительным, так как мы предполагаем, что программист, который читает инструкцию типа "объедините два списка в один" не нуждается в математическом языке для формализации этого действия, он должен лишь уметь это непосредственно исполнить. Тем не менее, математически подготовленный читатель может предпочесть иметь "метатеорию" в которой он будет "понимать" эти инструкции. Существование этой "метатеории" не должно рассматриваться как источник противоречий, можете думать об этом не как о "порочном круге" а как о "спирали" которую мы "прокручиваем" всего один раз.
Другими словами, чтобы разорвать "порочный круг", достаточно заметить, что можно запрограммировать компьютер, распознавать конкретные строки как корректные термы и формулы (данной аксиоматической теории), и отличать верный вывод от неверного. Этому компьютеру совсем не нужна фоновая теория, или существование актуальной бесконечной совокупности всех формул, которые он мог бы распознать. Компьютерная программа нужна лишь для того, чтобы распознавать конечные части теории корректно, то же самое касается и непосредственных пользователей теории - людей (хотя мы говорим, что теории "учим", а не "запрограммированы их распознавать").
Основания математики избегают этого парадокса, будучи вполне конкретными. Мы можем думать об этом следующим образом: логика на самом фундаментальном уровне содержит инструкции, для преобразования некоторых формальных лингвистических объектов. Но конкретные действия, для выполнения этих инструкций (движение электронов по микросхемам, или подсознательные умозаключения, которые мы должны сделать, чтобы выполнить данные инструкции) сами по себе не являются лингвистическими объектами, не являются частью языка.
Мы заостряем внимание на этом моменте, потому что в наших дальнейших построениях мы, очевидно, должны использовать естественный язык, чтобы описать логику, и некоторые части этого естественного языка будут выглядеть для нас прямо как формальная математика, основания которой мы и пытаемся построить. Тем не менее, соответствующий "порочный круг" следует считать недействительным, так как мы предполагаем, что программист, который читает инструкцию типа "объедините два списка в один" не нуждается в математическом языке для формализации этого действия, он должен лишь уметь это непосредственно исполнить. Тем не менее, математически подготовленный читатель может предпочесть иметь "метатеорию" в которой он будет "понимать" эти инструкции. Существование этой "метатеории" не должно рассматриваться как источник противоречий, можете думать об этом не как о "порочном круге" а как о "спирали" которую мы "прокручиваем" всего один раз.
Другими словами, чтобы разорвать "порочный круг", достаточно заметить, что можно запрограммировать компьютер, распознавать конкретные строки как корректные термы и формулы (данной аксиоматической теории), и отличать верный вывод от неверного. Этому компьютеру совсем не нужна фоновая теория, или существование актуальной бесконечной совокупности всех формул, которые он мог бы распознать. Компьютерная программа нужна лишь для того, чтобы распознавать конечные части теории корректно, то же самое касается и непосредственных пользователей теории - людей (хотя мы говорим, что теории "учим", а не "запрограммированы их распознавать").
22 мухи не могут ошибаться??? Кто-то писал про голосование в математике...
Этот ответ не признан решением, к тому же ты умолчал как он писал в начале что имеет место "common-sense circularity" - т.е. ровно тот замкнутый круг между мета и объектной теорией. По сути он не отрицает наличие замкнутого круга, но пытается его как-то легализовать. Вообще его отмазки мне напомнили ситуацию с неграми. Все понимают что это черножопый человек, но нет, явно назвать его негром или черным нельзя (иначе манямирок равноправия разрушится), это АФРОАМЕРИКАНЕЦ. Так и тут. Это замкнутая СПИРАЛЬ, а не круг.
PS Я в упор не понимаю зачем нужна аналогия с компом, она не только бесполезна, но и вредна. Она не добавляет ничего нового - мы и так понимаем что такое формальная система и её "мета-исполнитель". Зачем приводить более сложное понятие компа от которого у нормального человека сразу первая ассоциация будет с конечностью ресурсов машины и теорией алгоритмов которая сама по себе более навороченное понятие чем ФС. К тому же про конкретность проверки он просто врёт. Достаточно взять из начального курса матлогики любую теорему доказанную индуктивно и его комп навернется медным тазом.
> умеет ли он распознавать символы и использует ли он при их распознавании априорную философскую идею о натуральных числах - никого не тревожит
Ну а меня не тревожит, что множество противоречивое понятие и что с того???
То есть тебе похуй на противоречивость? Совсем поехал со своим порочным кругом?
Ты только дураком себя выставил. Что тебе не нравится, скажи максимально подробно и конкретно.
>Этот ответ не признан решением, к тому же ты умолчал как он писал в начале что имеет место "common-sense circularity" - т.е. ровно тот замкнутый круг между мета и объектной теорией. По сути он не отрицает наличие замкнутого круга, но пытается его как-то легализовать.
Разумеется, но в том-то и дело что это common-sense circularity, а не math-sense, например, ты вот когда-то агрился на слово "прочувствовать" но по-другому просто нельзя: когда мы начинаем с нуля рассказывать формальную математику на естественном языке, человеку, который ничего о математике не слышал, у нас абсолютно нету никаких математических средств, и хоть и можно помахать руками и сказать что-то там про "финитные средства в смысле Гильберта" - но это всё будет абсолютно неформализуемое махание руками, потому что формализмов, собственно, у нас никаких ещё нету. Почему, например, ты не выписал этот порочный круг явно на протяжении всех этих тредов, то есть не указал предикат phi(x) в формуле которого используется предикат psi(x) и предикат psi(x) в формуле которого используется предикат phi(x)? Потому что никаких предикатов на этом "этапе" ещё нету, и, собственно никакой математики, а значит никаких математических парадоксов - тоже.
А вот после того, как мы объяснили как использовать хоть какую-то теорию (и это объяснения не могло в строгом смысле опираться на математические формализмы, хотя мы и могли использовать квазиматематический язык типа "алфавит - это счётное множество символов", а могли просто сказать "мы можем рисовать таки и такие значки на листочке" - не важно абсолютно), мы уже можем в ней что-то определять в строго математическом смысле и искать в ней порочные круги тоже в строго математическом смысле, но там мы их как раз и не найдём. И, даже более того, все объяснения про то, как пользоваться какой-то теорией - мы уже в этой же теории сможем теперь математически формализовать, но в этом опять же нету никакого порочного круга, мы будем определять по честным правилам честные математические объекты.
С программистами аналогия хорошая очень. В Хаскелле, например, определение натуральных чисел выглядело бы так:
data Nat = Zero | Succ Nat
(0 - это натуральное число,
если n - натуральное число, то Succ(n) - натуральное число,
других натуральных чисел нету)
и ты такой говоришь "но как же так? ведь чтобы написать такое определение уже надо уметь пользоваться Хаскеллем, а значит иметь представление о конечных строках и рекурсивных определениях". Да - надо, но это не проблема Хаскелля, это проблема тех кто его учит, Хаскель будет оставаться по прежнему внутренне непротиворечивой системой и программы на нём по прежнему будут продолжать компилироваться.
>Этот ответ не признан решением, к тому же ты умолчал как он писал в начале что имеет место "common-sense circularity" - т.е. ровно тот замкнутый круг между мета и объектной теорией. По сути он не отрицает наличие замкнутого круга, но пытается его как-то легализовать.
Разумеется, но в том-то и дело что это common-sense circularity, а не math-sense, например, ты вот когда-то агрился на слово "прочувствовать" но по-другому просто нельзя: когда мы начинаем с нуля рассказывать формальную математику на естественном языке, человеку, который ничего о математике не слышал, у нас абсолютно нету никаких математических средств, и хоть и можно помахать руками и сказать что-то там про "финитные средства в смысле Гильберта" - но это всё будет абсолютно неформализуемое махание руками, потому что формализмов, собственно, у нас никаких ещё нету. Почему, например, ты не выписал этот порочный круг явно на протяжении всех этих тредов, то есть не указал предикат phi(x) в формуле которого используется предикат psi(x) и предикат psi(x) в формуле которого используется предикат phi(x)? Потому что никаких предикатов на этом "этапе" ещё нету, и, собственно никакой математики, а значит никаких математических парадоксов - тоже.
А вот после того, как мы объяснили как использовать хоть какую-то теорию (и это объяснения не могло в строгом смысле опираться на математические формализмы, хотя мы и могли использовать квазиматематический язык типа "алфавит - это счётное множество символов", а могли просто сказать "мы можем рисовать таки и такие значки на листочке" - не важно абсолютно), мы уже можем в ней что-то определять в строго математическом смысле и искать в ней порочные круги тоже в строго математическом смысле, но там мы их как раз и не найдём. И, даже более того, все объяснения про то, как пользоваться какой-то теорией - мы уже в этой же теории сможем теперь математически формализовать, но в этом опять же нету никакого порочного круга, мы будем определять по честным правилам честные математические объекты.
С программистами аналогия хорошая очень. В Хаскелле, например, определение натуральных чисел выглядело бы так:
data Nat = Zero | Succ Nat
(0 - это натуральное число,
если n - натуральное число, то Succ(n) - натуральное число,
других натуральных чисел нету)
и ты такой говоришь "но как же так? ведь чтобы написать такое определение уже надо уметь пользоваться Хаскеллем, а значит иметь представление о конечных строках и рекурсивных определениях". Да - надо, но это не проблема Хаскелля, это проблема тех кто его учит, Хаскель будет оставаться по прежнему внутренне непротиворечивой системой и программы на нём по прежнему будут продолжать компилироваться.
> но это всё будет абсолютно неформализуемое махание руками, потому что формализмов, собственно, у нас никаких ещё нету.
И что с того? Это ты с какого-то перепоя требуешь сразу же формализм из ничего. Даже если принять твой подход, то, очевидно, ты просто не имеешь права использовать любое неформальное понятие. Так какого хера ты позволяешь себе это делать? У тебя двоемыслие какое-то, шизик.
> А вот после того, как мы объяснили как использовать хоть какую-то теорию (и это объяснения не могло в строгом смысле опираться на математические формализмы, хотя мы и могли использовать квазиматематический язык типа "алфавит - это счётное множество символов", а могли просто сказать "мы можем рисовать таки и такие значки на листочке" - не важно абсолютно), мы уже можем в ней что-то определять
По сути тебе надо определить счетное множество таких значков. Вот тебе и готовое интуитивное N по Маркову.
Такое неформальное "объяснение" как раз и есть интуитивное понимание - разъяснение неопределяемого понятия на серии примеров и образов реального мира.
> но в этом опять же нету никакого порочного круга, мы будем определять по честным правилам честные математические объекты.
Пример ЧЕСТНОГО определения N без интуитивной метаиндукции или пиздабол.
> С программистами аналогия хорошая очень. В Хаскелле, например, определение натуральных чисел выглядело бы так:
Ну зачем было так пафосно выёбываться, если ты в итоге написал тривиальное индуктивное определение? Это не аналогия, а частная реализация формальной системы в железе (или описание абстрактной машины, если ты это имел ввиду).
> Да - надо, но это не проблема Хаскелля, это проблема тех кто его учит, Хаскель будет оставаться по прежнему внутренне непротиворечивой системой и программы на нём по прежнему будут продолжать компилироваться.
Они будут компилироваться только лишь потому что есть априорное понимание метаиндукции. Компы это вещь которая разработана и работает на основе ФС, а не наоборот.
PS Кажется я понял откуда растёт хвост этой поеботины с компом. В книжках по матлогике когда излагаются суть финитного метода часто говорят о его конструктивности. Это собственно и есть оправдание почему финитный метод считается "хорошим" в отличии от наивного канторовского и дает веру в отсутствие противоречий (ну и попутно решает задачу минимальности исходных понятий). Но он не то что не отвергает интуитивность метаиндукции, он как раз её пытается обосновать на неформальном уровне...
Так вот, похоже говоря про комп котороый сам строит и перебирает строки тот мужик пытался современным языком подчеркнуть её конструктивность, а кнуёбок как обычно всё перепутал со своими дискурсами.
> но это всё будет абсолютно неформализуемое махание руками, потому что формализмов, собственно, у нас никаких ещё нету.
И что с того? Это ты с какого-то перепоя требуешь сразу же формализм из ничего. Даже если принять твой подход, то, очевидно, ты просто не имеешь права использовать любое неформальное понятие. Так какого хера ты позволяешь себе это делать? У тебя двоемыслие какое-то, шизик.
> А вот после того, как мы объяснили как использовать хоть какую-то теорию (и это объяснения не могло в строгом смысле опираться на математические формализмы, хотя мы и могли использовать квазиматематический язык типа "алфавит - это счётное множество символов", а могли просто сказать "мы можем рисовать таки и такие значки на листочке" - не важно абсолютно), мы уже можем в ней что-то определять
По сути тебе надо определить счетное множество таких значков. Вот тебе и готовое интуитивное N по Маркову.
Такое неформальное "объяснение" как раз и есть интуитивное понимание - разъяснение неопределяемого понятия на серии примеров и образов реального мира.
> но в этом опять же нету никакого порочного круга, мы будем определять по честным правилам честные математические объекты.
Пример ЧЕСТНОГО определения N без интуитивной метаиндукции или пиздабол.
> С программистами аналогия хорошая очень. В Хаскелле, например, определение натуральных чисел выглядело бы так:
Ну зачем было так пафосно выёбываться, если ты в итоге написал тривиальное индуктивное определение? Это не аналогия, а частная реализация формальной системы в железе (или описание абстрактной машины, если ты это имел ввиду).
> Да - надо, но это не проблема Хаскелля, это проблема тех кто его учит, Хаскель будет оставаться по прежнему внутренне непротиворечивой системой и программы на нём по прежнему будут продолжать компилироваться.
Они будут компилироваться только лишь потому что есть априорное понимание метаиндукции. Компы это вещь которая разработана и работает на основе ФС, а не наоборот.
PS Кажется я понял откуда растёт хвост этой поеботины с компом. В книжках по матлогике когда излагаются суть финитного метода часто говорят о его конструктивности. Это собственно и есть оправдание почему финитный метод считается "хорошим" в отличии от наивного канторовского и дает веру в отсутствие противоречий (ну и попутно решает задачу минимальности исходных понятий). Но он не то что не отвергает интуитивность метаиндукции, он как раз её пытается обосновать на неформальном уровне...
Так вот, похоже говоря про комп котороый сам строит и перебирает строки тот мужик пытался современным языком подчеркнуть её конструктивность, а кнуёбок как обычно всё перепутал со своими дискурсами.
Я готов дать тебе определение N и разговаривать с тобой сколь угодно долго. Но сперва скажи, что такое интуитивная метаиндукция?
Тогда каким же образом ты различаешь, где есть интуитивная метаиндукция, а где она отсутствует?
Научи меня находить метаиндукцию. Я хочу быть как ты.
>Так вот, похоже говоря про комп котороый сам строит и перебирает строки тот мужик пытался современным языком подчеркнуть её конструктивность, а кнуёбок как обычно всё перепутал со своими дискурсами.
Смешные маняврирования N-петуха, который даже в том факте, что его мамка - шлюха, увидит подтверждение своей позиции. Для тебя фраза
>Logical foundations avoids this paradox ultimately by being concrete.
"того мужика" недостаточно однозначна, ммм, ПИЗДЛО МРАЗЬ?
Почему это мне так сильно напоминает лямбда-термы? Олсо, про определение натуральных чисел через лямбды, а индукции через Y-комбинатор уже говорили?
нубас в этой теме, по лямбдам всего одна лекция была, зато какая!
Давай, хуйло пизливое, объясни каким образом конкретность конечного числа элементов без абстракции потенциальной осуществимости может решить этот парадокс?
Топовые маневры N петушка
Могу ответить только:
>Ты хуйло пиздливое, иди учись читать по англицки, ПИЗДЛО малограмотное!
>>307108
N-петух, а у тебя бомбит настолько, что ты на каждый мой пост дважды в течении двух минут отвечаешь? Просто тут: >>307033 >>306996 тоже так было, то есть твой пердак полыхает настолько, что ты не можешь остановиться отвечать мне?
Просто вторая мысль пришла чуть позже.
Да и вообще, разве сложно пару раз послать тебя нахуй???
Глубокие у тебя мысли "чуть позже" приходят, почти что на уровне интуитивной метаиндукции, а быть может даже и выше.
У нас прямо интуитивная метаиндукция сейчас выходит, чего же ты не даёшь самому себе команду останова?
Залогинился.
Цикличность действительно существует, но индукция здесь не причём.
- Аксиома индукции ссылается на N.
- N формализуется аксиоматикой Пеано.
- Используя аксиому индукции, доказывается, что N ⊆ {0, s(0), s(s(0)), ...}, а следовательно N = {0, s(0), s(s(0)), ...}
А вот это уже по-моему грустно. Фактически имея цикличность и используя нами же написанную аксиому мы показываем равенство объектов N и {0, s(0), s(s(0)), ...}.
В чём я неправ?
В чём-то не прав.
Затем что аксиоматика Пеано используется в различных областях математики среди которых теория чисел, теория категорий и алгебра.
У нас уже есть горячие гей пасты с физа про изнасилование в раздевалке зала, а теперь еще и математик-вован N-петух.
/tred
1. С общепринятой точки зрения, определение таково:
(...)=(...)[конкатенация].
Т.е. это как прибавить единицу но на один больше.
2. С точки зрения N-петуха: Метаиндукция, Априорное знание, Самореференция
Бамп, хули.
Мне действительно печально видеть, что два специалиста не могут понять друг друга. Кнуебку говорили об одном, а он в ответ метал пассажи об очевидных, в общем-то, вещах, которые не имели никакого отношения к сути претензий Эн-петуха.
Проблема тут, как мне кажется, в отсутствии достаточной широты знаний, всестороннеразвитости, если хотите. Подняться на уровень выше бывает очень сложно, потому как парадигма мышления устоялась и воспринимается (некоторыми) как нечто незыблемое. Впрочем, это все тоже очевидные вещи, specialization is for insects, вот это все.
Модератор, пожалуйста, не удаляй вот так посты.
Во-первых, это бессмысленно: я ведь не понял, что именно тебе в нем не понравилось, почему ты его удалил и как избежать этого в будущем.
Во-вторых, это обидно: я потратил некоторое количество своего времени, чтобы написать пост, а ты удаляешь без видимых причин любое упоминание о нем.
Пожалуйста, не делай так. Вырази каким-либо образом свои претензии к посту, прежде чем его удалять. Давайте будем конструктивными.
Едет в половине вагона. Едет в трех вагонах. Едет без вагона. Ведет вагон. Ведет втроем. Ведет наполовину. Едет в fjugdjhfdjhfajhafhjajfhfakjfa. Едет и неистово .
Бесконечность равна INT_MAX, UINT_MAX, LONG_MAX, ULONG_MAX, LLONG_MAX, ULLONG_MAX и описана в limits.h.
Единица это отношение сторон квадрата
И все, тред можно закрывать.
"А мужики то не знают."
А где я про числа говорил? 2 стороны квадрата это по твоему числа?
Через 2 точки проходит одна единственная прямая. - Т.к. аксиомы ты считаешь "определением", получается что в определении объекта мы ссылаемся на сам объект. СамореференциЁ же!
С индукцией та же фигня - ей нужны только понятия базы(1), функции следования;
Высказывания, зависящего от элемента N, высказывания верного для любого N. Последние 2 компонента не требуют знания о внутреннем устройстве элемента N или множества N, для нас это суть формальные термы предиката, их внутренняя структура нас не интересует.
Кстати, да. У тех же бурбаков понятие равенства и его свойства достаточно строго определено. Берем теорему 1 пикрелейтед (х = х), и выводим из нее следующую, х = х, х/х = 1. Дальше аксиомы Пеано. Вот и определили N.
Запросто, клован. Ни числа, ни его свойств для определения множества не требуется в принципе. Иди Пеано во сне смотри, обиженный))
Еблан, у бурбаков в первом томе про теорию множеств вообще понятия числа не используется.
Долбаеб это ты, понятие "множества" в математике неопределяемо. Вот пруф
https://ru.wikipedia.org/wiki/Множество
>онятие множества обычно принимается за одно из исходных (аксиоматических) понятий, то есть несводимое к другим понятиям, а значит, и не имеющее определения
Я понимаю следствия теорем Геделя. Невозможно доказать непротиворечивость арифметики Пеано.
Во-первых, Гедель доказал, что любой набор правил вывода, способный правильно обосновать даже доказательства обычной арифметики, никогда не сможет обосновать доказательство своей собственной согласованности. Следовательно, нечего и надеяться найти доказуемо согласованный набор правил, который предвидел Гильберт. Во-вторых, Гедель доказал, что если какой-то набор правил вывода в некоторой (достаточно обширной) области математики является согласованным (неважно, доказуемо это или нет), то в пределах этой области должны существовать обоснованные методы доказательства, которые эти правила не могут определить как обоснованные.
Для систем, описанных в логике первого порядка, сильно аксиоматизированных.
Объясни, почему это не определение единицы.
А ты понимаешь вообще что тут написано? Разъяснить можешь? Или просто копипасту сюда вбросил, даже не чдумываясь?
Вот ты и слился. "Ваши пруфы - не пруфы", да? Суть в том, что единицу можно определить без определения числа как понятия. Только использованием теории множеств. Итого, единица определена, исходя из определения единицы все остальные натуральные числа выводятся в аксиоматике Пеано. Все, свободен, иди спи, может быть Пеано приснится))
А число и есть йоба-абстракция, прикинь. Единица - это что? Есть один шекель, один трап и один монгол. Что у них общего? То, что их по одному. Это и есть абстракция, тогда как например один шекель - это частный случай. Фишка в том, что с единицей можно манипулировать, не привязываясь к конкретному содержанию. И результат будет одинаковый для любого частного случая. Это и есть суть. Тогда как вот эта шизофазия >>341410>>341414>>341418 просто нежелание пить прописанные таблетки. Мудаку сто раз все разложили, а он все свою хуйлософию гонит.
мимо Миша Вербицкий
> Через 2 точки проходит одна единственная прямая. - Т.к. аксиомы ты считаешь "определением", получается что в определении объекта мы ссылаемся на сам объект. СамореференциЁ же!
Для аксиом планиметрии можно построить интерпретацию без интуитивного представления о прямых и точках. Для натуральных чисел это невозможно сделать.
> С индукцией та же фигня - ей нужны только понятия базы(1), функции следования;
Функция следования это и есть форма индукции.
> Итого, единица определена, исходя из определения единицы все остальные натуральные числа выводятся в аксиоматике Пеано.
Нет, для того что бы сознание смогло применить аксиомы Пеано ему априори требуется на уровне интуиции понимание индукции.
>для того что бы сознание смогло применить аксиомы Пеано
Фуфлософия. Тебе, еблану, уже сто раз показали, что все сводится к теории множеств, выключай свою шарманку про индукцию.
Так вы не юзайте философское понятие индукции, я против что ли? Проблема в том, что вы всегда это делаете когда пытаетеcь свести N к теории множеств.
>Так вы не юзайте философское понятие индукции,
Так уже. Тебе сто раз показано, как бурбаки вывели единицу без всякой твоей индукции.
Так вы выдергиваете куски цитат, опуская все что привело к ним. А там, у Бурбаки, до этого определения предполагается что уже известна логика формальных систем, где уже есть интуитивная индукция.
>Так вы выдергиваете куски цитат, опуская все что привело к ним.
Нет никаких цитат, там формула. Аксиомы Пеано так же записаны формулами. Соснул ты, признай уже.
Любая формула (так же как и аксиомы Пеано) не может висеть в воздухе, это элемент формальной системы. А теория ФС не может обойтись без индукции. У бурбаки теория ФС вообще считается как пререквизит и не описана.
>Любая формула (так же как и аксиомы Пеано) не может висеть в воздухе, это элемент формальной системы.
Что сводится к исчислению предикатов на основе аксиом ZFC. Где там какие фуфлософические индукции?
Ты совсем даун что ли? Исчисление предикатов без индукции невозможно определить. Иди читай учебники по матлогу.
12 inch peanist.
Отбрось гильбертовскую парашу в сторону. Аксиомы Пеано формулируются на естественном языке, например.
Ещё можно определить индукцию до Пеано, а потом просто сослаться на неё.
Определение? Ты в школе хоть учился?? А не определяют лишь из-за того, что они, по сути, применимы к любым группам, в которых определена функция следования. шах и мат треду
N множество нат. чисел (группа по сути) <=>для любого n, принадлежащего N, n^n >=n.
Семантика/смысл - это и правда пока "часть человеческого мозга". Формализмы и синтаксис уже как бе освоили. N можно рассматривать как синтактическую конструкцию, не более. "Физический смысл"/априорное знание нам здесь не нужен(но).
>цепочка, посвященная определению N. То есть натуральных чисел.
>почему же аксиомы Пеано не определяют N?
Формальное определение натуральных чисел в 1889 году сформулировал итальянский математик Пеано, основываясь на более ранних построениях Грассмана, в своей книге "Основания арифметики, изложенные новым способом" (лат. Arithmetices principia, nova methodo exposita). В 1888 году (за год до Пеано) практически в точности подобную аксиоматическую систему опубликовал Дедекинд. Непротиворечивость арифметики Пеано доказана (англ.) в 1936 году Генценом с помощью трансфинитной индукции до ординала ε0. Как следует из второй теоремы Гёделя о неполноте, это доказательство не может быть проведено средствами самой арифметики Пеано.
Википедия.
В общем, исходя из этого всего, Пеано смог сформулировать
>определение натуральных чисел.
>То есть натуральных чисел.
А не множества.
Поэтому, удваиваю шары >>353847-куна.
>определение натуральных чисел.
>То есть натуральных чисел.
Проиграл. Счётное и бесконечное множество натуральных чисел и понимается под "натуральными числами" вообще.
Пеано что, определил только несколько(конечное множество) чисел, оставив остальное потомкам? Его аксиомы задают всё их множество N.
Любые два бесконечные множества натуральных чисел равномощны. Не бывает несчётного множества натуральных чисел.
Счётное множество натуральных чисел - масло масляное, это я понимал, т.к. он эквивалентно самому себе и следовательно счётно.
В общем случае. А так-то иногда вполне может быть и элементом, и подмножеством.
Википедия лжет, Пеано дал не определение, а аксиомы которым удовлетворяет множество натуральных чисел. Но без самих натуральных чисал заданных каким-то другим способом, ты эти аксиомы не реализуешь, более того не сможешь их даже сформулировать без опоры на индукцию.
Шизик, сука, тебе сколько раз еще повторять, что формальное определение единицы есть у бурбаков?
В таком случае все претензии к Архимеду. Это он придумал, что натуральных чисел бесконечно много. До него люди думали, что чисел лишь конечное количество.
>Пеано дал не определение, а аксиомы которым удовлетворяет множество натуральных чисел.
Задание аксиоматики – один из способов определения объекта в математике.
>Но без самих натуральных чисал заданных каким-то другим способом, ты эти аксиомы не реализуешь, более того не сможешь их даже сформулировать без опоры на индукцию.
Причём здесь индукция и натуральное число?
{,{,{,{,{,{,{,{,{,{,{,{,{}}}}}}}}}}}}}
Врать не надо, ок? Вот как Бурбаки на самом деле определяли числа 0 и 1. Тем более в твоей википедии опечатка.
Это из первого тома, "теории множеств"? Какая страница? Ок, смотри. 0 и 1 формально определены. Дальнейшее описывается аксиомами Пеано. Вуаля, у нас есть формальное определение N. Оп-хуй соснул.
Из первого. Страницы 187 и 188.
Вообще-то чтобы определить натуральные числа, достаточно формально определить ординалы, затем сказать, что конечные ординалы - это ординалы, в точности меньшие первого предельного, и определить натуральные числа как конечные ординалы. Аксиомы Пеано станут на таком пути теоремами.
Проблема в том, что оп не верит в аксиому индуктивного множества в ZFC.
Чёт не вижу бурбаков там.
Это не вопрос веры, просто если не можешь дать корректное определение нужно в этом расписаться, типа считаем это понятие неопределяемым и интуитивно ясным. Если можешь, то дай корректное определение, без скрытой круговой зависимости.
Это когда ты говоришь определение, а N-петух говорит, что это не определение. И так по кругу.
Не катит, это во-первых формальная система, которая сама основана на индукции и во-вторых сформулирована в терминах теории множеств, которая мощнее N.
Ну и чем слова "нормированное векторное пространство, полное по метрике, порождённой нормой" отличаются от слов "ординал омега-нуль"?
Тем, что в первом случае мы реально выражаем новое понятие через уже определенные, а твой омега нуль, если начать распутывать всю цепочку, в итоге все равно упрётся в индукцию.
>основана на индукции
Что это значит?
>мощнее N.
В каком смысле «мощнее»? И почему ты сравниваешь паяльник с арбузом?
Почему нет? Опираясь на первые четыре аксиомы я могу перечислить все натуральные числа - назвать 1 (опираясь на первую аксиому), оттуда получить что число идущее за 1 тоже натуральное (вторая аксиома) и дальше повторять вторую аксиому пока не получу все числа. Опираясь на первые четыре аксиомы я могу определить является ли натуральным произвольное число - сначала проверить не является ли это число 1 (тогда оно натуральное по первой аксиоме) если нет то посмотреть какое число следует перед заданным - и если оно натуральное, то и заданное число натуральное (вторая аксиома). По-моему этого достаточно для определения N. Этого не достаточно для более полного определения арифметики - для многих утверждений нужна аксиома индукции, но N определено.
>Опираясь на первые четыре аксиомы я могу перечислить все натуральные числа
Нет, не можешь.
> пока не получу все числа.
Until forever.
> Опираясь на первые четыре аксиомы я могу определить является ли натуральным произвольное число
Нет, не можешь.
> По-моему этого достаточно для определения N.
Ты заблуждаешься.
> Нет, не можешь.
Нет, могу.
> Until forever.
Ничего не меняет.
> Нет, не можешь.
Нет, могу. Назви число натуральность которого я не смогу определить опираясь на 4 аксиомы, а буду вынужден применить индукцию.
> Ты заблуждаешься.
Ты этого не показал, а следовательно нет.
> Нет, могу.
Я тебе дальше привел аргументы, а ты занимаешься нетты-каньем.
> Ничего не меняет.
Меняет. Ты их никогда не получишь, если ты по-английски не понял.
> Назви число натуральность которого я не смогу определить
-1
> Ты этого не показал, а следовательно нет.
Неверное следование, кстати.
> Ты этого не показал.
Показал. Я рассчитывал на то, что ты сообразительный.
Сначала дай определение числу -1, и только потом проси доказать его натуральность. Вдруг под -1 ты понимаешь 1'''''''''?
Так как перед числом -1 (так как мы не имеем определения -1) не следует ни какое другое число получаем что перед ним нет натурального числа (аксиома 2) и так как -1 не равно 1 (аксиома 1) то оно не натуральное.
Есть. Конкретно в том случае используется рекурсия. В рекуррентную формулу подставляется 1 как особое задаваемое первой аксиомой значение, после чего рекуррентно подставляется результат формулы в результате чего мы получаем все натуральные числа. Это не имеет ничего общего с индукцией, ну кроме того что рекуррентная формула нужна для использования индукции - для индукции нужно сначала вычислить рекуррентную формулу в каком-нибудь виде.
Рекурсия это всего лишь переформулировка индукции только в других терминах, абсолютно ничего не меняет.
> и дальше повторять вторую аксиому пока не получу все числа.
Это и есть индукция тащемта. Т.е. ты говоришь индукция - это индукция, ну вот смотрите, показываю на пальцах. Но это не определение, а разъяснение неопределяемого понятия на примерах, точно так же как про множество говорят что это собрание предметов в мешке или прямую как длину без ширины.
>Это и есть индукция тащемта
>>358695
>Рекурсия это всего лишь переформулировка индукции
Нет. Рекурсия это всего лишь применение формулы к ее результату. А индукция - аксиоматические утверждение что если существует верное индукционное предположение, и это предположение верно также и для 1 то оно верно для всех натуральных чисел. Общего у индукции и рекурсии нет ничего, кроме того что индукционное предположение сводимо к некоторой рекуррентной формуле.
Если представить индукцию как некоторое множество утверждений то оно будет состоять из подмножества утверждений которые образую рекуррентную формулу и как минимум еще подмножества утверждений относительно числа 1. Так как рекурсия входит как подмножество в множество утверждений определяющих индукцию, при это это множество содержит еще и подмножество определяющее особый случай 1, которое не входит в подмножество утверждений связанных с рекуррентной формулой - то рекурсия не может являться индукцией - индукция содержит большее количество утверждений.
>так как мы не имеем определения -1
Кто не имеет? Ну определи его как наименьшее по модулю отрицательное число. Как отрицательные числа из натуральных получить вы надеюсь уже прошли?
>Так как перед числом -1 не следует ни какое другое число
Докажи.
>>358768
> индукция - аксиоматические утверждение
> индукция содержит большее количество утверждений
Господи, какую же ты хуйню несешь. Я надеюсь, что ты троллишь, да?
Еще раз:
> дальше повторять вторую аксиому пока не получу все числа
Ты понимаешь, что ты не можешь "повторять вторую аксиому пока не получу все числа" без аксиомы индукции? Ты понимаешь, что можешь только показать натуральность некоторого конечного количества чисел, но не можешь обобщить этот результат на бесконечное множество, если не используешь пятую аксиому?
Алсо, почитай, что такое рекурсия и что такое индукция, пожалуйста.
https://en.wikipedia.org/wiki/Recursion
https://en.wikipedia.org/wiki/Mathematical_induction
> Кто не имеет?
Мы не имеем. А нас в распоряжении аксиомы пеано. Если ты вводишь другие понятия то тебе следует определить их, чтобы было понятно о чем ты говоришь. Если ты соизволил определить -1 как "отрицательное число" то тут и аксиомы не нужны. Отрицательные числа не являются натуральными по определению.
> Докажи
Это прямое следствие из того что -1 не определено. Если определить -1 то (возможно) можно будет говорить про числа которые следуют за ним, в зависимости от определения. Пока -1 не определено - перед ним не может быть никаких чисел.
> хуйню несешь. Я надеюсь, что ты троллишь, да?
Ясно.
> ты не можешь
Могу. В этом смысл рекуррентной формулы.
>Алсо, почитай,
Ты бы сам лучше почитал что там написано. Алсо тебя прямо по предоставленой тобой ссылке обоссали
> Many mathematical axioms are based upon recursive rules. For example, the formal definition of the natural numbers by the Peano axioms can be described as: 0 is a natural number, and each natural number has a successor, which is also a natural number. By this base case and recursive rule, one can generate the set of all natural numbers.
>By this base case and recursive rule, one can generate the set of all natural numbers.
>and recursive rule
>recursive rule
Это и есть аксиома индукции, уебок. Зарепортил мудака.
Уважаемых математиков такой хуетой не затралишь, слишком толсто.
Что тут определять, ёбтвоюналево?
Натуральные числа = пересечение всех индуктивных множеств со вкинутыми туда операциями и свойствами из теории чисел.
Готово, бля - запилил!
Тред можно закрывать.
>интуиционизм
Лол, эта анальная клоунада что вроде кефирщиков из мира физики, или леваков от мира экономики.
>анальная клоунада что вроде кефирщиков
Аргументы будут? Так-то даже Брауэр был прав, несмотря на то, что физиологические основы восприятия времени человеком в те годы были неизвестны. Про конструктивизм и говорить нечего, вряд ли даже самый поехавший будет отрицать корректность конструктивного доказательства в математике.
Даунятко, я их все определил. 3 из них я только привел в качестве примера.
Ты не определил, а обозвал их палочками и всё. Я с тем же успехом могу тебе дать определение множества предложив называть его хуем.
>Ты не определил, а обозвал их палочками и всё.
Ну раз так сказал школьник с мейлру, то ладно.
Потому что это масло масляное. Пытаясь определить N, ты просто другими словами приводишь интуитивное описание того же самого.
PS Ты претендуешь на знание конструктивной математики и при этом даже не понял, что в ней конструктивные процессы (суть натуральные числа) это интуитивное, неопределяемое понятие.
>при этом даже не понял, что в ней конструктивные процессы (суть натуральные числа) это интуитивное, неопределяемое понятие.
В интуиционизме определяемое через интуицию времени пикрелейтед, в конструктивизме - через задание алфавита и производящих схем. Проблемс?..
И то и другое не является определением, а лишь иллюстрацией на пальцах. Типа как школьникам в геометрии чертят на доске чертежи.
Определение объекта в конструктивизме = задание правил его построения. У нас есть система Поста или что то же самое, алгорифм Маркова для построения натуральных чисел. Проблему ты сам придумал на ровном месте. Ребенок в детском саду прекрасно понимает что такое натуральное число. А ты хочешь какое-то определение, оторванное от самого натурального числа. Т.е. мистику какую-то тебе надо.
Прекращай, тебя даже твои собратья конструктивисты обосрали в другом треде. Хватит.
>тебя
Ты в слове "себя" ошибку сделал. Вопрос остается, какое вообще может быть определение объекта без самого объекта, в отрыве от него.
>себя
>себя
>позорится
А ничего, что это Маркова определение? Кроме ad hominem есть и другие аргументы, не, не слышал? Смешно с местных дурачков. В -тся-ться научись для начала, потом про позор рассказывай.
Ничего ты не дал. Ты только уходил от ответа. И если ответ есть, прикрекрепи на него сссылку.
Нахуй-нахуй, по сто раз одно и то же писать неинтересно. Как и искать конкретный пост. Я отвечал про фактически непостроимые числа, а именно что фактически они и не существуют, раз не построены, есть только правила их построения и т.о. потенциальная построимость. ИТТ же я хочу услышать ОПРАВДАНИЯ почему определение N по Маркову не определяет N.
Потому, что оно содержит порочный круг. Точно так же как множество нельзя строго определить как совокупность.
>множество нельзя строго определить как совокупность.
Множество как что-то общее, неконкретное, н-р по Кантору, да, нельзя. Рекурсивно-перечислимое, как конкретный конструктивный объект - можно.
>Да-да, мне тут полтора ебалая два треда пытаются рассказать, что конструктивная математика плохая, негодная. И ты так делай. Можешь начать с опровержения MLTT, или хотя бы с алгорифмов Маркова
Зачем опровергать какие-то узкие области из Computer Science? Они просто не имеют никакого отношения к математике, по простой причине: их нельзя применять в современном исследовании. Это как нестандартный анализ или алгебра диаграмм: можно на досуге позаниматься, но как дисциплины они абсолютно бесполезны.
Использование индукции ("и т.д."). В случае палочек предположение что мы можем к любой совокупности уже написанных палочек приписать еще одну.
>>392140
Ну так марковское определение (да и любое другое) приведенное выше работает на уровне канторовского определения множества.
>В случае палочек предположение что мы можем к любой совокупности уже написанных палочек приписать еще одну.
А типа мы не можем? Или что?
>Использование индукции ("и т.д.").
Есть функция следования succ, ее применять тоже нельзя, богородица не велит?
> марковское определение (да и любое другое) приведенное выше работает на уровне канторовского определения множества.
С чего бы? Ты не понимаешь разницы между канторовским множеством и рекурсивно-перечислимым конструктивным?
>>392145
>Зачем опровергать какие-то узкие области из Computer Science? Они просто не имеют никакого отношения к математике, по простой причине: их нельзя применять в современном исследовании.
Раз так сказал эксперт с мейлру, то точно. Конструктивная математика и в частности MLTT не имеет отношение к математике, языки с зависимыми типами нельзя применять, я тебя правильно понял?
>Конструктивная математика и в частности MLTT не имеет отношение к математике, языки с зависимыми типами нельзя применять, я тебя правильно понял?
Конечно, нет.
Вот приходит математик на работу и вдруг думает, а попробую-ка я применить конструктивную математику, а почему бы и нет, хуле!
И тут выясняется, что вся основа его предмета ( на деле любой области математики) доказана с помощью индукции на бесконечность, ее надо доказывать заново, причем нетривиальными методами, ведь даже такие утверждения как "простых чисел бесконечно много" предполагают собой поиск рекурсивной последовательности доказанно включающей в себя только простые числа (небось еще открытая проблема, лол).
Ну ладно, думает он, сейчас по-быстренькому докажу. Берет книги уровня undergraduate и начинает доказывать, и тут хуяк. Оказывается надо еще изучать какую-то теорию типов и неклассическую логику. Придется отложить доказательства, а взяться за изучение интуиционистской логики и теории типов.
Наш упорный математик не сдается, ну что уж взялся за гуж, да не говори, что не дюж. Покорно делает все упражнения, читает HoTT утром и Брауэра перед сном. Предположим, он как-то уложил в себя новые знания, а старые индуктивные методы забыл.
Он начинает доказывать все заново и тут вдруг встречает какую-нибудь хитрую логическую схему или абстрактный объект, например, из гомологической алгебры. Он думает: а как мне ее формализовать? И вдруг узнает, что это открытая математическая проблема, да и проблем таких дохуя, даже неясна связь между унивалетностью и параметризацией. В итоге он понимает, что не может продвинуться дальше уровня undergraduate в области, в которой работает всю жизнь, и стреляет себе в голову из двух пистолетов.
> А типа мы не можем? Или что?
С на каком основании ты это можешь сделать? Ты как школьник с которого требуют доказательства геометрической теоремы, а он в ответ говорит ну это же очевидно из рисунка, какие тут доказательства нхх.
> Есть функция следования succ, ее применять тоже нельзя, богородица не велит?
Что бы определить эту функцию тебе уже надо опираться на индукцию иначе ты этого не сделаешь чисто технически.
> С чего бы?
C того что оба они относятся к неформальному метаязыку, который дальше не поддается уточнению и формализации без появления замкнутого круга в определениях.
> Ты не понимаешь разницы между канторовским множеством и рекурсивно-перечислимым конструктивным?
В контексте нашего обсуждения разницы нет, так как в обоих случаях используется интуитивное представление множества как совокупности, то что во втором случае это очень ограниченный набор множеств сути не меняет, это лишь попытка отсечь противоречия возникающие в больших множествах типа множества всех множеств.
Так а какое определение тебе надо? Ты простую вещь пойми - даже тривиальные определения, оторванные от построимого объекта, и от балды, априорно, обобщенные на все вообще случаи, чреваты противоречиями и парадоксами. Казалось бы, что может быть проще канторовского определения множества? Однако, оно приводит к общеизвестным парадоксам. От этого не застрахованы даже обобщения конструктивных подходов, например парадокс Жирара, к которому приводил первый вариант MLTT.
>>392157
>Что бы определить эту функцию тебе уже надо опираться на индукцию иначе ты этого не сделаешь чисто технически.
Забудь ты про свои индукции, или формалистам про них рассказывай. Функция следования есть конструктивный объект, построимый и т.о. определенный. Где тут индукции?
>C того что оба они относятся к неформальному метаязыку, который дальше не поддается уточнению и формализации без появления замкнутого круга в определениях.
Определение Маркова - это построимый конструктивный объект, не нуждающийся для своего построения ни в каких метаязыках, индукциях и прочих религиозных построениях, не имеющих отношения к самому построимому конструктивному объекту.
>это лишь попытка отсечь противоречия возникающие в больших множествах типа множества всех множеств.
Противоречивыми могут быть только те множества, которые задаются формализмами, оторванными от построимости этих множеств. Конструктивное построимое множество не может быть противоречивым.
> Так а какое определение тебе надо? Ты простую вещь пойми - даже тривиальные определения, оторванные от построимого объекта, и от балды, априорно, обобщенные на все вообще случаи, чреваты противоречиями и парадоксами. Казалось бы, что может быть проще канторовского определения множества?
Нужно или дать корректное определение, или признать что его нет и считать это понятие исходным, не определямым. Почему-то с множеством так и поступают, а N почти всегда делают вид что определяют.
> Забудь ты про свои индукции, или формалистам про них рассказывай. Функция следования есть конструктивный объект, построимый и т.о. определенный. Где тут индукции?
Мдэ, тяжелый случай. Ты хоть читал своего Маркова? Он там еще во введении пишет, что считает понятие конструктивного процесса исходным и не определяемым. А оно по своей сути чуть шире интуитивной индукции (конструктивисты любят говорить об абстракции потенциальной осущетвимости, а это суть индукция). А ты мне предлагаешь на основе более широкого неопределямого понятия дать определение N. Ты бы еще из канторовской теории множеств определение N выводил.
> Определение Маркова - это построимый конструктивный объект, не нуждающийся для своего построения ни в каких метаязыках, индукциях и прочих религиозных построениях, не имеющих отношения к самому построимому конструктивному объекту.
Понятие конструктивного процесса у Маркова это метаязыковое неопределяемое интуитивное понятие. Что значит не нуждается, если оно явно или неявно, но содержит это все у себя в пререквизитах?
> Противоречивыми могут быть только те множества, которые задаются формализмами, оторванными от построимости этих множеств. Конструктивное построимое множество не может быть противоречивым.
К чему это высказывание? Речь шла про определение множества, я тебе указал что в обоих случаях они понимаются интуитивно, только в случае конструктивного подхода некоторые множества (которые неконструктивные) запрещены. В моей аналогии с натуарльными числами имелась ввиду только эта связь.
> Так а какое определение тебе надо? Ты простую вещь пойми - даже тривиальные определения, оторванные от построимого объекта, и от балды, априорно, обобщенные на все вообще случаи, чреваты противоречиями и парадоксами. Казалось бы, что может быть проще канторовского определения множества?
Нужно или дать корректное определение, или признать что его нет и считать это понятие исходным, не определямым. Почему-то с множеством так и поступают, а N почти всегда делают вид что определяют.
> Забудь ты про свои индукции, или формалистам про них рассказывай. Функция следования есть конструктивный объект, построимый и т.о. определенный. Где тут индукции?
Мдэ, тяжелый случай. Ты хоть читал своего Маркова? Он там еще во введении пишет, что считает понятие конструктивного процесса исходным и не определяемым. А оно по своей сути чуть шире интуитивной индукции (конструктивисты любят говорить об абстракции потенциальной осущетвимости, а это суть индукция). А ты мне предлагаешь на основе более широкого неопределямого понятия дать определение N. Ты бы еще из канторовской теории множеств определение N выводил.
> Определение Маркова - это построимый конструктивный объект, не нуждающийся для своего построения ни в каких метаязыках, индукциях и прочих религиозных построениях, не имеющих отношения к самому построимому конструктивному объекту.
Понятие конструктивного процесса у Маркова это метаязыковое неопределяемое интуитивное понятие. Что значит не нуждается, если оно явно или неявно, но содержит это все у себя в пререквизитах?
> Противоречивыми могут быть только те множества, которые задаются формализмами, оторванными от построимости этих множеств. Конструктивное построимое множество не может быть противоречивым.
К чему это высказывание? Речь шла про определение множества, я тебе указал что в обоих случаях они понимаются интуитивно, только в случае конструктивного подхода некоторые множества (которые неконструктивные) запрещены. В моей аналогии с натуарльными числами имелась ввиду только эта связь.
>Нахуй-нахуй, по сто раз одно и то же писать неинтересно.
Ты написал слово "Брауэер" более 300 раз за последнии три треда. А про слово "конструктивный" я вообще молчу. Давай не будем обманывать друг-друга. Ты только и делаешь что пишешь по сто раз одно и тоже.
>Я отвечал про фактически непостроимые числа, а именно что фактически они и не существуют, раз не построены, есть только правила их построения и т.о. потенциальная построимость.
Ты так и не ответил существуют ли они в виде Да/Нет. И сейчас уходишь от ответа. Ты говорил, что объект существует, если его можно построить. Раз число Грэма нельзя построить, то ты просто берёшь и веруешь в какую-то потенциальную построимость и правила построение. Чем твоя вера в потренциальную посроимость отличаеться от веры в Аллаха? Смотри, если мы будем лететь по космосу, то возможно когда-нибудь найдём Аллаха, то есть Аллах потенциально существует.
>Ты так и не ответил существуют
Я сто раз ответил - НЕТ, не существует, что именно в слове "нет" тебе не понятно-то?
>Чем твоя вера в потренциальную посроимость отличаеться от веры в Аллаха
Правила построения - сами по себе конструктивный объект, вера в Аллаха и, что одно и то же, актуальную бесконечность - нет.
>Смотри, если мы будем лететь по космосу, то возможно когда-нибудь найдём Аллаха, то есть Аллах потенциально существует.
Я тебе не помню какой уже раз советую - начни с себя, узнай что значит такое слово - "потенциально".
>>392163
Я тебе одно скажу - никакого определения N, оторванного от самих натуральных чисел нет и не может быть в принципе. Конструктивное определение N давным-давно используют в языках с зависимыми типами и прочими пруверами еще с дебрауновского AUT-68. Определение = построение, хотя бы в виде задания правил для такого построения.
> никакого определения N, оторванного от самих натуральных чисел нет и не может быть в принципе.
Распиши это все подробно и откуда ты это взял.
Определение объекта есть правило или правила его построения. Существование объекта есть возможность его построения. Натуральное число есть слово в алфавите |. Палку | ты непосредственно видишь перед собой. Например, ||| это 3. Любые другие "определения" нуждаются в определении определений, определенеии определения определений и т.д. С конструктивным же объектом все просто и понятно, даже если фактически построить его нет возможности из-за нехватки ресурсов, потенциальная возможность построения остается, а сами по себе правила построения есть конструктивный объект, который можно использовать.
>Определение объекта есть правило или правила его построения
С чего это вдруг? Если это не аксиома, то из чего это следует? Нет, правда скажи, из чего ты делаешь такие выводы?
>Существование объекта есть возможность его построения
Ты же сам сказал, что число Грэмма не существует!
>Натуральное число есть слово в алфавите |. Палку | ты непосредственно видишь перед собой. Например, ||| это 3
Ты не определил N, ты ничего не определил, а просто нарисовал три палки. Дай, как угодаю, ты считаешь, что N не надо вообще определять, а они уже как бы вшиты в нашу интуицыю, но итуицыя - последние, чему надо доверять, поскольку она подсказывает, что Земля плоская.
>Любые другие "определения" нуждаются в определении определений, определенеии определения определений и т.д.
Твои тоже. Определение слова, алфавита?
>С конструктивным же объектом все просто и понятно, даже если фактически построить его нет возможности из-за нехватки ресурсов, потенциальная возможность построения остается,
То есть весь конструктивизм основам на вере? Чем твоя возмозможность построения, лучше Аллаха?
>а сами по себе правила построения есть конструктивный объект, который можно использовать
Чем конструктивный объект лучше неконструктивного?
>Если это не аксиома, то из чего это следует?
Из фактически построенного конструктивного объекта. Всё бы вам в какие-то там аксиомы веровать.
>Ты не определил N, ты ничего не определил, а просто нарисовал три палки.
Конструктивный объект - это и есть его определение.
>Определение слова, алфавита?
Алфавит состоит из знаков, в данном случае - |, слово - знакосочетание, н-р |||. Конструктивные определения не предполагают верований во что-то отличное от конструктивных объектов, в которые в свою очередь веровать не нужно, т.к. они даны фактически и непосредственно.
Перекатывайтесь в обычный мат-тред https://2ch.hk/sci/res/392366.html (М)
Нечего по всей доске растекаться.
Это копия, сохраненная 26 января 2017 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.