On 9/19/06, Samantha Atkins <[EMAIL PROTECTED]> wrote:
> This would depend if the extremly smart AGI would want us to know that > it is smarter than we. If it had that desire it could e.g. formulate a > proof for the Poncare Conjecture in such a way that it was as > accessible to an average person as the rules for chess. This is false. The complexity of a proof is not arbitrarily reducible.
I was more aiming for the communication of the proof and not its reduction. As in: a super smart being is better at explaining something. Please let me know if I still dont make sense ;-) Stefan -- Stefan Pernar App. 1-6-I, Piao Home No. 19 Jiang Tai Xi Lu 100016 Beijing China Mobil: +86 1391 009 1931 Skype: Stefan.Pernar ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/[EMAIL PROTECTED]
