Re: Name the thesis: "Formal sentences capture informal ones"

Helene.Boucher_at_wanadoo.fr
Date: 01/30/05 

Date: 30 Jan 2005 02:07:02 -0800

First, as a concrete example use instead the much simpler

(x)(Nx => Ex Sxy) .

Then this a theorem of PA, since it is an axiom of PA. It would not,
however, be provable in the systems of which I speak.

Anyway, I'm not quite sure what essential falls away if PA proves
propositions which are not true.

Relevant Pages

  • Re: Name the thesis: "Formal sentences capture informal ones"
    ... (Nx => Ex Sxy) ... Then this a theorem of PA, since it is an axiom of PA. ... be provable in the systems of which I speak. ... propositions which are not true. ...
    (comp.theory)
  • Re: Godel did not destroy the Hilbert Frege Russell programme
    ... formally undecidable propositions of Principia Mathematica and related ... order arithmetical truths is not recursively enumerable. ... the axiom of infinity to PM, in the form "there exist denumerably many ... recursive subset of the set of well-formed formulas  of the language ...
    (sci.logic)
  • Re: Godel did not destroy the Hilbert Frege Russell programme
    ... formally undecidable propositions of Principia Mathematica and related ... the axiom of infinity to PM, in the form "there exist denumerably many ... recursive subset of the set of well-formed formulas  of the language ... truth values, such that, for all valuations v of S, the truth- ...
    (sci.logic)
  • Re: Godels incompleteness theorem proven invalid
    ... Godel tells us he uses his system P to prove his incompleteness theorem ... 178] wrote of his comprehension axiom IV, ... Such an axiom has no place in mathematics, ... construct propositions which make statements about themselves,… ...
    (sci.logic)
  • Re: Rovelli on EPR
    ... constitutes a reasonable axiom. ... and Boole refers only to propositions about classical objects. ... For quantum objects we need to take into account the statistical nature ... Pure mathematics is built upon logic. ...
    (sci.physics.research)
Loading