Why mathematics needs engineering

DOI10.1016/j.jlamp.2016.01.001zbMath1360.00087arXiv1601.00989OpenAlexW2963331283WikidataQ59754778 ScholiaQ59754778MaRDI QIDQ2374304

Raymond Boute

Publication date: 15 December 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.00989

zbMATH Keywords

engineeringcategory theoryrelationfunctionmathematicscodomain

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Foundations, relations to logic and deductive systems (18A15)

Uses Software

• CalcCheck
• Z

Cites Work

• Proof of a conjecture concerning the direct product of bipartite graphs
• Set Theory
• Introduction to Mathematical Structures and Proofs
• Reading, Writing, and Proving
• A Beginner's Guide to Discrete Mathematics
• The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
• Reading, Writing, and Proving
• Set Theory
• Preparing Relational Algebra for “Just Good Enough” Hardware
• Proofs and Fundamentals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item