# 5 divided by 0? Personally, I believe that it is infinite based on the idea that division is just repeated subtraction just like multiplication is repeated addition. For example, in 4/2, it's pretty much like saying how many times can you subtract 2 from 4 before you get to 0.

I would give a slightly different moral to Peter's story. Mathematicians could have defined 5 divided by 0 to be infinity--one of the wonderful things about mathematics is that we can define things however we want. However, what Peter's proof shows is that if you define division by 0, then some of the familiar algebraic laws aren't going to work anymore. (It is an interesting exercise to identify the algebraic law used in the proof that would stop working if we defined division by 0.) So it would actually be quite inconvenient to change the usual definition of division, according to which division by 0 is undefined.

# Does the square root of 2 exist?

If I interpret your question as a straightforward mathematical question--Is there a number whose square is 2?--then the answer is of course yes. The numerical value of the number is approximately 1.41421. But perhaps that isn't what you meant. Perhaps your question is about the sense in which mathematical objects like numbers exist. Do they really exist (whatever that means), or are they just, in some sense, figments of our imaginations? You might want to look at the answers to question 139 , and also the links to the Stanford Encyclopedia in those answers, for a discussion of two different ways that people have interpreted mathematical existence, namely platonism and intuitionism. It is perhaps worth mentioning that both a platonist and an intuitionist would agree that the square root of 2 exists, but they would mean different things by that. The platonist would mean that the square root of 2 is one of the objects in a world of mathematical objects that exists independent of us and our...

# In math class at my school they drill into our heads that a real line goes on forever, while a line segment is a line with two ends. So my question is: if a line can go on forever wouldn't it take up every possible space? Can such a line even exist in the universe? If it can't then why do mathematicians use that term?

Yes, lines in mathematics go on forever, and such things most likely don't exist in our universe. So why do mathematicians study them? There are most likely only a finite number of elementary particles in the universe. Should mathematicians say that the positive integers end at some finite number? The study of the positive integers would actually be a lot more difficult (and a lot less attractive) if we placed some bound on the numbers to be studied, based on the number of particles in the universe. It is easier (and more interesting) to study the infinite collection of all positive integers, even if most of those numbers will never be used for counting objects in the physical universe. In general, mathematicians don't think of themselves as studying things that exist in the physical universe. Rather, they study abstractions, like infinite lines or the positive integers. These abstractions may be motivated by things in the physical universe, such as the lines we draw on paper or the process of...

# Can there be an event that is entirely random?

This is a very difficult question, for two reasons: 1. It is difficult to say exactly what "random" means. 2. There are unresolved questions in the foundations of quantum mechanics that are relevant to your question. Consider, for example, flipping a fair coin. This seems random, in the sense that we don't seem to be able to predict the outcome. Half the time the coin comes up heads and half the time it's tails, and we don't know which it's going to be until it lands. But in another sense, it doesn't seem random at all: If you knew the speed at which the coin was spinning, its exact position above the table, the air currents in the room, etc., then the laws of physics should allow you to predict how it will land. If you think of randomness as being about our lack of knowledge of how things are going to turn out, then the coin flip seems random. If you think of randomness as being about some sort of indeterminacy in the world, independent of our knowledge, then the coin flip doesn't seem...

# Suppose we decide to let 'Steve' name the successor of the largest number anyone has ever thought about before next Tuesday. Can I now think about Steve? For example can I think (or even know) that Steve is greater than 2? If not, why not? If so, wouldn't that mean that some numbers are greater than themselves?

It is tempting to think that the phrase "the successor of the largest number anyone has ever thought about before next Tuesday" unambiguously defines a number. After all, it seems that we could compute the value of "Steve" as follows: Wait until next Tuesday, and then make a list of all the numbers anyone has ever thought about (a finite list, given the finite history of humans thinking about numbers), find the largest number on the list, and add one. But what counts as "thinking about a number"? From your question, it appears that you want to count thinking about a number by means of a description of that number, including descriptions like ... the definition of Steve! So the computation of the value of Steve isn't as simple as it sounds. What will happen next Tuesday when we sit down to compute the value of Steve? Well, you and I have been thinking about Steve, so when we go to make our list of all the numbers anyone has ever thought about, Steve will be on the list. This means that as part of...

# If we changed the way we count, could 2+2 fail to equal 4? If, for example, we started counting with zero, we might count X X X as 0, 1, 2 X's. Then 2 + 2 would equal X X X X X X, and when we counted the X's, we would count, "zero, one, two, three, four, five." So 2+2=5. So, does this example show that 2 + 2 doesn't necessarily equal 4? Or, would we have to say that we were speaking another language when we truthfully say that 2+2=5?

I'd say we're speaking another language. In this language the numeral "2" means 3 and the numeral "5" means 6, so "2+2=5" means 3+3=6, which is true. But 2+2 is still equal to 4. This isn't really a fact about mathematics, it's a fact about language. If we changed the names we use to refer to people so that "John Kerry" referred to George W. Bush, then in that new language the sentence "John Kerry is president of the U.S. " would be true. But it wouldn't change the facts about who the president is. George W. Bush would still be president, we'd just be using a different name to refer to him. If you want to overturn the results of the last election, this isn't the way to do it.

# Are there logic systems that are internally consistent that have a different makeup to the logic system that we use?

I have a minor quibble with one of Richard's statements. He says that an intuitionist "can prove that not every number is either positive, negative, or equal to zero." I don't think an intuitionist would claim to be able to prove that. Rather, an intuitionist would say that he is unable to prove that every number is either positive, negative, or equal to zero. It's a small point, but there is a difference between being unable to prove that something is true and being able to prove that it is false. For more on this, see the entry in the Stanford Encyclopedia of Philosophy on Weak Counterexamples . Notice that conclusion 2 in that entry is "we cannot now assert that every real number is either positive, negative, or equal to zero," which is different from saying "we can now assert that not every real number is either positive, negative, or equal to zero."