информационная безопасность
без паники и всерьез
 подробно о проектеRambler's Top100
Сетевые кракеры и правда о деле ЛевинаГде водятся OGRыВсе любят мед
BugTraq.Ru
Русский BugTraq
 Анализ криптографических сетевых... 
 Модель надежности двухузлового... 
 Специальные марковские модели надежности... 
 Phrack #70/0x46 
 Возможно, Facebook наступил на... 
 50 лет электронной почте 
главная обзор RSN блог библиотека закон бред форум dnet о проекте
bugtraq.ru / форум / miscellaneous
Имя Пароль
ФОРУМ
все доски
FAQ
IRC
новые сообщения
site updates
guestbook
beginners
sysadmin
programming
operating systems
theory
web building
software
hardware
networking
law
hacking
gadgets
job
dnet
humor
miscellaneous
scrap
регистрация





Легенда:
  новое сообщение
  закрытая нитка
  новое сообщение
  в закрытой нитке
  старое сообщение
  • Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
  • Новичкам также крайне полезно ознакомиться с данным документом.
формализм высказываний очень даже при том 16.10.10 17:57  Число просмотров: 949
Автор: dl <Dmitry Leonov>
<"чистая" ссылка> <обсуждение закрыто>
> "Никакая достаточно полная и сложная система не в состоянии
> обнаружить противоречия в себе самой".

"Достаточно" - для чего? Теорема Геделя относится строго к формальным системам, в которых можно задать правила оперирования множеством символов, сводящиеся к основным арифметическим понятиям и операциям. Полнота, сложность и прочее не имеет к ней никакого отношения, а ее обобщение на реальные информационные системы - простая вульгаризация, вытекающая из упрощенных формулировок.
<miscellaneous> Поиск 








Rambler's Top100
Рейтинг@Mail.ru


  Copyright © 2001-2021 Dmitry Leonov   Page build time: 0 s   Design: Vadim Derkach