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

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

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?

Relevant Pages