Effective Validity: A Generalized Logic for Stable Approximate Inference

DOI10.1007/978-1-4939-9051-1_9zbMath1454.00022OpenAlexW2913400080MaRDI QIDQ3296316

Robert H. C. Moir

Publication date: 7 July 2020

Published in: Algorithms and Complexity in Mathematics, Epistemology, and Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4939-9051-1_9

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the epistemological analysis of modeling and computational error in the mathematical sciences
• In defence of naiveté: the conceptual status of Lagrangian quantum field theory
• Elliptic functions and applications
• Stimulus-response theory of inite automata
• A Graduate Introduction to Numerical Methods
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Geometric Numerical Integration

This page was built for publication: Effective Validity: A Generalized Logic for Stable Approximate Inference