Началось! Или о предельной скорости.

[BJIaquMup]

Теорема Гёделя запрещает существование непротиворечивых теории

Здрасте!
Вот как она гласит: "Логическая полнота любой системы аксиом не может быть доказана в рамках этой системы."
Логическая полнота, а не запрет на существование. Разницу наблюдаете?

[В.И.Костицын]

Здрасте!
Вот как она гласит: "Логическая полнота любой системы аксиом не может быть доказана в рамках этой системы."
Логическая полнота, а не запрет на существование. Разницу наблюдаете?

Ну что Вы, у Гёделя 2 теоремы. Почитайте вторую.

[Alex-M]

...
Тема исчерпана. Нужно ждать новые подтверждения.
...

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

[Мастеров АВ]

Наш физик Юрий Чугаевский предсказал существование суперсветовых нейтрино еще к 1995 г. - написано в его книге "Куда движется физика?"

Обалдеть! (Миша, ссылочку в интернете дай.)

[Михаил Гонца]

У меня есть его книга 1995г. Но в Интернете ссылку не знаю.
Вряд ли есть.
Он мне вчера лично позвонил и напомнил.

[Вашкевич Виктор]

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

Нет, ты все-таки признайся, на кого ты работаешь?

[ival]

Совсем мало отличается. Сколько существует человеческое сознание, столько сущствует понятие Бога. Только сперва Его "структуру" в виде идола какого-нибудь примитивно воспринимали, а теперь глубже пытаемся узнать.

+!   

Вот Он, б-гоидол!

[Мастеров АВ]

У меня есть его книга 1995г. Но в Интернете ссылку не знаю.
Вряд ли есть.
Он мне вчера лично позвонил и напомнил.

Так что же он в обсуждениях не участвует?

Он?

http://old.computerra.ru/online/influence/14383/

Чугаевский Юрий Власьевич – псевдофизик, член Международной ассоциации психотронных исследований, автор книги “Куда движется физика?”.

Пипец! Его заявления можно воспринимать серьёзно?

Горбачёв:
-- В 2000-ом году каждая российская семья будет иметь отдельною квартиру или дом. (Я так думаю.) Или - нет.

Чугаевский Юри:
-- Нейтрино может иметь скорость, больше скорости света. (Я так думаю.) А может и не иметь.

[filosa]

Теорема Гёделя запрещает существование непротиворечивых теории, это с одной стороны.
А с другой стороны, если теория непротиворечива, то в ней не хватает аксиом.

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

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

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

Недоказуемым, например, логика может оперировать через апофатическое определение явлений. Нельзя полноценно описать, что есть добро, но можно определить, что это противоположность зла. Но зло само так же определется противопоставленностью добру. Определяются друг через друга. И логика отношения явлений оказывается понятна, не смотря на замкнутость апофатического определения.

А в диффернциальном исчислении? Сперва делим конечное на бесконечно малые, а потом складываем бесконечно много. И умеем обходить эти неопределённости так, что потом пользуемся вполне рациональной логикой, критерием правильности которой является именно непротиворечивость.

Ну, например, на такой границе познания стоят такие явления, как пространство и время. Сколько вариантов определений  существует? Сколько на веру принимается, но с разной глубиной теории на основе разного уровня систем аксиом.

[filosa]

Здрасте!
Вот как она гласит: "Логическая полнота любой системы аксиом не может быть доказана в рамках этой системы."
Логическая полнота, а не запрет на существование. Разницу наблюдаете?

Я и говорю о противоречивости ТО уже в рамках даже принятой системы аксиом, а не вне их, откуда и положено нарваться на не доказанность и противоречие доказанного внутри.

[aid]

Я и говорю о противоречивости ТО уже в рамках даже принятой системы аксиом, а не вне их

А какие примеры этой противоречивости?

[В.И.Костицын]

А какие примеры этой противоречивости?

А возьмите проблему дискретности и непрерывности.
Суть противоречий в том, что невозможно доказать, дискретно или непрерывно пространство и время.
Надо принимать одну из аксиом. Вам какая по нраву?

[aid]

А возьмите проблему дискретности и непрерывности.
Суть противоречий в том, что невозможно доказать, дискретно или непрерывно пространство и время.
Надо принимать одну из аксиом. Вам какая по нраву?

Это не имеет отношения к внутренним противоречиям ТО. Следующая проблема.

[В.И.Костицын]

Это не имеет отношения к внутренним противоречиям ТО. Следующая проблема.

Это имеет прямое отношение к ТО.
Если пространство и время непрерывные, то существуют бесконечно большие скорости передачи взаимодействия. Что ТО категорически отрицает.

[Мастеров АВ]

Это имеет прямое отношение к ТО.
Если пространство и время непрерывные, то существуют бесконечно большие скорости передачи взаимодействия. Что ТО категорически отрицает.

Существуют, теоретически.
Практически - весьма затруднительно.
ЭМВ движутся  с конечной скоростью, но материя может двигаться быстрее скорости света.
Проблема в том, что материя, скорость которой выше скорости света, с неподвижной материей не взаимодействует. Мы для гиперсветовой материи прозрачны абсолютно, так же как и она для нас.

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

[Alow]

А возьмите проблему дискретности и непрерывности.
Суть противоречий в том, что невозможно доказать, дискретно или непрерывно пространство и время.
Надо принимать одну из аксиом. Вам какая по нраву?

Это легко доказывается, если знать физику, и знать как атомизские взаимодействия и континуумные взаимодействия. Физику надо знать, а не ублюдочные аксиомы придумывать, пальцем в заднице ковыряя. Атомизм и континуум - это противоположности и взаимодействуют он по разному.

[aid]

Это имеет прямое отношение к ТО.
Если пространство и время непрерывные, то существуют бесконечно большие скорости передачи взаимодействия. Что ТО категорически отрицает.

Вы не поняли - это не внутренняя, а внешняя проблема. Речь шла про внутренние противоречия.

[В.И.Костицын]

Вы не поняли - это не внутренняя, а внешняя проблема. Речь шла про внутренние противоречия.

Это и есть самое настоящее внутреннее противоречие физической теории.
В СТО и ОТО пространство непрерывное, а в КМ - квантованное.
Вот я и говорю, Вы за белых (ОТО, СТО) или за красных (КМ)?

[aid]

Это и есть самое настоящее внутреннее противоречие физической теории.
В СТО и ОТО пространство непрерывное, а в КМ - квантованное.
Вот я и говорю, Вы за белых (ОТО, СТО) или за красных (КМ)?

То, что в КМ пространство квантованно - это Вы тоже сам придумали?

[В.И.Костицын]

То, что в КМ пространство квантованно - это Вы тоже сам придумали?

Не в первый раз Вы заставляете меня смотреть справочники. Последний раз делаю это. Извольте на собственные вопросы сами и отвечать.

В квантовой теории фактически ис­пользуются более общие пространства, чем пространство Гильберта, так как во многих случаях встречаются векторы с бесконечной длиной. Это подсказывает, что в данном блоке аксиом содержатся некоторые избы­точные условия на квантово-механические системы. Впрочем, это харак­терно и для аксиоматики геометрии пространства-времени, где, кроме точек с реальными частицами, рассматриваются и все промежуточные (пустые) точки.

Чистые состояния квантовой системы описываются ненулевыми векторами  комплексного сепарабельного гильбертова пространства

Сепара́бельное пространство (от лат. separabilis — отделимый) - топологическое пространство, в котором содержится не более чем счётное всюду плотное множество.

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

При измерении любой квантовой наблюдаемой, возможно получение только ряда фиксированных её значений, равных собственным значениям её оператора — наблюдаемой.