Digital And The Real World, The: Computational Foundations Of Mathematics, Science, Technology, And Philosophy (Hardback)
  • Digital And The Real World, The: Computational Foundations Of Mathematics, Science, Technology, And Philosophy (Hardback)
zoom

Digital And The Real World, The: Computational Foundations Of Mathematics, Science, Technology, And Philosophy (Hardback)

(author)
£139.00
Hardback 472 Pages / Published: 20/01/2018
  • We can order this

Usually dispatched within 2 weeks

  • This item has been added to your basket

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. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood, because the foundations of algorithms and information systems are not studied rigorously. Actually, they are deeply rooted in logics, mathematics, computer science and philosophy.

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. We start with the basics of computability theory, proof theory, and information theory. In a second step, we introduce new concepts of information and computing systems, in order to overcome the gap between the digital world of logical programming and the analog world of real computing in mathematics and science. The book also considers consequences for digital and analog physics, computational neuroscience, financial mathematics, and the Internet of Things (IoT).

Publisher: World Scientific Publishing Co Pte Ltd
ISBN: 9789813225480
Number of pages: 472

You may also be interested in...

Introducing Infinity
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
Godel's Proof
Added to basket
£11.99
Paperback
Measurements and their Uncertainties
Added to basket
Sets, Logic and Categories
Added to basket
Equation That Couldn't be Solved
Added to basket
Math Girls
Added to basket
£11.99
Paperback
Modern Logic
Added to basket
£77.99
Paperback
How to Prove It
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.