[extropy-chat] Analyzing the simulation argument

Hara Ra harara at sbcglobal.net
Fri Feb 18 05:06:09 UTC 2005


Ok, good Godel, folks!

Statements can be made in a formal system equivalent to integers which are 
true but not provable by said system. ahem.

>--- Eliezer Yudkowsky <sentience at pobox.com> wrote:
> > Infect people with a non-personally-believed meme!  What a
> > wonderfully euphemistic way of saying, "lie".
>
>Oh please Eli, you are not THAT pollyannish. Besides, how do YOU know
>its a lie if you can't prove it to be false?

==================================
=   Hara Ra (aka Gregory Yob)    =
=     harara at sbcglobal.net       =
=   Alcor North Cryomanagement   =
=   Alcor Advisor to Board       =
=    In Case of Emergency        =
=    First Call Andrea at        =
=       831 458 2925             =
=      Then Call me at           =
=       831 429 8637             =
==================================




More information about the extropy-chat mailing list