Sign In

Communications of the ACM

BLOG@CACM

Refine your search:
subjectTheory
authorCarl Hewitt
Tracking Down a Seminal Work on Computer Construction – in Russian
From BLOG@CACM

A Russian edition of Rutishauser's standard work on computer construction.

Herbert Bruderer | October 23, 2020
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. Carl Hewitt
From BLOG@CACM | December 26, 2018 at 11:02 AM
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account