John N. Crossley

Jeffrey B. Remmel

Richard Shore

Moss E. Sweedler

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.

In Honor of Anil Nerode’s Sixtieth Birthday

Logical Methods

Proceedings of a Conference at Monash University, Australia, 1-4 August, 1979

Aspects of Effective Algebra

Martin Wirsing

Iman Poernomo

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

The Curry--Howard Protocol

Adapting Proofs-as-Programs

This book presents detailed studies of the development of three kinds of number. In the first part the development of the natural numbers from Stone-Age times right up to the present day is examined not only from the point of view of pure history but also taking into account archaeological, anthropological and linguistic evidence. The dramatic change caused by the introduction of logical theories of number in the 19th century is also treated and this part ends with a non-technical account of the very latest developments in the area of Gdel's theorem. The second part is concerned with the development of complex numbers and tries to answer the question as to why complex numbers were not introduced before the 16th century and then, by looking at the original materials, shows how they were introduced as a pragmatic device which was only subsequently shown to be theoretically justifiable. The third part concerns the real numbers and examines the distinction that the Greeks made between number and magnitude. It then traces the gradual development of a theory of real numbers up to the precise formulations in the nineteeth century. The importance of the Greek distinction between the number line and the geometric line is brought into sharp focus.This is an new edition of the book which first appeared privately published in 1980 and is now out of print. Substantial revisions have been made throughout the text, incorporating new material which has recently come to light and correcting a few relatively minor errors. The third part on real numbers has been very extensively revised and indeed the last chapter has been almost completely rewritten. Many revisions are the results of comments from earlier readers of the book.

The Emergence of Number

Hui Liu

Kangshen Shen

Anthony Wah-Cheung Lun

The Nine Chapters on the Mathematical Art is a classic text: the most important mathematical source in China during the past 2000 years, and comparable in significance to Euclid's Elements in the West. This volume contains the first complete English translation of the Nine Chapters, together with two commentaries written in the 3rd century (by Liu Hui) and 7th century AD, and a further commentary by the translators.

Companion and Commentary

The Nine Chapters on the Mathematical Art

John N. Crossley

About

Books

Join the club