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
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
NEXP and the Next Generation
Saluting Alan Selman upon the occasion of his retirement Photos by Marty Kerker Alan Selman is retiring after a long and illustrious career, the longest part spent...
From Gödel's Lost Letter and P=NP
NEXP and the Next Generation
Saluting Alan Selman upon the occasion of his retirement Photos by Marty Kerker Alan Selman is retiring after a long and illustrious career, the longest part spent...
From Gödel's Lost Letter and P=NP
The Graph of Math
The last part of our interview with Gödel two years ago src Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course...
From Gödel's Lost Letter and P=NP
Littlewood’s Law
Why it may take a ‘miracle’ to catch some cheaters source, where he’s right after Charles Dickens John Littlewood really existed. He appeared as second author on...
From Gödel's Lost Letter and P=NP
D Plus O Equals Do
Our 500th post comes with a non-Federal proposal Cropped from HeinOnline source. Barack Obama is the 44th President of the United States, and the 43rd person to...
From Gödel's Lost Letter and P=NP