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

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£47 today · cheaper than every other day in the last 24 months

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 631 days • 631 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 631 days • 4 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £64-68 (234 days, 37.1%)

Price range: £47 - £68

Price levels: 4 price ranges over 631 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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education: 5 (Logic, Epistemology, and the Unity of Science, 5)

Philosophy and Computing: Essays in Epistemology, Philosophy of Mind, Logic, and Ethics: 128 (Philosophical Studies Series, 128)

Demystifying Computation: A Hands-on Introduction

From Logic to Practice: Italian Studies in the Philosophy of Mathematics: 308 (Boston Studies in the Philosophy and History of Science, 308)

Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... (Lecture Notes in Computer Science, 5734)

Mathematics for Future Computing and Communications

Conquering Mathematics: From Arithmetic to Calculus

On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence: Themes from IACAP 2016: 134 (Philosophical Studies Series, 134)

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

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Mathematics and Computation, a Contemporary View: The Abel Symposium 2006: 3

Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning: 17 (Mathematics Education in the Digital Era, 17)

Competitions for Young Mathematicians: Perspectives from Five Continents (ICME-13 Monographs)

Algorithmic Adventures: From Knowledge to Magic

Algorithmic Adventures: From Knowledge to Magic

History of Artificial Intelligence: From the Mathematics of Ancient Civilizations to Thinking Machines

Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning: 17 (Mathematics Education in the Digital Era, 17)

Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)

Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)

Problems And Solutions In Mathematical Olympiad (high School 3): 20

Mathematics of the 19th Century: Mathematical Logic Algebra Number Theory Probability Theory

Philosophy of Mathematics: Classic and Contemporary Studies (Textbooks in Mathematics)

Mathematical Reflections: In a Room with Many Mirrors (Undergraduate Texts in Mathematics)

Computational Reflections