On Thu, Apr 12, 2012 at 4:38 PM, Robert Dewar <de...@adacore.com> wrote: > On 4/12/2012 5:35 PM, Gabriel Dos Reis wrote: > >>> There's nothing more ambiguous than saying that something is final in a >>> world where perfection is never achieved. That's why software has >>> monotonically increasing version numbers, instead of just one that means >>> "this >>> is done now". >> >> >> As I observed earlier, Geodelization is great for machines. > > > You observed this before, but it was nonsense then
It isn't non-sense just because you decide so or you don't like the observation. > and > nonsense now, this has nothing to do with incompleteness! >> >> >> -- Gaby > >
