--- Benjamin Goertzel <[EMAIL PROTECTED]> wrote: > Computer theorem-provers are way worse than any human mathematician, > except at very special types of theorems.
True, there has not been much progress since Gelernter used internal graphical models to heuristically trim the search space to prove theorems in plane geometry in 1959 [1]. 1. Gelernter, H., Realization of a Geometry-Theorem Proving Machine, Proceedings of an International Conference on Information Processing, Paris: UNESCO House, pp. 273-282, 1959. -- Matt Mahoney, [EMAIL PROTECTED] ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=60657406-2dfc54