Sign In

Communications of the ACM


Refine your search:
datePast Month

From Gödel's Lost Letter and P=NP

Why Study Logic?

Before and after it is mechanized… Peter Andrews is a Professor of Mathematics, Emeritus at Carnegie Mellon University (CMU) in Pittsburgh, Pennsylvania. He has...

From Gödel's Lost Letter and P=NP

Rabin-Scott Time

Nondeterminism—why did it take so long? 2010 interview src1, Society for Science src2 Michael Rabin and Dana Scott won the 1976 Turing Award. They obtained their...

From Gödel's Lost Letter and P=NP

Logicians are Everywhere

So where were they between 1720 and 1820? Helena Rasiowa was a famous logician from Poland. She visited Case Western Reserve University when I was an undergraduate...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account