On an Extension of Rice’s Theorem and its Applications in Mathematical Economics Dedicated to the memory of Professor Saul Fuks (1929–2012).
Newton C. A. da Costa, Francisco Antônio Dória · 2014
Abstract Rice’s Theorem is a notorious stumbling block in Computer Science. We review some previous work of us that shows that we can extend Rice’s result to large segments of everyday mathematics, so that similar stumbling blocks appear in many areas of mathematics, as well as applied areas such as mathematical economics; one of its applications (Koppl’s conjecture) is discussed in some detail. Note: this paper has been written in an informal style.