ArtiMind, :)))

CAT_CAT, а я вот того....
но когда учителя замечали, что я считаю ворон, и просили повторить, что сказано ими, я повторяла слово в слово)

Эрик_Хан, :)

ArtiMind, хотите построже? пожалуйста.. "не одна теория не может одновременно быть полной и непротиворечивой".. ? каков вывод? :D в чем вольность?
Яна-Мария_К, а счас до скольки считаешь? :)

имеешь полное право хвастаться ТАКОЙ памятью, это несомненно. память - основная составляющая человека, без нее становится невозможным всё остальное, это ясно. чем больше память, тем больше у тебя шансов реализовать себя. удач тебе в Московии!

Эрик_Хан,
"не одна теория не может одновременно быть полной и непротиворечивой" неверно. Правильно: "достаточно богатая теория первого порядка".
Распространение формальной теоремы Геделя на жизнь, философию и религию является наболее типичной ошибкой. Она просто не рассчитана на эти вещи.

Кроме того: "не одна теория не может одновременно быть полной и непротиворечивой" - это первая теорема Геделя. (Ну для точности)

И от меня лично. Гедель использовл для доказательства своей теоремы свойства простых числе, что по ... сомнительно для доказательства свойств теорий более высокого порядка чем арифметки и алгебра.

vij-vilna, Спасибо, Виталик!

ArtiMind, Ладно, пусть будет 1-я вкупе со 2-й.. аккуратист или математик?(ну точность очень любишь.. :)) "1-я о неполноте утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики (+, *, принадлежность, логич. сложение) найдется ФОРМАЛЬНО НЕРАЗРЕШИМОЕ СУЖДЕНИЕ , т.е. такая замкнутая формула А, что ни А, ни неА не являются выводимыми в системе.
2-я теорема .. утверждает, что этим А можно взять утверждение о собственно непротиворечивости рассматриваемой системы.. ж)

Типичных ошибок много.. не вижу в в данном случае особого цинизма.. философия может базироваться на гораздо меньшем пустяке.. тут по крайней мере некая проблема для логики присутсвует.. и стройность коллизии.. по моему ТГ доказана для бинарных логик.. Сомнительно? .. ну так это постоянная тема.. выбор постулатов.. лемм .. вообще похоже становиться делом вкуса.. и даже не здравого смысла.. :D