Re: [Fis] Gödel Discussion

2016-05-11 Thread Louis H Kauffman
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

Re: [Fis] Gödel discussion

2016-05-10 Thread Bruno Marchal
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

Re: [Fis] Gödel discussion

2016-05-09 Thread Louis H Kauffman
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

[Fis] Gödel discussion

2016-05-07 Thread Albert A Johnstone
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