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
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
New NAE Members
More computer scientists are elected to the academy Dan Mote, the President of the National Academy of Engineering (NAE), just announced this year’s class of members...
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
Failure Of Unique Factorization
A simple example of the failure of the fundamental theorem of arithmetic Ernst Kummer was a German mathematician active in the early 1800s. He is most famous for...
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
You Think We Have Problems
Some hard problems in philosophy Wikimedia Commons source Loki is a Jötunn or ss in Norse mythology, who, legend has it, once made a bet with some dwarves. He bet...
From Gödel's Lost Letter and P=NP
Blasts From the Past
Is the “Forsch” awakening in complexity theory? Composite of src1, src2, src3 Max von Sydow starred as the chess-playing knight in Ingmar Bergman’s iconic 1957...
From Gödel's Lost Letter and P=NP
Why Is Discrete Math Hard To Teach?
A new approach to teaching discrete math René Descartes and François Viète are mathematicians who have something in common, besides being French. Let’s get back...
From Gödel's Lost Letter and P=NP
A Game On Infinite Trees
An independent principle in set theory Cropped from Oberwolfach source Ronald Jensen is a famous set theorist who was a past president of the Kurt Gödel Society...
From Gödel's Lost Letter and P=NP
Permutation Problems With Strings
From “Parsons Puzzles” to Babai’s breakthrough, and more? NZ silver fern source: Robin Ducker (CC) Dale Parsons and Patricia Haden, of Otago Polytechnic in New...
From Gödel's Lost Letter and P=NP
A Little More on the Graph Isomorphism Algorithm
Looking at some of its components From source, our congrats too Laci Babai’s first talk a week ago Tuesday is now a webcast here. There is also a great detailed...
From Gödel's Lost Letter and P=NP
A Fast Graph Isomorphism Algorithm
While we wait for Laci László Babai just gave his first talk on his new graph isomorphism (GI) algorithm. The photo was taken at the talk and posted by several...
From Gödel's Lost Letter and P=NP
The World Series Of Complexity Theory
László’s three talks Chicago Chronicle source László Babai must be busy getting ready for his series of talks. Today Ken and I wish to discuss one issue that has...
From Gödel's Lost Letter and P=NP
A Big Result On Graph Isomorphism
Jumping GI down from the nearly-exponential neighborhood to the nearly-polynomial one László Babai is one of the world experts on complexity theory, especially...
From Gödel's Lost Letter and P=NP