(Untitled)

[foxhound_lj]

Мысль чел-овеческая, как говорит утёнок, всё время ходит по кругу и возвращается на круги своя с каким-то периодом, индивидуальным для каждого. Вот и я не исключение. Поэтому опять возвращаюсь к старому вопросу: насколько можно доверять математике?

Вот и брат Вавилов говорит, что скорее нельзя. Математики городят турусы на колёсах, и чем выше, тем

Comments

[akm762]

А отчего Вы излагаете это как предположение? Насколько я понимаю, в квантовой механике логика именно что перестаёт работать, отсюда "заткнись и считай" (т.е., специфическая математика как раз продолжает там ещё работать) и прочие ЭПР.

[foxhound_lj]

"...Я считаю, что это атомная гипотеза - можете называть её не гипотезой, а фактом, но это ничего не меняет."(ц)

Может, как раз на КМ и приходится пограничье.

[akm762]

=)

[johnconnor]

Мы просто неспособны представить себе альтернативную математику или логику.

Ну так и не-Евклидову геометрию не могли себе представить тысячи лет. А потом вдруг раз -- и представили. И ничего, все норм, Небо на Землю не упало. Ну и вот:

https://ru.wikipedia.org/wiki/Неклассическая_логика

[alex_mashin]

Математика изучает не реальный мир, а абстракции. Математические утверждения - это сложные тавтологии, повторяющие определения этих абстракций. Если работает логика, то работает и математика.

Может быть интересен вопрос, почему к фактам, наблюдаемым в реальном мире, мы применяем определённые правила выаода, а не другие. Возможно, потому что эти правила вывода обусловлены устройством человеческого разума и чувств: сочетания фактов, нарушающих правила вывода, принципиально человеком не наблюдаемы, независимо от физической обстановки. Там где есть такие сочетания, нет, не было, и не будет человека. Такой антропный принцип.

[foxhound_lj]

>Математика изучает не реальный мир, а абстракции.

Абстракции любой сложности всегда в конечном счёте основаны на опыте из реального мира.

>Там где есть такие сочетания, нет, не было, и не будет человека.Речь идёт о том, возможны ли формальные системы, содержащие в себе правила вывода (т. е. способные предсказывать результаты опыта), но такие, что их принципиально нельзя сформулировать, ни человеку, ни какому-то сравнимому с ним разумному существу. Другими словами, формальные системы, альтернативные всей известной математике/логике и несводимые к ней никаким образом, и поэтому абсолютно непостижимые, но полностью реальные (в том смысле, что работающие