Lots of science today (meteorology, cosmology) is based on computer simulation or modeling for those phenomena that are difficult to observe directly. If a computer simulation gives me a result consistent with what we can see (star distribution for two galaxies that collide) can we infer that the underlying process is the same in the simulation and in physical world? The simulation is just numbers (or symbols) input as data about the system(s) modeled. Are numbers the underlying "stuff" of objects, too, rather than atomic particles, etc.?

Suppose that instead of a

Suppose that instead of a computer producing a simulation, we have an army of thousands of worker-bee science grad students performing and assembling vast numbers of calculations matching all the steps that a computer simulation would call for. Suppose the results are consistent with observation. We wouldn't ask whether what's being simulated is really nothing but desperate grad students chained to desks doing tedious math. Computer simulations are ways of finding out what our equations and assumptions entail. In an example where it would be feasible to calculate the behavior of the model by hand, we wouldn't doubt that the real target of the exercise is external-world stuff—particles or economic agents or pathogens or whatever. That doesn't change if we move to cases where there's no serious possibility of doing the calculations by hand. The computer simulation doesn't represent itself . It represents what it simulates. If we've done things right, the representation will be more or less accurate....

Consider the mathematical number Pi. It is a number that extends numerically into infinity, it has no end and has no repeating pattern to its digits. Currently we have computers that can calculate Pi out to many thousands of digits but at a certain point we reach a limit. Beyond that limit those numbers are unknown and essentially do not exist until they are observed. With that in mind, my question is this, if we could create a more powerful computer that could continue to calculate Pi beyond the current limit, and we started at exactly the same time to compute Pi out beyond the current limit on two identical computers, would we observe the computers generating the same numbers in sequence. If this is the case would that not infer that reality is deterministic in that unobserved and unknown numbers only become “real” upon being observed and that if identical numbers are generated those numbers have been, somehow, predetermined. Alternatively, if our reality was non-deterministic would that not mean that...

You're right that any

You're no doubt right that any computers we happen to have available will only compute π to a finite number of digits, though as far as I know, there's nothing to stop a properly-designed computer from keeping up the calculation indefinitely (or until it wears out.) But you add this: "Beyond that limit those numbers are unknown and essentially do not exist until they are observed" Why is that? Let's suppose, for argument's sake, that we'll never build a computer that gets past the quadrillionth entry in the list of digits in π. Why would than mean that there's no fact of the matter about what the quadrillion-and-first digit is? What does a computer's having calculated it or (at least as puzzling) somebody having actually seen the answer have anything to do with whether there's a fact of the matter? To be a bit more concrete: the quadrillion-and-first digit in the decimal expansion of π is either 7 or it isn't. If it's 7, it's 7 whether anyone ever verifies that or not. If it's not 7, then it's...

Is it strange that you can't divide by zero?

It may seem strange at first

It may seem strange at first blush, but there's a pretty good reason why division by 0 isn't defined: if it were, we'd get an inconsistency. You can find many discussions of this point with a bit of googling, but the idea is simple. Suppose x = y/z. Then we must have y = x*z That means that if y = 2, for example, and z = 0, we must have 2 = x*0 But if we multiply a number by 0, we get 0. That's part of what it is to be 0. So no matter what x we pick, we get x*0 = 0, not x*0 = 2. Is it still strange that we can't divide by 2? If by "strange" you mean "feels peculiar," then it's strange from at least some peoples' point of view. But this sense of "strange" isn't a very good guide to the truth. On the other hand, if by "strange" you mean "paradoxical" or something like that, it's not strange at all. On the contrary: we get paradox (or worse: outright contradiction) if we insist that division by zero is defined.

It seems to me that there are two kinds of numbers: the kind that the concept of which we can grasp by imagining a case that instantiates the concept, and the kind that we cannot imagine. For example, we can grasp the concept of 1 by imagining one object. The same goes for 2, 3, 0.5 or 0, and pretty much all the most common numbers. But there is this second kind that we cannot imagine. For example, i (square root of -1) or '532,740,029'. It seems to me that nobody can really imagine what 532,740,029 objects or i object(you see, I don't even know whether I should put 'object' or 'objects' here or not because I don't know whether i is single or plural; I don't know what i is) are like. So, Q1) if I cannot imagine a case that instantiates concepts like '532,740,029', do I really know the concept, and if so, how do I know the concept? Q2) is there a fundamental difference between numbers whose instances I can imagine and those I cannot? (I lead towards there is no difference, but I don't know how to account...

I'd suggest that while there

I'd suggest that while there may be differences in how easy it is for us to "picture" or "imagine" different numbers, this isn't a difference in the numbers themselves; it's a rather variable fact about us. I can mentally picture 5 things with no trouble. If I try for ten, it's harder (I have to think of five pairs of things.) If I try for 100, it's pretty hopeless, though you might be better at it than me. But I'm pretty sure that there's no interesting mathematical difference behind that. I'm also pretty sure that I understand the number 100 quite well. I don't need to be able to imagine 100 things to be able to see that 2x2x5x5 is the prime factorization of 100, for example, nor to see that 100 is a perfect square. But that may still be misleading. I have no idea offhand whether 532,740,029 is prime. But I know what it would mean for it to be prime -- or not prime. And in fact, a bit of googling for the right calculators tells me that 532,740,029 = 43 x 1621 x 7643 I can't verify that by doing the...

I have been intrigued by the theory expounded by the MIT physicist Max Tegmark that the universe is composed entirely of mathematical structure and logical pattern, and that all perceived and measured reality is that which has emerged quite naturally from the mathematics. That theory simplifies the question of why mathematics is such a powerful and necessary tool in the sciences. The theory is platonist in essence, reducing all of existence to pure mathematical forms that, perhaps, lie even beyond the realm of spacetime. Mathematics, in fact, may be eternal in that sense. The Tegmarkian scheme contains some compelling arguments. One is that atomic and subatomic particles have only mathematical properties (mass, spin, wavelength, etc). Any proton, for example, is quite interchangeable with any other. And, of course, these mathematical particles are the building blocks of the universe, so it follows that the universe is composed of mathematical structures. Another is that the vastness of the universe is...

I will confess that I don't

I will confess that I don't see the charm of Tegmark's view. I quite literally find it unintelligible, and I find the "advantages" not to be advantages at all. You suggest a few possible attractions of the view. One is that "atomic and subatomic particles have only mathematical properties (mass, spin, wavelength, etc.) and hence we might as well see them as nothing but math. Any proton, for example, is quite interchangeable with any other." But first, the fact that we only have mathematical characterizations of these properties is both false and irrelevant insofar as it's true. It's false because knowing something about the mass or the spin or whatever of a particle has experimental consequences. It tells us that one thing rather than another will happen in real time in a real lab. If that weren't true, we'd have no reason to take theories that talk about these things seriously; we'd cheat ourselves of any possible evidence. Of course, we may not know what spin is "in itself," and perhaps to that...

Mathematics seems to accept the concept of zero but not the concept of infinity (only towards infinity); whereas Physics seems to accept the concept of infinity but not of nothing (only towards zero). Yet there is a discipline of 'mathematical physics' . Is there an inherent fault in mathematical physics?

I'm pretty sure that

I'm pretty sure that mathematicians and physicists would both reject the way you've described them. Mathematics not only accepts the concept of infinity but has a great deal to say about it. To take just one example: Cantor proved in the 19th century that not all infinite sets are of the same size. In particular, he showed that whereas the counting numbers and the rational numbers can be paired up one-for-one, there's no such pairing between the counting numbers and the full set of real numbers. Thus, he proved that in a well-defined sense, there are more real numbers than integers, even though in that same sense there are not more rational numbers than integers. Now of course, we sometimes talk about certain functions going to infinity in a certain limit. For example: as x goes to 0, 1/x goes to infinity, even though there is no value of x for which the value of 1/x is infinity. Rather, we say that at 0, the function is not defined. There are good reasons why we say that, though this isn't the...

Are positive numbers in some way more basic than negative numbers?

In more than one way, the answer is yes. It's clear that psychologically, as it were, positive numbers are more basic; we learn to count before we learn to subtract, for instances, and even when we learn to subtract, the idea of a negative number takes longer to catch onto. Also, the non-negative numbers were part of mathematics long before the full set of integers were. (In fact, treating zero as a number came later than treating 1, 2, 3... as numbers. Also, we can start with the positive numbers and define the set of all integers. The positive numbers are usually called the natural numbers in mathematics, and N is the usual symbol for the natural numbers. The integers Z are sets of ordered pairs of natural numbers on the usual definition. The integer that "goes with" the natural number 1 is the set of pairs {(1,2), (2,3), (3,4), 4,5)...} (By "goes with" I mean it's the integer that, when we're through with the construction, we can in effect, treat as the same thing as the natural...

Is it ethical for game theory to be applied to conflicts which may involve mass human deaths for non-defensive wars?

Perhaps it depends on what sort of application you have in mind. Suppose we want to understand the sorts of conflicts you've singled out. Surely the attempt to understand isn't immoral—quite the opposite given what's at stake. And suppose that the branch of mathematics known as game theory helps us come to that understanding. It's hard to see what the objection could be. On the other hand, if a country has unjustly gone to war against another country and uses game theory to come up with strategies for winning, then we might want to say that this is an immoral use of game theory. However, the immorality here has nothing special to do with game theory. What's wrong is the waging of the war in the first place.

Are dimensions exceeding 3 actually comceivable or are they purely intellectual constructs? Is this even debated in philosophy?

If I understand your question correctly, it's whether there really could be more than three dimensions in physical space. The best answer, I should think, is yes. One reason is that there are serious physical theories that assume the existence of more than three spatial dimensions: string theory is the example I have in mind. More generally, though, it's not clear why we should doubt that this is possible. The fact that we can't represent it to ourselves imaginatively doesn't seem like a very good reason. We can't represent curved space-time to ourselves imaginatively, but if general relativity is right, space-time does curve. We have a notoriously hard time representing quantum mechanical objects to ourselves imaginatively, and yet quantum mechanics is the cornerstone of much of our physics. We can even say things about what it would be like to live in a world with more than three spatial dimensions. Consider: think of a plane in 3-space, and imagine a walled square in that plane. An object can...

Hi, I love your website and I have enjoyed reading the articles. Please could you help me with a question? I would like to ask the question regarding 'negative numbers'. Can there be such a thing as a negative? Please allow me to explain. My daughter recently brought home some Math homework that asked what -20 + -10 =. So this had me thinking, -20 (or-10) does not exist. There is no difference between having no apples to having minus a million apples both equal me having no apples. I don't think this is the same as debt as the amount in question (as in financial debt) does physically exist, even if you owe it. My daughters teacher explained that you have to see it as a scale. But I do not feel this explains the question either. For example if a car travels one direction on a scale (say North) at 100mph, if the scale is reversed the car is not travelling minus 100mph, it is now simply travelling South at 100mph. Scale I feel is inaccurate, surly its a measure of direction along an axis i.e. left or right...

If I understand you correctly, there's a plausible point behind you question: things either exist or they don't. There's no such thing as what I'll call "negative existence" for shorthand, if that means a state that's somehow less than plain non-existence. And while there's no view so strange that some philosopher won't defend it, I'm betting most philosophers will agree: "negative existence" is a confused idea. I'm pretty sure mathematicians will be equally willing to go along with that. And since the point about negative existence seems so uncontroversial, that suggests we need to ask: when people use negative numbers, do they really mean to suggest that there's something "below" non-existence? I don't think so. Start with numbers themselves. There's a long-standing debate abut whether numbers of whatever sort exist, but we can sidestep that. There's a consistent, useful and highly successful enterprise called mathematics. From it, we learn all sorts of interesting and surprising things....