For that construction to work, these 'virtual' nodes need to exist in the poset. Your poset is just the vertex set of your DAG ordered by reachability, so they don't exist. I think your intuition is good, but the…
All finite lattices are posets, but not all finite posets are lattices, so I stand by the usage. Yes obviously, but nowhere is it clear that you actually have a lattice of any kind. Specifically, I see no reason why…
You state that: A lattice is a partial ordering with a single unique "top element" (least upper bound) and a single unique "bottom element" (greatest lower bound). Every node in the lattice is reachable by following…
He has additional ideas - the problem is they're mostly nonsense. For example, if you look at the page where he tries to explain what he means by program lattices and lattice based computing, he gets the definition of a…
Maybe I'm wrong, but it seems to me that most of this guy's ideas are either a bit half-baked or simply flat out wrong. Consider the argument for his proposed language being Turing complete on the flow manifesto page.…
For that construction to work, these 'virtual' nodes need to exist in the poset. Your poset is just the vertex set of your DAG ordered by reachability, so they don't exist. I think your intuition is good, but the…
All finite lattices are posets, but not all finite posets are lattices, so I stand by the usage. Yes obviously, but nowhere is it clear that you actually have a lattice of any kind. Specifically, I see no reason why…
You state that: A lattice is a partial ordering with a single unique "top element" (least upper bound) and a single unique "bottom element" (greatest lower bound). Every node in the lattice is reachable by following…
He has additional ideas - the problem is they're mostly nonsense. For example, if you look at the page where he tries to explain what he means by program lattices and lattice based computing, he gets the definition of a…
Maybe I'm wrong, but it seems to me that most of this guy's ideas are either a bit half-baked or simply flat out wrong. Consider the argument for his proposed language being Turing complete on the flow manifesto page.…