(January 28, 2012 at 10:35 pm)Pendragon Wrote: No, I meant this:http://en.wikipedia.org/wiki/Constructiv...ematics%29I think that's what I meant too? I'm sure constructionists would scoff at the steps taken to prove that every non-unit of a ring is contained in a maximal ideal (it relies very strongly on Zorn's Lemma). But I would hardly want to do algebra without that result.
I like the nonconstructive mathematics. But I don't want the opposition to be a straw argument.