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!
|
| Call Number : | QA 8.4 .M35 2018 |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 53022 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241219014335.0 | ||
| 008 | 221104 2018 si a abi 001 0 eng d | ||
| 020 | |a 9789813225480 (hardcover) | ||
| 020 | |a 9813225483 (hardcover) | ||
| 039 | 9 | |a 202211041227 |b VLOAD |c 201910031201 |d johari |y 201904171114 |z helmey | |
| 040 | |a UPNM |b eng |c UPNM |e rda | ||
| 090 | |a QA 8.4 |b .M35 2018 | ||
| 100 | 1 | |a Mainzer, Klaus, |e author. | |
| 245 | 1 | 4 | |a The digital and the real world |b computational foundations of mathematics, science, technology, and philosophy |c Klaus Mainzer. |
| 264 | 1 | |a Singapore |b World Scientific Publishing Co. |c 2018 | |
| 300 | |a x, 460 pages |b illustrations |c 24 cm. | ||
| 336 | |a text |2 rdacontent | ||
| 337 | |a unmediated |2 rdamedia | ||
| 338 | |a volume |2 rdacarrier | ||
| 500 | |a Supplements and corrections (16 pages) inserted. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a 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. | ||
| 592 | |a 37495 |b 01/08/2019 |c RM 625.47 |h Bookline | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Mathematics |x philosophy. | |
| 999 | |a vtls000063882 |c 53022 |d 53022 | ||