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 s

[Fis] Gödel Discussion

2016-05-11 Thread Alex Hankey
Dear Colleagues, This discussion is continuing to be very enlightening, I feel, for those aware of, but not intimately familiar with, details of both Husserl's approach and Gödel’s statements / theorems. I suspect that part of the problem lies in the fact that we are dealing with a highly contras

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 doi

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 num

[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 cle