Let's go.........RANDOM!
Proposition: There are no uninteresting positive integers.
Proof: Suppose for contradiction that there are uninteresting positive integers. The set of uninteresting positive integers must have a least element. The property of being the smallest uninteresting positive integer is interesting, which is a contradiction. Therefore there are no uninteresting positive integers. QED
xander
Proof: Suppose for contradiction that there are uninteresting positive integers. The set of uninteresting positive integers must have a least element. The property of being the smallest uninteresting positive integer is interesting, which is a contradiction. Therefore there are no uninteresting positive integers. QED
xander
Xocrates wrote: the least amount of interest.
If there is a least amount of interest, then interest is a value, in contrast to being just a property. If it is a value, then you can sort by the value. If you can sort by value of interest and sort by the nominal value, then you are not talking about integers.
Last edited by trickser on Tue Feb 26, 2013 11:23 pm, edited 1 time in total.
NeatNit wrote:Really though, all you created was a paradox. By declaring an integer interesting based only on how it's actually uninteresting, you took away the one thing that made it interesting. Since interesting-ness is not self-supporting, it jumps back to being uninteresting, hence the paradox.
Proofs 101, NeatNit. I assumed that there were uninteresting numbers. If you make that assumption, you come to a contradiction (what you are calling a paradox). Since the assumption led to a contradiction, the assumption must have been wrong. The assumption was that there were uninteresting positive integers, hence I have shown that there are no uninteresting positive integers. The problem is not the structure of the proof. Rather, if you are going to claim that there is a problem, it will be in the formal definition of "interesting."
xander
Xocrates wrote:trickser wrote:then you are not talking about integers.
Why not? It's a property in the same sense that the number of digits of a number is a property of that number. Having a secondary numeric value associated to a number doesn't change the value of that number.
The number of digits is a deduced property, it depends on the numbers (we talk about integers, right?) value and some arbitrary rule to express it. The introduced property of interest is independent of the numbers value. Thats a difference.
That will change the numbers from a one dimensional field to a tow dimensional field, when the definition of integers is probably something about 1 and its successors. But arguing with the definition seems cheap (and silly when you don't actually know it), but I suspect some change in capacity to be found.
lets say you have 1 with interest -1 and 2 with interest 2
so 1+1 is 2 but interest is -2, so 1+1!=2
That's actually bullshit in more ways than one
Even assuming that the interest property is not independent per integer, we have not established how the + operator works in regards to interest. That your result is incorrect is enterily hipothetical.
Also:
No it's not. Whatever interest the number has, will be directly or indirectly tied to their value.
For instances, 1 may be interesting partly because it's the lowest odd number, but you need to know its value to determine that.
Even assuming that the interest property is not independent per integer, we have not established how the + operator works in regards to interest. That your result is incorrect is enterily hipothetical.
Also:
The introduced property of interest is independent of the numbers value.
No it's not. Whatever interest the number has, will be directly or indirectly tied to their value.
For instances, 1 may be interesting partly because it's the lowest odd number, but you need to know its value to determine that.
trickser wrote:That will change the numbers from a one dimensional field to a tow dimensional field, when the definition of integers is probably something about 1 and its successors.
The integers, let alone the positive integers, do not form a field---the integers are not closed under multiplicative inverses (and the positive integers are not even closed under additive inverses).
xander
- Ace Rimmer
- level5
- Posts: 10803
- Joined: Thu Dec 07, 2006 9:46 pm
- Location: The Multiverse
Who is online
Users browsing this forum: No registered users and 31 guests