If you need to fit 1023 pigeons in 885 holes, then someone in that process didn't get a memo.
What's the frequency Kenneth?|In case of war.Fun fact that I just realized, being reminded that mathematicians come up with weird names for things.
Mankind can only understand axiomatic systems. Axiomatic systems all contain principles that cannot be proven within the system. This is Gödel's First Incompleteness Theorem.
In almost all systems, A is A. This is the Identity Principle.
You can't prove this is true.
Sakamoto demands an explanation for this shit."If the Fuhrer wants it, two and two makes five!" - Hermann Göring
no one will notice that I changed thisYes, numbers other than 0 and 1 don't need proofs to exist, generally — at least, counting numbers don't. Technically even 0 and 1 don't need proofs, as 0 is "the number of elements in the null set" (which is {}), and 1 is "the number of elements of the set of numbers defining the null set," i.e. the number of elements in {0}.
Head spinning yet?
Sakamoto demands an explanation for this shit.I don't think you need to prove any number exists. You might need to prove it's a real number (or a complex number or whatever you're working with), but that's different. Though exactly what it means for a number to "exist" is rather unclear.
Mind you, I'm far from a mathematician.
Oh, and when Imipolex G said "the Fuhrer" I immediately thought of King Bradley rather than Adolf Hitler. Just in case someone needed more proof that I'm a nerd.
edited 13th Oct '09 2:10:41 PM by Nyktos
I guess it is.I've started using 'Uso da' as a synonym for "liar".
It's a bit annoying.
Anyone who assigns themselves loads of character tropes is someone to be worried about.Translations of popular media are not by any means literal. (If they are, they suck.)
[1] This facsimile operated in part by synAC."How could you say such a thing, you that's a lie?!"
i.e. No no no.
[1] This facsimile operated in part by synAC.Math is weird.
edited 13th Oct '09 8:10:29 PM by FreezairForALimitedTime
"Proto-Indo-European makes the damnedest words related. It's great. It's the Kevin Bacon of etymology." ~Madrugada

Cheese is always twice the fence post.
"Proto-Indo-European makes the damnedest words related. It's great. It's the Kevin Bacon of etymology." ~Madrugada