Computation, Proof, Machine

Gilles Dowek

Bog | Engelsk

Beskrivelse

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…