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 Clever Way To Find Compiler Bugs
Your comments are valuable, we thank you. source Xuejun Yang is a Senior Staff Engineer at FutureWei Technologies. He is the DFA on the 2011 paper, “Finding and...
From Gödel's Lost Letter and P=NP
Goldbach: A Curious Conjecture
Models of the primes [ Montreal ] Andrew Granville writes brilliant papers that explain hard results in number theory. He also proves hard results in number theory...
From Gödel's Lost Letter and P=NP
Hobgoblins in Our Equations
With consequences for physics Britannica source Paul Painlevé was a French mathematician who specialized in classical mechanics. He is known for a conjecture in...
From Gödel's Lost Letter and P=NP
Quantum Supremacy At Last?
What it takes to understand and verify the claim Cropped from 2014 Wired source John Martinis of U.C. Santa Barbara and Google is the last author of a paper published...
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