arxivcs.AI2026-07-17
Berkeley and Heiserman as an Unexhausted Architecture for Embodied Machine Intelligence
Edmund C. Berkeley is usually remembered as a writer who helped connect symbolic logic to computing machinery. That description is correct, but incomplete. Read across Berkeley's machine-oriented writings and projects, the central concern is broader: to show that symbolic logic c…