Computability: Turing, Gödel, Church, and Beyond
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the... | | Discourse of Character Education: Culture Wars in the ClassroomIn this book Peter Smagorinsky and Joel Taxel analyze the ways in which the perennial issue of character education has been articulated in the United States, both historically and in the current character education movement that began in earnest in the 1990s.
The goal is to uncover the ideological nature of different conceptions of character... | | Unconventional Computation: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, ProceedingsThis book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008.
The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of... |