Award of the Hypo Tirol Bank 2011 (December 22, 2011)
The project “The Word Problem in Equational Logic” led by Dr. Harald Zankl is supported by the “Hypo Bank Tirol Forschungsförderungspreis 2011”.
Proving the equivalence of two objects with respect to a set of axioms is a fundamental problem in computer science and mathematics. This problem is undecidable, which means that it exceeds the possibility of a computer. In this project we suggest an approach that can automatically prove and disprove equivalence of objects in some cases.
The award ceremony will take place on 14 February 2012.