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
Intellectual Fireworks?
Some different ideas for marking the Fourth “Founding Frenemies” source John Adams and Thomas Jefferson did not use Zoom. Their correspondence, from 1777 up to...
From Gödel's Lost Letter and P=NP
Some Real and Some Virtual News
Gossip and more. Composite of , src1, src3 Jessica Deters, Izabel Aguiar, and Jacqueline Feuerborn are the authors of the paper, “The Mathematics of Gossip.” They...
From Gödel's Lost Letter and P=NP
P
Some thoughts on P versus NP Norbert Blum is a computer science theorist at the University of Bonn, Germany. He has made important contributions to theory over...
P
Some thoughts on P versus NP Norbert Blum is a computer science theorist at the University of Bonn, Germany. He has made important contributions to theory over...
From Gödel's Lost Letter and P=NP
Proof Checking: Not Line by Line
Proofs and perpetual motion machines Leonardo da Vinci is, of course, famous for his paintings and drawings, but was also interested in inventions, and in various...
From Gödel's Lost Letter and P=NP
The Truth
What is the truth? Alfred Whitehead was a logician and philosopher, who had a student of some note. The student was Bertrand Russell and together they wrote the...
From Gödel's Lost Letter and P=NP
Just Arvind
Theory and practice [ MIT ] Arvind Mithal—almost always referred to as Arvind—is now the head of the faculty of computer science at a Boston trade school. The school...
From Gödel's Lost Letter and P=NP
Proof of the Diagonal Lemma in Logic
Why is the proof so short yet so difficult? Saeed Salehi is a logician at the University of Tabriz in Iran. Three years ago he gave a presentation at a Moscow workshop...
From Gödel's Lost Letter and P=NP
Math Tells
How to tell what part of math you are from Gerolamo Cardano is often credited with introducing the notion of complex numbers. In 1545, he wrote a book titled Ars...
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