1984 | OriginalPaper | Buchkapitel
Colouring by numbers
verfasst von : Keith Devlin
Erschienen in: Micro-Maths
Verlag: Macmillan Education UK
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Early in 1984, the Fredkin Foundation of Boston, Massachussetts, USA, offered a prize of $100,000 to the first person to write a computer program which subsequently makes a genuine mathematical discovery. All entries are to be examined by a twelve member committee of experts headed by Woodrow Bledsoe, Professor of Computer Science at the University of Texas at Austin. Bledsoe is a leading figure in that area of computer science which deals with attempts to program computers to prove mathematical theorems.