Size: a a a

2021 September 27

AG

Alex Gryzlov in Disturbed
я могу написать физическую статью, где из ложных посылок будет выведена какая нибудь белиберда, например что скорость света равна -100 км/сек
источник

PZ

Pavel Zlatovratskii in Disturbed
Смотри. В математике мы можем измыслить некоторую идею.
Которая может быть доказана в зависимости от аксиом, хотя некоторые наборы аксиом будут бесполезны так как противоречивы.

В физике есть параллельный слой - наблюдаемая реальность. Благодаря нему мы можем проверить соответствие измышленной идеи реальности. И также наблюдать факты реальности, не имеющие объяснений в нынешней физической модели (т.е. истинность определяется вне зависимости от набора аксиом).
источник

AG

Alex Gryzlov in Disturbed
так нас не интересуют ложные утверждения, выведенные из противоречивых посылок, это и делает математику нетривиальной
источник

AG

Alex Gryzlov in Disturbed
такая же реальность существует и в математике, только мы её наблюдаем не барометрами и коллайдерами, а умственными и вычислительными экспериментами
источник

AG

Alex Gryzlov in Disturbed
мой поинт короче в том, что я не приемлю англосаксонский постулат о том что науки могут быть только эмпирическими
источник

u

u836 in Disturbed
с той лишь разницей что в умственном эксперименте воображаемый барометр может показывать что угодно и это не будет противоречием в отличие от физического
источник

AG

Alex Gryzlov in Disturbed
да нет, там очень просто упереться в тупик или противоречие, если играть честно
источник

PZ

Pavel Zlatovratskii in Disturbed
Эй! Ты сам обратил внимание что в математике мы не начинаем с аксиом :)
Поэтому ты придумав некоторую конструкцию можешь не знать требует она противоречивых посылок или нет.
А "истинность" в математике не определена без аксиом.

Например "сумма углов треугольника больше 180 градусов" - правда или нет?
источник

AG

Alex Gryzlov in Disturbed
вода кипит при 100 градусах - правда или нет?
источник

u

u836 in Disturbed
*спойлер - смотря в какой геометрии
источник

AG

Alex Gryzlov in Disturbed
*спойлер - смотря при каком давлении
источник

PZ

Pavel Zlatovratskii in Disturbed
Разница в том, что давление - условие задачи, а геометрия - уровень аксиоматики.
источник

AG

Alex Gryzlov in Disturbed
вы не понимаете это другое?
источник

@

@mr_tron in Disturbed
Ну вообще да
источник

u

u836 in Disturbed
про углы кстати хорошо. у нас, в нашем плоском пространстве, буквально есть циркуль и линейка, вполне себе физические, с помощью которых можно сколько угодно измерять сумму углов, с точностью до погрешности измерений.
источник

AG

Alex Gryzlov in Disturbed
в декарта
источник

AG

Alex Gryzlov in Disturbed
я мыслю, а значит декарт существует
источник

u

u836 in Disturbed
а там насколько кривое и в какую сторону у тебя пространство
источник

u

u836 in Disturbed
вобщем да, понятие метрики
источник

@

@mr_tron in Disturbed
оу-оу. а скольки-мерные исчисления в математике римана?
источник