TY - JOUR
T1 - A Very Mathematical Dilemma
AU - Bundy, Alan
PY - 2006/7
Y1 - 2006/7
N2 - The Annual Boole Lecture was established and is sponsored by the Boole Centre for Research in Informatics, the Cork Constraint Computation Centre, the Department of Computer Science, and the School of Mathematics, Applied Mathematics and Statistics, at University College Cork. The series in named in honour of George Boole, the first professor of Mathematics at UCC, whose seminal work on logic in the mid-1800s is central to modern digital computing. To mark this great contribution, leaders in the field of computing and mathematics are invited to talk to the general public on directions in science, on past achievements and on visions for the future.
AB - The Annual Boole Lecture was established and is sponsored by the Boole Centre for Research in Informatics, the Cork Constraint Computation Centre, the Department of Computer Science, and the School of Mathematics, Applied Mathematics and Statistics, at University College Cork. The series in named in honour of George Boole, the first professor of Mathematics at UCC, whose seminal work on logic in the mid-1800s is central to modern digital computing. To mark this great contribution, leaders in the field of computing and mathematics are invited to talk to the general public on directions in science, on past achievements and on visions for the future.
KW - mathematical proofs
U2 - 10.1093/comjnl/bxl021
DO - 10.1093/comjnl/bxl021
M3 - Article
VL - 49
SP - 480
EP - 486
JO - The Computer Journal
T2 - The Computer Journal
JF - The Computer Journal
SN - 0010-4620
IS - 4
ER -