Cambridge University Press Foundations of Constructive Probability Theory: 177 (Encyclopedia of Mathematics and its Applications, Series Number 177)

Using Bishop's work on constructive analysis as a framework, this monograph gives a systematic, detailed and general constructive theory of probability theory and stochastic processes. It is the first extended account of this theory: almost all of the constructive existence and continuity theorems that permeate the book are original. It also contains results and methods hitherto unknown in the constructive and nonconstructive settings. The text features logic only in the common sense and, beyond a certain mathematical maturity, requires no prior training in either constructive mathematics or probability theory. It will thus be accessible and of interest, both to probabilists interested in the foundations of their speciality and to constructive mathematicians who wish to see Bishop's theory applied to a particular field. Review 'After decades out of academia, Chan (a highly talented doctoral student of Errett Bishop's) has returned to the fold with this massive volume of mostly original, and highly valuable, research on constructive probability and measure theory. His book should be the definitive reference for Bishop-style work on those aspects of analysis for the foreseeable future. I cannot recommend it highly enough.' Douglas Bridges, University of Canterbury 'Foundations of Constructive Probability Theory extends the range of constructive mathematics to the arena of probability theory. It can well serve as a parallel introduction into constructive mathematics and rigorous probability theory. It can be challenging to traditional mathematicians to give up the proof of existence of mathematical objects by proving that the assumed nonexistence leads to a contradiction, without ever having shown a construction of the actual object. The treatment of the book is at the highest measure-theoretic level using the Daniell integral approach, covering many basic topics such as random variables, probability distributions, weak convergence, independence and conditional expectations, and the Central Limit Theorem. This is followed by a broad range of topics in stochastic processes. It will also serve well as a foundation of further research in that area.' Fritz Scholz, University of Washington 'The definitive work on constructive probability by Errett Bishop's most talented student. Classical probability theory is treated in a computational way while focusing on the mathematics.' Fred Richman, Florida Atlantic University Book Description This book provides a systematic and general theory of probability within the framework of constructive mathematics. About the Author Yuen-Kwok Chan completed a Ph.D. in Constructive mathematics with Errett Bishop before leaving academia for a career in private industry. He is now an independent researcher in Probability and its applications.