Форум ''Интернет и Право''
28 Марта 2024, 19:37:42 *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.

Войти
Новости: Форум "Интернет и Право" прекратил свою работу с 01 января 2013 г.
 
   Начало   Помощь Поиск Войти Регистрация  
В закладки:
Страниц: 1 ... 3 4 [5]   Вниз
  Печать  
Автор Тема: Аксиомы.  (Прочитано 24222 раз)
Виталий К.
Специалист
Частый посетитель
*****
Офлайн Офлайн

Пол: Мужской
Сообщений: 1628


Все не так как кажется


« Ответ #40 : 29 Мая 2003, 20:39:45 »

Я согласен с Вами, Urix.

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

Но может быть мы все же перейдем к авторскому праву? Вы хотите сформировать список суждений (аксиом) (мне кажется это малоперспективным, о чем я писал в самом начале) и список основополагающих понятий (это уже более перспективно)?
Записан
Urix
Гость


E-mail
« Ответ #41 : 29 Мая 2003, 20:45:44 »

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

Я уже дал ответы, на поставленные Вами вопросы. Обоснование моих ответов будет находиться в разделах "информация" и "творчество". Что касается перспективности/бесперспективности - Гёдель доказывает, что всё одинаково важно. Просто мы разговариваем на разных языках. С одними и теми же символами (терминами) мы связываем разные понятия.
« Последнее редактирование: 29 Мая 2003, 20:49:11 от Urix » Записан
Виталий К.
Специалист
Частый посетитель
*****
Офлайн Офлайн

Пол: Мужской
Сообщений: 1628


Все не так как кажется


« Ответ #42 : 02 Июня 2003, 11:21:16 »

Не знаю точно что Вы имеете в виду под "операциями над объектами в виде аксиом", поскольку операции над объектами и есть суждения, соответственно разграничения с аксиомами формальной логики тут проводить не приходится.
Записан
Urix
Гость


E-mail
« Ответ #43 : 02 Июня 2003, 12:32:08 »

Под операцией можно понимать, например, сумму. Или, в Вашем случае - суждение. Базовые операции задаются аксиоматически, остальные конструируются используя эти правила. Поэтому это и называется пространством. Все можно делать (и рассуждать тоже) не выходя за рамки первоначально заданных опредеделений в виде аксиом.
Записан
Страниц: 1 ... 3 4 [5]   Вверх
  Печать  
 
Перейти в:  

Яндекс цитирования © Антон Серго, 1998-2012. Правовая информация.
Карта сайта "Интернет и Право" (internet-law.ru).

На правах рекламы:

Произвольная ссылка:







Powered by SMF 1.1.21 | SMF © 2011, Simple Machines