pargentum: (Morda)
[personal profile] pargentum
http://kouzdra.livejournal.com/2146196.html

Мне кажется, или Куздра начинает воспроизводить аргументацию Бугаева времен дискуссии об основаниях праксеологии?

Date: 2014-09-21 06:36 am (UTC)
From: [identity profile] kouzdra.livejournal.com
Вы про ответ сигнамаксу или про основной пост?

Date: 2014-09-21 06:42 am (UTC)
From: [identity profile] pargentum.livejournal.com
Про корневой

Date: 2014-09-21 06:57 am (UTC)
From: [identity profile] kouzdra.livejournal.com
Я не очень понимаю какую аргументацию я "воспроизвожу"*. Равно как и вообще не вижу в данном посте никакой аргументации. Просто некоторый ликбез, действительно полезный как иллюстрация к предыдущему (в плане пояснения тезиса "доказуемость ≠ истинность") но и только.

*) Кстати мне было бы любопытно узнать, что я по вашему тут аргументирую - Сигнамаксу вот арабы там померещились
Edited Date: 2014-09-21 07:00 am (UTC)

Date: 2014-09-21 08:17 am (UTC)
From: [identity profile] pargentum.livejournal.com
Что именно вы аргументируете, мне, в данном случае, не очень интересно.

Date: 2014-09-21 08:26 am (UTC)
From: [identity profile] kouzdra.livejournal.com
То есть вам померещилась аргументация того не знаю, чего? Ну тады ой.

Date: 2014-09-21 08:34 am (UTC)
From: [identity profile] pargentum.livejournal.com
Нет.

Приведенный аргумент интересен тем, что он, с одной стороны, формально-логически приложим к любой дискуссии. А с другой стороны, он равно невалиден в любой дискуссии. Из ложного утверждения следует все, что угодно. То, что Бугаев его использовал для критики праксеологии, а вы - для чего-то, что мне даже не интересно, только подчеркивает его универсальность.

Date: 2014-09-21 08:49 am (UTC)
From: [identity profile] kouzdra.livejournal.com
Из ложного утверждения следует все, что угодно.

Оп. Так уже интереснее - давайте подробнее - где вы видите ложное утверждение?

Date: 2014-09-21 09:39 am (UTC)
From: [identity profile] pargentum.livejournal.com
Оно сделано не вполне в явном виде: что не существует истины вне формальных моделей.

Date: 2014-09-21 11:31 am (UTC)
From: [identity profile] kouzdra.livejournal.com
Там как бе сделано несколько иное утверждение - можно сказать даже прямо противоположное: >... "формальная истинность" в математике вещь довольно узко понимаемая - в отличие от неформальной, которая там тоже есть...

PS: То есть как я уже выше сказал - я иллюстрировал простой тезис - "доказуемость ≠ истинность" (каковой таки да - и у Экзепюри) - на примере науки, которая про доказуемость знает если не все, то очень много.

Таки одного примера для опровержения (или по крайней мере постановки под сомнение) общего утверждения достаточно. Тут пример хорошо известный и строго формализованный - что облегчает дискуссию.
Edited Date: 2014-09-21 11:35 am (UTC)

Date: 2014-09-21 12:35 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Ну, кроме математического понимания истины существуют и другие формальные понимания. Физическое, например. И в физике истинность как раз неотделима от доказуемости (истинность утверждения, не поддающегося экспериментальной проверке, не обсуждается).

Date: 2014-09-21 01:21 pm (UTC)
From: [identity profile] kouzdra.livejournal.com
Я тем не менее это оговорил, равно как и оговорил, что даже в математике это определение не единственное. Но тут такое дело - если в каком-то случае "доказуемость ≠ истинность", то и в остальных - автоматом это уже неверно.

Вы собственно же делаете классическую ошибку - на утверждение "А не всегда верно", вы приводите пример, когда "А все-таки верно".

Другое дело, что пример ваш кривой - эксперимент никогда не доказывает истинность - вот опровергнуть он может. Причем:

истинность утверждения, не поддающегося экспериментальной проверке, не обсуждается

Это вы тоже неправы - очень даже обсуждается - гелиоцентрическая теория и СТО vs преборазования Лоренца были приняты не по причине возможности экспериментальной проверки - на уровне обоих противостояний она была принципиально невозможна.

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

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

Но не смогли.

Date: 2014-09-21 02:03 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Другое дело, что пример ваш кривой - эксперимент никогда не доказывает истинность
Эксперимент может доказать, что значение x лежит в диапазоне от y до z с вероятностью P. И это и есть та истина, которой оперируют физики.

Гелиоцентрическую теорию приняли до появления физики в современном понимании этого слова.

А СТО была принята как раз на основе экспериментальных данных (эксперимента Майкельсона-Морли).

Date: 2014-09-21 03:00 pm (UTC)
From: [identity profile] kouzdra.livejournal.com
Эксперимент может доказать, что значение x лежит в диапазоне от y до z с вероятностью P. И это и есть та истина, которой оперируют физики

Тем не менее - это само по себе ничего не доказывает.

А СТО была принята как раз на основе экспериментальных данных (эксперимента Майкельсона-Морли)

Хи-хикс - с одной стороны вычислительно корректная модель увязанная с этим опытом была построена до СТО (Лоренцом как раз), с другой стороны сам Эйнштейн утверждал, что он этот опыт вообще в виду не имел - а занимался увязкой классической электродинамики с классической механикой - то есть занятием чисто математическим: устранением противоречий и выстраиванием целостной и более простой теории.

Date: 2014-09-21 03:09 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Тем не менее - это само по себе ничего не доказывает.
И чё?

сам Эйнштейн утверждал, что он этот опыт вообще в виду не имел
Проблему эфирного дрейфа решали за некоторое время до решающего опыта, продемонстрировавшего, что этого дрейфа нету. И чё?
И обратите внимание, что я говорил не про то, как СТО была придумана, а про то, почему она была принята.
Edited Date: 2014-09-21 03:10 pm (UTC)

Date: 2014-09-21 03:20 pm (UTC)
From: [identity profile] trurle.livejournal.com
А СТО была принята как раз на основе экспериментальных данных (эксперимента Майкельсона-Морли).

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

Date: 2014-09-21 03:46 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Эта городская легенда проникла в фейнмановские лекции по физике и в педивикию: https://en.wikipedia.org/wiki/Michelson%E2%80%93Morley_experiment#Length_contraction_and_Lorentz_transformation

Date: 2014-09-21 04:22 pm (UTC)
From: [identity profile] trurle.livejournal.com
Преобразования Лоренца решали проблему порожденную теорией Максвелла, а эксперимент Майкельсона изящно подтвердил существование проблемы.
И преобразования Лоренца, объясняющие как мнимое противоречие между теорией Максвелла и классической физикой, так и опыт Майкельсона, были выведены до СТО, исходя из теории эфира.

СТО во многих отношениях лучше той замысловатой конструкции хитрого эфира которую строил Лоренц.

Date: 2014-09-21 04:46 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Противоречия между теорией Максвелла и классической физикой вообще-то нету. Принцип относительности Галилея ничего не говорит о том, как электромагнитные поля должны себя вести в движущейся системе отсчета.

Собственно, сам термин "эфир" появился после того, как было показано, что уравнения Максвелла в том виде, в каком они записаны, неинвариантны по отношению к движению системы отсчета. Что и породило гипотезу о выделенной системе отсчета, связанной с электромагнитным полем. Но ведь в классической физике отсутствие такой системы не постулировалось, постулировалось только то, что сама классическая механика инвариантна.

Тем не менее, именно результаты эксперимента Майкельсона-Морли сподвигли Лоренца на вывод пресловутых преобразований.

А СТО - попытка объяснить, как должна была бы выглядеть кинематика и законы сохранения импульса в мире, где геометрия подчиняется преобразованиям Лоренца.

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

Date: 2014-09-21 05:03 pm (UTC)
From: [identity profile] trurle.livejournal.com
Что и породило гипотезу о выделенной системе отсчета, связанной с электромагнитным полем.

Выделенная система отсчета отвратительна с эстетической точки зрения, как Земля на слонах на черепахе!

Тем не менее, именно результаты эксперимента Майкельсона-Морли сподвигли Лоренца на вывод пресловутых преобразований.

Отчасти да, но преобразования Лоренца это еще не СТО, сам Лоренц полагал что эфир хитро сжимает предметы при движении. Там, правда, в два хода получалась чепуха еще хуже чем выделенная система отсчета,

Date: 2014-09-21 05:20 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Отвратительность сама по себе не аргумент.

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

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

Date: 2014-09-21 10:45 pm (UTC)
From: [identity profile] psilogic.livejournal.com
[ Другое дело, что пример ваш кривой - эксперимент никогда не доказывает истинность - вот опровергнуть он может. ]

...и тем самым докажет истинность противоположного утверждения (в смысле логического отрицания).

Нет, там развилка не в доказательстве/опровержении.

Date: 2014-09-22 12:14 am (UTC)
From: [identity profile] kouzdra.livejournal.com
...и тем самым докажет истинность противоположного утверждения (в смысле логического отрицания).

Это кстати только если классическую логику принимать - а ее применимость довольно ограничена

Date: 2014-09-22 01:31 am (UTC)
From: [identity profile] pargentum.livejournal.com
А какую логику надо применять? Мраксистскую диалектику?

(кстати, физики действительно оперируют логикой, в определенном смысле неклассической)

Date: 2014-09-21 01:58 pm (UTC)
From: [identity profile] pascendi.livejournal.com
У Вас на Куздре фиксация? :-)

Может быть, кого-нибудь еще почитать?

Возможно

Date: 2014-09-21 02:05 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Если сравнивать его, например, с [livejournal.com profile] supermipter, или с маститым публицистом, так он просто светоч и титан мысли.

Re: Возможно

Date: 2014-09-21 02:07 pm (UTC)
From: [identity profile] pascendi.livejournal.com
Да, суперимптер персонаж знатный...

Date: 2014-09-21 10:54 pm (UTC)
From: [identity profile] psilogic.livejournal.com
аа... значит не я один хватаюсь за револьвер при малейшем намеке на "расширительные" толкования теоремы о неполноте :)

Profile

pargentum: (Default)
pargentum

January 2026

S M T W T F S
     1 2 3
4 5 6 7 8 9 10
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 11th, 2026 03:01 pm
Powered by Dreamwidth Studios