Abstract

This volume contains papers and abstracts of papers delivered at the colloquium at Tihany, Hungary in 1962. There were seven sections; mathematical logic, computers and automata theory, circuit theory, mathematical linguistics, computers and programming, applications of computers in economics, artificial intelligence. Among the more interesting—to the reviewer—were these papers: one by Church concerning an independence problem in recursive arithmetic; Muller—characterizing classes of recursive functions; a long and philosophically stimulating study by Watanabe on a formalization of inductive logic; Kiefer—applications of set theoretic techniques in linguistics; Abraham and Salapina—recognition of synonymity by machine; Gelernter—problem-solving graphs and heuristic programming. A number of papers which were read are not included in this volume.—P. J. M.