Re: Name the thesis: "Formal sentences capture informal ones"
From: Herman Jurjus (h.jurjus_at_hetnet.nl)
Date: 01/31/05
- Next message: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Mitch Harris: "Re: Name the thesis: "Formal sentences capture informal ones""
- In reply to: tchow_at_lsa.umich.edu: "Re: Name the thesis: "Formal sentences capture informal ones""
- Next in thread: Mitch Harris: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Mon, 31 Jan 2005 12:07:28 +0100
tchow@lsa.umich.edu wrote:
> 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"?
That might be called 'Bourbaki thesis', perhaps?
-- Cheers, Herman Jurjus
- Next message: LordBeotian: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Mitch Harris: "Re: Name the thesis: "Formal sentences capture informal ones""
- In reply to: tchow_at_lsa.umich.edu: "Re: Name the thesis: "Formal sentences capture informal ones""
- Next in thread: Mitch Harris: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
