acm-header
Sign In

Communications of the ACM

Blogroll

Refine your search:
datePast Month
authorKWRegan
bg-corner
AAAI Announces Their Newly Elected Class of 2023 Fellows
AAAI Announces Their Newly Elected Class of 2023 Fellows
From The Computing Community Consortium Blog The Association for the Advancement of Artificial Intelligence (AAAI) juts announced their new class of 2023 Fellows. AAAI is… Maddy Hunter | January 30, 2023
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... RJLipton+KWRegan
From Gödel's Lost Letter and P=NP | January 25, 2023 at 02:23 AM
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... RJLipton+KWRegan
From Gödel's Lost Letter and P=NP | January 19, 2023 at 02:52 AM
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... RJLipton+KWRegan
From Gödel's Lost Letter and P=NP | January 4, 2023 at 12:27 AM
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account