Edinburgh Research Explorer

A Very Mathematical Dilemma

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Access status

Open

Documents

http://comjnl.oxfordjournals.org/content/49/4/480
Original languageEnglish
Pages (from-to)480-486
JournalThe Computer Journal
Volume49
Issue number4
DOIs
StatePublished - Jul 2006

Abstract

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.

Research areas

  • mathematical proofs

Download statistics

No data available

ID: 400105