Re: virus: Fundamentals

David McFadzean (dbm@merak.com)
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                 david@lucifer.com
Memetic Engineer                http://www.lucifer.com/~david/
Church of Virus			http://www.lucifer.com/virus/