Very interesting article and I enjoyed reading it. Obviously, it is complete bullocks :-) If a startup would have to rely on finding interesting Gödel statements, there would be no successful startup. Even in the much cleaner world of mathematics, basically all interesting work is done within the realm of formally provable statements.

Also, the ultimate monopolist would not play by the formal rules of the game. He would make the rules so simple, that now he indeed can formally derive all truths and exploit these.