Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and philosophy. Alonzo Church's long and distinguished career in mathematics and philosophy can be traced through his influential and wide-ranging writings. Church published his first article as an undergraduate at Princeton in 1924 and his last shortly before his death in 1995. This volume collects all of his published articles, many of his reviews, his monograph The Calculi of Lambda-Conversion, the (...) introduction to his important and authoritative textbook Introduction to Mathematical Logic, a substantial amount of previously unpublished work (including chapters for the unfinished second volume of Introduction to Mathematical Logic), and a selection of letters to such correspondents as Rudolf Carnap and W. V. O. Quine. With the exception of the reviews, letters, and unpublished work, these appear in chronological order, for the most part in the format in which they were originally published. Church's work in calculability, especially the monograph on the lambda-calculus, helped lay the foundation for theoretical computer science; it attracted the interest of Alan Turing, who later completed his PhD under Church's supervision. (Church coined the term “Turing machine” in a review.) Church's influential textbook, still in print, defined the field of mathematical logic for a generation of logicians. In addition, his close connection with the Association for Symbolic Logic and his many years as review editor for the Journal of Symbolic Logic are documented in the reviews included here. (shrink)

I. The algebra of classes.--II. The algebra of propositions. Applications. Numerically definite reasoning.--III-IV. Set Theory.

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

The Internet of Things (IoT) is an emerging global infrastructure that employs wireless sensors to collect, store, and exchange data. Increasingly, applications for marketing and advertising have been articulated as a means to enhance the consumer shopping experience, in addition to improving efficiency. However, privacy advocates have challenged the mass aggregation of personally-identifiable information in databases and geotracking, the use of location-based services to identify one’s precise location over time. This paper employs the framework of contextual integrity related to privacy (...) developed by Nissenbaum (Privacy in context: technology, policy, and the integrity of social life. Stanford University Press, Stanford, 2010) as a tool to understand citizen response to implementation IoT-related technology in the supermarket. The purpose of the study was to identify and understand specific changes in information practices brought about by the IoT that may be perceived as privacy violations. Citizens were interviewed, read a scenario of near-term IoT implementation, and were asked to reflect on changes in the key actors involved, information attributes, and principles of transmission. Areas where new practices may occur with the IoT were then highlighted as potential problems (privacy violations). Issues identified included the mining of medical data, invasive targeted advertising, and loss of autonomy through marketing profiles or personal affect monitoring. While there were numerous aspects deemed desirable by the participants, some developments appeared to tip the balance between consumer benefit and corporate gain. This surveillance power creates an imbalance between the consumer and the corporation that may also impact individual autonomy. The ethical dimensions of this problem are discussed. (shrink)