Bøger af Jan A Bergstra

A survey of the elementary functions of money and its invariant representations, alongside the complementary topic of ownership. The book uses the language of Promise Theory to explain the semantics and lifecycle of money in a concise and semi-formal manner, with the goal of reaching a modern probabilistic view of money and economics as a network, independent of philosophical or political treatments as well as models that build on Game Theory. Relativistic notions like `value' are distinguished carefully from invariant measures of amount to decouple frequently muddled concepts in the popular literature, and money is distinguished from its many inequivalent representations (i.e. proxy technologies). A key strength of this work lies in the way it exposes money as an interconnection network, which has evolved to communicate intentions and decisions between agents in a network, where prices form a language for information channels that we call markets.This book is aimed at economists, philosophers, and engineers. It introduces readers to the concepts in a practical manner, building on the concept of voluntary cooperation. The book draws on many examples from the real world, with a particular emphasis on semi-formal semantics.'A must read for anyone involved in designing intelligent digital currency.'--Mike Warner (Senior Strategist, San Francisco Federal Reserve)

Promise Theory bridges the worlds of semantics and dynamics to describe scalable interactions between autonomous agents that form clusters and groups. It provides a broadly developed and semi-formal language, which builds on the mathematics of sets and graphs, and models intent and outcome in an impartial manner. The result is a theory that expresses a `chemistry' of cooperative behaviours for a wide range of systems, emphasizing how each new scale of cooperation leads to new phenomena and new promises.This book is aimed at scientists, philosophers, and engineers. It introduces readers to the key concepts in a practical manner, building on the foundation of voluntary cooperation as a ground state for all interacting systems. The book draws on many examples from the real world, with a particular emphasis on human-computer systems. `Promise Theory offers a methodology for generating certainty on top of uncertain foundations. This book presents the formal foundations of Promise Theory. It lays out the formalisms in a clear, concise, understandable way that makes them accessible to non-mathematicians. If you want to fully understand the conceptual mechanisms that underlie the distributed systems that make up today's "cloud services", you should start with this book.' -- Jeff Sussna, Author of Designing Delivery `[The authors] bring the rigor of theoretical physics to the science of cooperation. The application of this kind of rigor to the social sciences is a tremendous leap forward. [The] pioneering work on developing an algebra of cooperation is an idea whose time has come. A promise is not a guarantee. That said: I promise you that examining this book will stimulate your thinking about cooperation and collaboration at scale. This book covers a lot of ground: promises, impositions, invitations, games, and the peculiar dynamics of authority and authorization. Those looking for a book that applies the lessons of distributed computing to the new and emerging science of cooperation will find what they are looking for here.' -- Daniel Mezick, Author of The Culture Game and Inviting Leadership

This book is aimed both at readers with an interest in Promise Theory, who may find here a useful case study, and who may contemplate the development of similar applications in other areas, and at readers who are primarily interested in the political science of nuclear deterrence. The latter readers may then come to an assessment about the usability of Promise Theory as a tool for further work.

The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.