Re: A question on GIT.

andrevh_at_sci.kun.nl
Date: 09/08/04 

Date: Wed, 8 Sep 2004 08:31:09 +0000 (UTC)

>
>Maybe you're confusing truth with provability -- or something like that.
>Note that knowing a thing is false doesn't imply it's decidable.
>Decidability is a question of what you can prove in a system, not a question
>of truth.
>

Ah, I see now that "decidable" and "provable" are the same thing, while I tend
to reserve the qualification "decidable" for statements which can be determined
to be true or false. My fault.

Relevant Pages

  • Re: computation and cardinality
    ... more than 1 dichotomies, in the business of interpreting a 1st-order ... decidable vs undecidable, of theoremhood vs non-theoremhood ... (within the realm of decidability of course), ... knowing or not knowing if a formula is decidable, ...
    (sci.logic)
  • Re: computation and cardinality
    ... > (within the realm of decidability of course), ... > dichotomies: knowing or not knowing if a formula is decidable, ... to convince the rest of us, ...
    (sci.logic)
  • Re: A question on GIT.
    ... >>Note that knowing a thing is false doesn't imply it's decidable. ... >>Decidability is a question of what you can prove in a system, ... >>of truth. ... My fault. ...
    (sci.logic)