[continued from previous message]   
      
   > grounded in the structure of derivations rather than in an abstract   
   > mathematical object.   
      
   Which can't handle the infinite set of the Natural Numbers.   
      
   I guess you are just admitting that you goal of computing truth must be   
   impossible, as we can't handle that level of abstractions.   
      
   >   
   > I use “denotational semantics” simply to refer to any framework   
   > that assigns meanings independently of operational behavior.   
   >   
      
   Which are just limited systems.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)