Latest news

Photos of the conference are available on the Professor Adam Walanus website.

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). The acceptance of the CT led to a negative answer to Hilbert's Entscheindungsproblem. Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. The problems include attempts at a proof of the CT, analysis of its status and its logical value, etc. These various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of the conference include the discussion over the major results concerning the CT, as well as the presentation of contemporary approaches to the problems connected with the CT.