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 Lemma Cited From Burnside
How might it be applied in complexity theory? St. Andrews history source William Burnside was a well-known researcher into the early theory of finite groups. Today...
From Gödel's Lost Letter and P=NP
A Coup(e) of Duchamp
From “readymade” works to surreal hash table wildness in chess programs fooled by him Toutfait.com source Marcel Duchamp was a leading French chess player whose...
From Gödel's Lost Letter and P=NP
Doing Mod N Via Mod R
Variations on Montgomery’s trick Peter Montgomery is a cryptographer at Microsoft. Just recently, Joppe Bos and Arjen Lenstra have edited a book titled Topics in...
From Gödel's Lost Letter and P=NP
Progress on the Frontier
An almost exponential improvement in bounds against ACC Source from previous paper Cody Murray is a PhD student of Ryan Williams at MIT. He and Ryan have a new...
From Gödel's Lost Letter and P=NP
Timing Leaks Everything
Facing the awful truth that computers are physical machines As moderator of RSA 2016 panel Paul Kocher is the lead author on the second of two papers detailing...
From Gödel's Lost Letter and P=NP
Predictions We Didn’t Make
With wishes for a memorable New Year 2018 Muhammad Afzal Upal is Chair of the Computing and Information Science Department at Mercyhurst University. He works in...
From Gödel's Lost Letter and P=NP
Truth From Zero?
How we might compare AlphaZero against standards of perfection YouTube 2015 lecture source David Silver is the lead author on the paper, “Mastering Chess and Shogi...
From Gödel's Lost Letter and P=NP
P=NP: Perhaps I Change My Mind
An old result put a new way Albert Meyer knows circuit lower bounds. He co-authored a paper with the late Larry Stockmeyer that proves that small instances of the...
From Gödel's Lost Letter and P=NP
Proving Peano Arithmetic Partially Consistent?
An approach to consistency that could work… Kurt Gödel is feeling bored. Not quite in our English sense of “bored”: German has a word Weltschmerz meaning “world...
From Gödel's Lost Letter and P=NP
A Magic Madison Visit
To give a Hilldale Lecture and learn about fairness and dichotomies UB CSE50 anniversary source Jin-Yi Cai was kind enough to help get me, Dick, invited last month...
From Gödel's Lost Letter and P=NP
Lotfi Zadeh 1921–2017
But fuzzy logic lives on forever New York Times obituary source Lotfi Zadeh had a long and amazing life in academics and the real world. He passed away last month...
From Gödel's Lost Letter and P=NP
Michael Cohen 1992-2017 and Vladimir Voevodsky 1966–2017
Two more tragic losses coming before a greater tragedy Composite of crops from src1, src2 Michael Cohen and Vladimir Voevodsky were in different stages of their...
From Gödel's Lost Letter and P=NP
A TSP Breakthrough
A new approximation algorithm Composite of src1, src2, src3 Ola Svensson, Jakub Tarnawski, and László Végh have made a breakthrough in the area of approximation...
From Gödel's Lost Letter and P=NP
A Retirement Party for Joel Seiferas
A gathering this Labor Day in Rochester Announcement source Joel Seiferas retired on December 31, 2016 and is now a professor emeritus in the University of Rochester...
From Gödel's Lost Letter and P=NP
Modeling Reality
A surprising theorem about differential equations Composite of src1, src2. Olivier Bournez and Amaury Pouly have proved an interesting theorem about modeling physical...
From Gödel's Lost Letter and P=NP
Maryam Mirzakhani, 1977–2017
Including debt to Marina Ratner, 1938-2017 Still from Harvard Math video Maryam Mirzakhani won the Fields Medal in 2014. We and the whole community are grieving...
From Gödel's Lost Letter and P=NP
Kitchen Tile Catalog Complete
All tessellating convex polygons found Cropped and combined from src1, src2. Michaël Rao and Marjorie Rice are linked in this month’s news. Rao has just released...
From Gödel's Lost Letter and P=NP
Eric and Mike Turn 60
Birthday workshop at Rutgers last January Combined from source Eric Allender and Michael Saks have been leading lights in computing theory for four decades. They...
From Gödel's Lost Letter and P=NP
TOC In The Future
Results of the panel at the Theory Fest Géraud Sénizergues proved in 1997 that equivalence of deterministic pushdown automata (DPDAs) is decidable. Solving this...
From Gödel's Lost Letter and P=NP