Karel Chvalovsky - A Few Words about Automated Theorem Proving
Date: 14/01/2014 12:20
Place: Seminární místnost KNM
Many famous mathematicians and philosophers dreamt of a general mechanical procedure for solving problems. We know, due to the classical results of mathematical logic, that there is no such a procedure. Nevertheless, we can still try to solve many problems (semi)automatically using so called automated theorem provers. The aim of my talk is to provide a short introduction to this field.