::I am not questioning that there is a valid objection to using proofs that require additional assumptions, for example choice. This is a very reasonable view. I do question whether such proofs are actually called "elementary" by mathematicians. The case of applying complex analysis to number theory is non-elementary by either proposed definition. I have given one example in the literature which clearly contradicts the characterization of choice as necessarily non-elementary, and can easily find more. Can you please cite someone who uses your definition of an elementary proof? I'm willing to believe that this usage is in circulation, but this is the first I've run into it. --11:00, 25 August 2009 (EDT) | ::I am not questioning that there is a valid objection to using proofs that require additional assumptions, for example choice. This is a very reasonable view. I do question whether such proofs are actually called "elementary" by mathematicians. The case of applying complex analysis to number theory is non-elementary by either proposed definition. I have given one example in the literature which clearly contradicts the characterization of choice as necessarily non-elementary, and can easily find more. Can you please cite someone who uses your definition of an elementary proof? I'm willing to believe that this usage is in circulation, but this is the first I've run into it. --11:00, 25 August 2009 (EDT) |