Alan Turing (1912-1954).
Alan Turing was a great mathematician and logician. Famous among other things for resolving the decision problem in mathematical logic, his cryptographic work at Bletchley Park and by formulating an abstract model of computation with his Turing machine.'
As the science of truth and reasoning, logic provides the building blocks for accurate analytic thinking and computational modelling. By combining the techniques and arguments used in the humanities and the exact sciences, logic has established itself as a unique interdisciplinary field that plays a central role in artificial intelligence, computational linguistics, computer science, mathematics, philosophy and cognitive science.
The minor Logic and Computation will offer students broad insight into all these areas by putting together a well-chosen package of logic-related courses from different bachelor programmes of the University of Amsterdam. These include:
- Bachelor Wiskunde (BSc Mathematics)
- Bachelor Filosofie (BA Philosophy)
- Bachelor Informatica (BSc Computer science)
- Bachelor Kunstmatige Intelligentie (BSc AI)
- Bachelor Cognition, Language and Communication (BSc CLC)