|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Max Khon 2:5000/79 08 Mar 2006 20:59:26
To : Vadim Goncharov
Subject : НОЙ УЧПР Ч ОМ УМКУ
--------------------------------------------------------------------------------
08 Mar 06 15:22, you wrote to me:
VG>>> А разве кто-то кроме Кнута научился доказывать безглючность
VG>>> программ?
VG>>> :) До тех пор считаем, что все программы (кроме этих некоторых
VG>>> исключений) содержат баги, явные или потенциальные :)
MK>> а разве Кнут научился?
VG> Кнут формально доказал безглючность своего TeX'а. Hасколько я знаю,
VG> это первый и до сих пор единственный прецедент в истории.
по-моему формального доказательтва не было. ссылки есть?
/fjoe
--- GoldED+/BSD 1.1.5
* Origin: The number of the beast is vi vi vi (2:5000/79)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
