Tyrrell_McAllister comments on Call for new SIAI Visiting Fellows, on a rolling basis - Less Wrong

29 Post author: AnnaSalamon 01 December 2009 01:42AM

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

Comments (264)

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

Comment author: Eliezer_Yudkowsky 04 December 2009 07:05:57PM 1 point [-]

Pearl's causal networks can be encoded in ZFC

That's what I would expect most mathematical-existence types to think. It's true, but it's also the wrong thought.

Wei, do you see it now that I've pointed it out? Or does anyone else see it? As problems in philosophy go, it seems like a reasonable practice exercise to see it once I've pointed to it but before I've explained it.

Comment author: Tyrrell_McAllister 04 December 2009 09:10:14PM *  0 points [-]

That's what I would expect most mathematical-existence types to think. It's true, but it's also the wrong thought.

Perhaps, but irrelevant, because I'm not what you would call a mathematical-existence type.

ETA: The point is that you can't be confident about what thought stands behind the sentence "Pearl's causal networks can be encoded in ZFC" until you have some familiarity with how the speaker thinks. On what basis do you claim that familiarity?