wpiter, я не поленюсь и спрошу еще раз - как Вы объясняете существование двух взаимоисключающих геометрий - Евклида и Лобачевского, отличающихся всего одной аксиомой. Но зато сугубо полярно.
( Даже не буду еще о геометрии Римана спрашивать, а то запутаетесь в трех соснах)
Я ответа не получил вразумительного. Опять теория не доработана?
wpiter, я не поленюсь и спрошу еще раз - как Вы объясняете существование двух взаимоисключающих геометрий - Евклида и Лобачевского, отличающихся всего одной аксиомой. Но зато сугубо полярно.
в чем они полярно отличаются ?
ну одни видят прямой мир парраллеллей№ - а другие - ну немножко кривой. А Ты спроси косого - как он видит мир ?
Но. Если этот косой может управлять (приспособиться) к косому миру лучше, чем ты к - прямому, то не пей кальвадос на ночь - ...
wpiter, я не поленюсь и спрошу еще раз - как Вы объясняете существование двух взаимоисключающих геометрий - Евклида и Лобачевского, отличающихся всего одной аксиомой. Но зато сугубо полярно.
( Даже не буду еще о геометрии Римана спрашивать, а то запутаетесь в трех соснах)
Я ответа не получил вразумительного. Опять теория не доработана?
Это ошибочно, а происходит из математизма, где числа есть, а пространства нет.
геометрий нет много она одна.
Это ошибочно, а происходит из математизма, где числа есть, а пространства нет.
геометрий нет много она одна.
Ну вот теперь мы можем сформулировать определение математики в единственно доступной Wpiterу форме
( а то раньше мы питали надежды, что таких форм больше одной, сомневались, думали.... )
Определение математики
Математика — наука об объектах и закономерностях, которые не зависят от скорости света, времени и даже самого wpitera
Математика — наука об объектах и закономерностях, которые не зависят от скорости света, времени и даже самого wpitera
Не факт, что наличная математика не должна зависить от wpitera. Если индейцы, например, действительно не знали колеса, то почему инопланетяне обязаны знать, скажем, что такое действительное число?
Не факт, что наличная математика не должна зависить от wpitera. Если индейцы, например, действительно не знали колеса, то почему инопланетяне обязаны знать, скажем, что такое действительное число?
Незнание математики не освобождает от ответственности
Раньше wpiter отвергал нереальную математику на корню, сейчас же считает ее математизмом
wpiter написал(а):
Это ошибочно, а происходит из математизма
мы должны отметить несомненный прогресс.
Если же перевести мысли wpitera на нормальный язык то они сводятся к банальщине.
Существует только одна, истинная математическая модель, описывающая реальность.
Все остальные модели ошибочны.
При этом wpiter не знает этой модели для своей теории и считает, что мировая общественность должна дружно броситься ему эту модель строить, в терминологии wpitera, такая математика еще не создана.
С таким же успехом от мог бы сказать - вся Вселенная моя.
Построй мне межзвекорабли, мой храбрый народ, и ты увидишь, как я велик и могущественен
Но злые директора институтов уже узрели опасность
И не дают wpiterу их строить. А то бы он показал.
Если же перевести мысли wpitera на нормальный язык то они сводятся к банальщине.
Существует только одна, истинная математическая модель, описывающая реальность.
Все остальные модели ошибочны.
При этом wpiter не знает этой модели для своей теории и считает, что мировая общественность должна дружно броситься ему эту модель строить, в терминологии wpitera, такая математика еще не создана.
С таким же успехом от мог бы сказать - вся Вселенная моя.
Построй мне межзвекорабли, мой храбрый народ, и ты увидишь, как я велик и могущественен
Но злые директора институтов уже узрели опасность
И не дают wpiterу их строить. А то бы он показал.
Этому всех учили, но это неверно в принципе.
Реальность, - реализовала правила, - математику.
Реальность, - создала разум.
Как минимум, эти сущности должны быть как то связаны, - одной реальностью хотя бы.
А значит, обе сущности, должны как то влиять друг на друга, или иметь иные одинаковые проявления. В общем смысле, - одно, каким то странным образом зависит от другого.
Это не религия, - это ступень материализма, и боле высокая ступень понимания реальности, чем наивное отрицание связи разума, с законами изменения вселенной.
Если например человек что то придумал, или что то делает, - это означает, что и во вселенной что то происходит каким то образом похожее на эти проявления.
Теперь насчет «одной» модели, - все найденные модели в математике, - лишь проявления какой то общей единой модели, то есть ее составные части. И поэтому и евклидова геометрия, и неевклидова, - только разные стороны одной «медали».
И все дело в том, что «проявления» сторон так же могут происходить эволюционным способом.
Я утверждал, и утверждаю, что сама по себе математика, то есть обобщающие правила поведения и сознания, и каких то процессов во вселенной, - меняется, появляется и развивается, вместе с эволюцией вселенной.
То есть Вселенная эволюционирует, эволюционируют процессы, они усложняются, вмести с этим эволюционирует сознание, и соответственно происходит эволюция математики.
Нет, математика это то, чего вы до сих пор не понимаете.
wpiter написал(а):
Если например человек что то придумал, или что то делает, - это означает, что и во вселенной что то происходит каким то образом похожее на эти проявления.
Опять вы не правы - вот, например, некто Ущеко придумал решение тысячелетней проблемы трисекции угла. А во вселенной ничего похожего так и не произошло.
Я утверждал, и утверждаю, что сама по себе математика, то есть обобщающие правила поведения и сознания, и каких то процессов во вселенной, - меняется, появляется и развивается, вместе с эволюцией вселенной.
А все остальные это математикой не называют. Чувствуете разницу?
Если я буду называть водкой коктейль Сучий потрох, то все остальные пошлют меня на, и скажут пей сам свою водку
А мы будем пить настоящую.
У вас очень хитрый подход, вы вытаскиваете свое определение, в зависимости от того, как я его предложил.
А потом говорите, что я ничего не понимаю.
Но если математика в самом деле не зависит от моего расположения духа, от моих слов, и вообще от моего участия, так где то независимое определение абстракции, математики и того, что она производит?
Если она независима, то дайте независимые определения.
Но если математика в самом деле не зависит от моего расположения духа, от моих слов, и вообще от моего участия, так где то независимое определение абстракции, математики и того, что она производит?
Любое определение требует более базовых понятий и правил создания новых термов.
Вы же все это отвергаете.
Ваши определения уже целый клубок мыслей, выводов и определениями не являются
Это философская муть.
wpiter написал(а):
Реальность, - реализовала правила, - математику.
Реальность, - создала разум.
Как минимум, эти сущности должны быть как то связаны, - одной реальностью хотя бы.
А значит, обе сущности, должны как то влиять друг на друга, или иметь иные одинаковые проявления. В общем смысле, - одно, каким то странным образом зависит от другого.
Отвергаете обычный подход - извольте объяснять свои термины.
Что такое влиять. Что такое связаны. Иначе это СЕПУЛЬКИ.
Как я могу объяснить, что такое математика, если Вы своим мировоззрением отвергаете ее полностью.
Нужны общие точки, термы для создания рабочего определения.
wpiter написал(а):
Я утверждал, и утверждаю, что сама по себе математика, то есть обобщающие правила поведения и сознания, и каких то процессов во вселенной, - меняется, появляется и развивается, вместе с эволюцией вселенной.
То есть Вселенная эволюционирует, эволюционируют процессы, они усложняются, вмести с этим эволюционирует сознание, и соответственно происходит эволюция математики.
Любое определение требует более базовых понятий и правил создания новых термов.
Вы же все это отвергаете.
Ваши определения уже целый клубок мыслей, выводов и определениями не являются
Это философская муть.
Давайте отнесемся к математике, как языку.
Тогда, первично сформировать буквы этого языка, и добавить символы свойств.
А, б, в, …. И такие символы выбора - «или», «и», «не».
Потом мы строим теорию каких то чисел, и так далее.
У Вас нет понимания откуда вообще берутся свойства выбора, откуда эти буквы, - это первичные понятия.
Они за границами вашего языка, за границами математики, как науки вообще.
Но вы можете либо добавлять их, либо исключать, тогда получаются разные математические теории.
Коренное отличие моего подхода от вашего, что есть нечто, такая же абстракция, как и ваши буквы, и символы отношений.
Однако, моя система эволюционирует, и результатом этой эволюции, появляются отношения, которые являются буквами, и свойствами, этих букв, то есть символами выбора. Они могут быть полным набором, и их можно разделять для выяснения частных случаев. Однако сама абстрактная система от состояния «0», - отсутствия всех чисел и их отношений, к современному состоянию, а в будущем к более сложному, не переходит сразу, и однозначно, а проходит постепенно путь «проявлению» всех букв, и всех правил выбора свойств.
Метаматематика рассматривает формализованную теорию как множество некоторых конечных последовательностей символов, называемых формулами и термами, к которым добавляется множество операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью простых правил, служат заменой предложениям и функциям содержательной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам содержательной теории, выступают в качестве аксиом формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам содержательной теории. Множество формул и множество термов, рассматриваемые как множества конечных последовательностей с операциями, в свою очередь, могут быть объектами математического исследования.
Развитие метаматематики
В ранний период развития математической логики использовались в основном простые методы, исключались все нефинитные. Лидером этого направления был Д. Гильберт, полагавший, что с помощью простых методов метаматематике удастся доказать непротиворечивость фундаментальных математических теорий. Однако теоремы К. Гёделя показали, что программа Гильберта неосуществима. Использование финитных методов для исследования формализованных теорий является естественным в силу их очевидного финитного характера. Но на практике ограничение методов доказательства элементарными методами значительно усложняет математические исследования. Поэтому для более глубокого проникновения в сущность формализованных теорий современная метаматематика широко использует более сложные, нефинитные методы. Множество термов любой формализованной теории является алгеброй, и множество всех формул также является алгеброй. После естественного отождествления эквивалентных формул множество всех формул становится решеткой (структурой), а именно: булевой алгеброй, псевдобулевой алгеброй, топологической булевой алгеброй и т. п. — в зависимости от типа логики, принимаемой в теории. Эти алгебры, в свою очередь, связаны с понятием поля множеств и топологического пространства. С этой точки зрения представляется естественным применение в метаматематике методов алгебры, теории решеток (структур), теории множеств и топологии. Широко используется также гёделевский метод арифметизации и теория рекурсивных функций.
Теоремы Гёделя можно было воспринимать как «конец», но, свидетельствуя об ограниченности финитизма, формализма и связанной с ними гильбертовской программы, а также аксиоматического метода в целом, эти теоремы в то же время послужили мощным стимулом поиска средств доказательств (в частности, доказательств непротиворечивости) более сильных, чем финитные, но и в определённом смысле конструктивных. Одним из таких методов явилась трансфинитная индукция до первого недостижимого конструктивного трансфинита. Этот путь позволил получить доказательство непротиворечивости арифметики (Г. Генцен, В. Аккерман, П. С. Новиков, К. Шютте, П. Лоренцен и др.). Другим примером может служить ультраинтуиционистская программа обоснования математики, позволившая получить абсолютное (не пользующееся редукцией к какой-либо другой системе) доказательство непротиворечивости теоретико-множественной системы аксиом Цермело — Френкеля.
«СЕПУЛЬКИ — важный элемент цивилизации ардритов (см.) с планеты Энтеропия (см.). См. СЕПУЛЬКАРИИ».
«СЕПУЛЬКАРИИ — устройства для сепуления (см.)».
«СЕПУЛЕНИЕ — занятие ардритов (см.) с планеты Энтеропия (см.). См. СЕПУЛЬКИ».
Однако, моя система эволюционирует, и результатом этой эволюции, появляются отношения, которые являются буквами, и свойствами, этих букв, то есть символами выбора. Они могут быть полным набором, и их можно разделять для выяснения частных случаев. Однако сама абстрактная система от состояния «0», - отсутствия всех чисел и их отношений, к современному состоянию, а в будущем к более сложному, не переходит сразу, и однозначно, а проходит постепенно путь «проявлению» всех букв, и всех правил выбора свойств.
Да ничего у Вас не проходит.
На самом деле, все что Вы говорите, никакой ценности или сложности не имеет для современной метаматематики.
Выражаете своими словами понятия, для Вас мутные, и получается пурга.
И главное - высасывание пурги из трех пальцев
НИ ОДНОГО примера.
