Computability theory; an introduction to recursion theory
Trained in theoretical linguistics and recursion theory
, Hennix was saying that you need an algorithm to achieve a distinguished result.
Theoretical computer scientists, whether professional or in training, will find this collection of written versions of 20 talks given at the June-August 2005 workshop especially useful for such study areas as recursion theory
and set theory.
Structure and Complexity: The Use of Recursion Theory
in the Foundations of Neoclassical Economics and the Theory of Games," unpublished manuscript, Department of Mathematics, Cornell University, Ithaca, N.
Material is arranged in chapters on predicate logic, axiomatic set theory, recursion theory
and computability, Godel's incompleteness theorems, model theory, contemporary set theory, nonstandard analysis, and constructive mathematics.