The computer as tool in logic.
Time and place
12:30 PM on Thursday, May 3rd, 2012;
Prof. Steve Matthews (University of Warwick)
Abstract
Logic and Mathematics have developed as powerful languages for reasoning about what is necessarily always true. However, the potential for logic and mathematics has traditionally been constrained by the limited ability for human minds to process and store large amounts of knowledge. Computers can now process and store so much data that logic and mathematics are able to rethink their foundations. This Joint Math-CS Colloquium explains the speaker's experience of rediscovering computer science as a liberating force in logic and mathematics.