Reminder: We still have Metamath 100 entries to complete!!

[David A. Wheeler]

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

[Jim Kingdon]

On 7/14/23 17:48, David A. Wheeler wrote:

> No, we're not expecting anyone to do #33 (Fermat's Last Theorem)
> right now, but some of these seem relatively within our grasp.

Maybe not, but we need proofs of Fermat's Last Theorem for n=3 and n=4
and that should be in the "within our grasp" category. More notes at
https://github.com/metamath/set.mm/wiki/Fermat's-Last-Theorem including
a few other tasks which are smaller than the whole thing.