Sign In

Communications of the ACM

BLOG@CACM



Computer Science Relies on the Opposite of Godel's Results
From BLOG@CACM

Computer Science Relies on the Opposite of Godel's Results

The first-order theories of Gödel's results necessarily leave mathematical objects ill-defined.

Scalable Intelligent Systems by 2025
From BLOG@CACM

Scalable Intelligent Systems by 2025

People are fundamental to a Scalable Intelligent System; there is no computer-only solution that can implement such a system.

What Turing and Church Left Out
From BLOG@CACM

What Turing and Church Left Out

Concurrency control for readers and writers in a database is a classic problem that illustrates the power of message passing.

Computer Science Encyclopedia Can Fill a Gap
From BLOG@CACM

Computer Science Encyclopedia Can Fill a Gap

Our profession has the credibility and resources to create an Encyclopedia that will serve as the professional standard.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account