Your first two examples are distinctly different from your third example in that, while 3-12
and sqrt(-1)
do in fact end up having well-defined results once you work in the right domain (the integers and the complex numbers respectively), there is no domain in which 0/0
currently has a well-defined value. Yes, nonstandard analysis gives a way of evaluating expressions that under normal arithmetic would seem to equal 0/0
. But instead of directly assigning a number to 0/0
, it solves the problem by changing the arithmetic we work with so that the expression is never equal to 0/0
in the first place, and is instead the quotient of two infinitessimals. In particular, 0/0
does not itself have a value, even in the hyperreal numbers, and in general there is no field in which this expression makes sense. The best you can do for 0/0
is allowing division to be a multi-valued function, in which case 0/0 = R
, the entire set of real numbers, or whatever other set you happen to be working with.
My point is that the "problem" of 0/0
(if it is a problem at all) was not solved by calculus, as you seem to suggest it was. We have the same problem as we had before, only we have avoided it in many cases by creating a bunch of infinitesimal numbers which live alongside zero.
The situation is similar with 1/0
.
Firstly, there seems to be a contradiction involved in giving it a value at all, just as there is with 0/0
. What do I mean by this?
I mean that in any context where it makes sense to refer to an object as 0
and another object as 1
(i.e., in a context where there is an additive and a multiplicative identity), and where it makes sense to divide by things, it does not make sense to compute either 0/0
or 1/0
. More precisely, both are undefined in any ring other than the trivial ring {0}
.
To take the multi-valued function approach as before, we can let 1/0
equal the empty set, or maybe the set {infinity, -infinity}
. And there are undoubtedly other ways of attempting to give a value to 1/0
. In fact, I could just say "define 1/0 = 3
" and be done with it. But what would I have accomplished if I did so?
The problem one might have with your question is that it idealistically assumes that 1/0
should have a value. It assumes that there is some abstract platonic object out there that is 1/0
, and that this object has some sort of properties. I think many mathematicians would contest this. Your desire that 1/0
have meaning is no more than a desire, and is similar to the desire of many mathematicians pre-Godel that all true statements have proofs. It turns out, of course, that not all true statements can have proofs in any sufficiently meaningful system, and similarly one might postulate that not all numbers can be divided by in any sufficiently meaningful system.
Not all mathematical conclusions are of a positive nature.
In the case of sqrt(-1), a positive and useful number system was developed.
In the case of 1/0
, the most important results are of a negative nature, showing that any number system in which this makes sense must break certain fundamental and important properties (associativity, commutativity, and so on). The most reasonable conclusion is that the former makes sense while the latter does not, or if the latter does make sense, then it can only make sense in a vastly different context, with vastly different rules of arithmetic than we are used to.
(Update)
I've been thinking about this a bit more after reading your comments. There is at least one big area in which 1/0
has been given serious attention and consideration, and that is in complex analysis. (Disclaimer: I'm not an expert on this topic.)
The complex numbers are commonly extended by adding a single point at infinity. The most natural way to think of this is to consider the Riemann sphere; every point on the complex plane naturally projects on to the Riemann sphere, except the very top of the Riemann sphere has no point associated with it. Thus we may define a new number, complex infinity, and associate it with the top of this sphere.
The new infinity is useful topologically because it turns the set of complex numbers into a compact set. But the new infinity has algebraic properties as well. Unfortunately, infinity + infinity
is undefined. But z/0 = infinity
for any complex nonzero z
. In particular, 1/0
actually equals complex infinity in this context (so this may be an answer to your question). See here.
In complex analysis you are interested in complex infinity because it comes up naturally in such functions as (z^2 + 1) / z
or (e^z - 1) / (e^(z^2) - 1)
. These functions are well-defined almost everywhere, but it is unclear what the function is equal to at z = 0
. It turns out that if you take one of these functions that is holomorphic except at certain isolated points then you can define a ``Laurent series'' for it, which might looks something like
f(z) = 3 / z^2 + 2 / z + 3 + 5 z + 8 z^2 + ...
You can then evaluate the function at 0 using the series:
f(0) = 3 / 0^2 + 2 / 0 + 3 + 5(0) + 8(0^2) + ... = 3/(0^2) + 2/0 = infinity.
On the other hand, if you were to define g(z) = z^2 f(z), then you would have
g(0) = 3 + 2 (0) + 3 (0^2) + ... = 3.
So in this precise context, diving any complex number by zero is not a huge problem. (Actually, just as was the case with 0/0
, we are not actually working with the number zero here, but rather are taking some sort of limit or infinitesimal value, similar to what was going on in formalizing calculus. So the complaints from my original response still apply. Nevertheless, you seem to be after a conceptual way to give meaning to 1/0
rather than a literal way to give meaning to it, so this may be something like what you're looking for.)