Digitization in Mathematics, Computer Science and Philosophy
by
Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg;;
Language: English
Release Date: May 30, 2018
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,...