Като го прочетох това, се сетих веднага за 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-те години > на миналия век (теореми на Гьодел за непълнота/неразрешимост на > аритметиката, > неразрешимост на масови алгоритмични проблеми).
signature.asc
Description: This is a digitally signed message part
