Легенда:
 новое сообщение
 закрытая нитка
 новое сообщение
 в закрытой нитке
 старое сообщение
|
- Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
- Новичкам также крайне полезно ознакомиться с данным документом.
формализм высказываний очень даже при том 16.10.10 17:57 Число просмотров: 1045
Автор: dl <Dmitry Leonov>
|
> "Никакая достаточно полная и сложная система не в состоянии
> обнаружить противоречия в себе самой".
"Достаточно" - для чего? Теорема Геделя относится строго к формальным системам, в которых можно задать правила оперирования множеством символов, сводящиеся к основным арифметическим понятиям и операциям. Полнота, сложность и прочее не имеет к ней никакого отношения, а ее обобщение на реальные информационные системы - простая вульгаризация, вытекающая из упрощенных формулировок.
|
|
|
подробно о проекте
Анализ криптографических сетевых... 
