Paule, Peter
Mathematics, Computer Science and Logic - A Never Ending Story
1. Foundations of Mathematics from the Perspective of Computer Verification
Henk Barendregt
2. On the Role of Logic and Algebra in Software Engineering
Manfred Broy
3. New Directions in the Foundations of Mathematics (2002)
Stephen Wolfram
4. Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
Doron Zeilberger
Keywords: Mathematics, Algorithms, Mathematical Logic and Foundations, Mathematical Software, Software Engineering/Programming and Operating Systems, Theory of Computation
- Author(s)
- Paule, Peter
- Publisher
- Springer
- Publication year
- 2013
- Language
- en
- Edition
- 2013
- Page amount
- 7 pages
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9783319009667