Старый 23.07.2006, 02:16   #32
Equinox
 
Рег-ция: 30.03.2006
Сообщения: 379
Благодарности: 0
Поблагодарили 1 раз в 1 сообщении
По умолчанию

Владимир Чернявский!

>Т.е. те, которые получены путем логического вывода
Владимир, Вы не знаете, что такое факты? Я имею в виду понимание фактов в логике и методологии науки, в которых за факты принимается эмпирически подтвержденное знание.

>Беда в том, что таких законов довольно много (если не бесконечно много). Причем, как и логических систем.

И какая же в этом беда?

>А, еще хуже то, что в них всех принципально неразрешима проблема полноты (см. теорему Гёделя).

Проблема их неполноты никоим образом не мешает им успешно справляться со своими задачами.
Equinox вне форума  
Показать ответы на данное сообщение Ответить с цитированием Вверх