Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Most theorems in Euclidean geometry are IFF theorems.
Replies: 11   Last Post: Sep 13, 2013 1:32 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
scattered

Posts: 85
Registered: 6/21/12
Re: Most theorems in Euclidean geometry are IFF theorems.
Posted: Sep 4, 2013 5:59 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Tuesday, September 3, 2013 9:17:00 PM UTC-4, Lite Beta wrote:
> Is there a reason why most theorems in Euclidean geometry are IFF theorems?

Interesting question, though I am not quite sure about the "most" part. How would you quantify that and (assuming you can and the "most" is justified) how different is Euclidean Geometry from e.g. number theory?

One possible answer is that Euclidean Geometry is a mature branch of mathematics and that (over time) results tend to move towards IFF theorems. A non-specific example of what I mean by this is, suppose that at one stage in the development of geometry it was known that parallelograms have a certain property but later it was discovered that, more generally, quadrilaterals have that property. The second of the two results would have been what made its way into Euclid's Elements (assuming that it was known by then) but the second result (with a weaker premise) would have greater likelihood of having a true converse.



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.