The digital and the real world computational foundations of mathematics, science, technology, and philosophy
In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. Therefore, this book studies the foundations of mathematics, computer science, and philosophy, in order to guarantee...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Singapore
World Scientific Publishing Co.
2018
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. Therefore, this book studies the foundations of mathematics, computer science, and philosophy, in order to guarantee security and reliability of the knowledge by constructive proofs, proof mining and program extraction. |
|---|---|
| Item Description: | Supplements and corrections (16 pages) inserted. |
| Physical Description: | x, 460 pages illustrations 24 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9789813225480 (hardcover) 9813225483 (hardcover) |