Can you be more specific? Hofstadter specifically includes Cantor and Gödel as a way of showing how certain types of problems can't be solved with symbolic logic.