magfrump comments on Open Thread June 2010, Part 4 - Less Wrong

5 Post author: Will_Newsome 19 June 2010 04:34AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (325)

You are viewing a single comment's thread. Show more comments above.

Comment author: magfrump 06 July 2010 06:15:16AM 0 points [-]

Yeah well it is certainly a good argument against that. The title of the thread is "is induction unformalizable" which point I'm unconvinced of.

If I were to formalize some kind of prior, I would probably use a lot of epsilons (since zero is not a probability); including an epsilon for "things I haven't thought up yet." On the other hand I'm not really an expert on any of these things so I imagine Wei Dai would be able to poke holes in anything I came up with anyway.

Comment author: cousin_it 06 July 2010 08:52:14AM 1 point [-]

There's no general way to have a "none of the above" hypothesis as part of your prior, because it doesn't make any specific prediction and thus you can't update its likelihood as data comes in. See the discussion with Cyan and others about NOTA somewhere around here.

Comment author: magfrump 06 July 2010 08:18:57PM 0 points [-]

Well then I guess I would hypothesize that solving the problem of a universal prior is equivalent to solving the problem of NOTA. I don't really know enough to get technical here. If your point is that it's not a good idea to model humans as Bayesians, I agree. If your point is that it's impossible, I'm unconvinced. Maybe after I finish reading Jaynes I'll have a better idea of the formalisms involved.