Explores the ideas of Turing, Lucas, Scriven, Putnam, and Searle, and renders the Godel-Church-Lucas argument in terms intelligible to beginning students.

Updated and expanded to take into account important arguments and developments in the ten years since its original publication, this provocative dialogue explores the ideas of Turing, Lucas, Scriven, Putnam, and Searle, and renders the complex Godel-Church-Lucas argument in transparent terms. It includes a new argument, based loosely on Tarski's work on truth and the liar paradox, and a new section dealing with the problem of...

Explores the ideas of Turing, Lucas, Scriven, Putnam, and Searle, and renders the Godel-Church-Lucas argument in terms intelligible to beginning students.

Updated and expanded to take into account important arguments and developments in the ten years since its original publication, this provocative dialogue explores the ideas of Turing, Lucas, Scriven, Putnam, and Searle, and renders the complex Godel-Church-Lucas argument in transparent terms. It includes a new argument, based loosely on Tarski's work on truth and the liar paradox, and a new section dealing with the problem of...