Computation, Proof, Machine

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.

Weitere Produkte vom selben Autor

Introduction to the Theory of Programming Languages Dowek, Gilles, Lévy, Jean-Jacques

42,50 €*
Proofs and Algorithms Dowek, Gilles

42,50 €*
Computation, Proof, Machine Dowek, Gilles

132,10 €*
The Age of Algorithms Abiteboul, Serge, Dowek, Gilles

21,50 €*