Algorithms and Complexity in Mathematics, Epistemology, and Science: Proceedings of 2015 and 2016 ACMES Conferences - Softcover

Inhaltsangabe

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).

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.