Why Bayesianism is unworkable: it assumes a fixed hypothesis space. Explanation by @nostalgebraist h/t @garybasin http://nostalgebraist.tumblr.com/post/161645122124/bayes-a-kinda-sorta-masterpost …pic.twitter.com/3z4gDxj4Lv
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
The MIRI thing only operates in the space of math, not hypotheses about the physical world.
yes so their machine would combine tractable induction over logical sentences with tractable induction over empirical sentences.
It is utterly not tractable. The combinatorics are ultra super fantastically waaaaay more than exponential.
to me, the issue is that universal search over every sentence, even if tractable, is by definition slower than true *intelligent* reasoning.
I find it amazing though that Yudkowsky by his own admission never even read Quine or Carnap
also these inductive algorithms aren't strictly Bayesian, so lack some of the ideal properties
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.