psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2005-12-21 08:14 pm

О догмах, аксиомах, постулатах и параллельных прямых, которые пересекаются

Полный текст тут:
http://psi-logic.shadanakar.org/psi/minia.htm

Сподвигло меня на написание этой хрени очередная досадная ошибка одного неглупого человека. Избранные цитаты в качетстве "заманухи" ;)

Очень многие, даже вполне разумные, безупречно вменяемые люди делают эту ошибку: приводят в качестве примера аксиомы фразу "Параллельные прямые не пересекаются"...
...
Добавление определений можно еще сравнить с изучением иностранного языка: вы слышите незнакомое слово и узнаете, что оно означает.
...
человек начинает сомневаться и задает неудобные вопросы типа: "А вот на сфере сумма углов треугольника не 180 градусов - и как же так?"
...
Распространено заблуждение, что аксиомы в науке не проверяются.
...
Для истинного ученого опровержение постулата есть радость, говорящая о том, что
открывается новая область для исследований и открытий. А если более приземленно: это отличная возможность
для написания статей, диссертаций и получения сопутствующих регалий и материальных поощрений.

[identity profile] firtree.livejournal.com 2005-12-22 02:27 pm (UTC)(link)
[ В другой - да. А в этой? А в этой - аксиома. ]

Как раз в той, в которой проверяешь - _не_ аксиома.

[ Вот когда я проверяю утверждение, что "c" постоянно - это я что проверяю - теорему? ]

Вообще-то это постулат, а не аксиома. По результатам проверки ты аксиому либо принимаешь (включаешь в аксиоматику), либо нет.

[identity profile] psilogic.livejournal.com 2005-12-22 02:31 pm (UTC)(link)
[ Как раз в той, в которой проверяешь - _не_ аксиома. ]

А в другой аксиома. И пока не проверишь, полезного применения не получишь.

[ Вообще-то это постулат, а не аксиома. ]

Спор о терминах :)

[identity profile] firtree.livejournal.com 2005-12-23 01:03 pm (UTC)(link)
Именно что о терминах. Ты поправляешь людей, неправильно использующих термин "аксиома", и при этом сам поступаешь не лучше.

[identity profile] psilogic.livejournal.com 2005-12-23 01:05 pm (UTC)(link)
Я поправляю не за то, что они неправильно используют термин. Читай, что я называл ошибками, а где просто упоминал о том, что бывает называют так, а бывает - и эдак...