Roger Cotes (1682 1716) was the first Plumian Professor of Astronomy and Experimental Philosophy, at Trinity College, Cambridge. One of the most distinguished, and certainly one of the most ardent, of the early Newtonians he did important work in mathematics and astronomy and edited the second edition of Newton's Principia. Cotes died young and published only one paper, the Logometria, during his lifetime; a translation of this paper is given in the Appendix. Most of Cotes's papers were published posthumously in Latin in Harmonia Mensurarum in 1722. Dr Gowing discusses Cotes' work in some...

This anthology of essays from Donald Knuth, "the father of computer science," and the inventor of literate programming includes early essays on related topics such as structured programming, as well as The Computer Journal article that launched literate programming itself. Many examples are given, including excerpts from the programs for TeX and METAFONT. The final essay is an example of CWEB, a system for literate programming in C and related languages.

This volume is first in a series of Knuth's collected works.

The Verbmobil System currently under development in Germany would input speech in a source language dialogue, translate it, and output synthesized speech in a target language, all in real time under the conditions of face-to-face dialogue. This preliminary study is an assessment of the state of the art of the speech recognition and machine translation fields, and a frank discussion of the challenges the developers of such a system face. A speech-based machine translation system in effect combines all the technical problems of understanding and generation systems and adds the very special...

Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned with extending the modelling capabilities of set theory to provide a uniform treatment of circular phenomena. As a means of guiding the reader through the concrete examples of the theory, the authors have included many exercises and solutions: these exercises range in difficulty and ultimately stimulate the reader to come up with new results. Vicious...

In this collection, the second in the series, Knuth explores the relationship between computers and typography. The present volume, in the words of the author, is a legacy to all the work he has done on typography. When he thought he would take a few years' leave from his main work on the art of computer programming, as is well known, the short typographic detour lasted more than a decade. When type designers, punch cutters, typographers, book historians, and scholars visited the University during this period, it gave to Stanford what some consider to be its golden age of digital typography....

Self-deception is one of the topics that lends itself best to the task of exploring the possibilities of cross-fertilization between 'continental philosophy' and 'analytic philosophy'. Fifty years ago, in Being and Nothingness, Sartre defined the core notion of 'Bad Faith' as lying to oneself. On the other side of the Atlantic, self-deception has become one of the most exciting puzzles in the philosophy of mind, and a number of paradoxes encountered by the theory of rational choice involve that very same notion. One of the objectives is to show that bridges can be thrown over the gap between...

During the last few years, a new approach to linguistic analysis has started to emerge. This approach, which has come to be known under various labels such as 'data-oriented parsing', 'corpus-based interpretation' and 'treebank grammar', assumes that human language comprehension and production works with representations of concrete past language experiences rather than with abstract grammatical rules. It operates by decomposing the given representations into fragments and recomposing those pieces to analyze (infinitely many) new utterances. This book shows how this general approach can apply...

Sixth in a series of collected works, Selected Papers on Discrete Mathematics is devoted to Knuth's purely mathematical work. Over forty of Knuth's classic papers spanning the entire range of discrete mathematics are collected in this volume, all brought up to date with extensive revisions and the addition of new material.

The papers emphasize general techniques of problem solving and explore the creation of mathematical patterns. Knuth's prize-winning expositions of mathematical notation, his accounts of episodes in the history of mathematics, and his fundamental papers on...

The early papers collected here trace a trajectory through the work and thinking of Charles Fillmore over his long and distinguished career--reflecting his desire to make sense of the workings of language in a way that keeps in mind questions of language form, language use, and the conventions linking form, meaning, and practice.

The papers collected here focus on probabilistic causality, addressing topics such as the search for causal mechanisms, epistemic and metaphysical views of causality, Bayesian nets and causal dependence, and causation in the special sciences. Some papers stress the statistical analysis of probabilistic data; others address causal issues in physics, with an emphasis on physical processes that are also probabilistic i.e., stochastic processes.
"