Author : Egon Börger
Publisher : Springer Science & Business Media
Page : 500 pages
File Size : 40,16 MB
Release : 2001-08-28
Category : Mathematics
ISBN : 9783540423249
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
Author : Roman Murawski
Publisher : Springer Science & Business Media
Page : 416 pages
File Size : 22,71 MB
Release : 2013-03-14
Category : Philosophy
ISBN : 9401728666
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.
Author : Börger
Publisher :
Page : pages
File Size : 14,9 MB
Release : 1987
Category :
ISBN :
Author : Duncan L. Dieterly
Publisher :
Page : 26 pages
File Size : 47,91 MB
Release : 1980
Category : Decision making
ISBN :
Author : Egon Börger
Publisher : Springer
Page : 0 pages
File Size : 32,45 MB
Release : 1997
Category : Mathematics
ISBN : 9783642592072
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
Author : Atanu Sengupta
Publisher : Springer Science & Business Media
Page : 168 pages
File Size : 14,45 MB
Release : 2009-03-13
Category : Mathematics
ISBN : 3540899146
In conventional mathematical programming, coefficients of problems are usually determined by the experts as crisp values in terms of classical mathematical reasoning. But in reality, in an imprecise and uncertain environment, it will be utmost unrealistic to assume that the knowledge and representation of an expert can come in a precise way. The wider objective of the book is to study different real decision situations where problems are defined in inexact environment. Inexactness are mainly generated in two ways – (1) due to imprecise perception and knowledge of the human expert followed by vague representation of knowledge as a DM; (2) due to huge-ness and complexity of relations and data structure in the definition of the problem situation. We use interval numbers to specify inexact or imprecise or uncertain data. Consequently, the study of a decision problem requires answering the following initial questions: How should we compare and define preference ordering between two intervals?, interpret and deal inequality relations involving interval coefficients?, interpret and make way towards the goal of the decision problem? The present research work consists of two closely related fields: approaches towards defining a generalized preference ordering scheme for interval attributes and approaches to deal with some issues having application potential in many areas of decision making.
Author : David Wallace
Publisher : OUP Oxford
Page : 547 pages
File Size : 40,34 MB
Release : 2012-05-24
Category : Philosophy
ISBN : 0191057398
The Emergent Multiverse presents a striking new account of the 'many worlds' approach to quantum theory. The point of science, it is generally accepted, is to tell us how the world works and what it is like. But quantum theory seems to fail to do this: taken literally as a theory of the world, it seems to make crazy claims: particles are in two places at once; cats are alive and dead at the same time. So physicists and philosophers have often been led either to give up on the idea that quantum theory describes reality, or to modify or augment the theory. The Everett interpretation of quantum mechanics takes the apparent craziness seriously, and asks, 'what would it be like if particles really were in two places at once, if cats really were alive and dead at the same time'? The answer, it turns out, is that if the world were like that—if it were as quantum theory claims—it would be a world that, at the macroscopic level, was constantly branching into copies—hence the more sensationalist name for the Everett interpretation, the 'many worlds theory'. But really, the interpretation is not sensationalist at all: it simply takes quantum theory seriously, literally, as a description of the world. Once dismissed as absurd, it is now accepted by many physicists as the best way to make coherent sense of quantum theory. David Wallace offers a clear and up-to-date survey of work on the Everett interpretation in physics and in philosophy of science, and at the same time provides a self-contained and thoroughly modern account of it—an account which is accessible to readers who have previously studied quantum theory at undergraduate level, and which will shape the future direction of research by leading experts in the field.
Author : Silvia Bacci
Publisher : CRC Press
Page : 292 pages
File Size : 22,77 MB
Release : 2019-07-11
Category : Mathematics
ISBN : 1351621386
Introduction to Statistical Decision Theory: Utility Theory and Causal Analysis provides the theoretical background to approach decision theory from a statistical perspective. It covers both traditional approaches, in terms of value theory and expected utility theory, and recent developments, in terms of causal inference. The book is specifically designed to appeal to students and researchers that intend to acquire a knowledge of statistical science based on decision theory. Features Covers approaches for making decisions under certainty, risk, and uncertainty Illustrates expected utility theory and its extensions Describes approaches to elicit the utility function Reviews classical and Bayesian approaches to statistical inference based on decision theory Discusses the role of causal analysis in statistical decision theory
Author : Ricardo Baeza-Yates
Publisher : Springer
Page : 624 pages
File Size : 40,16 MB
Release : 2013-06-29
Category : Computers
ISBN : 0387356088
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.
Author : Prakash Gorroochurn
Publisher : John Wiley & Sons
Page : 341 pages
File Size : 11,96 MB
Release : 2016-05-02
Category : Mathematics
ISBN : 1118063252
Winner of the 2012 PROSE Award for Mathematics from The American Publishers Awards for Professional and Scholarly Excellence. "A great book, one that I will certainly add to my personal library." —Paul J. Nahin, Professor Emeritus of Electrical Engineering, University of New Hampshire Classic Problems of Probability presents a lively account of the most intriguing aspects of statistics. The book features a large collection of more than thirty classic probability problems which have been carefully selected for their interesting history, the way they have shaped the field, and their counterintuitive nature. From Cardano's 1564 Games of Chance to Jacob Bernoulli's 1713 Golden Theorem to Parrondo's 1996 Perplexing Paradox, the book clearly outlines the puzzles and problems of probability, interweaving the discussion with rich historical detail and the story of how the mathematicians involved arrived at their solutions. Each problem is given an in-depth treatment, including detailed and rigorous mathematical proofs as needed. Some of the fascinating topics discussed by the author include: Buffon's Needle problem and its ingenious treatment by Joseph Barbier, culminating into a discussion of invariance Various paradoxes raised by Joseph Bertrand Classic problems in decision theory, including Pascal's Wager, Kraitchik's Neckties, and Newcomb's problem The Bayesian paradigm and various philosophies of probability Coverage of both elementary and more complex problems, including the Chevalier de Méré problems, Fisher and the lady testing tea, the birthday problem and its various extensions, and the Borel-Kolmogorov paradox Classic Problems of Probability is an eye-opening, one-of-a-kind reference for researchers and professionals interested in the history of probability and the varied problem-solving strategies employed throughout the ages. The book also serves as an insightful supplement for courses on mathematical probability and introductory probability and statistics at the undergraduate level.
