Автор Тема: Теоремы Гёделя  (Прочитано 66373 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн SE

  • Афтар жжот
  • ****
  • Сообщений: 1 758
  • Репутация: +3/-0
Re: Теоремы Гёделя
« Ответ #10 : 21 Октябрь, 2008, 14:21:36 pm »
Цитата: "KWAKS"
Тут Вы круто обожглись , ув. SE . Бог не настолько туУУп , чтобы Гёделю позволить водить себя за нос .

А если по серьёзному , то прочтите самоё определение неполноты системы , как таковой . Тогда , надеюсь , что и Вы поймёте , наличие достаточно богатой теории понадобилось Гёделю лишь для того , чтобы попытаться водить себя за нос . И других таких же "хитроу-цоу" как он сам .
Полнота системы - это когда любая формула выводима из аксиом этой теории.

Цитировать
А всё потому , что полнота системы , как таковой - видна уже на простейшем примере : F + neg F = 1 .
Из этого видна полнота? Вообще к чему и по каким правилам скаладывали это выражение? :shock:

Цитировать
Проблема в том, что ни бог ни мир не являются теорией первого порядка.
Мир не является, но любое познание строится на теории первого порядка.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SE »

Оффлайн Gav

  • Читатель
  • **
  • Сообщений: 23
  • Репутация: +0/-0
Re: Теоремы Гёделя
« Ответ #11 : 21 Октябрь, 2008, 14:52:01 pm »
Цитата: "SE"
Мир не является, но любое познание строится на теории первого порядка.
Зачем Богу что-то познавать, он же и так все знает, по определению.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Gav »

Оффлайн SE

  • Афтар жжот
  • ****
  • Сообщений: 1 758
  • Репутация: +3/-0
Re: Теоремы Гёделя
« Ответ #12 : 21 Октябрь, 2008, 15:02:02 pm »
Цитата: "Gav"
Цитата: "SE"
Мир не является, но любое познание строится на теории первого порядка.
Зачем Богу что-то познавать, он же и так все знает, по определению.
Не может он все знать... по теореме. :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SE »

Оффлайн alla

  • Афтар, пиши исчё!
  • *****
  • Сообщений: 3 493
  • Репутация: +4/-2
Re: Теоремы Гёделя
« Ответ #13 : 21 Октябрь, 2008, 15:27:53 pm »
Цитата: "SE"
Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т.д.

Из теорем Гёделя следует невозможность существования абсолютного знания, которым, как создатель всего бытия, необходимо должен обладать бог.


SE, если бы человечество принимало теории как истинный факт/истинное знание/, то я с вами согласна, ни о какой возможности существования абсолютного знания и речи быть не может. Но Гёдель говорит о ТЕОРИЯХ! Если теории не верны, то никакое знание на них невозможно построить, и не только абсолютное, но и относительное.
Его теоремы применимымы ТОЛьКО к теориям!!! SE, я не думаю,что, как человек разумный вы будете утверждать, что нужно верить каждой теории. Вот когда теория доказана, она становиться истинным фактом или абсолютным знанием. Как то, что 1+1=2. Это знание абсолютно, а на нём можно строить другое абсолютное знание, как 2+1=3. А вот как писал/а/ КWAKS, что F+negF=1, то это не абсолютное знание, а арифметическая ошибка, так как F+negF=0.
Только абс. знание приводит к новому абс.знанию. А теории могут приводить к нов. теоpиям. И если они истинны, то человечество будет продвигаться вперёд, а если они ошибочны, то они будут приводить в тупик или к разрушению. Тот факт, что люди долгое время принимали теорию о том, что Земля плоская ни к чему хорошему их не привело, а вот некоторые замечательные умы оказались жертвами этой теории.
Есть ли какой-то предел абсолютному знанию? Не знаю. Но не буду отрицать, что это возможно.
« Последнее редактирование: 21 Октябрь, 2008, 15:29:53 pm от alla »
УКРАИНА, ДЕРЖИСЬ!
СЛАВА КИМ ЧЕН ПУТ ИНУ!

Оффлайн Бессмертный

  • Афтар жжот
  • ****
  • Сообщений: 2 476
  • Репутация: +0/-0
Re: Теоремы Гёделя
« Ответ #14 : 21 Октябрь, 2008, 15:28:40 pm »
Цитата: "SE"
Мир не является, но любое познание строится на теории первого порядка.
А аргументировать..
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Бессмертный »
[size=92]Чернь считает религию истиной, мудрец — ложью, правитель — полезным изобретением.
Сенека, Луций Анней.[/size]

Оффлайн Gav

  • Читатель
  • **
  • Сообщений: 23
  • Репутация: +0/-0
Re: Теоремы Гёделя
« Ответ #15 : 21 Октябрь, 2008, 15:38:04 pm »
Цитата: "SE"
Цитата: "Gav"
Цитата: "SE"
Мир не является, но любое познание строится на теории первого порядка.
Зачем Богу что-то познавать, он же и так все знает, по определению.
Не может он все знать... по теореме. :)
Теорема же не вводит ограничений на аксиомы.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Gav »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Теоремы Гёделя
« Ответ #16 : 21 Октябрь, 2008, 15:43:25 pm »
Цитата: "SE"
Цитата: "KWAKS"
Тут Вы круто обожглись , ув. SE . Бог не настолько туУУп , чтобы Гёделю позволить водить себя за нос .

. . . И других таких же "хитроу-цоу" как он сам .
Полнота системы - это когда любая формула выводима из аксиом этой теории.

Цитировать
А всё потому , что полнота системы , как таковой -

видна уже на простейшем примере : F + neg F = 1 .
Из этого видна полнота? ... по каким правилам скаладывали это выражение? :shock: ....
По формально-логическим скаладывали Мы . См. ниже :
Цитата: "alla"
Цитата: "SE"
Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. ...

SE, ...!!! SE, я не думаю,что, как человек разумный вы будете утверждать, что нужно верить каждой теории. Вот когда .. 1+1=2. Это знание абсолютно, а на нём можно строить .. 2+1=3. А вот как писал/а/ КWAKS, что F+negF=1, то это не абсолютное знание, а арифметическая ошибка, так как F+negF=0.
...
Ув. alla . Откройте любой(даже самый захудалый) учебник по логике и на соотв. стр. прочтите : дизъюнкция любого высказывания F и его отрицания negF - ВСЕГДА будет высказыванием верным .

Следовательно : F+negF=1, то это - однозначно абсолютное знание .
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн alla

  • Афтар, пиши исчё!
  • *****
  • Сообщений: 3 493
  • Репутация: +4/-2
Re: Теоремы Гёделя
« Ответ #17 : 21 Октябрь, 2008, 15:58:17 pm »
Цитата: "KWAKS"
Ув. alla . Откройте любой(даже самый захудалый) учебник по логике и на соотв. стр. прочтите : дизъюнкция любого высказывания F и его отрицания negF - ВСЕГДА будет высказыванием верным .
Следовательно : F+negF=1, то это - однозначно абсолютное знание .


А я не знала, что вы о дизъюнкции. Извиняюсь.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от alla »
УКРАИНА, ДЕРЖИСЬ!
СЛАВА КИМ ЧЕН ПУТ ИНУ!

Оффлайн Nussi

  • Афтар жжот
  • ****
  • Сообщений: 1 277
  • Репутация: +11/-1
Re: Теоремы Гёделя
« Ответ #18 : 21 Октябрь, 2008, 16:19:55 pm »
Цитата: "KWAKS"
 
 попытка доказать непротиворечивость длюбой теории средствами самоё этой теории - живо напоминает Мюнхгаузена , который сам себя за волосы вытащил из болота .


Вах, вах, вах!
Что-то мне это напиминает... Где-то я уже это читала... или писала?
Но ничего страшного: приятно, когда тебя цитируют, даже без упоминания авторства :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Nussi »
"Религия - это область, куда разуму разрешено проникнуть лишь при условии собственного самоупразднения".

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Теоремы Гёделя
« Ответ #19 : 21 Октябрь, 2008, 16:31:20 pm »
Цитата: "Nussi"
Цитата: "KWAKS"
 
.. непротиворечивость длюбой теории средствами самоё этой теории - живо напоминает Мюнхгаузена , который сам себя за волосы вытащил из болота .

Вах, вах, вах!... : приятно, когда тебя цитируют, даже без упоминания авторства :)
Потому что этот факт - давно уж стал нар. творчеством , которое принято цитируять, даже без упоминания авторства :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.