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

£35.72

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: 35.72 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£36 today · usual range £27–£37 · best ever £27

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 60 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £27-29 (20 days, 33.3%)

Price range: £27 - £37

Price levels: 5 price ranges over 60 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: paperback
ASIN: 0521133777
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 07 May 2015
Listed Since: 13 January 2015

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

New Computational Paradigms: Changing Conceptions of What is Computable

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Open Problems in Mathematics and Computational Science

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)

Towards Philosophy Real Mathematics

Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)

Technology and Mathematics: Philosophical and Historical Investigations: 30 (Philosophy of Engineering and Technology, 30)

Mathesis Universalis, Computability and Proof: 412 (Synthese Library, 412)

Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

Structural Proof Theory

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Computing Nature: Turing Centenary Perspective: 7 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 7)

A Mathematical Prelude to the Philosophy of Mathematics

Navigating Across Mathematical Cultures And Times: Exploring The Diversity Of Discoveries And Proofs

Abductive Inference: Computation, Philosophy, Technology

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Turing’s Revolution: The Impact of His Ideas about Computability

Turing’s Revolution: The Impact of His Ideas about Computability

Modern Cryptography, Probabilistic Proofs and Pseudorandomness: 17 (Algorithms and Combinatorics, 17)

Computational and Mathematical Modeling in the Social Sciences

Trends in Mathematics and Computational Intelligence: 796 (Studies in Computational Intelligence, 796)

Irreducibility and Computational Equivalence: 10 Years After Wolfram's A New Kind of Science: 2 (Emergence, Complexity and Computation, 2)