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
The Gift of Community
Shared experience may matter as much as scientific cooperation AIP source—see also interview Robert Marshak was on hand for Trinity, which was the first detonation...
From Gödel's Lost Letter and P=NP
Hunting Complexity in Zeta
A second look at Voronin’s amazing universality theorem Anatoly Karatsuba and Sergei Voronin wrote a book on Bernhard Riemann’s zeta function. The book was translated...
From Gödel's Lost Letter and P=NP
Magnus and the Turkey Grinder
With part II of our “When Data Serves Turkey” post source—note similarity to this Magnus Carlsen last week retained his title of World Chess Champion. His match...
From Gödel's Lost Letter and P=NP
When Data Serves Turkey
A head-scratching inconsistency in large amounts of chess data Slate source Benjamin Franklin was the first American scientist and was sometimes called “The First...
From Gödel's Lost Letter and P=NP
Thanks
Theorems and Proofs—which are more important? src Ken and I wish to thank all who read and follow us. May you have a wonderful day today all day. But we would like...
From Gödel's Lost Letter and P=NP
GLL At the Chess Match
Dick and I will be on Sunday’s game telecast Business Insider source Magnus Carlsen of Norway and Sergey Karjakin of Russia are midway through their world championship...
From Gödel's Lost Letter and P=NP
Unskewing the Election
Not the polls but voter impulse this time Cropped from source Nate Silver has gone out on a limb. Four years ago we posted on how the forecast of his team at FiveThirtyEight...
From Gödel's Lost Letter and P=NP
Halloween Math Style
The top scariest possible results Head chopped from source Washington Irving was a famous writer of the early 1800’s who is best known for his short stories. The...
From Gödel's Lost Letter and P=NP
Absolute Firsts
An initiative for women in computing AIA source Louise Bethune was the first female professional architect in the United States, and possibly the world. She worked...
From Gödel's Lost Letter and P=NP
Going For Two
Some football wisdom from Dick Karp Cropped from S.I. Kids source John Urschel is a PhD student in the Applied Mathematics program at MIT. He has co-authored two...
From Gödel's Lost Letter and P=NP
Why Is Being Truthful A Good Thing?
In the context of stable matching problems Jamie Morgenstern is a researcher into machine learning, economics, and especially mechanism design. Today Ken and I...
From Gödel's Lost Letter and P=NP
Congratulations, Noam
The winner of the 2016 ACM-IEEE Knuth Prize Coursera source Noam Nisan has been one of the leaders in computational complexity and algorithms for many years. He...
From Gödel's Lost Letter and P=NP
A Creeping Model Of Computation
Local rules can achieve global behavior Sarah Cannon is a current PhD student in our Algorithms, Combinatorics, and Optimization program working with Dana Randall...
From Gödel's Lost Letter and P=NP
A Proof Of The Halting Theorem
Toward teaching computability and complexity simultaneously Computing Large Numbers source Wilhelm Ackermann was a mathematician best known for work in constructive...
From Gödel's Lost Letter and P=NP
How Hard, Really, is SAT?
A new longest computer proof makes us wonder about things from security to the Exponential Time Hypothesis Marijn Heule, Oliver Kullmann, and Victor Marek are experts...
From Gödel's Lost Letter and P=NP
Descending Proofs Into Algorithms
A way to make indirect reasoning more palpable Wikimedia Commons source Nicholas Saunderson was the fourth Lucasian Professor at Cambridge, two after Isaac Newton...
From Gödel's Lost Letter and P=NP
The World Turned Upside Down
Some CS reflections for our 700th post MacArthur Fellowship source Lin-Manuel Miranda is both the composer and lyricist of the phenomenal Broadway musical Hamilton...
From Gödel's Lost Letter and P=NP
Getting to the Roots of Factoring
We revisit a paper from 1994 Richard Lipton is, among so many other things, a newlywed. He and Kathryn Farley were married on June 4th in Atlanta. The wedding was...
From Gödel's Lost Letter and P=NP
Polynomial Prestidigitation
Suddenly a sharp bound on progression-free subsets is revealed Ernie Croot, Vsevolod Lev, and Péter Pach (CLP) found a new application of polynomials last month...
From Gödel's Lost Letter and P=NP