BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2011/newsitem/3722/3-5 -June-2011-Trends-in-Logic-IX-Churchs-Thesis-Logic -Mind-and-Nature-Krakow-Poland- DTSTAMP:20110106T000000 SUMMARY:Trends in Logic IX: Church's Thesis, Logic , Mind and Nature, Krakow, Poland, DTSTART;VALUE=DATE:20110603 DTEND;VALUE=DATE:20110605 LOCATION:Krakow, Poland, DESCRIPTION:In 1935 Alonzo Church formulated a the sis called, after Kleene, the Church's Thesis (CT) . Since then, many important logicians and philoso phers have ventured to solve the numerous problems connected to the CT. Various lines of research ha ve shown that the CT has many incarnations and con stitutes an interdisciplinary problem. The researc h concerning the CT, as well as an analogical thes is developed by Alan Turing, has resulted in impor tant insights regarding the concept of computabili ty. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical co mputability. 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 thi s Studia Logica International Conference include t he discussion over the major results concerning th e Church's Thesis (CT), as well as the presentatio n of contemporary approaches to problems connected with the CT. For more information, see http://s tudialogica.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. X-ALT-DESC;FMTTYPE=text/html:
\n In 1935 Alonzo Church formulated a thesis cal led, after\n Kleene, the Church's Thesis (C T). Since then, many important\n logicians and philosophers have ventured to solve the numero us\n problems connected to the CT. Various lines of research have\n shown that the CT has many incarnations and constitutes an\n interdisciplinary problem. The research concerning the CT, as\n well as an analogical thesis developed by Alan Turing, has\n resulted in important insights regarding the concept of\n computability. Georg Kreisel formulated three versions of the\n CT, pertaining to machine , human, and physical\n computability. With respect to this, the conference's focus\n will be on three areas connected to the CT: logic, mind and\n nature.\n
\n\ n The main goals of this Studia Logica Inte rnational Conference\n include the discussi on over the major results concerning the\n Church's Thesis (CT), as well as the presentation of\n contemporary approaches to problems co nnected with the CT.\n
\n \n \nFor more information, see\n ht tp://studialogica.org/TrendsIX
\n We invite contributions pertai ning to issues\n which lie in the fields fo r which the CT is an important\n problem. D eadline for abstract submission is March 15.\n
\n