
Re: Brainstorming about STEM (was About Functions)
Posted:
Dec 23, 2011 1:08 PM


>Do your "garden variety mathematical theories" include >things like number theory, abstract algebra and geometry?
I was being a bit tongue in cheek. To NOT be in the class of "effectively generated theory" the formal theory in question must have axioms that comprise a nonrecursively enumerable set. Truly exotic, as I said. Actually, I'm not really aware of any theories of algebra or geometry that are not "effectively generated" (i.e., garden variety).

