Научный теизм: абсолютизация небытия отменяет бытие

Andrei Mihailov написал(а) к Boris Paleev в Dec 24 23:33:55 по местному времени:

Нello, Boris Paleev.
On 06.12.2024 13:59 you wrote:

BP>>> То есть, любую научную дисциплину, в которой имеются аксиомы, т.е. положения, принимаемые
BP>>> волевым решением без доказательств - мы выкидываем нахер из научных дисциплин!
AM>> Аксиома - это очевидное утверждение, поэтому не требующее доказательства.
BP> НетЪ. Аксиома - это положение, которые в рамках данной теории принимается (волевым решением)
BP> как истинное без требования доказательств. За пределами этой теории аксиома может быть и
BP> аксиомой, и выводом, и даже, как заведомо ложной идеей. Пример: пятый постулат Евклида,
BP> аксиома о параллельных прямых. Она является аксиомой в рамках евклидовой геометрии. А в рамках
BP> геометрии Лобачевского это не аксиома, а заведомо ложное утверждение. Потому что Лобачевский
BP> волевым решением назначил вместо неё другую аксиому.

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

BP>>> Также признаём ненаучными байками и списываем в раздел "фантастика" - всякие там теории о
BP>>> происхождении и эволюции жизни, Земли, звёзд и космоса, и о других явлениях природы, которые
BP>>> нельзя проверить экспериментом, организованным человеком.
AM>> Не байками, а гипотезами!
BP> "Гипотеза", с греческого, это "предположение". Предполагать можно что угодно, например, что за
BP> плинтусом живёт барабашка :-)

Хотел возразить, но вовремя увидел смайлик

BP>>> Ну, а такие науки, как история, вообще должны первым делом вылететь вон из Храма Наук,
BP>>> опережая звук собственного визга - и не возвращаться, пока не научатся экспериментально
BP>>> воспроизводить события прошлого во всей их полноте :-)
AM>> История не выдвигает теорий - она только констатирует и систематизирует факты давно
AM>> состоявшихся событий
BP> "Кто управляет прошлым, тот управляет будущим; кто управляет настоящим, тот управляет прошлым"
BP> (Оруэлл)

Управлять прошлым нельзя. Прошлое не изменишь, как бы ты этого не хотел. Прошлое можно только изучать.

--
С наилучшими пожеланиями! Опубликовано ХотДогом с планеты Ведроид
--- ХотДог/2.14.5/Android

Andrei Mihailov написал(а) к Boris Paleev в Dec 24 13:42:53 по местному времени:

Нello, Boris Paleev.
On 06.12.2024 15:40 you wrote:

BP>>>>> математическим языком. И какие на это могут быть возражения у атеистов? Что революционер
BP>>>>> математики Курт Гёдель был теоретически неправ?
AM>>>> Правоту теоретика может доказать только эксперимент. Пока теория не доказана экспериментом,
AM>>>> она остается гипотезой - т.е. всего лишь предположением, вполне возможно - ошибочным, не
AM>>>> смотря на всю ма стройность и математическую точность изложения.
BP>>> То есть, любую научную дисциплину, в которой имеются аксиомы, т.е. положения, принимаемые
BP>>> волевым решением без доказательств - мы выкидываем нахер из научных дисциплин!
CO>> Огорчу, аксиомы тоже доказываются. Догадаешься, как?
BP> Никак.

Ошибаешься

BP> Они или назначаются волевым решением

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

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

Именно таким методом аксиомы и доказываются.

--
С наилучшими пожеланиями! Опубликовано ХотДогом с планеты Ведроид
--- ХотДог/2.14.5/Android

Boris Paleev написал(а) к Cheslav Osanadze в Dec 24 18:33:02 по местному времени:

Нello Cheslav!

Friday December 06 18:49:06 2024 18:49:06, Cheslav Osanadze wrote to Boris Paleev:

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

BP>>>> То есть, любую научную дисциплину, в которой имеются аксиомы,
BP>>>> т.е. положения, принимаемые волевым решением без доказательств -
BP>>>> мы выкидываем нахер из научных дисциплин!

CO>>> Огорчу, аксиомы тоже доказываются. Догадаешься, как?

BP>> Никак. Они или назначаются волевым решением как принимаемые без
BP>> доказательств, или если вместо них назначается какие-то другие
BP>> утверждения, предыдущие - перестают быть аксиомами.

CO> Это если аксиома оказалось не верна.

Аксиома в рамках своей теории не может быть не верна.

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

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

CO> Иначе - она решается в рамках других научных теорий или посредством
CO> интерпретации данной теории.
CO> Т.е. доказательство существуют.

В рамках других теорий - определяются другие аксиомы.

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

Best regards, Boris

--- Ручка шариковая, цена 1.1.5-021027

Boris Paleev написал(а) к Andrei Mihailov в Dec 24 16:17:26 по местному времени:

Нello Andrei!

Friday December 06 23:33:54 2024 23:33:54, Andrei Mihailov wrote to Boris Paleev:

BP>>>> То есть, любую научную дисциплину, в которой имеются аксиомы, т.е.
BP>>>> положения, принимаемые волевым решением без доказательств - мы
BP>>>> выкидываем нахер из научных дисциплин!
AM>>> Аксиома - это очевидное утверждение, поэтому не требующее
AM>>> доказательства.
BP>> НетЪ. Аксиома - это положение, которые в рамках данной теории
BP>> принимается (волевым решением) как истинное без требования
BP>> доказательств. За пределами этой теории аксиома может быть и аксиомой,
BP>> и выводом, и даже, как заведомо ложной идеей. Пример: пятый постулат
BP>> Евклида, аксиома о параллельных прямых. Она является аксиомой в рамках
BP>> евклидовой геометрии. А в рамках геометрии Лобачевского это не
BP>> аксиома, а заведомо ложное утверждение. Потому что Лобачевский волевым
BP>> решением назначил вместо неё другую аксиому.

AM> Но просто так взять и выдать совершенно произвольное утверждение за
AM> аксиому все же нельзя -

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

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

Да, строгость построения математики требует, чтобы любая математическая система раскладывалась на аксиомы единственным образом.

То есть, если ты выдал совершенно произвольное утверждение за аксиому, твоя работа только начинается :-)

BP>>>> Ну, а такие науки, как история, вообще должны первым делом вылететь
BP>>>> вон из Храма Наук, опережая звук собственного визга - и не
BP>>>> возвращаться, пока не научатся экспериментально воспроизводить
BP>>>> события прошлого во всей их полноте :-)
AM>>> История не выдвигает теорий - она только констатирует и
AM>>> систематизирует факты давно состоявшихся событий
BP>> "Кто управляет прошлым, тот управляет будущим; кто управляет
BP>> настоящим, тот управляет прошлым" (Оруэлл)

AM> Управлять прошлым нельзя. Прошлое не изменишь, как бы ты этого не хотел.
AM> Прошлое можно только изучать.

Прошлое доступно человекам только через документы и воспоминания. А ими можно управлять.

Best regards, Boris

--- Ручка шариковая, цена 1.1.5-021027

Boris Paleev написал(а) к Andrei Mihailov в Dec 24 17:41:20 по местному времени:

Нello Andrei!

Saturday December 07 13:42:52 2024 13:42:52, Andrei Mihailov wrote to Boris Paleev:

BP>>>>>> математическим языком. И какие на это могут быть возражения у
BP>>>>>> атеистов? Что революционер математики Курт Гёдель был теоретически
BP>>>>>> неправ?
AM>>>>> Правоту теоретика может доказать только эксперимент. Пока теория не
AM>>>>> доказана экспериментом, она остается гипотезой - т.е. всего лишь
AM>>>>> предположением, вполне возможно - ошибочным, не смотря на всю ма
AM>>>>> стройность и математическую точность изложения.
BP>>>> То есть, любую научную дисциплину, в которой имеются аксиомы, т.е.
BP>>>> положения, принимаемые волевым решением без доказательств - мы
BP>>>> выкидываем нахер из научных дисциплин!
CO>>> Огорчу, аксиомы тоже доказываются. Догадаешься, как?
BP>> Никак.
AM> Ошибаешься

Пятый постулат Евклида уже доказали через другое евклидовы аксиомы? :-)

BP>> Они или назначаются волевым решением

AM> Так позволительно назначать только совершенно очевидные утверждения.
AM> Например, аксиома о том, что непараллельные прямые пересекаются в одной и
AM> только одной точке.

О да, Лобачевский назначил аксиомой совершенно очевидное утверждение:

"Через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её."

Это же любой может увидеть! После пары стаканов... :-)

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

AM> Именно таким методом аксиомы и доказываются.

Аксиомы из системы А не могут доказываться в системе аксиом Б.

Best regards, Boris

--- Ручка шариковая, цена 1.1.5-021027

Cheslav Osanadze написал(а) к Boris Paleev в Dec 24 06:32:34 по местному времени:

Привет Boris!

08 Дек 24 17:41, Boris Paleev -> Andrei Mihailov:

BP>>>>>>> математическим языком. И какие на это могут быть
BP>>>>>>> возражения у атеистов? Что революционер математики Курт
BP>>>>>>> Гёдель был теоретически неправ?
AM>>>>>> Правоту теоретика может доказать только эксперимент. Пока
AM>>>>>> теория не доказана экспериментом, она остается гипотезой -
AM>>>>>> т.е. всего лишь предположением, вполне возможно - ошибочным,
AM>>>>>> не смотря на всю ма стройность и математическую точность
AM>>>>>> изложения.
BP>>>>> То есть, любую научную дисциплину, в которой имеются
BP>>>>> аксиомы, т.е. положения, принимаемые волевым решением без
BP>>>>> доказательств - мы выкидываем нахер из научных дисциплин!
CO>>>> Огорчу, аксиомы тоже доказываются. Догадаешься, как?
BP>>> Никак.
AM>> Ошибаешься

BP> Пятый постулат Евклида уже доказали через другое евклидовы аксиомы?
BP> :-)

А почему не через "теорему Чеслова-Осанадзе"? Тебе доказательства нужны или что нужно?


Cheslav.


... Мужчины храпят, чтобы защитить женщин от диких зверей!
---

Boris Paleev написал(а) к Cheslav Osanadze в Dec 24 15:03:56 по местному времени:

Нello Cheslav!

Mon Dec 09 2024 06:32, Cheslav Osanadze wrote to Boris Paleev:

BP>>>>>>>> математическим языком. И какие на это могут быть
BP>>>>>>>> возражения у атеистов? Что революционер математики Курт
BP>>>>>>>> Гёдель был теоретически неправ?
AM>>>>>>> Правоту теоретика может доказать только эксперимент. Пока
AM>>>>>>> теория не доказана экспериментом, она остается гипотезой -
AM>>>>>>> т.е. всего лишь предположением, вполне возможно - ошибочным,
AM>>>>>>> не смотря на всю ма стройность и математическую точность
AM>>>>>>> изложения.
BP>>>>>> То есть, любую научную дисциплину, в которой имеются
BP>>>>>> аксиомы, т.е. положения, принимаемые волевым решением без
BP>>>>>> доказательств - мы выкидываем нахер из научных дисциплин!
CO>>>>> Огорчу, аксиомы тоже доказываются. Догадаешься, как?
BP>>>> Никак.
AM>>> Ошибаешься

BP>> Пятый постулат Евклида уже доказали через другое евклидовы аксиомы?
BP>> :-)

CO> А почему не через "теорему Чеслова-Осанадзе"?

Потому что нет такой теоремы.

CO> Тебе доказательства нужны или что нужно?

Доказательства от балды не формулируются. Они формулируются по правилам. Иначе будет чушь, хрень, сапоги всмятку. Как в анекдоте:

Решили два грузина сыграть в шахматы, а правил не знают.
Один ставит своего ферзя на середину доски и говорит "Мат!"
Второй ставит своего короля рядом с ферзём и говорит "Атэц!"

Best regards, Boris

--- Ручка шариковая, цена 1.1.5-021027