Narration

But “halting problem” limited Church-Rosser-based approach, it seemed:
- Question: Could one restrict some aspect of the formulation and guarantee a fixed-point?
- It seemed like the notion of unbounded time (steps) was the real culprit.
- But we concluded (weakly) it was abstraction that seemed to be the problem, and decided we couldn’t live without it (sigh…) (Dr. W. Baker, 1988)
The thought process seemed to fit in with our notion of t-types and “hcode” thoughts
D. Scott: Notion of algebra of recursions: abstract all computation as recursive, but never “expand”

EE298, Fall ‘96