Česky | English Sign in

Our Events - SIAM SC Seminar - Other Events

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.