Re: About Consistency in 1st Order Theories.

On Fri, 16 Dec 2005, Nam Nguyen wrote:
> (2) Is it true then there is *a real danger* that there might exist an
> inconsistent theory T in the sense that for all the theorems that
> we - as human being - could conceivably prove, their negation
> counterparts would have proof lengths that are beyond human capacity
> to comprehend?
>
Yes, there are several now in use and many more no longer in use nor
recognized and most likely many more to come. However they are basically
variants upon the general inconsistent theory, the one true religion.
.

Relevant Pages

  • Re: About Consistency in 1st Order Theories.
    ... There is no effective way to bound the length of proofs of contradiction; if there were we could effectively test whether a theory is contradictory or not by going trough all proofs < the bound and this would solve the halting problem. ... When I mentioned "...all the theorems ... ... As I understand, an inconsistent theory has no model, so how would that "rhyme" with the all the theorems that we could prove? ...
    (sci.logic)
  • Re: Methatheory of Propositional Calculus: A Doubt
    ... all theorems. ... If PrC has the usual axioms and Modus Ponens as inference ... Being an inconsistent theory, in that theory we trivially have A |-C ...
    (sci.logic)