Computability theory originated with the seminal work of G/del, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative...
Computability theory originated with the seminal work of G/del, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of ...
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005.
The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus...
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The N...
Barry S. Cooper Dorothee Griesel Margeurite Ternes
Contingent on funding being available, a Festschrift will be held in honor of Dr. John Yuille's career as a Forensic Psychologist. He has become one of the most visible and respected Canadian psychologists worldwide. In light of his upcoming retirement in December 2006, the Festschrift will recognize Dr. Yuille's achievements in the areas of eyewitness memory research (i.e., pioneering a new research paradigm that grants better validity), investigative interviewing (i.e., the development and use of the Step Wise Interview Protocol), and credibility assessment (i.e., introducing Statement...
Contingent on funding being available, a Festschrift will be held in honor of Dr. John Yuille's career as a Forensic Psychologist. He has become on...
Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between descriptions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as 'recursive model theory' - an area in which researchers from the former Soviet Union (in...
Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. T...
