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
The 2020 Y Prize
Can one maintain privacy while publicly congratulating? X Facemask src X, who shall go nameless here, recently won a prize for research. Today we congratulate X...
From Gödel's Lost Letter and P=NP
Consistency and P=NP
Can we at least show that is consistent? [ From personal page ] Jan Krajicek is an expert on linking computational complexity and mathematical logic. He has authored...
From Gödel's Lost Letter and P=NP
Mathematics of COVID-19
Its not just [ Sir Francis Galton by Charles Wellington Furse ] Francis Galton is a perfect example of a Victorian era scientist. Sir Galton, he was knighted in...
From Gödel's Lost Letter and P=NP
Time For Some Jokes
Can we still smile? [ Hardy and Littlewood] John Littlewood lived through the 1918–1919 flu pandemic, yet he appears not to have remarked on it in print. Nor can...
From Gödel's Lost Letter and P=NP
Proof and Cake Envy
Our proofs can be big too [Mackenzie and Aziz] Haris Aziz and Simon Mackenzie are computer scientists at UNSW and CMU respectively. Of course UNSW is the University...
From Gödel's Lost Letter and P=NP
John Horton Conway 1937–2020
An appreciation Names for large numbers source John Horton Conway just passed away from complications of COVID-19. We are all saddened by this news, and we hope...
From Gödel's Lost Letter and P=NP
Nina Balcan Wins
Congrads and More [ CMU ] Nina Balcan is a leading researcher in the theory of machine learning. Nina is at Carnegie-Mellon and was previously at Georgia Tech—it...
From Gödel's Lost Letter and P=NP
Not As Easy As ABC
Is the claimed proof of the ABC conjecture correct? [ Photo courtesy of Kyodo University ] Shinichi Mochizuki is about to have his proof of the ABC conjecture published...
From Gödel's Lost Letter and P=NP
Leprechauns Stay Home
Stay safe, everyone Cropped from Floss Dance source Neil L. is a Leprechaun. He has visited me once every year since I started GLL. I had never seen a leprechaun...
From Gödel's Lost Letter and P=NP
Group Testing For The Coronavirus
Plus other mathematical ideas that may be helping History of Econ. Thought src Robert Dorfman was a professor of political economy at Harvard University, who helped...
From Gödel's Lost Letter and P=NP
The Virtue of Closed Problems
A new condition in property testing Composite crop of src1, src2 Maryam Aliakbarpour and Sandeep Silwal are PhD students at MIT. They have a joint paper titled,...
From Gödel's Lost Letter and P=NP
Dyson as a Mathematician
With a lemma from 1947 that might be useful today? Cropped from article on his letters Freeman Dyson passed away last February 28th, one day short of the leap day...
From Gödel's Lost Letter and P=NP
Reductions and Jokes
Plus a teaching idea that’s no joke? Cropped from Maths History source Emil Post was the first to use the formal notion of reduction between problems. We discussed...
From Gödel's Lost Letter and P=NP
Should We Teach Coding in High School?
Robert Sedgewick and Larry Cuban faced off today in the Wall Street Journal (WSJ) on the issue: Should everyone be taught coding in high school? Today we will discuss...
From Gödel's Lost Letter and P=NP
P=NP: A Story
The P=NP story without symbols. [ The Movie ] Dr. Strangelove is the classic 1964 movie about the potential for nuclear war between the US and the Soviet Union...
From Gödel's Lost Letter and P=NP
A Beetle Math Puzzle
Lessons from a puzzle about prime numbers [ Wikipedia ] Doron Zeilberger is a famous combinatorial mathematician based at Rutgers. He is noted for actively using...
From Gödel's Lost Letter and P=NP
Counting Votes By Humans
A new way to agree on calculations Cropped from ABC News source Troy Price is the Iowa Democratic Party Chair. He was in charge of Iowa’s primary vote. The vote...
From Gödel's Lost Letter and P=NP
Tricks of The Trade
Tricks are used in deep results. [ IAS ] Pierre Deligne is a famous number theorist who has won most of the top honors in mathematics. Among many achievements he...
From Gödel's Lost Letter and P=NP
The Halting No Go Theorem
Using the halting problem to prove positive theorems. Cropped from “Turing’s Lost Letters” source Alan Turing proved the undecidability of the Halting Problem in...
From Gödel's Lost Letter and P=NP