Propeller Head Plaza

Re: Re G�del

87.17.203.81

[ Follow Ups ] [ Post Followup ] [ Thread: Display All Email ] [ Propeller Head Plaza ]

robertopisa

(A)

In Reply to: Re G�del posted by Ted Smith on January 5, 2007 at 14:23:01:

You're right that Goedel's original statement was for math theorems. But it was extended to other exact sciences, such as Turing's halting problem in computer science.
For non-exact sciences, we have to deal with the approximation in measuring and modeling, which is another form of limitations.
I do not know whether we consider audio processing an exact science or not, but we have to accept limitations in both cases IMHO.
Cheers
Roberto

Follow Ups:

Re: Re G�del - Ted Smith 15:02:52 01/05/07 (2)
Howdy
No, it hasn't been extended in the way that most people think it has, and in particular in the way that one could read the part of your post I quoted.
It's just a pet peeve of mine that people (not necessarily you) misuse G�del's work to imply that science has limits. It certainly does have limits, but G�del's work and it's extensions are very specific and not nearly as general as people seem to believe.
Most people here probably don't think that I consider myself an objectivist, but I carefully pick my potential equipment based on my research and experience and then listen carefully with blind and sometimes double blind tests. On the other hand I know the limits of the scientific models I use to judge things and wish that more people here knew the difference between a model and reality and further that they would make room in their world views for possibility of mistaken assumptions on all sides.
-Ted
- Re: Re G�del - robertopisa 15:26:42 01/05/07 (1)
  > It's just a pet peeve of mine that people (not necessarily you)
  > misuse G�del's work to imply that science has limits. It certainly
  > does have limits, but G�del's work and it's extensions are very
  > specific and not nearly as general as people seem to believe.
  I see, Goedel's approach works for formal systems, meaning any system that can be completely described by finite sequences of letters and axiomatic rules. These sequences are transformed into numbers (Goedelization) and then one can state properties on these equivalent numbers using arithmetics.
  Now I look like a nerd :-)
  Bests
  Roberto
  - There are worse things than nerds :) [nt] - Ted Smith 15:30:22 01/05/07 (0)

This post is made possible by the generous support of people like you and our sponsors:

Sonic Craft

You can not post to an archived thread.