# Math Proofs: Any Practical Application? **URL:** \ **Category:** Factual Questions\ **Created:** [February 17, 2000, 1:14pm UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475 "2000-02-17T13:14:00Z")\ **Posts on this page:** 6\ **Page:** 2
**Author:** ![RM\_Mentock](https://avatars.discourse-cdn.com/v4/letter/r/e274bd/32.png) [@RM\_Mentock](https://boards.straightdope.com/u/RM_Mentock)\ **Post date:** [February 17, 2000, 8:06pm UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475/21 "2000-02-17T20:06:00Z")
> [@](#): > > Originally posted by Jinx: > \*\*By the way, did anyone have to do trig identity proofs? Not fun at all! \*\* \Mmmm…trig identity proofs!\ \----------------   rocks\ ---
**Author:** ![warinner](https://avatars.discourse-cdn.com/v4/letter/w/8edcca/32.png) [@warinner](https://boards.straightdope.com/u/warinner)\ **Post date:** [February 17, 2000, 9:54pm UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475/22 "2000-02-17T21:54:00Z")
> [@](#): > > On group theory: Generalized group theory is a well known and well used branch of mathematics. What Colin’s friend works on could be a very tiny problem in the broader field, understood by only a handful of people. However, I thought that group theory was considered a “closed” topic, that everything to be discovered in that field had been? Group theory, in particular the study of finite simple groups, is still very popular because it is so incredibly useful. A lot of modern mathematics revolves around taking a hard problem in one branch and figuring out a mapping to a different system or branch that is better understood. This is how Fermat’s Last Theorem was solved. Finite simple groups are often used since group theory offers a lot of powerful insights into their properties. Group theory is by no means closed, but you may be thinking of the classification of all finite simple groups was finished up in 1980. It took some time for the mathematical community to accept that the classification was complete. What’s the classification of all finite simple groups, you ask? Theorem: Any finite simple group is either 1.cyclic of prime order; or 2.an alternating group on at least five letters; or 3.a group of Lie type; or 4.one of the 26 sporadic groups You think geometry proofs are hard? The above theorem took 15,000 pages to prove which explains why it took some time convince everyone that it was done. Mathematicians are working to pare that down to 3000 pages. Understanding the sporadic groups, especially the Monster group, seems to be the rage these days. Andrew Warinner ---
**Author:** ![APB9999](https://avatars.discourse-cdn.com/v4/letter/a/8e8cbc/32.png) [@APB9999](https://boards.straightdope.com/u/APB9999)\ **Post date:** [February 17, 2000, 10:44pm UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475/23 "2000-02-17T22:44:00Z")
Group Theory is absolutely central in modern chemistry, particularly spectroscopy. ---
**Author:** ![Wendell\_Wagner](https://avatars.discourse-cdn.com/v4/letter/w/8491ac/32.png) [@Wendell\_Wagner](https://boards.straightdope.com/u/Wendell_Wagner)\ **Post date:** [February 18, 2000, 4:00am UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475/24 "2000-02-18T04:00:00Z")
Offhand I would guess that there are about a thousand mathematicians specializing in group theory in the world. The nonsensical notion that there are only twenty people in the subject sounds like the urban legend that there are only thirteen people in the world who understand the theory of relativity, which is also nonsense. ---
**Author:** ![hightechburrito](https://avatars.discourse-cdn.com/v4/letter/h/f6c823/32.png) [@hightechburrito](https://boards.straightdope.com/u/hightechburrito)\ **Post date:** [February 18, 2000, 5:49am UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475/25 "2000-02-18T05:49:00Z")
When I took Trig in high school I loathed the identities, but now that I am into second semester Calculus, I wished that I had payed a little more attention. * * * The facts, although interesting, are irrelevent. ---
**Author:** ![C\_K\_Dexter\_Haven](https://avatars.discourse-cdn.com/v4/letter/c/b2d939/32.png) [@C\_K\_Dexter\_Haven](https://boards.straightdope.com/u/C_K_Dexter_Haven)\ **Post date:** [February 18, 2000, 2:17pm UTC](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475/26 "2000-02-18T14:17:00Z")
Thanks, Warinner, that was probably my confusion. Back in the 1970s, I was an algebraic topologist, which also relies heavily on group theory. Aside from the sheer joy of finding such relationships, the trig identities teach logical manipulation of abstract concepts. When you are presented with massive amounts of confusing data, the ability to manipulate it (logically and therefore consistently) is a fine-honed skill. This is a commonly needed job skill, in many occupations. [Previous page](https://boards.straightdope.com/t/math-proofs-any-practical-application/7475.md?page=1)