most recent 30 from http://mathoverflow.net 2013-06-18T05:01:01Z http://mathoverflow.net/feeds/question/30702 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/30702/unprovability-of-the-steiner-lehmus-theorem Bai Li 2010-07-06T00:39:02Z 2010-07-06T00:39:02Z

<p><a href="http://cs.nyu.edu/pipermail/fom/2004-August/008394.html" rel="nofollow">Conway</a> postulated that the Steiner-Lehmus theorem is unprovable using direct methods of proof. Can this be proven directly, that the Steiner-Lehmus theorem cannot be proven directly over Euclidean postulates?</p>