Re: Fuzzy Arithmetic

Corey White wrote:

> What I want to prove is that a system of Fuzzy Math is complete and
> consistent. Godels theorm tells us that with most arithmetic the system
> is either incomplete or inconsistent.

Inconsistent is bad, but what's so bad about incompleteness?

S W P Steen wrote a book "Mathematical Logic", CUP, which features a
complete but undecidable arithmetic of natural numbers, and a complete
and decidable arithmetic of natural numbers. See also:

Myhill: "A complete theory of natural, rational and real numbers" JSL,
15, 1950.

L\"ob: "Concatenation as a basis for a complete arithmetic" JSL, 18,
1953.

--
I don't know who you are Sir, or where you come from,
but you've done me a power of good.
.

Relevant Pages

  • Re: The moment the willing suspension of disbelief died
    ... If there's a God, and arithmetic is inconsistent, then ... >> And if it is consistent, it is incomplete, as Goedel showed. ... mathematics is 'unreasonably effective' at describing the ...
    (rec.arts.sf.written)
  • Re: k set theory
    ... It is impossible to make an inconsistent theory consistent by ... In other words, if T is any theory and P any axiom, then: ... -- If T is incomplete, ...
    (sci.logic)
  • Re: k set theory
    ... It is impossible to make an inconsistent theory consistent by ... In other words, if T is any theory and P any axiom, then: ... -- If T is incomplete, ...
    (sci.logic)
  • Re: 9 Bills That Would Put Creationism in the Classroom
    ... The events in both Matthew ... and Luke are both completely inconsistent and tax the imagination. ... be consistent in that sense - any account of the battle of Waterloo ...
    (talk.origins)
  • Re: Negating Quantifiers
    ... However, that predicate isn't implied by any non-contradictory sentences, and: ... The remainder is my opinion of your effort to prove that Peano arithmetic is inconsistent, which doesn't directly relate to the subject line but seems to come up in every one of your threads sooner or later. ... What I can and cannot prove is restricted by the necessary implications of whatever set of axioms I build my proofs on. ... To the best of my knowledge, none of the axioms of Peano arithmetic or first-order logic amount to "Peano arithmetic is consistent." ...
    (sci.logic)