[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: Game of Life: an XSLT implementation
Michael Kay scripsit: > A more direct demonstration of XSLT's Turing-completeness was done a > while ago, see > > http://www.unidex.com/turing/utm.htm Also very cool. Collecting more proofs is always good. The standard proof that the base angles of an isosceles triangle are equal involves dropping a line from the isosceles angle to the base, dividing it into two right triangles: this is the _pons asinorum_ or "asses' bridge" (if you can't hack this proof, forget studying geometry). But there is a simpler if less obvious proof: Let ABC be an isosceles triangle with base BC. Then the triangle ACB, found by tracing the line of the triangle in the opposite direction, is congruent to it by the side-angle-side theorem (AC = BC, and angle BAC = angle CAB). Angles ABC and ACB are then equal, because they are corresponding angles of congruent triangles. Pappus published this proof around 340 CE, and Marvin Minsky wrote a theorem-finding program in 1956 that rediscovered it. -- The man that wanders far jcowan@r... from the walking tree http://www.reutershealth.com --first line of a non-existent poem by: John Cowan
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|