Re: Name the thesis: "Formal sentences capture informal ones"
From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/29/05
- Next message: george: "Re: So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's"
- Previous message: george: "Re: computation and cardinality"
- In reply to: tchow_at_lsa.umich.edu: "Name the thesis: "Formal sentences capture informal ones""
- Next in thread: tchow_at_lsa.umich.edu: "Re: Name the thesis: "Formal sentences capture informal ones""
- Reply: tchow_at_lsa.umich.edu: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ]
Date: 29 Jan 2005 21:18:00 +0100
tchow@lsa.umich.edu writes:
> The Church-Turing thesis is familiar to many people, largely because it
> has been widely discussed both in textbooks and in popular science writing.
> Having a name helps, too.
>
> There is an analogous thesis that is relevant to logic and the foundations
> of mathematics:
>
> (*) 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?
- Next message: george: "Re: So you want APPROACHABLE oo, REAL oo, INTEGER oo, COUNTABLE oo, HIGHER oo, MEGA oo's"
- Previous message: george: "Re: computation and cardinality"
- In reply to: tchow_at_lsa.umich.edu: "Name the thesis: "Formal sentences capture informal ones""
- Next in thread: tchow_at_lsa.umich.edu: "Re: Name the thesis: "Formal sentences capture informal ones""
- Reply: tchow_at_lsa.umich.edu: "Re: Name the thesis: "Formal sentences capture informal ones""
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
