Вспоминаются "Дети капитана Гранта" где маленький мальчик -туземец кажется в Австралии или Новоц Зеландии, сдавал экзамен по географии Паганелю. По его убеждению вся земля принадлежит Англии и если та захочет, то и Луна тоже.
Что-то сегодня у меня день литературных ассоциаций :)
Это сложный вопрос.tari_birdJanuary 13 2021, 13:55:15 UTC
Я не математик, но слышал от брата-математика, что есть целый ряд математических систем, различающихся в самых своих основах. То есть, несколько совсем разных математик.
Ну, они несколько "про разное", насколько я могу судить. В этом смысле - да, не стыкуются. Речь, как я понимаю, о том, что геометрия Лобачевского не утверждает что "Теория целых чисел - ложная!"
В вики пишут вот такое (сам я судить не берусь - рылом не вышел): Аксиома детерминированности уже самим своим существованием вызвала большой интерес у специалистов по основаниям математики, ей посвящено немало публикаций[3], особенно в области дескриптивной теории множеств. По мнению сторонников этой аксиомы, ситуация в теории множеств сейчас напоминает положение после открытия неевклидовой геометрии - можно признать, что существует не одна теория множеств, а по крайней мере две, и вопрос о том, какая из них правильная, лишён смысла.
> вопрос о том, какая из них правильная, лишён смысла
Ну и как это совместить с представлением, что "теория множеств есть основа всей математики"? Именно и выйдет, что "есть несколько разных противоречащих друг другу математик".
Вот это-то, как раз, совершенно элементарно. Это значит что все существующие математики - неверные (не полные). И где-то существует прекрасная математика будущего (Великая математика), которая их объединит (примерно как Великое объединение в физике). Просто она, пока, не нашла своего Перельмана.
Теорема 1. Существует подмножество прямой, не измеримое по Лебегу.
Теорема 2. Не существует подмножества прямой, не измеримого по Лебегу.
И как перельманы будущего должны вот это "объединять"? В физическом "великом объединении" речь идёт, вообще-то, о построении единой теории заведомо различных явлений - а никак не о "примирении" прямо противоположных тезисов об одном и том же объекте.
Мне уровень (недостаток, если угодно) образования не позволяет обсуждать подобные вещи. То есть я реально не понимаю как эти две теоремы могут быть истинными одновременно. Ничего кроме аналогии на принцип неопределённости Гейзенберга в голову вообще не приходит :)
Есть британский английский, американский английский, австралийский английский ... Такой вот великий и могучий английский язык. И математикой тоже самое, есть такая, а есть сякая.
Вспоминаются "Дети капитана Гранта" где маленький мальчик -туземец кажется в Австралии или Новоц Зеландии, сдавал экзамен по географии Паганелю. По его убеждению вся земля принадлежит Англии и если та захочет, то и Луна тоже.
Что-то сегодня у меня день литературных ассоциаций :)
Reply
Reply
Reply
Reply
Reply
Они не противоречат, но не стыкуются в принципе.
Reply
Речь, как я понимаю, о том, что геометрия Лобачевского не утверждает что "Теория целых чисел - ложная!"
Reply
С уважением,
Гастрит
Reply
Аксиома детерминированности уже самим своим существованием вызвала большой интерес у специалистов по основаниям математики, ей посвящено немало публикаций[3], особенно в области дескриптивной теории множеств. По мнению сторонников этой аксиомы, ситуация в теории множеств сейчас напоминает положение после открытия неевклидовой геометрии - можно признать, что существует не одна теория множеств, а по крайней мере две, и вопрос о том, какая из них правильная, лишён смысла.
Reply
Ну и как это совместить с представлением, что "теория множеств есть основа всей математики"? Именно и выйдет, что "есть несколько разных противоречащих друг другу математик".
С уважением,
Гастрит
Reply
Reply
Теорема 2. Не существует подмножества прямой, не измеримого по Лебегу.
И как перельманы будущего должны вот это "объединять"? В физическом "великом объединении" речь идёт, вообще-то, о построении единой теории заведомо различных явлений - а никак не о "примирении" прямо противоположных тезисов об одном и том же объекте.
С уважением,
Гастрит
Reply
То есть я реально не понимаю как эти две теоремы могут быть истинными одновременно. Ничего кроме аналогии на принцип неопределённости Гейзенберга в голову вообще не приходит :)
Reply
С уважением,
Гастрит
Reply
Есть британский английский, американский английский, австралийский английский ...
Такой вот великий и могучий английский язык.
И математикой тоже самое, есть такая, а есть сякая.
Reply
Reply
Leave a comment