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.
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.shtm l
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
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)