[OT] Is the D(n) PL discovery or invention?

[BCS]

Hello Andrei,

> I agree, however this journey with helping defining D during the past
> four years taught me something interesting. There are considerably
> many programming language artifacts that are sheer consequences of
> higher-order decisions. For example, if you go for memory safety and
> self-referential data structures, you pretty much must use garbage
> collection. There are consequences that are even subtler, like
> transitivity of qualifiers.
> 
> Andrei
> 

There is a connection to axioms and there implications (and Gödel's incompleteness 
theorems) in there somewhere.

-- 
... <IXOYE><