You are looking for
Advanced search
How Close Are Computers to Automating Mathematical Reasoning?
...a Fields Medal for work in mathematical logic, reportedly made a sweeping prediction that continues to excite and irritate mathematicians — that “at some unspecified future time, mathematicians would be...
Why Mathematical Proof Is a Social Compact
...Bulletin of the American Mathematical Society about how machines might change mathematics. Quanta spoke with Granville about the nature of mathematical proof — from how proofs work in practice to...
Two Researchers Are Rebuilding Mathematics From the Ground Up
...revolutions in logic and set theory that marked the boundary between 19th-century and modern mathematics. Their birth was a crucial waypoint on math’s inexorable march from the numbers and shapes...
What Is the Positive Grassmannian and Why Does It Show Up Everywhere?
...artificial intelligence, but even inside of math, as you say, they’re, they can act like machines that do things to other mathematical objects. WILLIAMS: Yes, in math, one of the...
Solution: ‘Information From Randomness?’
...guarantee that all your doubts about the validity of the solution will be laid to rest, but I’ll try my best. I have tried to keep the actual math to...
Why Sleeping Beauty Is Lost in Time
...it as an informal Polymath-style “peer review.” Readers are also invited to share their opinions in the comments section below. The famous Sleeping Beauty problem has polarized communities of mathematicians...
A Drunkard’s Walk in Manhattan
...and a lifelong puzzle enthusiast. One of the most cherished mathematical learning moments of my youth came from an old and very funny math book, whose name I have sadly...
Mathematicians Bridge Finite-Infinite Divide
...1921 commanded mathematicians to weave infinity completely into the fold of finitistic mathematics. Hilbert saw finitistic reducibility as the only remedy for the skepticism then surrounding the new mathematics of...
A Mathematician Who Decodes the Patterns Stamped Out by Life
...Corina Tarnita was a budding mathematician, she found her interest in mathematics flickering, about to burn out. As a girl she had stormed through Romania’s National Mathematical Olympiad — where...