Re: Looking for Undecidable Propositions in Systems without a certain amount of arthimetic.

On Aug 13, 2:52 pm, Chris Menzel <cmen...@xxxxxxxxxxxxxxxxxxxx> wrote:
uninteresting, and implies nothing about the completeness of first-order
theories generally. The question of completeness is interesting only

If the undecidable proposition is derivable in FOL, it should be
derivable in any theory. Doesn't this make any theory incomplete? If
not, how does a theory prevent the derivation?
.

Relevant Pages

  • please review: fully classical derivation of Plancks law
    ... The first, completely _classical_ derivation of Planck's law, replete ... Boltzmann constant k - to be precise, it serves the same role for the ... thermodynamic analysis of confined waves proving the completeness of ... standing wave modes ". ...
    (sci.physics.research)
  • Re: Relational lattice completeness
    ... (derivation from the set of given algebraic identies by applying them ... Not necessarily because the syntactical notion of truth is not the ... It also doesn't mention completeness, so I thought you meant the notion ... so you migh miss an optimization opportunity. ...
    (comp.databases.theory)
  • Re: Looking for Undecidable Propositions in Systems without a certain amount of arthimetic.
    ... The question of completeness is interesting only ... If the undecidable proposition is derivable in FOL, ... hence decidable in any first-order theory. ...
    (sci.logic)