CALCULEMUS
Higher Level Directory LogBank Main Menu

---

Turing Machine and Mechanization of Reasoning
A Half-Century Survey
Since Turing's Intelligent Machinery

---

II Workshop in Logic, Informatics and Philosophy of Science
Zakopane, Poland, September 27 - October 1, 1998
(LIPS '98)

• Komunikat Organizacyjny nr 1 (Organizational Messages, in Polish).

• Komunikat nr 2: uczestnicy Warsztatów, publikacje etc.

• Introductory Comment.

• Komunikat nr 3: Program Warsztatów.

• Alan Mathison Turing's chronology, with a photo.

• Mind-Philosophical Issues
  Turing-Machine approach to understanding intelligence.

• Science-Philosophical Issues
  An impact of automated deduction on philosophy of science.

• A document of NSF, concerning intelligent-systems research and related topics.