He says humans can transcend the rules in a way that Godels theorem shows is impossible for computers.