Re: lug-bg: [Fwd: [Full-Disclosure] **NEW** OpenSSH Vuln Today]
- Subject: Re: lug-bg: [Fwd: [Full-Disclosure] **NEW** OpenSSH Vuln Today]
- From: Васил Колев <vasil@xxxxxxxxxx>
- Date: Thu, 25 Sep 2003 18:19:10 +0300
- Organization: Ludost Networks
Като го прочетох това, се сетих веднага за EWD( Edsger Wybe Dijskra),
който е писал доста на тази тема, и ето един линк, който може да е
интересен:
http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1012.PDF
И всъщност, на много хора може да е интересно да прочетат нещата,
намиращи се на http://www.cs.utexas.edu/users/EWD/indexEWDnums.html ,
може да погледнат по друг начин на доста неща ... :)
На чт, 2003-09-25 в 10:13, G. Georgiev (Skeleta) записа:
> Tsvetin Vasilev wrote:
>
> > Vesselin Kolev wrote:
> >
> >> Ta ima li software shte ima bygove. Edin prepodavatel v universiteta ni
> >> pokazvashe, che mozhe da ima byg i v programa na 2 reda za sybirane
> >> na dve chisla:)) Taka, che niama strashno.
> >>
> >>
> >>
> > A dali mozhe da postnesh primercheto ej-tyj prosto mi e interesno :)
> >
> > uspeh
> > ceci
> >
>
> Проблема с бъговете (изобщо със семантичния анализ на програми) е пряко
> свързан
> с фундаменталните математико-логически резултати за неразрешимост от
> 30-те години
> на миналия век (теореми на Гьодел за непълнота/неразрешимост на
> аритметиката,
> неразрешимост на масови алгоритмични проблеми).
Attachment:
signature.asc
Description: This is a digitally signed message part
|