Talk:Isosceles triangle theorem

The Logic Theorist section

I deleted the section 'The Logic Theorist' because there there several discrepancies between the article and the source and in a truthful version the facts seems unnoteworthy. First, the 'new' proof was found by a hand-simulation of a heuristic algorithm. In other words, humans carried out the algorithm as if it had been programmed into a computer, but no actual computers were involved and the source does not say that the program was ever implemented on a machine. Second, the algorithm was created and run by Minsky, not Newell and Simon of the Logic Theorist. Third, the proof was, in fact, well known, though it might have been new to the people running the algorithm.--RDBury (talk) 23:38, 23 January 2010 (UTC)