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

tchow_at_lsa.umich.edu
Date: 01/29/05 

Date: 29 Jan 2005 20:31:16 GMT

In article <vcbsm4kj8g7.fsf@beta19.sm.ltu.se>,
Torkel Franzen <torkel@sm.luth.se> wrote:
>> (*) Formal sentences (in PA or ZFC for example) adequately express
>> their informal counterparts.
> (*) is rather too imprecise to be given a catchy name. What is the
>informal counterpart of a formal sentence in PA or ZFC?

Then how about, "All informal statements of ordinary mathematics are
expressible by formal sentences in ZFC"? 

-- 
Tim Chow       tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth.  ---Galileo, Dialogues Concerning Two New Sciences

Relevant Pages
Loading