Communications of the ACM
Refine your search:
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.
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.
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.
From BLOG@CACM