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
A Polemical Overreach?
Our 1977 paper on the role of formal methods [ Harvard ] Harry Lewis is known for his research in mathematical logic, and for his wonderful contributions to teaching...
From Gödel's Lost Letter and P=NP
A Diophantine Obvious Problem}
With a short solution that was hard for me to find. [ Royal Society ] Sir Timothy Gowers is a Fields medalist and fellow blogger. Sometimes he (too) writes about...
From Gödel's Lost Letter and P=NP
Writing 33 as a Sum of Cubes
Cracking a Diophantine problem for 42 too Andrew Booker is a mathematician at the University of Bristol, who works in analytic number theory. For example he has...
From Gödel's Lost Letter and P=NP
Quantum Switch-Em
A recipe for changing the objectives of problems Composite crop of src1, src2, src3 Aram Harrow, Avinatan Hassidim, and Seth Lloyd are quantum stars who have done...
From Gödel's Lost Letter and P=NP
Separating Words: Decoding a Paper
A clever trick on combining automata John Robson has worked on various problems including what is still the best result on separating words—the topic we discussed...
From Gödel's Lost Letter and P=NP
Separating Words by Automata
Another exponential gap in complexity theory? [ From his home page ] Jeffrey Shallit is a famous researcher into many things, including number theory and being...
From Gödel's Lost Letter and P=NP
Self-Play Is Key?
Self-play and Ramsey numbers [ Talking about worst case ] Avrim Blum is the CAO for TTIC. That is he is the Chief Academic Officer at the Toyota Technological Institute...
From Gödel's Lost Letter and P=NP
Danny Cohen Passed Away
Not a theorist but … [ Internet Hall of Fame] Danny Cohen was a pioneer who advanced many areas of computer science. He made contributions to computer graphics,...
From Gödel's Lost Letter and P=NP
Our Trip To Monte Carlo
Why does randomness help? Kathryn Farley is my dear wife. She and I are currently on a cruise through the Mediterranean. Our trip started in Barcelona and is stopping...
From Gödel's Lost Letter and P=NP
Leaps and Bounds: Practice Meets Theory
Solving the runtime selection problem Composite from src1, src2 Brendan Lucier and Csaba Szepesvári were consecutive speakers at this week’s workshop at the Tokyo...
From Gödel's Lost Letter and P=NP
Code It Up
So you think you have a proof that P=NP Randi 2014 documentary source James Randi is a magician who has challenged paranormal claims of all kinds. Today Ken and...
From Gödel's Lost Letter and P=NP
The Electoral College: Is It Good?
A old unpublished result, some new published results [ Playbill ] Alexander Hamilton was a framer of the U.S. Constitution. He wrote the bulk of the Federalist...
From Gödel's Lost Letter and P=NP
Discrepancy Games and Sensitivity
Can we connect the talks that closed this month’s Random Structures and Algorithms conference? Cropped from NYU homepage Joel Spencer gave the closing talk of last...
From Gödel's Lost Letter and P=NP
Summer Reading in Theory
Some formative books in mathematics and computing theory LSE source: “Calculus on Clay?” Norman Biggs is the author of the wonderful book Algebraic Graph Theory...
From Gödel's Lost Letter and P=NP
Mathematics of Gerrymandering
Can theory help? [ art: Bill Hennessy ] John Roberts is the Chief Justice of the United States. Today I will discuss the recent Supreme Court decision on gerrymandering...
From Gödel's Lost Letter and P=NP
A Prime Breakthrough
A breakthrough on the Riemann Hypothesis [ Composite of various sources ] Michael Griffin, Ken Ono, Larry Rolen, and Don Zagier (GORZ) have recently published a...
From Gödel's Lost Letter and P=NP
Computer Science Gender Gap
NYTimes article on the paper [ Allen Institute ] Lucy Lu Wang is the lead author of a paper released this Friday on gender parity in computer science. The paper...
From Gödel's Lost Letter and P=NP
Diophantine Equations
Complexity of solving polynomial equations [ Jeff ] Jeff Lagarias is a mathematician or a professor at the University of Michigan. Today I wish to discuss Diophantine...
From Gödel's Lost Letter and P=NP
How To Make A Polynomial Map Nicer
Stability theory and polynomials [ Essen ] Arno van den Essen is the author of the book on the Jacobian Conjecture. Today I want to highlight one of the ideas he...
From Gödel's Lost Letter and P=NP