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
Mea Culpa
Plus more on the separating word problem Mea Culpa is not someone we introduced on the blog before. She does not come from the same world as Lofa Polir or Neil...
From Gödel's Lost Letter and P=NP
20,000 Comments and More
With more about the Separating Words Problem I.I.T. Madras page Anoop S K M is a PhD student in the theory group of I.I.T. Madras in Chennai, India. His comment...
From Gödel's Lost Letter and P=NP
Logical Complexity of Proofs
If you cannot find proofs, talk about them. Robert Reckhow with his advsior Stephen Cook famously started the formal study of the complexity of proofs with their...
From Gödel's Lost Letter and P=NP
Thanks to An Explainer
Conrad explains all Keith Conrad is a professor in the mathematics department at UCONN—the University of Connecticut. My dear wife Kathryn Farley and I are about...
From Gödel's Lost Letter and P=NP
Fran Allen: 1932-2020
We lost a great computer scientist. Frances Allen was one of the leaders who helped create the field of compilers research. Fran was an elite researcher at IBM,...
From Gödel's Lost Letter and P=NP
Cleverer Automata Exist
A breakthrough on the separating words problem Zachary Chase is a graduate student of Ben Green at Oxford. Chase has already solved a number of interesting problems...
From Gödel's Lost Letter and P=NP
A Brilliant Book on Combinatorics
And Razborov’s brilliant proof method Stasys Jukna is the author of the book Extremal Combinatorics With Applications in Computer Science. Today we talk about Jukna...
From Gödel's Lost Letter and P=NP
Ron Graham, 1935–2020
Ron Graham passed away, but he lives on… Cropped from tribute by Tom Leighton Ron Graham just passed away Monday at the age of in La Jolla near UCSD. Today Ken...
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