Re: virus: Fundamentals

David McFadzean (
Wed, 27 Mar 1996 09:18:37 -0700

At 09:53 AM 27/03/96 -0600, ken sartor wrote:
>Hmmm.... the following statement strikes me as unlikely.
>How does one even attempt to 'prove' something of this
>type? (Maybe i don't understand what attributes are
>prescribed to the entity...)

You translate the properties into logical definitions like
for all knowledge K, if entity E is omniscient, then E has K.
Then you show that possessing two of the properties simultaneously
leads to a contradiction. Check out "Atheism" by Michael Martin,
especially ch. 12 "Divine Attributes and Incoherence".

David McFadzean       
Memetic Engineer      
Church of Virus