Narration
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 couldnt 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