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 Polynomial Growth Puzzle
Correcting an erratum in our quantum algorithms textbook Cropped from source Paul Bachmann was the first person to use -notation. This was on page 401 of volume...
From Gödel's Lost Letter and P=NP
Open Problems That Might Be Easy
A speculation on the length of proofs of open problems Broad Institute source Nick Patterson is one of the smartest people I have ever known. Today I would like...
From Gödel's Lost Letter and P=NP
Open Problems That Might Be Easy
A speculation on the length of proofs of open problems Broad Institute source Nick Patterson is one of the smartest people I have ever known. Today I would like...
From Gödel's Lost Letter and P=NP
How Joe Traub Beat the Street
An insight into the computation of financial information Columbia memorial source Joseph Traub passed away just a week ago, on August 24th. He is best known for...
From Gödel's Lost Letter and P=NP
How Joe Traub Beat the Street
An insight into the computation of financial information Columbia memorial source Joseph Traub passed away just a week ago, on August 24th. He is best known for...
From Gödel's Lost Letter and P=NP
Cancellation is a Pain
How to avoid the pain of estimating tough sums Cricketing source Andrew Granville is a number theorist, who has written—besides his own terrific research—some beautiful...
From Gödel's Lost Letter and P=NP
The Long Reach of Reachability
Workshop on Infinite State Systems at the Bellairs Institute on Barbados Cropped from source Joel Ouaknine is a Professor of Computer Science at Oxford University...
From Gödel's Lost Letter and P=NP
John and Alicia Nash, 1928,1933–2015
Our condolences Awesome Stories source John Nash and his wife Alicia were killed in a taxi accident on the New Jersey Turnpike Saturday afternoon. They were on...
From Gödel's Lost Letter and P=NP
The Shapes of Computations
Or rather, what can the shapes of proofs tell us about them? April CACM source Juris Hartmanis did much to lay the landscape of computational complexity beginning...
From Gödel's Lost Letter and P=NP
A Tighter Grip on Circuit Depth
The polynomial hierarchy is infinite for a random oracle Benjamin Rossman, Rocco Servedio, and Li-Yang Tan have made a breakthrough in proving lower bounds on constant...
From Gödel's Lost Letter and P=NP
Kinds of Continuity
Congratulations to John Nash and Louis Nirenberg on the 2015 Abel Prize Combined from src1, src2. John Nash and Louis Nirenberg have jointly won the 2015 Abel Prize...
From Gödel's Lost Letter and P=NP
A Quantum Two-Finger Exercise
More mileage than expected from a little example Cropped from World Science Festival source Sean Carroll is a cosmologist in the Department of Physics at Caltech...
From Gödel's Lost Letter and P=NP
The New Chess World Champion
Available for $59.96, or—for free? chessprogramming wiki source Larry Kaufman is a Grandmaster of chess, and has teamed in the development of two champion computer...
From Gödel's Lost Letter and P=NP
Cornell CS at 50
Plus a long-promised discussion on diagonalization TRUST security source Dexter Kozen has been on the faculty of computer science at Cornell for almost 30 of the...
From Gödel's Lost Letter and P=NP
Alexander Grothendieck 1928–2014
Creating vast beautiful mansions from the becoming of nothing L’espace d’un homme film source Alexander Grothendieck, who signed his works in French “Alexandre”...
From Gödel's Lost Letter and P=NP
DC Post
Discussing lower bounds for this blog’s 600th post source Superman, Batman, and Wonder Woman are three of the best known superheroes in DC Comics books, which were...
From Gödel's Lost Letter and P=NP
Reconstructing Gödel
What exactly was his “Philosophical Viewpoint”? Austria Forum source Kurt Gödel left a large amount of unpublished writings and notebooks and preserved correspondence...
From Gödel's Lost Letter and P=NP
A New Twist on Flexagons?
For Martin Gardner’s 100th birthday Martin Gardner introduced many including myself to the joys of Discrete Mathematics. His glorious monthly column “Mathematical...
From Gödel's Lost Letter and P=NP
Let’s Mention Foundations
Congratulating Dick on the 2014 Knuth Prize Cropped from source Dick Lipton is of course the founder and driving writer of this weblog. He is also a computer scientist...
From Gödel's Lost Letter and P=NP