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

Computation, Proof, Machine: Mathematics Enters a New Age

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

160 pages • missing pub info (editions)

nonfiction history mathematics philosophy challenging informative medium-paced
Powered by AI (Beta)
Loading...

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

Loading...

Content Warnings

Loading...