Re: Non standard models of PA

On Oct 30, 5:37 pm, "R. Srinivasan" <sradh...@xxxxxxxxxx> wrote:

Correction. The last sentence should read "Only propositions provable/
refutable in NPA* are assigned the value true/false;...."

Okay, suppose I say, "I read your paper and now I love NAF!. It's the
only approach to mathematics that makes sense!". Then what do I do?
How do I prove theorems of mathematics? Or do I not prove theorems but
rather I just help you out by telling people how great NAFL is and
that it's the ony approach to mathematics that makes sense?

Signed,

Wants To Be A True NAFLer.
Dubuque, Iowa.



.

Relevant Pages

  • Re: Godel proved maths inconsistent not incompleteness theorem
    ...  It's the *axioms* ... If no more theorems to generate, ... bastardizing the notion of an axiomatic system to the point that it ... The program was to be able to rewrite all mathematics starting using ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... It's the *axioms* ... If no more theorems to generate, ... Otherwise it's not an axiomatic system. ... The program was to be able to rewrite all mathematics starting using ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ...  It's the *axioms* ... If no more theorems to generate, ... bastardizing the notion of an axiomatic system to the point that it ... The program was to be able to rewrite all mathematics starting using ...
    (sci.logic)
  • Re: "Godel got it all wrong"
    ... that, undoubtedly, the theorems have deep philosophical meaning. ... These people are probably not really interested in technical results about recursive functions, formal theories and so forth, as pieces of mathematics, but nevertheless wish to scrutinise this or that piece of popularization, convinced as they are there's something fishy about the theorem. ... Too bad - their being messy is no reason to ignore them or pretend the answers provided by formalism of the most idiotic sort make any sense in light of the practice of mathematics. ... Formal theories are important tools in the analysis of mathematics, and certainly in some technical contexts such as axiomatic set theory where they are most of the time a purely technical tool, but for example what is important in set theory are the basic set theoretical principles, not their formalizations in the formal theory ZFC. ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... usefulness is admittedly relative to one's purposes. ... to be able to do all of the desired mathematics. ... history of set theory rather than pulling myths out of your ass. ... many proofs of theorems of Godel/Rosser/Turing et. al. ...
    (sci.logic)
Quantcast