Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 3-5 June 2011
Location: Krakow, Poland,
Deadline: 15 March 2011

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

We invite contributions pertaining to issues which lie in the fields for which the CT is an important problem. Deadline for abstract submission is March 15.

Please note that this newsitem has been archived, and may contain outdated information or links.