Yesterday was the day: Joe Salerno revealed the source of the knowability paradox! It’s normally called Fitch’s Proof, because Fred Fitch first published it in 1963.
But: Fitch says in a footnote that he owes the idea to an anonymous referee. Joe announced yesterday the results of his investigation.
Would it be fair now to add to Church’s Thesis and Church’s Theorem–Church’s proof?