acm-header
Sign In

Communications of the ACM

BLOG@CACM


Refine your search:
dateMore Than a Year Ago
subjectTheory
authorCarl Hewitt
bg-corner

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.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account