Ключевое слово
30 | 05 | 2020
Новости Библиотеки
Шахматы Онлайн
Welcome, Guest
Username: Password: Remember me

TOPIC: Аксиомы и Догмы №2

Аксиомы и Догмы №2 19 Май 2013 05:22 #511

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 85205
  • Thank you received: 1274
  • Karma: 78
Выделим из темы
Современное христианство -3
pirron wrote:
Уверены ли вы, что фмзик, используя высказывание в своей теории в качестве аксиомы, предварительно доказывает его недоказуемость и вообщеот стремится использовать только принципиально недоказуемые высказывания?
Нет. Физиков эти проблемы вообще мало волнуют :) Я вот помню, как на квантовой механике в уравнении легко выкидывали член, который стремился к бесконечности :) Правильно или неправильно это, неважно. Главное соответсвие эксперимента теории.
Не является ли именно этот признак высказывания, которое он делает аксиомой в своей теории, ему совершенно безразличным?
Является.
Каждому - своё.
Last Edit: 19 Май 2013 05:28 by Vladimirovich.

Аксиомы и Догмы №2 19 Май 2013 05:47 #512

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 85205
  • Thank you received: 1274
  • Karma: 78
pirron wrote:
Действительно ли доказано, что его аксиомы принципиально недоказуемы?

А вот этот вопрос некорректный. Дело в том, что аксиома недоказуема по определению.

Разумеется, в рамках выбранного базиса аксиом. В каком либо другом базисе тоже самое утверждение может быть вполне доказуемо
Как только аксиома вдруг окажется доказуемой, она перестанет быть аксиомой.

Кроме того, не нужно делать из аксиом культа :) Она не истинна и не ложна изначально
Изначально это просто предположение, ответ на вопрос - а что если.
Например - мы не знаем - корень из 2 - рациональное число или нет.
Мы делаем предположение - пусть рациональное...
И через несколько шагов получаем противоречие. Оппа...Не судьба нашему предположению стать аксиомой.
Если же мы такого противоречия не встретим, то и аксиома и ее отрицания могут жить очень долго.
Может быть кто-то опровергнет одно из отражений Амбера, а может и нет.
Для каких то аксиом уже доказано, что их нельзя опровергнуть имеющимся базисом. Для каких то нет

Типичным примером долгоиграющей "аксиомы" была теорема Ферма. Наконец то ее вроде доказали, но могло быть и так, что она так и осталась бы недоказуемой

"Теория, мой друг, суха, Но зеленеет жизни древо" (с)
:beer:
Каждому - своё.

Аксиомы и Догмы №2 10 Нояб 2015 18:46 #513

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 85205
  • Thank you received: 1274
  • Karma: 78
У меня появился новый образ в параллельной теме :)
quantoforum.ru/physics/1903-teoriya-szha...lyu?start=870#344180
Каждому - своё.
Moderators: Grigoriy
Рейтинг@Mail.ru

Научно-шахматный клуб КвантоФорум