A reminder - we still have some "Metamath 100" challenge problems that would be great to complete. The full list of "proofs to be done" are here:
https://us.metamath.org/mm_100.html#todo For your convenience I've copied the list below. No, we're not expecting anyone to do #33 (Fermat's Last Theorem) right now, but some of these seem relatively within our grasp. If you're not planning to do one, but have tips on how to do it, please post a reply. But it'd be even better to have more done :-). --- David A. Wheeler ============= • 6. Gödel's Incompleteness Theorem • 8. The Impossibility of Trisecting the Angle and Doubling the Cube • 12. The Independence of the Parallel Postulate • 13. Polyhedron Formula • 16. Insolvability of General Higher Degree Equations • 21. Green's Theorem • 24. The Undecidability of the Continuum Hypothesis • 28. Pascal's Hexagon Theorem • 29. Feuerbach's Theorem • 32. The Four Color Problem • 33. Fermat's Last Theorem • 36. Brouwer Fixed Point Theorem • 40. Minkowski's Fundamental Theorem • 41. Puiseux's Theorem • 43. The Isoperimetric Theorem • 47. The Central Limit Theorem • 50. The Number of Platonic Solids • 53. π is Transcendental • 56. The Hermite-Lindemann Transcendence Theorem • 59. The Laws of Large Numbers • 62. Fair Games Theorem • 82. Dissection of Cubes (J.E. Littlewood's "elegant" proof) • 84. Morley's Theorem • 92. Pick's Theorem • 99. Buffon Needle Problem • 100. Descartes Rule of Signs -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/B0B0A51E-D92C-489C-BBE0-DF8E7268040F%40dwheeler.com.
