Opening book details…
Can I read Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy on EtoBox?
Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy by Klaus Mainzer; Peter Michael Schuster; Helmut Schwichtenberg is a nonfiction available to read on EtoBox.
What is Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy about?
"This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under- )graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields."--Publisher's website
Who reads Proof and Computation : Digitization in Mathematics, Computer Science, and Philosophy?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Klaus Mainzer; Peter Michael Schuster; Helmut Schwichtenberg
- Publisher
- World Scientific Publishing Co. Pte. Ltd
- Published
- 2018
- Language
- EN
- ISBN
- 9789813270930
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Philosophy
Other editions & translations
More by Klaus Mainzer; Peter Michael Schuster; Helmut Schwichtenberg
Browse all works by Klaus Mainzer; Peter Michael Schuster; Helmut Schwichtenberg
Similar books
- Concepts of Proof in Mathematics, Philosophy, and Computer Science (Ontos Mathematical Logic) — Peter Schuster Dieter Probst (2016)
- Theory of Computation (Texts in Computer Science) — Dexter C. Kozen (auth.) (2006)
- LOGIC : Lecture Notes for Philosophy, Mathematics, and Computer Science — Andrea Iacona (2021)
- Computation, Proof, Machine : Mathematics Enters a New Age — Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) (2015)
- The Logical Foundations of Mathematics : Foundations and Philosophy of Science and Technology Series — William S. Hatcher, Mario Bunge (1982)
- Three Views of Logic : Mathematics, Philosophy, and Computer Science — Donald W. Loveland, Richard E. Hodel, S. G. Sterrett, S G (2014)