Quote:
Originally Posted by Strangler Lewis
Then how much of a number theory problem is it?
Is "For all C > -40: 9/5 * C + 32 > C" a number theory problem?
|
Yes, it is. A very striaght forward one, but a provable theory none the less.
Like I said, I'm aware that it's a fairly self-evident truth. But in terms of mathematic rigor, would more detail be required (the answer may very well be no)?