Skip to main content
SpringerLink
Log in
Book cover

Algorithms and Complexity in Mathematics, Epistemology, and Science

Proceedings of 2015 and 2016 ACMES Conferences

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Nicolas Fillion

    1. Department of Philosophy, Simon Fraser University Philosophy, Burnaby, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert M. Corless

    1. The Rotman Institute of Philosophy, The Ontario Research Center for Computer Algebra and The School of Mathematical and Statistical Sciences, The University of Western Ontario, London, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ilias S. Kotsireas

    1. Department of Physics & Computer Science, Wilfrid Laurier University, Waterloo, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Features important perspectives on computational discovery and computational epistemology, and presents them in an accessible way
  • Contains state of the art discussions by experts on a broad collection of topics that includes pure and applied mathematics, computer science, and philosophy of science
  • Offers new and useful ways to contextualize the issues of reliability and reproducible of computation
  • Contributes to building a network of scholars from varied backgrounds with interests in the multifaceted field of computational mathematics and epistemology

Part of the book series: Fields Institute Communications (FIC, volume 82)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Ethics and the Continuum Hypothesis

    • James Robert Brown
    Pages 1-16

  3. How to Generate All Possible Rational Wilf-Zeilberger Pairs?

    • Shaoshi Chen
    Pages 17-34

  4. Backward Error Analysis for Perturbation Methods

    • Robert M. Corless, Nicolas Fillion
    Pages 35-79

  5. Proof Verification Technology and Elementary Physics

    • Ernest Davis
    Pages 81-132

  6. An Applied/Computational Mathematician’s View of Uncertainty Quantification for Complex Systems

    • Max Gunzburger
    Pages 133-151

  7. Dynamical Symmetries and Model Validation

    • Benjamin C. Jantzen
    Pages 153-176

  8. Modeling the Biases in Last Digit Distributions of Consecutive Primes

    • Daniel Lichtblau
    Pages 177-193

  9. Computational Aspects of Hamburger’s Theorem

    • Yuri Matiyasevich
    Pages 195-223

  10. Effective Validity: A Generalized Logic for Stable Approximate Inference

    • Robert H. C. Moir
    Pages 225-268

  11. Counterfactuals in the Real World

    • James Woodward, Mark Wilson
    Pages 269-294
Back to top

Keywords

About this book

ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. 

By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques. 



Editors and Affiliations

  • Department of Philosophy, Simon Fraser University Philosophy, Burnaby, Canada

    Nicolas Fillion

  • The Rotman Institute of Philosophy, The Ontario Research Center for Computer Algebra and The School of Mathematical and Statistical Sciences, The University of Western Ontario, London, Canada

    Robert M. Corless

  • Department of Physics & Computer Science, Wilfrid Laurier University, Waterloo, Canada

    Ilias S. Kotsireas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation