Academy of Finland
Funding decision
 
Applicant / Contact person Kuusisto, Antti
Organisation University of Helsinki
Project title Theory of computational logics
Decision No. 324435
Decision date 07.05.2019
Funding period 01.09.2019 - 31.08.2024
Funding 438 874
WebFOCUS Report
Project description
This project investigates the possibilities of automated reasoning from a theoretical point of view. It was proven in the 1930s that it is impossible to fully automate all mathematical reasoning, and since then, mathematicians and logicians have worked for identifying sufficiently restricted frameworks where automatization can in fact be carried out. This project contributes to the current trends of the related theory. The goal is to identify different automatic frameworks, or logics, for different purposes. More expressive logics are slower to reason with than weaker ones, so there is a trade-off between expressivity and speed of use. The project builds a unified theory that helps to better understand the strengths and weaknesses of different logics and enables different logics to be compared with each other.