The Abstract Model
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
An abstract model is a computational model for thinking rather than running — a tool for devising algorithms, analyzing efficiency, and proving what algorithms can and cannot do.
Show
The Random Access Machine, the Turing machine, and the Lambda calculus each carry proofs, not products.
Watch for
Ignoring hardware detail is the feature.
Builds on
Unlocks
- Nothing yet depends on this.