|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Vadim Goncharov 2:5020/400 08 Mar 2006 16:22:03
To : Max Khon
Subject : Re: НОЙ УЧПР Ч ОМ УМКУ
--------------------------------------------------------------------------------
Hi Max Khon!
On Mon, 06 Mar 2006 10:36:28 +0300; Max Khon wrote about 'НОЙ УЧПР Ч ОМ УМКУ':
VG>> А разве кто-то кроме Кнута научился доказывать безглючность программ?
VG>> :) До тех пор считаем, что все программы (кроме этих некоторых
VG>> исключений) содержат баги, явные или потенциальные :)
MK> а разве Кнут научился?
Кнут формально доказал безглючность своего TeX'а. Hасколько я знаю, это
первый и до сих пор единственный прецедент в истории.
--
WBR, Vadim Goncharov. ICQ#166852181 mailto:vadim_nuclight@mail.ru
[Moderator of RU.ANTI-ECOLOGY][FreeBSD][http://antigreen.org][LJ:/nuclight]
--- slrn/0.9.8.1 on FreeBSD 4.11/i386
* Origin: Nuclear Lightning @ Tomsk, TPU AVTF Hostel (2:5020/400@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
