Book on ARS |
Lambda Calculus & A++ |
Demo Programs |
HTML-Table Creation Tool |
Logos Bound |
The name of this Web
site corresponds to a specific term in the Lambda Calculus.
Beyond this immediate association of this site's name to the Lambda Calculus, 'lambda bound' means more to the author of this document.The Greek letter lambda can be taken as a symbol for the following:
LogosThe following paragraph introduces the term 'Logos' as used in the gospels and in ancient greek philosophy. For more details activate this link.
stands for the Logos
by whom everything was made according to the New Testament
of the Bible: εν αρχη ην ο λογος ...: "In the beginning was the Logos, the Logos was with God and
the Logos was God. ... Through him all things came into
being, not one thing came into being except through
him...". (John 1,1 ff).
Meaning of the word Logos in Ancient Greek PhilosophyThe following information is a summary of the article titled 'Logos' by Glenn R. Murrow published in the Dictionary of Philosophy, by Littlefield, Adams & Co. Patterson New Jersey, 1963.
Book LambdaThe Greek philosopher Aristotle numbered his books by using letters of the Greek alphabet. Book λ is the book about the "Unmoved Mover" about the "First Mover" about the "First Cause", about the Eternal Being. Book λ constitutes the crowning achievement of Aristotle's metaphysics. See also OntoSimula, which is a computer simulation of the core of Thomistic Metaphysics, which in turn builds on Aristotle's Metaphysics.
Lambda AbstractionThe symbol λ also stands for "lambda abstraction", the basic operation in the Lambda Calculus.