The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original
This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, as well as the main mathematical theories of today, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length are Kolmogorov, von Mises and de Finetti. The principal audience for the book comprises philosophers and historians of science, mathematicians concerned with probability and statistics, and physicists. The book will also interest anyone fascinated by twentieth-century scientific developments because the birth of modern probability is closely tied to the change from a determinist to an indeterminist world-view.
This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, as well as the main mathematical theories of today, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length are Kolmogorov, von Mises and de Finetti. The principal audience for the book comprises philosophers and historians of science, mathematicians concerned with probability and statistics, and physicists. The book will also interest anyone fascinated by twentieth-century scientific developments because the birth of modern probability is closely tied to the change from a determinist to an indeterminist world-view.
In this volume, Jan von Plato gives an overview of Gerhard Gentzen’s life and scientific achievements and examines his long-lost work on logic and foundations of mathematics. Attempts at locating Gent
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.
