## Bayesian Nets and Causality: Philosophical and Computational Foundations

*Jon Williamson*

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198530794
- eISBN:
- 9780191712982
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198530794.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book provides an introduction to, and analysis of, the use of Bayesian nets in causal modelling. It puts forward new conceptual foundations for causal network modelling: The book argues that ... More

## Bolzano's Logical System

*Ettore Casari*

- Published in print:
- 2016
- Published Online:
- January 2017
- ISBN:
- 9780198788294
- eISBN:
- 9780191830228
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198788294.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

A starting point of Bolzano’s logical reflection was the conviction that among truths there is a connection, according to which some truths are grounds of others, and these in turn are consequences ... More

## Causality in the Sciences

*Phyllis McKay Illari, Federica Russo, and Jon Williamson (eds)*

- Published in print:
- 2011
- Published Online:
- September 2011
- ISBN:
- 9780199574131
- eISBN:
- 9780191728921
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199574131.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

There is a need for integrated thinking about causality, probability, and mechanism in scientific methodology. A panoply of disciplines, ranging from epidemiology and biology through to econometrics ... More

## Computability and Randomness

*André Nies*

- Published in print:
- 2009
- Published Online:
- May 2009
- ISBN:
- 9780199230761
- eISBN:
- 9780191710988
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199230761.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic ... More

## Computational Interaction

*Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes (eds)*

- Published in print:
- 2018
- Published Online:
- March 2018
- ISBN:
- 9780198799603
- eISBN:
- 9780191839832
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198799603.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book presents computational interaction as an approach to explaining and enhancing the interaction between humans and information technology. Computational interaction applies abstraction, ... More

## Computing Possible Futures

*William B. Rouse*

- Published in print:
- 2019
- Published Online:
- September 2019
- ISBN:
- 9780198846420
- eISBN:
- 9780191881589
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198846420.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book discusses the use of models and interactive visualizations to explore designs of systems and policies in determining whether such designs would be effective. Executives and senior managers ... More

## Cryptographic Primitives in Blockchain Technology: A mathematical introduction

*Andreas Bolfing*

- Published in print:
- 2020
- Published Online:
- October 2020
- ISBN:
- 9780198862840
- eISBN:
- 9780191895463
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198862840.001.0001
- Subject:
- Mathematics, Computational Mathematics / Optimization, Logic / Computer Science / Mathematical Philosophy

Many online applications, especially in the financial industries, are running on blockchain technologies in a decentralized manner, without the use of an authoritative entity or a trusted third ... More

## The Error of Truth: How History and Mathematics Came Together to Form Our Character and Shape Our Worldview

*Steven J. Osterlind*

- Published in print:
- 2019
- Published Online:
- January 2019
- ISBN:
- 9780198831600
- eISBN:
- 9780191869532
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198831600.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

The Error of Truth recounts the astonishing and unexpected tale of how quantitative thinking was invented and rose to primacy in our lives in the nineteenth and early twentieth centuries, bringing us ... More

## Everyday Cryptography: Fundamental Principles and Applications

*Keith Martin*

- Published in print:
- 2017
- Published Online:
- July 2017
- ISBN:
- 9780198788003
- eISBN:
- 9780191829956
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198788003.001.0001
- Subject:
- Mathematics, Computational Mathematics / Optimization, Logic / Computer Science / Mathematical Philosophy

Cryptography is a vital technology that underpins the security of information in computer networks. This book presents a comprehensive introduction to the role that cryptography plays in providing ... More

## From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

*Laura Crosilla and Peter Schuster (eds)*

- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198566519
- eISBN:
- 9780191713927
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198566519.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

Constructive mathematics is a vital area of research which has gained special attention in recent years due to the distinctive presence of computational content in its theorems. This characteristic ... More

## Game Theory, Diplomatic History and Security Studies

*Frank C. Zagare*

- Published in print:
- 2019
- Published Online:
- February 2019
- ISBN:
- 9780198831587
- eISBN:
- 9780191869525
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198831587.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy, Applied Mathematics

The main purpose of this book is to demonstrate, by way of example, the several advantages of using a formal game-theoretic framework to explain complex events, diplomatic history, and contentious ... More

## Games User Research

*Anders Drachen, Pejman Mirza-Babaei, and Lennart Nacke (eds)*

- Published in print:
- 2018
- Published Online:
- March 2018
- ISBN:
- 9780198794844
- eISBN:
- 9780191836336
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198794844.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy, Computational Mathematics / Optimization

Today, Games User Research forms an integral component of the development of any kind of interactive entertainment. User research stands as the primary source of business intelligence in the ... More

## Gödel's Disjunction: The scope and limits of mathematical knowledge

*Leon Horsten and Philip Welch (eds)*

- Published in print:
- 2016
- Published Online:
- November 2016
- ISBN:
- 9780198759591
- eISBN:
- 9780191820373
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198759591.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a ... More

## Here Be Dragons: Science, Technology and the Future of Humanity

*Olle Häggström*

- Published in print:
- 2016
- Published Online:
- January 2016
- ISBN:
- 9780198723547
- eISBN:
- 9780191790331
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198723547.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book challenges the widely held but oversimplified and even dangerous conception that progress in science and technology is our salvation, and the more of it, the better. The future will offer ... More

## A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206)

*Rod Downey and Noam Greenberg*

- Published in print:
- 2020
- Published Online:
- January 2021
- ISBN:
- 9780691199665
- eISBN:
- 9780691200217
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691199665.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in diverse areas of ... More

## In Defence of Objective Bayesianism

*Jon Williamson*

- Published in print:
- 2010
- Published Online:
- September 2010
- ISBN:
- 9780199228003
- eISBN:
- 9780191711060
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199228003.001.0001
- Subject:
- Mathematics, Probability / Statistics, Logic / Computer Science / Mathematical Philosophy

Bayesian epistemology aims to answer the following question: How strongly should an agent believe the various propositions expressible in her language? Subjective Bayesians hold that.it is largely ... More

## Interpolation and Definability: Modal and Intuitionistic Logics

*Dov M. Gabbay and Larisa Maksimova*

- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198511748
- eISBN:
- 9780191705779
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198511748.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, ... More

## Lectures on Inductive Logic

*Jon Williamson*

- Published in print:
- 2017
- Published Online:
- March 2017
- ISBN:
- 9780199666478
- eISBN:
- 9780191749292
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199666478.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

Inductive logic (also known as confirmation theory) seeks to determine the extent to which the premisses of an argument entail its conclusion. This book offers an introduction to the field of ... More

## Machine Learning for Signal Processing: Data Science, Algorithms, and Computational Statistics

*Max A. Little*

- Published in print:
- 2019
- Published Online:
- October 2019
- ISBN:
- 9780198714934
- eISBN:
- 9780191879180
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198714934.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy, Mathematical Physics

Digital signal processing (DSP) is one of the ‘foundational’ engineering topics of the modern world, without which technologies such the mobile phone, television, CD and MP3 players, WiFi and radar, ... More

## Mathematical Knowledge and the Interplay of Practices

*José Ferreirós*

- Published in print:
- 2015
- Published Online:
- October 2017
- ISBN:
- 9780691167510
- eISBN:
- 9781400874002
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691167510.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction ... More