This redirect is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
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)[reply]