Добро пожаловать в форум, Guest  >>   Войти | Регистрация | Поиск | Правила | В избранное | Подписаться
Все форумы / Сравнение СУБД Новый топик    Ответить
Топик располагается на нескольких страницах: Ctrl  назад   1 .. 30 31 32 33 34 35 36 37 38 [39]
 Re: SQL, есть ли выход из СКорЛупы?  [new]
Пьяный Лох
Member

Откуда:
Сообщений: 3652
Шуклин, раз уж Вы вышли из красноармейского запоя, не будете ли Вы столь любезны продемонстрировать "противоречия в пределах исходной аксиоматики ZFC"? Или признать тот факт, что постоянно пытаетесь говорить о вещах, в которых ни ухом, ни рылом? (тады я повторю второй и третий вопросы, потертые вторым котом)
26 фев 06, 22:21    [2392626]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
shuklin
Member

Откуда: Харьков
Сообщений: 799
Пьяный Лох
Шуклин, раз уж Вы вышли из красноармейского запоя, не будете ли Вы столь любезны продемонстрировать
Ох не вышел еще, но очередной раз продемонстрирую, для хорошего человека не жалко ))))
Пьяный Лох

"противоречия в пределах исходной аксиоматики ZFC"?

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

Я писал, что приведенная аксиоматика либо протеворечива, либо имеет ограниченную область применения. А ограниченна ли / либо протеворечива - зависит уже от ее интерпретации.

1. Любая аксиоматика не существует без системы ее выполнения. Так перечисленные 10 аксиом, это вовсе не полный их набор. Интерпретации операций, собственно синтаксис и прочее подразумеваются. Язык ТМ не является строго формальным в том смысле, что не подразумевает автоматического выполнения. Для выполнения языка ТМ требуется человек. А всем известно, человеку свойствены такие особенности как наличие точки зрения и свободы воли. Поэтому приведенную аксиоматику ТМ можно интерпретировать разными способами, даже в пределах одной научной школы либо одного учебника. В связи с этим мой тезис о протеворечивости/ограниченности можно понимать в том смысле, что независимо от точки зрения приведенная система либо ограниченна, либо противоречива, - одно из двух обязательно. Либо первое, либо второе. А что конкретно, уже зависит от выбранной точки зрения. Тоесть ZFC не обязательно протеворечива, существуют точки зрения, в кторых ZFC не протеворечива, но ограничена. Одну из таких точек зрения мы уже рассматривали.

2. Система аксиом предназначена для использования. Сама по себе она не предсавляет интереса. Использование системы аксиом предполагает постановку в ее контексте некоторого утверждения и приданию этому утверждению одного из значений: "синтаксически не корректно", "правда", "ложь", "неизвестно". Несмотря на декларируемый принцип отрицания третьего, даже синтаксически верные тезисы могут быть интерпретированны как неизвестные. Тоесть уже здесь мы имеем тонкий и сомнительный момент.

3. Для демонстрации своего исходного тезиса о протеворечивости/ограниченности я предложил оценить истинность/ложность своего тезиса.
А. Выяснили что тезис записан синтаксически корректно, либо может быть записан синтаксически корректно - следовательно вариант с синтаксической некорректностью можно не рассматривать.
Б. Выяснили, что в пределах 10 аксиом тезис является "нетривиальным высказыванием" и его истинность не может быть определена. Тоесть в пределах 10 аксиом его значение - "неизвестно".

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

5. Итого возвращаясь уже к исходному набору из 10 аксиом можно заключить, что применение в аксиоматике квантора всеобщности, операции непринадлежности к множеству и аксиомы существования пустого множества является более мягким запрещающим условием, чем разрешающая аксиома 5 и позволяет иметь множество всех элементов что ведет уже в пределах этих 10 аксиом к возможности формирования парадокса рассела, ведь дополнительной запрещающей аксиомы ZFC-F в пределах ZFC-10 нету. А с 11й аксиомой ZFC становится ограниченной но непротеворечивой (? это еще вопрос).

Итак, что и требовалось доказать, либо протеворечива, либо ограничена.
27 фев 06, 15:13    [2394982]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
Локшин Марк
Member

Откуда: Воронеж
Сообщений: 3155
Шуклин, честно, это вы тут материал на д.ф.-м.н. нарабатываете?
27 фев 06, 23:07    [2396864]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
Ц4
Guest
Шиза косила наши ряды...
27 фев 06, 23:20    [2396882]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
shuklin
Member

Откуда: Харьков
Сообщений: 799
Локшин Марк
Шуклин, честно, это вы тут материал на д.ф.-м.н. нарабатываете?
Ага, только материал для д.т.н. (05.13.23)
28 фев 06, 00:06    [2396967]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
pavelvp
Member

Откуда:
Сообщений: 673
Новость для Андрея Леонидовича!
Появился анонс конференции «Корпоративные базы данных-2006».
Там же есть и условия участия.
28 фев 06, 13:05    [2398715]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
Локшин Марк
Member

Откуда: Воронеж
Сообщений: 3155
shuklin
Ага, только материал для д.т.н. (05.13.23)

Н да...
А чего же не на д. ф.-м.н., это же пристижнее, да и тематика не совпадате - фундаментальные исследования в области теории множеств это уж скорее что-то из 01. ?
28 фев 06, 14:07    [2399105]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
vadiminfo
Member

Откуда: Обнинск
Сообщений: 4802
Локшин Марк

да и тематика не совпадате - фундаментальные исследования в области теории множеств это уж скорее что-то из 01. ?

Какие же они фундаментальные - на уровне введений по ТМ для начинающих.
Чего стоят мысли про строки - отношения. ТМ исследовали более продвинутые парни. А у них в Харькове похоже можно все что хошь можно защитить. Наговори по больше всякого и готово.
28 фев 06, 14:15    [2399155]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
Локшин Марк
Member

Откуда: Воронеж
Сообщений: 3155
vadiminfo
Какие же они фундаментальные - на уровне введений по ТМ для начинающих.

Да ну, Вы что. Свобода воли, точка зрения... не хватает только плюрализма мнений. А какой сильный результат получен - либо протеворечива, либо ограничена. Раз так, и выяснили. И заметьте, все "на пальцах" объясняется, даже без использования формул. А, наверное поэтому и 05. Хотя там тоже нужно доказывать... Может быть это 10. ?
28 фев 06, 14:46    [2399363]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
mir
Member

Откуда: Томск
Сообщений: 1027
Вадим, Марк же иронизировал. Что так ведешься-то :)
28 фев 06, 16:44    [2400165]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
mv
Member

Откуда:
Сообщений: 8876

Я узнал, что ЧАЛ - это бот!!!!!!!!!!!

Нас тут разводят!!!!!

И кто-то с этого колбасится.

Posted via ActualForum NNTP Server 1.3

6 мар 06, 00:23    [2419378]     Ответить | Цитировать Сообщить модератору
 Re: SQL, есть ли выход из СКорЛупы?  [new]
c127
Guest
vadiminfo

Какие же они фундаментальные - на уровне введений по ТМ для начинающих.
Чего стоят мысли про строки - отношения. ТМ исследовали более продвинутые парни. А у них в Харькове похоже можно все что хошь можно защитить. Наговори по больше всякого и готово.

Таж это ж к.т.н., чего Вы хотите, к.т.н.-ы везде такие попадаются, не только в Харькове, хотя конечно встречаются и очень грамотные. У shuklin-а тема совсем другая, такие исследования по ТМ даже на к.т.н. бы не прошли, разве что на философских наук или еще лучше какие-нибудь космоведические науки в академии вибрационных исследований мирового разума.
6 мар 06, 10:02    [2419984]     Ответить | Цитировать Сообщить модератору
Топик располагается на нескольких страницах: Ctrl  назад   1 .. 30 31 32 33 34 35 36 37 38 [39]
Все форумы / Сравнение СУБД Ответить