What is the most useless theorem in mathematics?
a^2 + b^2 = c^2
perfect circles don't exist
All of them
>>8331383
Any pure math as what you described is by definition thus.
Invariance of domain
>>8331383
This is virtually impossible to answer. The majority of pure math published is not only useless in the real world, it's also useless to most other areas of math because it's not motivated by anything. It's a rare result that finds wide applicability. Usually mathematicians just pick some problem that looks interesting and then sort of file away the obstacles (i.e. things they can't prove) they reach along the way. Eventually, when a bunch of people run into the same obstacle over and over again, you sort of know that it would be important to solve it, and it becomes a big conjecture like the Riemann Hypothesis.
Less rarely do people start by trying to create a framework and definitions that will be adapted to the general principles behind a situation. Usually if you do so in the right way, it becomes very easy to prove things, and your results are more widely applicable. This is the "avocado approach" of Grothendieck.
Pigeonhole principle
You cannot possibly have something more obvious than that shit
>>8331386
They do as varieties over fields of characteristic 2. The freshmen were right all along.
>>8331383
Anything Cauchy,Weierstrass.
>>8331532
tao seems to let his cock spurt loads over it though
>>8331532
Well the hard part is usually translating the language of a problem into the language of pigeons and holes. It's useful to be able to say, "by the pigeonhole principle" and have people know what you're doing.
>>8331532
>"if n > m, n / m > 1"
wow
>>8331711
>not the generalised version
>>8331532
True, but it's used a lot, relatively speaking. So it's at least useful for mathematicians.
Basically any theorem which essentially goes
>The Existence Theorem
>A = A
Which I've seen in a half-dozen textbooks in various fields of math.
>>8331724
What in the world kind of math are you doing? Example of one of these theorems?
>>8331730
Symbolic logic has p -> p, that's the first thing that comes to mind.
I don't have any other examples off the top of my head. They're usually stuck in the middle of a table filled with other tiny little identities and theorems.
>>8331383
Probably independence results relating to the axiom of regularity. For example, in ZFC - {Regularity} it is consistent that {x | x = {x}} is not only nonempty, but a proper freaking class.
Interesting as it may be, this is useless to mathematics because literally everything can be done with regularity assumed. Every algebraic structure is homomorphic to a well founded set, every topology is homemorphic to a well founded set, etc... It would take something highly pathological to need a non-well founded set, (i.e. something that contradicts regularity.)
>>8331772
Yes, for any equivalence relation you have to show that A == A.
>>8331711
10 > -10
-1 > 1
wow
Archimède's theorem
>>8332106
You have to flip the inequality when you multiply by 1/-10 buddy
>>8331711
What if [math] n = | \aleph_0 | [/math] and [math] m = | \aleph_1 | [/math]?
The Jordan Curve Theorem:
"A continuous , closed loop divot gay doesn't intersect itself divides R^2 into 2 regions: inside and outside the loop"
This is literally a theorem that someone spent hundreds of hours of a professional career proving and was praised for it
>>8332341
10 > -10
-1 ^ 1
wow
>>8332789
if you thing it's useless you haven't done complex analysis. it's a VERY important theorem, and deceivingly hard to prove.
>>8331383
Banach-Tarski theorem, because you can't reassemble an object into two identical copies without completely abtracting yourself from any possible hope of real-world relevance
>>8331383
its you op
your math
and usless
>>8332802
>continuous
>continuous
It tells you the answer in the premise !
If if the line is genuinely continuous then of course it is going to divide space without any gaps
Yes even if the line is a fucking fractal.
Green, it is only Gauss or Stokes on a flat curve and a 2d vector field. no real application.
>>8332858
What the fuck do you think continuous means? Because it's not "obvious" that for f:[0,1]->R^2 such that "f(0)=f(1)", the condition "for all x in [0,1] and e>0, there exists a d>0 such that ||x-y||>d implies ||f(x)-f(y)||<e" implies "R^2\range(f) has exactly two connected components, exactly one of which is bounded".
a=b
b=c
Therefore a=c
>>8332799
lol
>>8332898
Go tell that to “CS majors” please, because apparently it's beyond their ability to understand.
>>8332858
that's clear when you're working in R^2, it's not clear when you're working in something that isn't R^2.
>>8332898
>a=b
>b=c
>thereforea=c
lolwhat?no.a=bretard
>>8332881
What are you getting butthurt for, blathering about irrelevant nonsense.
>>8332903
Are they actually that dumb?
>>8333159
example taken from javascript
>1 == " 1" // true
>1 == "1 " // true
>" 1" == "1 " // false
>>8331386
Lrn2pythagoras fgt pls
>>8332814
>theorem
>real-world
fgt pls
>>8333176
>dynamically typed languages
>mfw
Though I'm disappointed that you didn't realize that you use two different relations in your example
>>8333231
>Though I'm disappointed that you didn't realize that you use two different relations in your example
Not sure what you're referring to. Do you mean because one invocation compiled down to string comparison and the other down to integer comparison?
If so, that's a meaningless implementation detail - there's only a single == relation in JavaShit, because it operates on a single universal type. (You can compare every value to every other value)
>>8333234
No, the == relation is an overloaded operator and is dynamically resolved into the typed version, it's basically dynamic dispatch, but with relations instead of methods. It's not an implementation detail, the equality is defined only for the typed relations in the language standard. If your example shows anything, then it's that dynamic typing is stupid and leads to stupid pitfalls
>>8333244
It's not overloaded; it's syntactically and semantically a single operator with a single implementation.
Syntactical definition: http://www.ecma-international.org/ecma-262/7.0/index.html#sec-equality-operators
Operational semantics: http://www.ecma-international.org/ecma-262/7.0/index.html#sec-abstract-equality-comparison
(See also http://www.ecma-international.org/ecma-262/7.0/index.html#sec-samevaluenonnumber)
Note however that this is a single algorithm in principle. There's nothing in here about there being multiple distinct == operators, nor does JavaShit have any sort of dynamic dispatch mechanism for overloaded operators.
If you were to translate this from JavaShit into the language of the well-typed (e.g. Haskell), it would be like this:
[code]
data JsVal = JsNull | JsNum Double | JsString String | ...
instance Eq JsVal where
JsNull == JsUndef = True
JsUndef == JsNull = True
JsNum NaN == JsNum _ = False
JsNum _ == JsNum NaN = False
...
-- all of the described rules
_ == _ = False
[/code]
And *not* like this:
[code]
data JsNull = JsNull
data JsNum = JsNum D ouble
instance Eq JsNum where
...
[/code]
>>8333159
lol you're dumb
many languages have a top down approach
to state
a=b
b=c
and say that a=c is false since a was assigned b before b was assigned c
the = operator means assignment
what you're looking for is ==
>>8331383
Lowenheim-Skolem, and ultimately the Power Set Axiom.
Fuck your cardinals, the universe is discrete
Noether's Theorem, just to say fuck you to that guy who posts that shit like weekly.
>>8333302
U can't know nuffing bout models
>>8333302
Löwenheim-Skolem, in addition to compactness and completeness, is one of the most important theorems in model theory. If you feel model theory is useless, then you are also wrong, since it's extremely applicable in algebra at least.
>>8333176
pajeetgramming != compsci
>>8333302
go back to bed Wildburger
>>8331386
I am provoked by this
zorn's lemma
>>8331383
Like 80% of them.
a = a for sure
>mfw all these math-illiterate undergrad brainlets who say x = x not knowing reflexivity is fundamental as fuck
The correct answer is either [math]\mathrm{card}\,\mathbf P\,=\,\aleph_0[/math] or the Banach-Tarski theorem.
>>8334126
dafuq is [math]\mathbf P[/math]
>>8331724
1 * A = 1 * A is more descriptive, in my humble opinion
Under certain conditions, 1 * A = A * 1 can also be used.