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
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
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
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
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
Does Logic Apply To Hearings?
The problem of mining text for implications 2016 RSA Conference bio, speech Michael Rogers, the head of the National Security Agency, testified before the Senate...
From Gödel's Lost Letter and P=NP
Goldilocks Principle And P vs. NP
The rule of three Wikimedia Commons source Robert Southey was the Poet Laureate of Britain from 1813 until his death in 1843. He published, anonymously, “The Story...
From Gödel's Lost Letter and P=NP
A Great Solution
A great conjecture too Alternate photo by Quanta Thomas Royen is a retired professor of statistics in Schwalbach am Taunus near Frankfurt, Germany. In July 2014...
From Gödel's Lost Letter and P=NP
Theory Fest—Should You Go?
Theory Fest—Should You Go? Boaz Barak and Michael Mitzenmacher are well known for many great results. They are currently working not on a theory paper, but on a...
From Gödel's Lost Letter and P=NP
The End Of Human Science?
Could we go the way of telegraph operators? Pixabay source Lofa Polir has sent us some new information that will have widespread ramifications for math and theory...
From Gödel's Lost Letter and P=NP
Gender Bias: It Is Worse Than You Think
q Science meets bias and diversity Deborah Belle is a psychology professor at Boston University (BU) who is interested in gender differences in social behavior....
From Gödel's Lost Letter and P=NP
Is Computer Security Possible?
The breaks keep on coming… Holly Dragoo, Yacin Nadji, Joel Odom, Chris Roberts, and Stone Tillotson are experts in computer security. They recently were featured...
From Gödel's Lost Letter and P=NP