References in periodicals archive ?
* Solvable and unsolvable problems: Turing machines; Church's thesis and universal Turing machines; the halting problem, unsolvability
Examples include the discussion of semantics in programming languages, verification issues in software engineering, theory issues in databases, and unsolvability in algorithms.