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.
Quanta Homepage
  • Physics
  • Mathematics
  • Biology
  • Computer Science
  • Topics
  • Archive

What's up in

logic

Latest Articles

Measuring tapes
infinity

Mathematicians Measure Infinities and Find They’re Equal

By Kevin Hartnett
September 12, 2017
Comment
Read Later

Two mathematicians have proved that two different infinities are equal in size, settling a long-standing question. Their proof rests on a surprising link between the sizes of infinities and the complexity of mathematical theories.

foundations of mathematics

Mathematicians Bridge Finite-Infinite Divide

By Natalie Wolchover
May 24, 2016
Comment
Read Later

A surprising new proof is helping to connect the mathematics of infinity to the physical world.

foundations of mathematics

Will Computers Redefine the Roots of Math?

By Kevin Hartnett
May 19, 2015
Comment
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.

Image of spiral staircase.
Mathematics

To Settle Infinity Dispute, a New Law of Logic

By Natalie Wolchover
November 26, 2013
Comment
Read Later

To determine the nature of infinity, mathematicians face a choice between two new logical axioms. What they decide could help shape the future of mathematical truth.

algorithms

In Computers We Trust?

By Natalie Wolchover
February 22, 2013
Comment
Read Later

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


Previous
  • 1
  • 2
Next
The Quanta Newsletter

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

Recent newsletters
Quanta Homepage
Facebook
Twitter
Youtube
Instagram

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