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 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
Raymond Smullyan, 1919–2017
Serious work amid the puzzles and jokes. Amazon source When Raymond Smullyan was born, Emanuel Lasker was still the world chess champion. Indeed, of the 16 universally...
From Gödel's Lost Letter and P=NP
How to Check a Proof
What to do about claims of hard theorems? Cropped from source Shinichi Mochizuki has claimed the famous ABC conjecture since 2012. It is still unclear whether or...
From Gödel's Lost Letter and P=NP
Snow And Theory
The 25th Anniversary of the ACO Program Cropped from src1 & src2 in gardens for karma Prasad Tetali and Robin Thomas are mathematicians at Georgia Tech who are...
From Gödel's Lost Letter and P=NP
Babai’s Result: Still a Breakthrough
Even after today’s retraction of quasi-polynomial time for graph isomorphism Cropped from source László Babai is famous for many things, and has made many seminal...
From Gödel's Lost Letter and P=NP