Four-Color Theorem Is Still a Math Favorite

Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.The article ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard first appeared on Quanta Magazine. 

In popular culture, computer science is practically synonymous with programming. There are obviously branches of computer science in which computer hardware and software are essential, such as in the design of operating systems or the study of memory management. But in the theore ...  Show more

Researchers, using the galaxy as a detector, believe they have detected gravitational waves from monster black holes for the first time. Learn more about your ad choices. Visit megaphone.fm/adchoices 

Did you know that you can HEAR Black Holes colliding out in space? It's true! Scientists have discovered that by listening to gravitational waves, they can actually hear a black hole, billions of miles away, colliding with another one. Don't miss this awesome chat with Dr. Eric T ...  Show more

In trying to explain the spectacular star trails of the star cluster Palomar 5, astronomers stumbled on a very large trove of black holes. Learn more about your ad choices. Visit megaphone.fm/adchoices 

Black holes are one of the most beguiling objects in our universe. What are they exactly? How do they affect the universe? And what would it be like to fall into one? We venture beyond the point of no return with Yale astrophysicist Priyamvada Natarajan, into a fascinating world ...  Show more