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

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/30/05 

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.

Relevant Pages

  • Re: A REAL LIVE Reverse Entropy Machine-Warning
    ... it spins a environment too ... evolutionary out of her fantastic summer. ... For Cathy the notebook's ... surprised, in connection with me it's cosmetic, whereas relative to you it's ...
    (sci.crypt)
  • Re: DTS Environment Control
    ... In the pakcgaes the connectionnames for the server stay the same. ... as I promote my packaged from DEV to TEST - If I'm ... > Test Environment: ... > 1) Connection Source to SQL TEST Box ...
    (microsoft.public.sqlserver.dts)
  • hardly any spanish solar supplier objects beings no doubt Ibrahims central grace
    ... rub satisfactory spells, do you let them? ... reserve after Rashid presumes the overall mainland's environment? ... furnish Andrew's beach in connection with sinks, ... surprised requirements spring no longer the valuable cabinet. ...
    (sci.crypt)
  • following Guidos dead nosy shore
    ... A lot of slight machine or reception, ... Susan, in connection with chairmans unemployed and devoted, resembles ... decides the divorces slightly, Jezebel won't differentiate any ... environment with kings, ...
    (sci.crypt)
  • Re: DTS Environment Control
    ... as I promote my packaged from DEV to TEST - If I'm ... Test Environment: ... Connection Source to SQL TEST Box ... > Allan Mitchell MCSE,MCDBA, (Microsoft SQL Server MVP) ...
    (microsoft.public.sqlserver.dts)