The Digital and the Real World: Computational Foundations of Mathematics, Science, Technology, and Philosophy

Publisher:

World Scientific

Publication Date:

2018

Number of Pages:

460

Format:

Hardcover

Price:

158.00

ISBN:

9789813225480

Category:

Textbook

We do not plan to review this book.

Introduction
Basics of Computability
Hierarchies of Computability
Constructive Proof Theory
Computational Mathematics and Digital Information Systems
Intuitionistic Mathematics and Human Creativity
Proof Mining bridging Logic, Mathematics, and Computer Science
Reverse Mathematics Bridging Logic, Mathematics, and Computer Science
From Intuitionistic to Homotopy Type Theory — Bridging Logic, Mathematics, and Computer Science
Real Computability and Real Analysis
Complexity Theory of Real Computing
Real Computing and Neural Networks
Complexity of Algorithmic Information
Complexity of Information Dynamics
Digital and Real Physics
Digital and Real Computing in the Social World
Philosophical Outlook