acm-header
Sign In

Communications of the ACM

Blogroll


bg-corner

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

Thirteen Sigma

Monitoring fabrication in industry and chess “Hall of Fame” source. Bill Smith joined Motorola as a quality control engineer in 1986. He coined the term Six Sigma...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account