Peterdjones comments on The Fabric of Real Things - Less Wrong

16 Post author: Eliezer_Yudkowsky 12 October 2012 02:11AM

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

Comments (305)

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

Comment author: dankane 13 October 2012 07:32:30PM 1 point [-]

This seems especially difficult noting that although we can claim that things are caused by certain mathematical truths, it doesn't really make sense to include them in our Bayesian net unless we could say, for example, how anything else would be different if 2+2=3.

Comment author: Peterdjones 13 October 2012 07:37:01PM 1 point [-]

can claim that things are caused by certain mathematical truths

What sort of things?

Comment author: dankane 13 October 2012 08:26:19PM 2 points [-]

Well I know that when I drop something the distance it falls after time t is roughly 1/2 g t^2 where g~10 m/s^2. When I drop something off of a 20m high building, I can reasonably claim that the fact that it takes roughly 2s to reach the ground is a consequence of the above, and of the mathematical truth that 1/2 * 10 * 2^2 = 20.

Comment author: Peterdjones 13 October 2012 08:33:45PM 2 points [-]

where g~10 m/s^2.

That's a physcial truth, and a local one at that. The mathematical expression of a physcial fact is not a "mathematocal truth" because, pace Tegmark, most mathematical truths don't model physical facts. What casues objects to fall is gravity. Maths does not cause it, any more than words do.

Comment author: dankane 13 October 2012 11:52:49PM 2 points [-]

I agree that mathematical truths do not have effects on their own. But when combined with mathematical formulations of laws of reality they do have observable consequences. The timing of a falling projectile above is a consequence of both a mathematical formulation of the law of gravity and a purely mathematical arithmetical fact. If you somehow want to describe the universe without mathematics, good luck.

Comment author: endoself 14 October 2012 10:02:11PM 1 point [-]

That's a physcial truth, and a local one at that.

An event can have more than one cause. My uncertainty about the value of some variable in an equation is related to my uncertainty about the outcome of an experiment in exactly the way that makes Pearlean methods tell me that both the value of t in the equation and the physical truth that g ≈ 10 m/s^2 are causes of the amount of time that the object takes to fall. This is just a fact about my state of uncertainty that falls directly out of the math.

Comment author: Peterdjones 15 October 2012 09:45:09AM 2 points [-]

"Falls out of the math" doens't mean "caused by math" any more than "expressed in math" means "caused by math".

Comment author: endoself 16 October 2012 05:22:55AM 1 point [-]

Sorry, I was unclear. I meant that the causal structure where the equations of physics cause the outcome of the experiment falls out of the Pearlean causal math, not that the outcome of the experiment falls out of the physical math (though the latter is of course also true).

Comment author: Peterdjones 16 October 2012 01:53:15PM *  0 points [-]

I think that still has the same problem. The (edit:) math is the map, causes are in the territtory.

Comment author: endoself 16 October 2012 05:05:32PM 0 points [-]

I'm not sure what you mean. Pearlean causality, as I understand it, is about maps. You put in a subjective probability distribution and a few assumptions and a causal structure comes out.

Comment author: Peterdjones 17 October 2012 10:37:40AM *  1 point [-]

If it's only about maps, its doubtful whether it deseres to be called causality.

ETA:

Indeed, EY seems to take the view that correlation is in the map, and causation in the territory:-

"More generally, for me to expect your beliefs to correlate with reality, I have to either think that reality is the cause of your beliefs, expect your beliefs to alter reality, or believe that some third factor is influencing both of them.

This is the more general argument that "To draw an accurate map of a city, you have to open the blinds and look out the window and draw lines on paper corresponding to what you see; sitting in your living-room with the blinds closed, making stuff up, isn't going to work."

Correlation requires causal interaction; and expecting beliefs to be true means expecting the map to correlate with the territory. "