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
Princeton Is Invariant
Workshop happening this week—anyone can view it live IAS Weyl bio source Hermann Weyl was one of the first members of the Institute for Advanced Study in Princeton...
From Gödel's Lost Letter and P=NP
Almost Fermat Primes
A possible source of interesting primes Study.com source Pierre de Fermat was fluent in six languages. Yes I thought we would talk about Fermat today. Something...
From Gödel's Lost Letter and P=NP
Lost in Complexity
Should we expect simplicity in a theory named for complexity? Amer. Phy. Soc. interview source Sabine Hossenfelder is a physicist at the Frankfurt Institute for...
From Gödel's Lost Letter and P=NP
A New Proof Of An Ancient Result
Triangulating proofs to seek a shorter path Cropped from 2016 Newsday source Mehtaab Sawhney is an undergraduate student at MIT. His work caught my eye on finding...
From Gödel's Lost Letter and P=NP
Finding Coprime Pairs
Deferring or avoiding randomization Great Discoveries in STEM source Claude Bachet de Méziriac was a French mathematician of the early 1600s. He is the first person...
From Gödel's Lost Letter and P=NP
Leprechauns Know What It Feels
To be human, that is Neil L. has graced these pages many times before. Every eve of St. Patrick’s Day he has visited Dick. Sometimes Dick has been hard to find,...
From Gödel's Lost Letter and P=NP
Happy 0x50th Birthday, Donald Knuth
Donald Knuth’s 80th=0x50th birthday was on January 10.
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