> I might agree to it anyway just to get the Bourbaki people off my back. > :) >
How charming! Let's say what the problem is. The problem is not a dilemma between "semigroup" or not "semigroup" .The problem is that you let people believe that they are free to choose their subject, and at the end when they have spent hours on something you systematically block their work using a pretext or another: the mental "deficiencies" of the poor engineers, the mental overload of the lonesome undergraduates, mathematical darwinism, usefulness according to yourself etc. It's not possible to do that. You deceive them. Once and for all clarify your choices. You say that you do not want a definition higher than the undergraduate level to appear in the official part and in the same time you want Fermat's last theorem to be formalized. You say that you leave people perfectly free but at the same time, if it is not in a certain undergraduate textbook popular in the USA, you make a fuss about it. You don't know what you want. -- 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/b96715d0-43a6-47aa-97ab-6e176e171438%40googlegroups.com.
