This new book offers a comprehensive and accessible introduction to Frege's remarkable philosophical work, examining the main areas of his writings and demonstrating the connections between them...

This book is an outstanding contribution to the philosophical study of language and mind, by one of the most influential thinkers of our time. In a series of penetrating essays, Chomsky cuts through...

This book is a revised and updated version, including a substantial portion of new material, of our text Perturbation Methods in Applied Mathematics (Springer Verlag, 1981). We present the material...

Anyone who has wondered if free will is just an illusion or has asked 'could I have chosen otherwise?' after performing some rash deed will find this book an absorbing discussion of an endlessly...

This book puts forth a radically new conception of science. Maxwell argues that the prevailing view of the relation between scientific theory and evidence is untenable; he calls for a new orthodoxy...

Autobiographical essays, framed by two interpretive essays by the editor, describe the power of an object to evoke emotion and provoke thought: reflections on a cello, a laptop computer, a 1964 Ford...

This volume is a logical sequel of Volume I, The Search for System: indeed, it concerns the ways theoretical systems are put to work and subjected to test. Yet it can be read independently by anyone...

“The story of one of the most prolific, independent, and iconoclastic inventors of this century . . . fascinating.”—Scientific AmericanNikola Tesla (1856-1943), credited as the inspiration for radio,...

The Description for this book, The Mechanization of the World Picture: Pythagoras to Newton, will be forthcoming.

Despite the fact that Maple V has become one of the most popular computer algebra systems on the market, surprisingly few users realize its potential in the field of scientific visualization. The...

The ideas of probability are all around us. Lotteries, casino gambling, the al most non-stop polling which seems to mold public policy more and more these are a few of the areas where principles of...

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been...

In 1924 the firm of Julius Springer published the first volume of Methods of Mathematical Physics by Richard Courant and David Hilbert. In the preface, Courant says this: Since the sevc nteenth...

The issues involved in augmenting logic programming with object-oriented features are explored in this book. A new language built on top of logic is introduced and programming examples illustrate the...

Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software...

A Next Big Idea Club "Must Read" for December 2023 As all aspects of our social and informational lives increasingly migrate online, the line between what is "real" and what is digitally fabricated...