He cites “Goedel, Escher, Bach”, in which Hofstadter makes the same argument. Hofstadter doesn’t apply it to the silly why-we-aren’t-machines argument, though. (And Drescher doesn’t actually say that a Goedel sentence isn’t true, just that we can’t really know it’s true.)
He cites “Goedel, Escher, Bach”, in which Hofstadter makes the same argument. Hofstadter doesn’t apply it to the silly why-we-aren’t-machines argument, though. (And Drescher doesn’t actually say that a Goedel sentence isn’t true, just that we can’t really know it’s true.)