permacomputing

Source repository for the main permacomputing wiki site
git clone http://git.permacomputing.net/repos/permacomputing.git # read-only access
Log | Files | Refs

Universal_Virtual_Computer.mdwn (334B)

      1 The specification of an hypothetical computer designed to decode and preserve some form of computation over time.
      2 
      3 ## Candidates
      4 
      5 * [[Lambda calculus]] is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. See also, Church Numerals.