Dear Alex,
Thank you for this very balanced viewpoint about this part of the debate.
You write "Although formal systems are designed to apply to concepts within the
world of thought i.e. the world of (abstract) phenomenal experience, they are
not intended to have semantic application, but only

Dear Albert,
On 07 May 2016, at 06:57, Albert A Johnstone wrote:
Greetings everyone,
I’d like to say a few words about Smullyan’s thought experiment and
its relevance to Gödel’s Theorem in the hope of putting an end to
discussion of a topic somewhat tangential to the main one. Before

Dear Albert,
I see that I do want to say a bit more.
Lets turn to the Godel Theorem. We have that there is a coding method that
assigns to each formula F a Godel number g that can be algorithmically decoded
into that formula.
For this I write g ——> F. Colloquially this means “g is the Godel

Greetings everyone,
I’d like to say a few words about Smullyan’s thought experiment and its
relevance to Gödel’s Theorem in the hope of putting an end to discussion
of a topic somewhat tangential to the main one. Before doing so, I am
forwarding an email from Lou Kauffman which gives a very