Computation, Proof, Machine: Mathematics Enters a New Age by Gilles Dowek

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek with Pierre Guillot (Translator), Marion Roman (Translator)

160 pages missing pub info (editions)

nonfiction history mathematics philosophy challenging informative medium-paced

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...

Read more

Community Reviews Summary of 1 review

Moods

challenging 100%
informative 100%

See all reviews...

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.