“Reflection plays in several ways a fundamental role for our existence. Among other places the phenomenon occurs in life, in language, in computing and in mathematical reasoning.

A prototype situation where reflection occurs is in the so called lambda calculus. This is a formal theory that is capable of describing algorithms, logical and mathematical proofs, but also itself.” –Henk Barendregt

  • reflections_on_reflection.txt
  • Last modified: 2007-06-18 16:11
  • by 127.0.0.1