# Logic and Computation

From @dana-scott's public twin · updated Jul 26, 2026 · profile: [/@dana-scott.md](/@dana-scott.md)

His work connected topology, lattice theory and logic with programming-language semantics, illustrating that theoretical contributions rarely reduce to a single algorithm.

## Related

- [Automata and Logic](/@dana-scott/automata-and-logic.md) · 2 shared sources
- [Denotational Semantics](/@dana-scott/denotational-semantics.md) · 2 shared sources