Computation, Proof, Machine: Mathematics Enters a New Age - Image 1

£47.31

Cambridge University Press Computation, Proof, Machine: Mathematics Enters a New Age

Name: Computation, Proof, Machine: Mathematics Enters a New Age
Brand: Cambridge University Press
Price: 53.64 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 36 days • 36 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 36 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £48 (32 days, 88.9%)

Price range: £48 - £54

Price levels: 2 different prices over 36 days

Description

Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible. This book is the 2007 winner of the Grand Prix de Philosophie de l'Académie Française.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521118018
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 05 May 2015
Listed Since: 13 January 2015

Barcode

No barcode data available

Cambridge University Press Computation, Proof, Machine: Mathematics Enters a New Age

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematics for Future Computing and Communications

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Computational Complexity: A Conceptual Perspective

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Qualitative Computing: A Computational Journey Into Nonlinearity

Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures (Routledge Contemporary Introductions to Philosophy)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

North Holland Philosophy of Mathematics - Handbook of Science

New Directions in the Philosophy of Mathematics: An Anthology - Revised and Expanded Edition

Computer Science with MATHEMATICA: Theory and Practice for Science, Mathematics, and Engineering

Transition to Advanced Mathematics (Textbooks in Mathematics)

18 Unconventional Essays on the Nature of Mathematics

Computational Complexity: A Modern Approach

Probabilistic Numerics: Computation as Machine Learning

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

The Nature of Computation

Springer Computational Artifacts - Philosophy of Computer Science

Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More

North Holland - Philosophy of Mathematics Book

How to Prove It: A Structured Approach

Type Theory and Formal Proof: An Introduction

Physical Perspectives on Computation, Computational Perspectives on Physics

Computability Theory: An Introduction to Recursion Theory

Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)