Теоремы Гёделя

[Nussi]

Пусть будет народное творчество - лишь бы шло на пользу людям!

[SE]

Тут Вы круто обожглись , ув. SE . Бог не настолько туУУп , чтобы Гёделю позволить водить себя за нос .

. . . И других таких же "хитроу-цоу" как он сам .

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

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

видна уже на простейшем примере : F + neg F = 1 .

Из этого видна полнота? ... по каким правилам скаладывали это выражение? :shock: ....

По формально-логическим скаладывали Мы . См. ниже :

Как из F + neg F = true следует, что любая формула (или ее отрицание) выводима из аксиом этой теории? Кто тут облажался?

А аргументировать..

Логика первого порядка (исчисление предикатов) — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Являясь формализованым аналогом обычной логики, логика первого порядка дает возможность строго рассуждать об истинности и ложности утверждений и об их взаимосвязи, в частности, о логическом следовании одного утверждения из другого, или, например, об их эквивалентности.
Разве без этого возможно познание?

[KWAKS]

Ув. alla . Откройте ..(.. самый захудалый) учебник .. : дизъюнкция любого .. F и его отрицания negF - ВСЕГДА будет высказыванием верным .
Следовательно : F+negF=1, то это - однозначно абсолютное знание .

А я не знала, что вы о дизъюнкции. ...

Отныне и навсегда : будете помнить , что в простонародье(по старой грамматике) дизъюнкция обозначалася + .

Пусть .. творчество - лишь бы шло на пользу людям!
_________________
"Разве суеверие - не единая религия, .. всего Земного шара?" А. Дэвид-Неэль.

Истина - есмъ !

Тут . . . Бог не настолько туУУп , чтобы Гёделю позволить водить себя за нос .

. . . .

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

А всё потому , что полнота .. -

видна уже на простейшем примере : F + neg F = 1 .

Из этого ..? ... по каким правилам ..? :shock: ....

По формально-логическим скаладывали Мы . См. ниже :

Как из F + neg F = true следует, что любая формула (или ее отрицание) выводима из аксиом этой теории? Кто тут облажался?

Всем давно известно - Кто тут облажался ! ! ! Потому что :

композиция F + neg F - составляет Универсальное Множество .

Проще говоря : она(оная композиция) = true . . .
ПРИ ЛЮБОМ значении истинности логической переменной F .

Не верите ? И пр-но делаете . Откройте самый захудалый учебник .. и прочтите :
дизъюнкция любого .. F и его отрицания negF - ВСЕГДА будет[/u] высказыванием верным .

А аргументировать..

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

Верно . Без "этого" познание НЕвозможно ! ! !

Примечание . Только применять "этого" - нужно очень уместно и корректно .
(дабы ничего не напутать , себе же и во вред) .

[SE]

Как из F + neg F = true следует, что любая формула (или ее отрицание) выводима из аксиом этой теории? Кто тут облажался?

Всем давно известно - Кто тут облажался ! ! ! Потому что :

композиция F + neg F - составляет Универсальное Множество .

Проще говоря : она(оная композиция) = true . . .
ПРИ ЛЮБОМ значении истинности логической переменной F .

Не верите ? И пр-но делаете . Откройте самый захудалый учебник .. и прочтите :
дизъюнкция любого .. F и его отрицания negF - ВСЕГДА будет[/u] высказыванием верным .

Вы вообще вменяемый? То что всегда будет true это и школьнику понятно. Как из этого следует что любая формула (или ее отрицание) выводима из аксиом этой теории?

композиция F + neg F - составляет Универсальное Множество

При чем здесь универсальное множество? Что за каша у Вас в голове.

[alla]

KWAKS,
Я потому люблю этот сайт, что многому здесь учусь. А не только, чтоб своё мнение вставить. Я уже писала SЕ, что мы, Мормоны, стремимся к любой истине, неважно где её можно найти. И всякое полезное знание у Мормонов в почёте и достойно похвалы.

[KWAKS]

KWAKS,
.. мы, Мормоны, стремимся к любой истине, неважно где её можно найти. И всякое полезное .. достойно похвалы.

Похвальная все-яд-ность .

Как из F + neg F = true следует, что любая формула (или ее отрицание) выводима из аксиом этой теории? Кто тут облажался?

Всем давно известно - Кто тут облажался ! ! ! Потому что :

композиция F + neg F - составляет Универсальное Множество .

Проще говоря : она(оная композиция) = true . . .
ПРИ ЛЮБОМ значении истинности логической переменной F .

Не верите ? И пр-но делаете . Откройте самый захудалый учебник .. и прочтите :
дизъюнкция любого .. F и его отрицания negF - ВСЕГДА будет[/u] высказыванием верным .

Вы вообще вменяемый?

Прежде чем задавать некорректные вопросы - не поленитесь посмотреть мой послужной список :

___KWAKS
Почётный Графоманъ Атеистического Форума

Сообщения: 5527

Откуда: из болОтной тинЫ
Medals: Нет

....
______________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

А также - поинтересуйтесь мнением Хозяев этого Форума обо мне :
Админ - Димьян , Модератор - Vivekkk .

То что всегда будет true это и школьнику понятно. Как из этого следует что любая формула (или ее отрицание) выводима из аксиом этой теории?

А очень просто любая формула (или ее отрицание) выводима из аксиом этой теории : "Каждый должен речь держать не по писаному , дабы его личная дурь - всем была видна" (Пётр 1 - Государь Российский) .

А из этого - немедленно следует , что лично Вам - не понятно даже то , что всегда будет - и школьнику понятно .

Я ж Вас вполне по серьёзному просил :

Откройте самый захудалый учебник ..

А там - чёрным по белому :

композиция F + neg F - составляет Универсальное Множество

При чем здесь универсальное множество? Что за каша у Вас в голове.

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

Кстати , в своё время - Vivekkk по логике тоже "плавал" где-то ... на Вашем уровне .
Но после курса обучения к меня - он теперь не делает ни единой логической ошибки .

Примечание . Я тут "хвастаю успехами" не затем , чтобы Вас - "за пояс" уткнуть ...

НО ИСКЛЮЧИТЕЛЬНО ЗАЧЕМ , чтобы Вы не тратились на мерзкие эпитеты в мой адрес , но побыстрее принимались за изучение захудалых учебников .

[DLed]

alla: Истина в научном методе

[alla]

KWAKS,
.. мы, Мормоны, стремимся к любой истине, неважно где её можно найти. И всякое полезное .. достойно похвалы.

Похвальная все-яд-ность.

KWAKS, не всеЯДность, а отбор только того, что полезно для здоровья. Прошу не путать.

[DLed]

без науки население земли было бы в 10, если не в 100 раз меньше.

[KWAKS]

без науки население земли было бы в 10, если не в 100 раз меньше.

наскольчище был бы воздух и вся окружающая нас среда , господа .

KWAKS,
.. мы, Мормоны, стремимся к любой истине, ...

Похвальная все-яд-ность.

KWAKS, не всеЯДность, а отбор .. что полезно для здоровья. Прошу не путать.

А где я путаю ? Откройте мед. справочник : в опред. колич. - ЯД чрезвычайно полезен для здоровья .

(особенно ЯД - гремучей змеи) .