|
|
|
Беседка (свободная зона). Общаемся на любые свободные темы не автомобильного характера (темы удаляются автоматически при неактивности более, чем 30 дней). |
25.07.2011, 16:17 | #10 | |||
Владыка
Регистрация: 19.10.2009
Имя: Владимир
Откуда: москва
Автомобиль: Форд Куга
Возраст: 57
Сообщений: 667
Благодарности: 162/82
|
Цитата:
Что слышат твои уши? что видят твои глаза? что ошущает твое тело? Цитата:
Цитата:
Нууууууу если гора не идет к магомету.... (заранее прошу прощения за терминологию) ещё ув. тов. Гедель говорил , вернее доказал, что: ЛЮБАЯ точная (формальная) система аксиом и правил вывода, если она ДОСТАТОЧНО широка и свободна от ПРОТИВОРЕЧИЙ, то она должна включать в себя утверждения, которые НЕ ЯВЛЯЮТСЯ ни доказуемыми, ни НЕ доказуемыми в рамках формализма данной системы. Истинность таких неразрешимых утверждений, следовательно НЕ может быть выяснена с помощью методов, допускаемых самой системой. Более того, Гедель показал, что даже утвержденеие о НЕ противоречивости аксиом будучи переведенными в форму соответствующей теоремы, само по себе .....является...НЕРАЗРЕШИМЫМИ. т.е. я в третий раз о том что ....доказательства....следуют за верой. И не забывайте.... мир который мы знаем всего лишь вдолбленное в голову ОПИСАНИЕ и не более. |
|||
Метки |
морали |
Здесь присутствуют: 1 (Членов Клуба: 0 , гостей: 1) | |
|
|