-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Thursday 25 September 2003 10:13, G. Georgiev (Skeleta) wrote:
> Проблема с бъговете (изобщо със семантичния анализ на програми) е пряко > свързан > с фундаменталните математико-логически резултати за неразрешимост от > 30-те години > на миналия век (теореми на Гьодел за непълнота/неразрешимост на > аритметиката, > неразрешимост на масови алгоритмични проблеми). Гьодел трябва да го забранят със закон, само разстройва хората... :) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE/cqEuKDHlLar/ewgRAmgDAJ9PKpiJLbqM3qjfcbh7m4eFR2ykIwCeLAZ+ mNCKMQ8JAgKqN1mWQCuwZ14= =fneV -----END PGP SIGNATURE----- ============================================================================ A mail-list of Linux Users Group - Bulgaria (bulgarian linuxers). http://www.linux-bulgaria.org - Hosted by Internet Group Ltd. - Stara Zagora To unsubscribe: http://www.linux-bulgaria.org/public/mail_list.html ============================================================================