## 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

## 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

## 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

## 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

## 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

## Mathematics without Apologies: Portrait of a Problematic Vocation

*Michael Harris*

- Published in print:
- 2017
- Published Online:
- May 2018
- ISBN:
- 9780691175836
- eISBN:
- 9781400885527
- Item type:
- book

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

What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers, this book offers an eclectic panorama of the lives and values and hopes and fears of mathematicians in ... More

## Modern Fortran Explained: Incorporating Fortran 2018

*Michael Metcalf, John Reid, and Malcolm Cohen*

- Published in print:
- 2018
- Published Online:
- October 2018
- ISBN:
- 9780198811893
- eISBN:
- 9780191850028
- Item type:
- book

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

Fortran marches on, remaining one of the principal programming languages used in high-performance scientific, numerical, and engineering computing. A series of significant revisions to the standard ... More

## The New ABCs of Research: Achieving Breakthrough Collaborations

*Ben Shneiderman*

- Published in print:
- 2016
- Published Online:
- March 2016
- ISBN:
- 9780198758839
- eISBN:
- 9780191818714
- Item type:
- book

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

The immense problems of the twenty-first century invite innovative thinking from students, academic researchers, business research managers, and government policymakers. Hopes for raising quality in ... More

## Noncooperative Game Theory: An Introduction for Engineers and Computer Scientists

*João P. Hespanha*

- Published in print:
- 2017
- Published Online:
- May 2018
- ISBN:
- 9780691175218
- eISBN:
- 9781400885442
- Item type:
- book

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

This book is aimed at students interested in using game theory as a design methodology for solving problems in engineering and computer science. The book shows that such design challenges can be ... More

## Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

*David J. Pym and Eike Ritter*

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198526339
- eISBN:
- 9780191712012
- Item type:
- book

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

This a research study about logic. Logic is both part of and has roles in many disciplines, including inter alia, mathematics, computing, and philosophy. The topic covered here — the mathematical ... More