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
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
Progress On Modular Computation
New results on computing with modular gates Shiteng Chen and Periklis Papakonstaninou have just written an interesting paper on modular computation. Its title,...
From Gödel's Lost Letter and P=NP
Making Public Information Secret
A way to recover and enforce privacy McNealy bio source Scott McNealy, when he was the CEO of Sun Microsystems, famously said nearly 15 years ago, “You have zero...
From Gödel's Lost Letter and P=NP
Missing Mate in Ten
Can we have overlooked short solutions to major problems? src Efim Geller was a Soviet chess grandmaster, author, and teacher. Between 1953 and 1973 he reached...
From Gödel's Lost Letter and P=NP
The Primes Strike Again
And lead to new kinds of cheating and ideas for our field src Faadosly Polir is the older brother of Lofa Polir. He is now working as a full time investigative...
From Gödel's Lost Letter and P=NP
Happy St. Patrick’s Day
A trick of language and echoing Neil L. is a Leprechaun. He has been visiting me once every year since I started GLL. I had never seen a leprechaun before I began...
From Gödel's Lost Letter and P=NP
One Flip Sends Many Bits
Another coins on a chessboard puzzle Cropped from Ashley’s TwiCopy source Hou Yifan and Maurice Ashley are champions of chess in several senses. Hou just regained...
From Gödel's Lost Letter and P=NP
David Johnson: 1945-2016
David just passed away David Johnson was a computer theorist who worked on many things, with special emphasis on the care and treatment of hard computational problems...
From Gödel's Lost Letter and P=NP
A Matter of Agreement
On the 2015 Turing Award Mirror image of source Whitfield Diffie, Martin Hellman, and Ralph Merkle publicly broke the yoke of symmetry in cryptography in the 1970s...
From Gödel's Lost Letter and P=NP
The Pierce-Birkhoff Conjecture
A kind of hierarchy collapse? Cropped from father-son bio source Garrett Birkhoff was a mathematician who is best known for his research on lattices, and also his...
From Gödel's Lost Letter and P=NP
Waves, Hazards, and Guesses
Some matters of gravity in science Moshe Vardi is famous for many things, including his brilliant turn as the Editor-in-Chief of the Communications of the ACM....
From Gödel's Lost Letter and P=NP
Magic To Do
Can we avoid accepting what we cannot verify? Cropped from biography source Arthur Clarke was a British writer of great breadth and huge impact. He was a science...
From Gödel's Lost Letter and P=NP
The 2016 Knuth Prize
A non-annoucement annoucement Crop from Farkas Prize src Michel Goemans is the chair of this year’s ACM/IEEE Knuth Prize committee. He teaches at MIT and among...
From Gödel's Lost Letter and P=NP
Minsky The Theorist
Marvin Minsky’s contributions to complexity theory Cropped from BBC feature on AI Marvin Minsky, sad to relate, passed away last Sunday. He was one of the great...
From Gödel's Lost Letter and P=NP
Did Euclid Really Mean ‘Random’?
Euclid writes randomness into his Elements Cropped from source (Garrett Coakley) Euclid is, of course, the Greek mathematician, who is often referred to as the...
From Gödel's Lost Letter and P=NP