>>>Ну что ж сконцентрируемся на неполноте: "при определенных условиях в языке существует недоказуемое истинное утверждение" (с) Гёдель (теорема о неполноте).
>>
>>Мне почему-то казалось, что Гедель доказывал несколько иное: "В достатчоно сложной системе (арифметике) существуют истинные высказывания, не формулируемые в виде теоремы, то есть в виде цепочки формальных преобразований". Иными словами: законных высказываний больше, чем теорем.
>Вот: http://dr-gng.dp.ua/library/gedel1.htm
Большое спасибо. Впервые вижу столь популярное изложение те-ры Геделя.
Так вот. Во-первых, известна ли вам теорема о полноте геометрии. В третьих, Успенский, к сожалению не привел доказетельство т-ры Геделя, а строится оно именно так: законных высказываний больше, чем доказтельств.
19 фев 11:21 | Валерий | uden blinder |
20 фев 03:08 | Нудлах | uden blinder |
26 фев 11:17 | Валерий | uden blinder |
28 фев 14:58 | Нудлах | uden blinder |
03 мар 14:33 | Валерий | uden blinder |
Ворота - Площадь - Библиотека - Колодец - Колокольня - Таверна - Круглый Стол - Джихад - Карта - Поиск - Симфония - Новости | ||
Дерево сообщений | Список заголовков | Одной страницей |