On Sat, May 15, 1999 at 01:48:23AM +0100, Nik Clayton wrote:
Didn't Knuth say I've only proven TeX to be correct, I haven't tested
it or some such?
That's a quote in /usr/src/games/fortune/datfiles/fortunes:
Beware of bugs in the above code; I have only proved it correct, not
tried it.
[ Redirected to -chat ]
On Fri, May 14, 1999 at 05:30:51PM -0600, Wes Peters wrote:
Matt Curtin wrote:
On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
Dennis All software has bugs
TeX has no bugs.
TeX has no *known* bugs. To the best of my knowlege, even Dr.
On Fri, 14 May 1999, Wes Peters wrote:
Matt Curtin wrote:
On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
Dennis All software has bugs
TeX has no bugs.
TeX has no *known* bugs. To the best of my knowlege, even Dr. Knuth
has not yet been able to *prove* it
Nik Clayton n...@nothing-going-on.demon.co.uk writes:
Didn't Knuth say I've only proven TeX to be correct, I haven't tested
it or some such?
TeX is far too large to undergo even a partial correctness proof, much
less a total correctness proof (I'm not even sure total correctness
can be proven;
Andrew Kenneth Milton wrote:
+[ Matt Curtin ]-
| On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
|
| Dennis All software has bugs
|
| TeX has no bugs.
|
| But it's the exception, not the rule.
You cannot test for the
Dag-Erling Smorgrav wrote:
Correctness proofs are very time-consuming, because they can't be
automated. There are experimental tools which can assist with part of
the work (e.g. the partially-completed Abel project at the University
of Oslo: URL:http://www.ifi.uio.no/~prover/abel/) but the
+[ Daniel C. Sobral ]-
| Andrew Kenneth Milton wrote:
|
| +[ Matt Curtin ]-
| | On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
| |
| | Dennis All software has bugs
| |
| |
Daniel C. Sobral d...@newsguy.com writes:
Dag-Erling Smorgrav wrote:
[...] but the hardest
part of the job - finding loop and type invariants and post- and
pre-conditions which the prover can use as starting points - must
still be done
Hi,
Matt Curtin wrote:
On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
Dennis All software has bugs
TeX has no bugs.
Oh yes it has.
[And if Don is reading this list, I think he'd agree my assertion is more
credible than yours :-) ]
--
Bob Bishop (0118)
On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
Dennis All software has bugs
TeX has no bugs.
But it's the exception, not the rule.
--
Matt Curtin cmcur...@interhack.net http://www.interhack.net/people/cmcurtin/
To Unsubscribe: send mail to majord...@freebsd.org
with
Matt Curtin wrote:
On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
Dennis All software has bugs
TeX has no bugs.
TeX has no *known* bugs. To the best of my knowlege, even Dr. Knuth
has not yet been able to *prove* it is correct.
But it's the exception, not the rule.
+[ Matt Curtin ]-
| On Thu, 13 May 1999 10:25:21 -0400, Dennis den...@etinc.com said:
|
| Dennis All software has bugs
|
| TeX has no bugs.
|
| But it's the exception, not the rule.
You cannot test for the abscence of bugs.
--
Totally Holistic
I've been doing a little thinking on the whole Proprietary vs. GPL vs. BSD
licensing issue. Stallman's wrong, Brett's wrong, Gates iswrong, hell
everyobody's wrong.
Now that I have your attention, let me continue. The biggest problem I
see with software today, as an admin (read, bridge
Actually - this comes down to the argument of what the market will
bear, contract law, and the legal ramifications of bugs/problems.
You bought the software, and agreed to the license terms
when you opened the box, didn't you - Caveat Emptor.
As long as you keep buying it, people/companies will
On Thu, 13 May 1999, Thomas David Rivers wrote:
:But -hackers isn't likely the place for this...
I sent a followup stating I sent it to hackers accidentally, was supposed
to go to chat...
Jamie Bowden
--
If we've got to fight over grep, sign me up. But boggle can go.
-Ted Faber (on
At 10:43 AM 5/13/99 -0400, Jamie Bowden wrote:
I've been doing a little thinking on the whole Proprietary vs. GPL vs. BSD
licensing issue. Stallman's wrong, Brett's wrong, Gates iswrong, hell
everyobody's wrong.
Now that I have your attention, let me continue. The biggest problem I
see with
16 matches
Mail list logo
