Re: Name the thesis: "Formal sentences capture informal ones"
From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/30/05
- Next message: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- In reply to: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Next in thread: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Reply: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 30 Jan 2005 12:54:48 +0100
Helene.Boucher@wanadoo.fr writes:
> Not at all. To show that two concepts are not equivalent, it is
> sufficient to present an environment in which they are clearly not the
> same. The environment that I have proposed does that - thus Con(PA)
> and "PA is consistent" cannot be intensionally equivalent; they do not
> "say the same thing." Why this raises "basic questions" is for you to
> elucidate.
Because it is trivially true that 2^n exists for every n, so your
problem with the translation Con(PA) has no obvious connection with
ordinary mathematics.
- Next message: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- In reply to: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Next in thread: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Reply: Helene.Boucher_at_wanadoo.fr: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|