Gödel on the net