acm-header
Sign In

Communications of the ACM

Blogroll

Refine your search:
datePast Month
authorKWRegan
bg-corner
A Guest Post from ChatGPT
A Guest Post from ChatGPT
From The Noisy Channel

Since Medium decided to allow AI-generated content as long as it’s clearly disclosed as such, I decided to give it a whirl.

Prompt… Daniel Tunkelang | January 26, 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
From Gödel's Lost Letter and P=NP

The Gift of Nonconstructivity

Can we quantify “nonconstructive advantage”? Japan Times source Péter Frankl has been in the news again this year. The news is substantial partial progress on his... RJLipton+KWRegan
From Gödel's Lost Letter and P=NP | December 29, 2022 at 04:04 PM
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account