Options
A Simple Exposition of Gödel's Theorem
Lucas, John R.
2003
Abstract
Lucas introduces this paper by an account of how he began to be interested to questions about Materialism and Mechanism. Then he suggests a simple version of the Incompleteness theorem of Gödel, showing how this theorem proposes a version of the Epimenides’ paradox able to avoid the circularity of this paradox by means of the possibility to express meta-mathematics in terms of arithmetical propositions and by substituting questions concerning truth by questions concerning provability.
Series
Etica & Politica / Ethics & Politics
V (2003) 1
Subjects
Publisher
EUT Edizioni Università di Trieste
Source
John R. Lucas, "A Simple Exposition of Gödel's Theorem", in: Etica & Politica / Ethics & Politics, V (2003) 1
Languages
en
File(s)