GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.2 (3)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Аксиомы - зло.
shuklin
Сообщений: 2053
На: Аксиомы - зло.
Добавлено: 18 июл 09 22:13
с каких делов импликация залезла в аксиомы?
[Ответ][Цитата]
ИЦ
Сообщений: 3747
На: Аксиомы - зло.
Добавлено: 18 июл 09 22:36
.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Аксиомы - зло.
Добавлено: 19 июл 09 8:25
Там единственное правило МодусПоненс, с его помощью импликация не появится.
Все, для чего нет правил, делать нельзя. Приплетать Геделя, летать в космос.
Строгая дисциплина.
Можно эту теорию погрузить в другую формальную систему и посмотреть что та о ней думает. Но это не будут свойства этой системы.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Аксиомы - зло.
Добавлено: 19 июл 09 11:09
В аксиоматических системах больше внимания уделяется отношениям, а не объектам. Объекты просто точки куда можно прийти используя правила.

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

От формально системы требуется полнота вот этих средств конструивания, а с какими объектами она имеет дело не важно. Для изложения теории можно воспользоваться и натуралистичными образами, но потом оторваться от них будет трудно, т.к. наблюдения о реальности ограничены и человек будет мыслить в этих ограничениях. Лучше просто взять аксиомы. Как их потом у зубрилы отобрать и вернуть его в реальный мир это другой вопрос. Обычно для этого нужна практика. Без нее образование просто душевная травма. Где практика не возможна например дзен это прекрастно умеет, даже для самых запущенных случаев, включая отрубание совсем запорченной науками головы, самураи дзен уважали. Но обычно просто не предполагается что ученик уйдет в книги "с головой", надо уметь и отличать науку от реальности и соединять их то есть находить научные объяснения.
[Ответ][Цитата]
гость
91.78.16.*
На: Аксиомы - зло.
Добавлено: 19 июл 09 16:53

"Гиганты мысли, которыми вы так восхищаетесь, когда-то учили, что Земля плоская, а атом – мельчайшая частица материи. Вся история науки представляет собой последовательность ниспровергнутых заблуждений, а не безошибочных достижений".

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

"Не ищите логики. Все находится в противоречии ко всему остальному. Не существует ничего, кроме противоречий".

"Не ищите здравого смысла. Поиск смысла является отличительным признаком абсурда. Естеству не присущ смысл.

"Давайте же избавимся от этого предрассудка, который зовется логикой. Неужели какой-то силлогизм может помешать нам?"
[Ответ][Цитата]
ИЦ
Сообщений: 3747
На: Аксиомы - зло.
Добавлено: 19 июл 09 17:57
1.
А.Ну я если кем-то и восхищаюсь то только по конкретным темам.По некоторым темам эти гиганты мысли лажали по полной потому что были не такими уж и гигантами как некоторые себе представляют.Ну и что?Все теперь не верно?
Б.Ну если что-то там опровергали, то этож не значит что все будет опровернуто.Если все, то и ваша точка зрения?
Смешно читать, вы что-то доказываете, следите за логичностью своего базара, а потом говорите, что противоречия-это нормально.Не убедительно.Вы претендуете на абсолютную истинность своей точки зрения и при этом говорите, что все относительно.

2.Смысла я не понял, а сомнению как раз-таки официальтная наука не подвергает, это же у нее аксиомы

3.Бла-бла-бла.Доказательств у тебя нет так-что иди гуляй на свежий воздух.

4.То вы говорите, что когда абсурдно-это хорошо, то вы говорите, что плохо.Пора бы определиться

5.Давайте же избавимся от бардака в голове и обзаведемся логикой.
[Ответ][Цитата]
NewPoisk
Сообщений: 3745
На: Аксиомы - зло.
Добавлено: 21 июл 09 13:50
[Ответ][Цитата]
гость
188.162.60.*
На: Аксиомы - зло.
Добавлено: 21 июл 09 14:16
здесь все просто

А не может быть равно Б в одной системе отсчета.

соответственно аргументы 2 и 1 по разные стороны равенства представляют разные системы, причем вложенные одну в другую с массштабом 2/1, как и положено для связанных систем.

собственно, последнее и так видно из условия.

информация об этом есть ПО умолчанию.
[Ответ][Цитата]
гость
188.162.60.*
На: Аксиомы - зло.
Добавлено: 21 июл 09 14:18
ну и где здесь логическое противоречие, а?

бездарь.

иди логику учить, новым поиском воспользуйся, не поможет, еще раз воспользуйся, пока не вызубришь законы логики.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Аксиомы - зло.
Добавлено: 21 июл 09 14:28
если a=b то нельзя делить на (a-b)
[Ответ][Цитата]
ИЦ
Сообщений: 3747
На: Аксиомы - зло.
Добавлено: 21 июл 09 14:36
Цитата:
Автор: NewPoisk.narod.ru



Вот что бывает когда два физрука берутся за математику.
[Ответ][Цитата]
NewPoisk
Сообщений: 3745
На: Аксиомы - зло.
Добавлено: 21 июл 09 14:40
Цитата:
Автор: NO.

если a=b то нельзя делить на (a-b)

Верно!

2гость 188.162.60.*

>соответственно аргументы 2 и 1 по разные стороны равенства представляют разные системы, причем вложенные одну в другую с массштабом 2/1, как и положено для связанных систем.

Вам сюда: http://referats.yandex.ru/mathematics.xml
Как плохо что гостям нельзя редактировать собственые сообщения, правда?
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Аксиомы - зло.
Добавлено: 21 июл 09 14:57
[Ответ][Цитата]
гость
188.162.60.*
На: Аксиомы - зло.
Добавлено: 21 июл 09 16:18
"Как плохо что гостям нельзя редактировать собственые сообщения, правда?"

а разве я что то не так сказал?

я не собираюсь ничего редактировать, и вообще, мне это требуется крайне редко...
[Ответ][Цитата]
гость
188.162.60.*
На: Аксиомы - зло.
Добавлено: 21 июл 09 16:21
"если a=b то нельзя делить на (a-b)"

это еще кто запретил?

на ноль делить можно. НИКТО не может это запретить.
в логике вообще НЕТ операций запрещенных.

не верите?

поделите на ноль в булевой алгебре, что таки НИЧЕГО не получиться?

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

[Ответ][Цитата]
 Стр.2 (3)1  [2]  3<< < Пред. | След. > >>