goedel-machine