Alfred Tarski (1901-1983).
Tarski is one of the greatest logicians of the 20th century. He is known among other things for his mathematical analysis of the concepts of truth and logical consequence, and his mathematical work including the Banach-Tarski paradox and the theorem on the indefinability of truth.'
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)