**From:** Wei Dai (*weidai@weidai.com*)

**Date:** Thu Sep 08 2005 - 09:16:02 MDT

**Next message:**Eliezer S. Yudkowsky: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Previous message:**Ben Goertzel: "Formal Verification of Functional Programs [ was RE: Introduction]"**In reply to:**Ben Goertzel: "RE: The Relevance of Complex Systems [was: Re: Retrenchment]"**Next in thread:**Eliezer S. Yudkowsky: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Reply:**Eliezer S. Yudkowsky: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Reply:**Phil Goetz: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Ben Goertzel wrote:

*> Eli:
*

*>
*

*>> >> I bet that if you name three subtleties, I can
*

*>> >> describe how Bayes plus expected utility plus Solomonoff
*

*>> >> (= AIXI) would do it given infinite computing power.
*

*>
*

*> Of course, but who cares what can be done using infinite computing power?
*

What about mathematics? I don't think we know how to do mathematics under a

Bayesian framework, even with infinite computing power (since some

mathematical statements can be neither proved nor disproved from the usual

axioms). I noticed that nobody replied to my "uncertainty in mathematics"

post (http://sl4.org/archive/0508/12022.html).

In that post I used Goldbach's Conjecture as an example, but perhaps a

better one is P!=NP, which is a mathematical conjecture with many more real

world implications. I think most of us believe that P!=NP and act

accordingly, but it's not at all clear how to relate this to Bayesian

probabilities.

**Next message:**Eliezer S. Yudkowsky: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Previous message:**Ben Goertzel: "Formal Verification of Functional Programs [ was RE: Introduction]"**In reply to:**Ben Goertzel: "RE: The Relevance of Complex Systems [was: Re: Retrenchment]"**Next in thread:**Eliezer S. Yudkowsky: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Reply:**Eliezer S. Yudkowsky: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Reply:**Phil Goetz: "Re: The Relevance of Complex Systems [was: Re: Retrenchment]"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ] [ attachment ]

*
This archive was generated by hypermail 2.1.5
: Wed Jul 17 2013 - 04:00:52 MDT
*