[OT] What's "QED"? (was Re: Wisdom of automating upgrades)

Richard P. Williamson richard.williamson at u4eatech.com
Wed Jun 9 01:12:28 PDT 2004

At 21:04 08/06/2004. Jos De Laender had this to say:
>Quod erat demonstrandum is correct. The translation is rather : what needed to be proven, what needed to be demonstrated ...
>(although this is probably very poor English :-) )

That which was to be demonstrated, is the closest conceptually.

It is used at the end of proofs to show that you are finished
proving what you had originally theorized.  

Theory:  Windoze installations are unreliable.
  I turned it on.
  It was hacked into an open proxy.
  It contracted several hundred worms.
  It crashed.


More information about the freebsd-questions mailing list