Re: Archaeopteryx flight

[Dinogeorge@aol.com]

In a message dated 9/3/01 2:41:44 PM EST, philidor11@snet.net writes:

<< The assumptions in this statement include the premises (the 'statements
 known or assumed to be true') and also the logic which connects these
 premises to a conclusion 'whose truth is established'.  After the argument
 is complete, a proposition has become a conclusion, no? >>

My concern was to describe what a proof >is<, not whether the proof might or 
might not be logical, or convincing, or whatever. Repeat after me: "A 
mathematical proof is a logically constructed sequence of statements..."