Theorem of the Day


List of pending theorems with web resources

At some time in the future I hope there will be a page for each of the following theorems and, as I come across them, record web resources to help me. Links to pageswhich I want to study in the hopes of improving existing theorems are also kept here, in which case the theorem names link to their entry in my main theorem list.

Please email me and with either theorems you would like to see added to the list or weblinks which you think will be valuable to me.

 

Main List of Theorems
     
Theorem of the Day Home Page

Bell's Theorem
https://www.quantamagazine.org/a-new-theorem-maps-out-the-limits-of-quantum-physics-20201203/

Cantor–Bernstein–Schröder
https://arxiv.org/abs/math/0605779

Cauchy's Integral Formula
https://robjlow.blogspot.com/2019/04/cauchy-and-other-mean-value-theorem.html

Cauchy's Residue Theorem
https://en.wikipedia.org/wiki/Residue_theorem

Combinatorial Nullstellensatz
https://en.wikipedia.org/wiki/Restricted_sumset

Cook's Theorem on NP-completeness
https://quorasessionwithscottaaronson.quora.com/Do-you-expect-that-P-NP-is-decidable-in-ZFC-and-what-about-BQP-or-RP-1111

Decidability of Tiling
https://arxiv.org/abs/1602.05738
https://terrytao.wordpress.com/2022/11/29/a-counterexample-to-the-periodic-tiling-conjecture-2/
https://www.quantamagazine.org/mit-math-students-continue-aristotles-tetrahedra-tiling-20210209/
https://www.quantamagazine.org/computer-search-settles-90-year-old-math-problem-20200819/

Dunn and Pretty's Triangle-Halving Deltoid
https://ems.press/content/serial-article-files/4415
https://link.springer.com/article/10.1007/s00022-005-0006-0
https://dl.acm.org/doi/abs/10.1016/j.aam.2022.102342
https://msp.org/involve/2015/8-2/involve-v8-n2-p11-p.pdf

The Erdos conjecture on arithmetic progressions
https://www.quantamagazine.org/landmark-math-proof-clears-hurdle-in-top-erdos-conjecture-20200803/

Euclid Book 1 Proposition 1
http://cgm.cs.mcgill.ca/~godfried/teaching/dm-reading-assignments/Euclid-Second-Proposition-Math-Intell.pdf

Frobenius' theorem on real division algebras
https://danshved.wordpress.com/2013/05/09/frobenius-theorem-on-real-division-algebras/

The Fundamental Theorem of Arithmetic
https://www.sciencedirect.com/science/article/pii/031508609290075M

The Fundamental Theorem of Galois Theory
https://www.quantamagazine.org/how-galois-groups-used-polynomial-symmetries-to-reshape-math-20210803/

Goldbach's Summation Identity
https://www.researchgate.net/publication/262857022_Series_Involving_the_Zeta_Functions_and_a_Family_of_Generalized_Goldbach-Euler_Series
https://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/bibiloni206.pdf

The Hall–Paige Conjecture
https://cameroncounts.wordpress.com/2018/12/18/the-hall-paige-conjecture/
https://download.arxiv.org/pdf/2003.01798v2.pdf

Hensel's Lemma
https://math.uchicago.edu/~may/REU2018/REUPapers/Chen,Yuchen.pdf
https://www.quantamagazine.org/how-the-towering-p-adic-numbers-work-20201019/

The Hopf Umlaufsatz
https://people.math.harvard.edu/~knill/teaching/math22a2018/handouts/lecture15.pdf
https://www2.math.upenn.edu/~pjmcgrat/research/umlaufsatz.pdf
https://mathematik.com/Hopf/

L'Hospital's Rule
https://web.math.ucsb.edu/~agboola/teaching/2021/winter/122A/rudin.pdf

The Impossibilities
https://www.maa.org/sites/default/files/pdf/upload_library/22/Allendoerfer/Suzuki.pdf
https://www.jstor.org/stable/30037438
https://www.britannica.com/topic/Trisecting-the-Angle-Archimedes-Method-724632#ref1074301

Legendre's Theorem on Factorial Factors
https://www.cut-the-knot.org/blue/LegendresTheorem.shtml

The Lonely Runner Conjecture
https://terrytao.wordpress.com/2017/01/10/some-remarks-on-the-lonely-runner-conjecture/

The Mean-value theorem
https://abesenyei.web.elte.hu/publications/meanvalue.pdf

Pappus's theorem
A comment on Twitter from @ArthurNewlands reminds me to upgrade this page! "I love this theorem for many reasons. Because it is a special case of Pascal's Hexagrammum Mysticum, which is, in turn, a special case of Cayley–Bacharach; because of its dual form; because it helps characterise a projective plane over a field; because implies Desargues' thm etc."

The Shoelace formula
https://gdz.sub.uni-goettingen.de/id/PPN352846038_0001

Tarski's high school algebra problem
https://en.wikipedia.org/wiki/Tarski's_high_school_algebra_problem

The Toeplitz Square Peg Problem
https://terrytao.wordpress.com/2016/11/22/an-integration-approach-to-the-toeplitz-square-peg-problem/

Tunnell's Theorem
https://www.math.rug.nl/~top/Chandrasekar.pdf

The Universal Coefficient Theorem in Homology
https://digitalcommons.colby.edu/cgi/viewcontent.cgi?article=1883&context=honorstheses

Van der Waerden’s Theorem on Arithmetic Progressions
https://pointatinfinityblog.wordpress.com/tag/van-der-waerden/
http://www.cs.umd.edu/~gasarch/TOPICS/vdw/GKPbook.pdf
https://www.sciencedirect.com/science/article/pii/S0097316508000137
https://arxiv.org/pdf/2102.01543.pdf

Zermelo's Theorem in Game Theory
https://en.wikipedia.org/wiki/Zermelo%27s_theorem_(game_theory)
Main List of Theorems
     
Theorem of the Day Home Page