Nit.

Post #225,598 by mmoffitt 9/20/05 11:18:42 AM Reply	Nit. In any case, real mathematicians almost never write out formal proofs. Except, of course, those who must publish to keep their positions. They do it at least once in a while. At any rate, I'm certainly glad Andrew Wiles did. ;0) bcnu, Mikem It would seem, therefore, that the three human impulses embodied in religion are fear, conceit, and hatred. The purpose of religion, one might say, is to give an air of respectibility to these passions. -- Bertrand Russell
Post #225,652 by ben_tilly 9/20/05 7:18:19 PM Reply	Nit denied The proofs that you see published are closer to vague outlines of how a competent person might construct a formal proof than they are to formal proofs. And yes, that includes Andrew Wiles. Whose first "outline" turned out to have a hole that a competent person could not be expected to be able to fill in, though he managed to come up with a workaround. Cheers, Ben I have come to believe that idealism without discipline is a quick road to disaster, while discipline without idealism is pointless. -- Aaron Ward (my brother)
Post #225,741 by mmoffitt 9/21/05 12:37:40 PM 9/21/05 12:39:10 PM Reply	What's your point? That professors of mathematics never write formal proofs? Or that professors are not "professionals"? Because, CLEARLY, professors of mathematics (at least at Purdue and North Carolina) do write formal proofs and submit them for publication. [Edit]: BTW, where'd you get your M.S. in Mathematics? Presumeably, at a place where none of your professors wrote formal proofs, right? bcnu, Mikem It would seem, therefore, that the three human impulses embodied in religion are fear, conceit, and hatred. The purpose of religion, one might say, is to give an air of respectibility to these passions. -- Bertrand Russell Edited by mmoffitt Sept. 21, 2005, 12:39:10 PM EDT Expand All History
Post #225,760 by ben_tilly 9/21/05 2:49:18 PM Reply	My point is that... a formal proof is a very specific thing, and very few proofs that you'll find in the mathematical literature are formal proofs. If you find this strange, then you either have no familiarity with what real math papers look like, or you don't really know what a formal proof looks like. This applies as much at Dartmouth College, where I got my masters, as it does at Purdue and North Carolina. Furthermore if you talked to a logician from any of those three universities, I guarantee that they would agree with me. All of this is well-known within the profession. It even has shown up on the wikipedia, for instance see [link\|http://en.wikipedia.org/wiki/Mathematical_proof\|http://en.wikipedia....athematical_proof]. Cheers, Ben I have come to believe that idealism without discipline is a quick road to disaster, while discipline without idealism is pointless. -- Aaron Ward (my brother)
Post #225,769 by mmoffitt 9/21/05 3:26:10 PM Reply	Ah. Dartmouth. That explains the arrogance. :-p bcnu, Mikem It would seem, therefore, that the three human impulses embodied in religion are fear, conceit, and hatred. The purpose of religion, one might say, is to give an air of respectibility to these passions. -- Bertrand Russell

Welcome to IWETHEY!