Computation, proof, machine : mathematics enters a new age

Author(s)

• Dowek, Gilles
• Guillot, Pierre
• Roman, Marion

Bibliographic Information

Computation, proof, machine : mathematics enters a new age

Gilles Dowek ; translated from the French by Pierre Guillot and Marion Roman

Cambridge University Press, 2015

• : hardback

Other Title

Les métamorphoses du calcul

Note

Originally published: Paris : Pommier, c2007

Includes bibliographical references (p. 149-152) and index

Details

• NCID: BB19367817
• ISBN:
  • 9780521118019
• LCCN: 2015004116
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: fre
• Place of Publication: New York, NY
• Pages/Volumes: viii, 152 p.
• Size: 23 cm
• Classification:
  • LCC : QA26
  • DC23 : 510.9
• Subject Headings:
  • LCSH : Mathematics -- History -- 20th century
  • LCSH : Mathematics -- History
  • LCSH : Mathematics, Ancient