Algorithms and Complexity in Mathematics, Epistemology, and Science Proceedings of 2015 and 2016 ACMES Conferences /
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 conference...
Saved in:
Other Authors: | , , |
---|---|
Format: | Electronic Book |
Language: | English |
Published: |
New York, NY :
Springer New York : Imprint: Springer,
2019
|
Edition: | 1st ed. 2019 |
Series: | Fields Institute Communications,
82 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Introduction
- Ethics and the Continuum Hypothesis (J.R. Brown)
- How to Generate All Possible Rational Wilf-Zeilberger Pairs (S. Chen)
- Backward Error Analysis for Perturbation Methods (R.M. Corless, N. Fillion)
- Proof Verification Technology and Elementary Physics (E. Davis)
- An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems (M. Gunzburger)
- Dynamical Symmetries and Model Validation (B.C. Jantzen)
- Modeling the Biases in Last Digit Distributions of Consecutive Primes (D. Lichtblau)
- Computational Aspects of Hamburger's Theorem (Y. Matiyasevich)
- Effective Validity: A Generalized Logic for Stable Approximate Inference (R.H.C. Moir)
- Counterfactuals in the Real World (J. Woodward, M. Wilson)