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

£33.19

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

Architecture & Microprocessors

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £27-29 (23 days, 25.8%)

Price range: £27 - £37

Price levels: 5 price ranges over 89 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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Open Problems in Mathematics and Computational Science

Abductive Inference: Computation, Philosophy, Technology

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

Pi: The Next Generation: A Sourcebook on the Recent History of Pi and Its Computation

Computational Models of Conditioning

Artificial Intelligence, Learning and Computation in Economics and Finance (Understanding Complex Systems)

Introduction to Algebraic Geometry

Creativity in Invention and Design: Computational and Cognitive Explorations of Technological Originality

Combinatorial Complexes: A Mathematical Theory of Algorithms: 2 (Mathematics and Its Applications, 2)

The Cambridge Companion to Atheism (Cambridge Companions to Philosophy)

Combinatorics, Automata and Number Theory: 135 (Encyclopedia of Mathematics and its Applications, Series Number 135)

A Guided Tour of Mathematical Methods for the Physical Sciences

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Noncommutative Rational Series with Applications: 137 (Encyclopedia of Mathematics and its Applications, Series Number 137)

Mathematical Foundations of Quantum Information and Computation and Its Applications to Nano- and Bio-systems (Theoretical and Mathematical Physics)

Topology for Computing: 16 (Cambridge Monographs on Applied and Computational Mathematics, Series Number 16)

The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

Advances in Physarum Machines: Sensing and Computing with Slime Mould: 21 (Emergence, Complexity and Computation, 21)

Street Mathematics and School Mathematics (Learning in Doing: Social, Cognitive and Computational Perspectives)

Challenging Mathematics In and Beyond the Classroom: The 16th ICMI Study: 12 (New ICMI Study Series, 12)

Reduction, Emergence and the Metaphysics in Science (Elements in Metaphysics)

Image Processing and Analysis: Variational, PDE, Wavelet, and Stochastic Methods

Artificial Intelligence: What Is Behind the Technology of the Future?

Myth and Philosophy from the Presocratics to Plato