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
Puzzle Reviews by a Puzzle Writer
Not puzzling reviews Princeton University Press page Jason Rosenhouse is professor in the Department of Mathematics at James Madison University. His research focuses...
From Gödel's Lost Letter and P=NP
Ken Regan Turned 61
Happy birthday to Ken Ken Regan is of course my partner on GLL. He is faculty in the computer science department at the University of Buffalo. His PhD was in 1986...
From Gödel's Lost Letter and P=NP
Convex Algorithms
Continuous can beat discrete Nisheeth Vishnoi is a professor at Yale University in the computer science department. The faculty there is impressive and includes...
From Gödel's Lost Letter and P=NP
Closing An Open Problem
Crawl, then walk, then run. Bogdan Grechuk is a lecturer in the math department at the University of Leicester. His office is in the Michael Atiyah Building. Pretty...
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