Jump to ContentJump to Main Navigation

You are looking at 1-10 of 14 items for:

  • Mathematics x
  • Logic / Computer Science / Mathematical Philosophy x
Clear All

View:

Bayesian Nets and CausalityPhilosophical and Computational Foundations

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

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

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

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

From Sets and Types to Topology and AnalysisTowards practicable foundations for constructive mathematics

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

Gödel's DisjunctionThe scope and limits of mathematical knowledge

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 DragonsScience, Technology and the Future of Humanity

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

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 DefinabilityModal and Intuitionistic Logics

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

The New ABCs of ResearchAchieving Breakthrough Collaborations

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

View: