The 5 Principals of Computer Science 1. Recursion Relates to induction/transfinite induction/ the axiom of choice 2. Closures 3. Reflection 4. Continuations 5. Macros
Relates to induction/transfinite induction/ the axiom of choice