We care about your data, and we'd like to use cookies to give you a smooth browsing experience. Please agree and read more about our privacy policy.
  • Physics

  • Mathematics

  • Biology

  • Computer Science

  • Topics

  • Archive

What's up in

proofs

Quantized Columns

The Rise of Computer-Aided Explanation

By Michael Nielsen
July 23, 2015
Read Later

Computers can translate French and prove mathematical theorems. But can they make deep conceptual insights into the way the world works?

foundations of mathematics

Will Computers Redefine the Roots of Math?

By Kevin Hartnett
May 19, 2015
Read Later

The Fields medalist Vladimir Voevodsky has died at 51. This 2015 article describes his computer-aided quest to eliminate human error and rewrite the century-old rules underlying all of mathematics.

algorithms

In Computers We Trust?

By Natalie Wolchover
February 22, 2013
Read Later

As the role of computers in pure mathematics grows, researchers debate their reliability.


Previous
  • 1
  • 2
  • 3
  • 4
Next

The Quanta Newsletter

Get highlights of the most important news delivered to your email inbox

Recent newsletters


  • About Quanta
  • Archive
  • Contact Us
  • Terms & Conditions
  • Privacy Policy
  • Simons Foundation
All Rights Reserved © 2022