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


Like I was saying, the tautologists have carved out a niche (as usual). Just don't confuse this claim with TV show renderings of computers and/or their controllers somehow proving all of the math you learned in high school, using some genetic algorithm. So far, proving theorems in most domains is strictly noncomputable in the operational sense of computers so far not managing to hit the targets in questions. Kinda like Star Wars (SDI).
Kirby
On Fri, Dec 23, 2011 at 10:08 AM, Joe Niederberger <niederberger@comcast.net> wrote: >>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).

