Communications of the ACM
Refine your search:
How the “Frontier” Became the Slogan of Uncontrolled AI
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration …
From Gödel's Lost Letter and P=NP
New, Old, Ancient Results
Nonexistence theorems and attempts at lower bounds Cropped from src Joshua Grochow is an assistant professor in Computer Science and Mathematics at the University...
From Gödel's Lost Letter and P=NP
A Quiz of Quotes
Everything that can be invented has been invented—Charles Duell, Commissioner, U.S. Office of Patents, 1899 MathQuotes src George Cantor has been featured here...
From Gödel's Lost Letter and P=NP
A Quiz of Quotes
Everything that can be invented has been invented—Charles Duell, Commissioner, U.S. Office of Patents, 1899 MathQuotes src George Cantor has been featured here...
From Gödel's Lost Letter and P=NP
Riemann Hypothesis—Why So Hard?
“If I were to awaken after having slept a thousand years, my first question would be: has the Riemann Hypothesis been proven?” — David Hilbert Steklov Institute...
From Gödel's Lost Letter and P=NP
Riemann Hypothesis—Why So Hard?
“If I were to awaken after having slept a thousand years, my first question would be: has the Riemann Hypothesis been proven?” — David Hilbert Steklov Institute...
From Gödel's Lost Letter and P=NP
Computing’s Role In The Pandemic
How can we help? Joe Biden is the 46th president of the USA. Note is called a centered triangular number. These numbers obey the formula: and start with The previous...
From Gödel's Lost Letter and P=NP
Computing’s Role In The Pandemic
How can we help? Joe Biden is the 46th president of the USA. Note is called a centered triangular number. These numbers obey the formula: and start with The previous...
From Gödel's Lost Letter and P=NP
Alan Selman
A special journal issue in his honor Elvira Mayordomo, Mitsu Ogihara, and Atri Rudra are going to be the editors of a special issue of the journal Theory of Computing...
From Gödel's Lost Letter and P=NP
Pigenhole Principle
Mathematics is based on the application of simple ideas over and over: From tiny nuts do big trees grow. Jorgen Veisdal is an assistant professor at the Norwegian...
From Gödel's Lost Letter and P=NP
Graph Products
The power of definitions and notations Leopold Kronecker was one of the great mathematicians of the 19th century. deeply. We highlighted him before—well not deeply...
From Gödel's Lost Letter and P=NP
Happy Un-Birthday Rich
Still going strong Richard DeMillo just turned 74 years old the other day. Happy Birthday Rich, and many more. Today I want to wish him also a happy un-birthday...
From Gödel's Lost Letter and P=NP
Science Advisor
Resources for a new term from our vantage point Crop from Broad Institute src Eric Lander has been appointed director of the US Office of Science and Technology...
From Gödel's Lost Letter and P=NP
Edmund Clarke, 1945–2020
If only model checking could fight the virus Edmund Clarke passed away due to COVID-19 complications. Ed will be missed. He was a winner of the 2007 Turing award...
From Gödel's Lost Letter and P=NP
Priming Random Restrictions
Can we expand the base of their use? Technion commemoration src Bella Subbotovskaya was doing Boolean complexity lower bounds in 1961. She originated the method...
From Gödel's Lost Letter and P=NP
Predictions For 2021
This year is a Blum integer, 43*47 2017 article, not via Zoom Allan Lichtman correctly predicted the 2020 presidential election, based on a 7-6 edge in “keys” to...
From Gödel's Lost Letter and P=NP
P < NP In Our Stockings?
Brute force wins—sometimes Santa Claus is on the way to visit those of us who have been good. Tonight is Christmas Eve, and we want to thank everyone who has been...
From Gödel's Lost Letter and P=NP
Database and Theory
A dean of engineering Jennifer Widom was appointed as the Dean of Engineering at Stanford not long ago. No doubt her research in databases and her teaching played...
From Gödel's Lost Letter and P=NP
Is The End Near?
Queen’s Gambit and more Kenneth Regan is my partner here at GLL and a dear friend. He is a longtime faculty member in computer science at the University of Buffalo...
From Gödel's Lost Letter and P=NP
The Future of Mathematics?
Proving proofs are proven Kevin Buzzard is Professor of Pure Mathematics at Imperial College London. Wikipedia says that he specialises in algebraic number theory...
From Gödel's Lost Letter and P=NP