favorite theorems #519

onion src #5958

what are your favorite theorems? one of mine is "this is a theorem (of peano arithmetic)", it's expressible by the diagonal lemma and is a consequence of Löb's theorem. another is Kőnig's lemma, I think it's neat and it's especially interesting in reverse mathematics, where weaker forms of it lead to interesting systems.

taswelll src #5959

jordan curve theorem

quintopia src #5960

Gauss's Remarkable Theorem (Theorema Egregium)

Incoherent src #5961

the Sprague–Grundy theorem and the Euclid–Euler theorem are both quite good I think. also this may not be a theorem, but the sophomore's dream identity is quite nice

janmusija src #5962

Hm, the compactness theorem and the completeness theorem are both pretty good. I'd also agree that Sprague-Grundy is pretty nice.

I don't know if this one has a name but probably my personal favorite is "there is no uncountable, well ordered (by $\le$) subset of the reals"

gollark src #5964

Lagrange's theorem (group theory).

ubq323 (bureaucrat) src #5965

intermediate value theorem is a classic

caesar src #5966

the Collatz Theorem is rather interesting, the proof i found during my time travels is fascinating. though not as interesting as Sphagnum's Theorem.

please log in to reply to this thread