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 and nonsense now, this has nothing to do with incompleteness!
-- Gaby
