2 ms·

Question for you. The first part...how does he ‘construct a sequence of symbols which is not decidable’ to begin with?

• diffeomorphism 7y ago
  That is the summary, not "the first part". The how is the second paragraph.