Re: godel-like incompleteness of relational model

mountain man wrote:

>>>>And what is the problem with The Relational Model?
>>>
>>>It has a Godel-like incompleteness:

I don't quite understand what you mean here. Even if you think that relational theory is missing something, I don't think it is a "Godel-like" incompleteness.

>>I'm no mathematician, but didn't Godel prove that 'any' formal system
>>is incomplete?

Well, Godel acually proved that first-order predicate logic (upon which the relational model is based) is complete in some sense. The Incompleteness theorem only applies to theories that are above a certain complexity. To add to the confusion, there are slightly different meanings of "complete" here. See this page for more details: http://www.sm.luth.se/~torkel/eget/godel/completeness.html

I think essentially the difference is that you need to use logic to show that some other theories are incomplete, but to show the completeness of   logic itself you've got a bit of a self-referential paradox. I could be completely wrong here though. Very interesting though.

Paul. Received on Thu May 20 2004 - 11:37:17 CEST