Processing ......
Links to Free Computer, Mathematics, Technical Books all over the World
Mathematics in the Age of the Turing Machine
🌠 Top Free Algorithms Books - 100% Free or Open Source!
  • Title Mathematics in the Age of the Turing Machine
  • Author(s) Thomas C. Hales
  • Publisher: University of Pittsburgh (2014-01-31)
  • Paperback N/A
  • eBook PDF, ePub, Kindle, etc.
  • Language: English
  • ISBN-10: N/A
  • ISBN-13: N/A
  • Share This:  

Book Description

Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

Where stands the mathematical endeavor?

About the Authors
  • Thomas C. Hales is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification.
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
Other Categories
Resources and Links