Page 290 of 800
| Page 290 of 800 | Search internet |
One purpose of Logiweb is to give notational freedom to the users, i.e. to the authors of Logiweb pages. As an example, an author may chose to use 
for lambda abstraction but is not forced to do so.
This leaves us with a bootstrap problem: How can we tell Logiweb that denotes lambda abstraction? The answer to that is that we proclaim to denote lambda abstraction:
In the proclamation we utilize that the notion of a string is hardwired into Logiweb. Thus, we can proclaim that denotes lambda abstraction by proclaiming it to denote the thing which is represented by the string 'lambda'.
This is not completely neutral because one has to do the proclamation using English words for the concepts (such as lambda:-). But that bias should not be a problem because one can just hide the proclamations on a base page and not bother about them once the terms are proclaimed.
But then comes the next problem: Logiweb does not know any notation, so how does it know that 
denotes 'proclamation'? The answer is easy, we just proclaim it:
No kidding. This is how the proclamation construct is proclaimed. But if you feel one piece of the puzzle is missing, read on in the present section on 'bootstrapping'.
| Page 290 of 800 | Search logiweb.eu |