3-5 June 2011, Trends in Logic IX: Church's Thesis, Logic, Mind and Nature, Krakow, Poland,

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. 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 this Studia Logica International Conference include the discussion over the major results concerning the Church's Thesis (CT), as well as the presentation of contemporary approaches to problems connected with the CT.

For more information, see http://studialogica.org/TrendsIX