permacomputing

Source repository for the main permacomputing wiki site
git clone http://git.permacomputing.net/repos/permacomputing.git # read-only access
Log | Files | Refs
commit aaacb77e325078f68e0007459c3e8b834818436f
parent 4c6bfd1e18610c41ad0573d661a99bd668896eae
Author: neau <neau@web>
Date:   Wed, 22 Jun 2022 16:27:00 +0200

empty web commit

Diffstat:

AUniversal_Virtual_Computer.mdwn | 5+++++


1 file changed, 5 insertions(+), 0 deletions(-)

diff --git a/Universal_Virtual_Computer.mdwn b/Universal_Virtual_Computer.mdwn
@@ -0,0 +1,5 @@
+The specification of an hypothetical computer designed to decode and preserve some form of computation over time.
+
+## Candidates
+
+* [[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.