arg, bad place for a wordo it constructs a sentence in the formal system which is demonstrably true and unprovable .
a sentence not a proof the entire relevance is that the set of true mathematical statements is never captured by a formal system of logic if you ever attempt to specify your "physical computation" you will find Godel able to construct true sentences in the specification language that are unprovable. Pardon Joe but math is my art On Nov 25, 2012 5:26 PM, "Edgar Owen" <[email protected]> wrote: > > > Chris, > > Your own explanation below is self contradictory which indicates you don't > understand it. > > Reread what you wrote. You say "it constructs a proof of something which > is unprovable". This is obviously impossible. > > I'll explain it to you when I have more time if you like... > > Edgar > > > > On Nov 25, 2012, at 7:24 PM, ChrisAustinLane wrote: > > > > As you provide no back up to your assertion I can only reply that this > theorem is an area of study i have been engaged in for thirty years and my > statement is not a misinterpretation. > > Given a formal system of logic Godel constructs a proof of a theorem which > is observably true and unprovable. No formal system can escape this. > > Perhaps by logic you mean something other than a formal system of > reasoning? > > Thanks, > Chris Austin-Lane > Sent from a cell phone > > On Nov 25, 2012, at 15:44, Edgar Owen <[email protected]> wrote: > > Chris, > > That's a complete misunderstanding of what Godel's Incompleteness proof > does... > > Edgar > > > > On Nov 25, 2012, at 5:37 PM, ChrisAustinLane wrote: > > > > Actually Godel established that truth is not a logical construct. Only > provability is. What that leaves truth as is unspecified by Godel but any > human maths worker can attest to the strange beauty of truth. > > Thanks, > Chris Austin-Lane > Sent from a cell phone > > On Nov 25, 2012, at 4:57, Edgar Owen <[email protected]> wrote: > > Merle, > > Beauty is not truth, nor is truth beauty. That's why they are two > different words. Look up the defs. > > Truth is a logical concept; in Zen terms it's what's real as opposed to > illusion. Beauty's an emotional response in the eye of the beholder... > > "Beauty is truth" is one of those many saccharin warm and fuzzy platitudes > that fall apart when analyzed. > > Edgar > > > > On Nov 24, 2012, at 8:49 PM, Merle Lester wrote: > > > > > edgar. > .beauty is truth..,,,, > abstract art is representing in many cases states of mind.. > .take time out to examine the theories of paul klee, kandinsky and > mondrian..then get back to me.. > .i have had discussions of this kind with many folk.. > .how to open their eyes that's like trying to open a can of beans with > one's teeth.. > .merle > > > Merle, > > That's a long and complex topic probably not OT here. Generally I prefer > representational art, but art which clearly conveys some Zen like spiritual > realization or insight, or something of exceptional beauty... > > Edgar > > > > On Nov 24, 2012, at 3:33 PM, Merle Lester wrote: > > > > > edgar..so it's you "hiding in the bushes" who does not think much of > picasso's art. > > .shame on you. > > ..who do you think much of in the art world? > merle > > > Joe, > > I don't think much of Picasso's art but I do really like his quote that > "Art is lies that tell the truth." > > AND it's important to understand that quote applies ALSO to illusions in > Zen. > > Illusions ARE lies that tell the truth. That is illusions are illusory but > they reveal Buddha Nature. > > A great Zen saying from Picasso slightly altered! > > Edgar > > > > On Nov 24, 2012, at 2:38 PM, Joe wrote: > > > Merle, > > Sorry, what do you mean, there? I missed it. "Thought as much" about what? > > Maybe you mean you don't care for _en plein air_ paintings, or realistic > space art. Note that when Bill paints earth landscapes, he is still doing > space art (so is every landscape painter). > > I respect Picasso, and like his art. I often quote his wonderful line, and > use it when I teach Buddhist Yoga classes, and beginning Ch'an meditation: > > "Art is a lie that reveals the truth." > > I've stood in front of "Guernica" at MoMA for long periods, repeatedly. > > Tell me something about your reaction to any of Bill Hartmann's work. > > My favorite paintings today, and on many days, are by Joan Miro. > > --Joe > > > Merle Lester <merlewiitpom@...> wrote: > > > > Â joe...i thought as much...hartmann.... mmm..if you like that sort of > thing go for it.. > > > > . so what do you think of picasso and guernica?..was it you or billllll > that said picasso was "crap"? > > > > my all time favourite artists are kandinsky, klee and mondrian... all 3 > artists shed light on their understanding of the spirituality of art as > well..... merle > > > > > > > > > > > > > > > > >
