uden blinder

Нудлах

Братство Еретиков  »  Круглый стол  »  февраль 2003  »  uden blinder

Line

20 февраля CE 2003 03:08
В ответ на uden blinder (Валерий, 19 февраля CE 2003 11:21)

>>>Ну что ж сконцентрируемся на неполноте: "при определенных условиях в языке существует недоказуемое истинное утверждение" (с) Гёдель (теорема о неполноте).
>>
>>Мне почему-то казалось, что Гедель доказывал несколько иное: "В достатчоно сложной системе (арифметике) существуют истинные высказывания, не формулируемые в виде теоремы, то есть в виде цепочки формальных преобразований". Иными словами: законных высказываний больше, чем теорем.

>Вот: http://dr-gng.dp.ua/library/gedel1.htm

Большое спасибо. Впервые вижу столь популярное изложение те-ры Геделя.

Так вот. Во-первых, известна ли вам теорема о полноте геометрии. В третьих, Успенский, к сожалению не привел доказетельство т-ры Геделя, а строится оно именно так: законных высказываний больше, чем доказтельств.

Ответить на сообщение

Line

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

Line

Ворота - Площадь - Библиотека - Колодец - Колокольня - Таверна - Круглый Стол - Джихад - Карта - Поиск - Симфония - Новости