Background
Bundy, Alan Richard was born on May 18, 1947 in Isleworth, Middlesex, England. Son of Stanley Alfred and Joan Margaret Bundy.
(This review of the work done to date on the computer mode...)
This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent frame. A limited knowledge of mathematics is assumed in the introduction to the principles of mathematical logic. The plan of the book is such that students with varied backgrounds can find necessary information as quickly as possible. Exercises are included throughout the book.
http://www.amazon.com/gp/product/0121412520/?tag=2022091-20
(The automation of mathematical reasoning has been an impo...)
The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses the problem of combinatorial explosion which has proved a huge obstacle in the past, and the book offers a systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
http://www.amazon.com/gp/product/052183449X/?tag=2022091-20
Bundy, Alan Richard was born on May 18, 1947 in Isleworth, Middlesex, England. Son of Stanley Alfred and Joan Margaret Bundy.
Alan Bundy was educated as a Mathematician, obtaining an honours degree in Mathematics in 1968 from the and a Doctor of Philosophy in Mathematical Logic in 1971, also from Leicester.
Since 1971, Bundy has been at the University of Edinburgh: initially in the "Metamathematics" Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new School of Informatics. From 1971-1973, he was a research fellow on Professor B. Meltzer"s SERC grant Theorem Proving by Computer.
In 1973 he became a university lecturer.
In 1984 he was promoted to reader. In 1987 he was promoted to professorial fellowship
And in 1990 he was promoted to professor From 1987-1992 he held an Science and Engineering Research Council Senior Fellowship.
From 1998–2001 he was Head of the newly formed of Division (subsequently School) of Informatics at Edinburgh.
From 2010 he is a Vice-President and Trustee of the British Computer Society with special responsibility for the Academy of Computing. Bundy is the leader of the Mathematical Reasoning Group at Edinburgh.
(This review of the work done to date on the computer mode...)
(The automation of mathematical reasoning has been an impo...)
Fellow Association for the Advancement of Artificial Intelligence, European Coordinator Committee Artificial Intelligence, Artificial Intelligence and Simulation of Behavior, Royal Society Edinburgh, British Computer Society, Institute Engineering and Technology.
Married Josephine Doreen Maule, September 23, 1967. 1 child, Rachel.