I'm fascinated by discussions about usefulness. For if there is one theorem that is perfectly useless, it is Fermat's last theorem. No one knew if it was true for three centuries and no one had a problem with it.
So let's be honest: "useful" means that Norm finds something interesting and "useless" means that Norm finds that something is not interesting. The problem, again, is that Fermat's theorem is a big thing and it's laid out in a way that will make it difficult to collaborate. You should at least try to identify the concepts or theories that are involved in the proof. -- FL -- 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/b2ace0aa-ea55-4b1b-9b93-632c9d37eeb5%40googlegroups.com.
