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

From: |-|erc (H_at_r.c)
Date: 01/30/05 

Date: Sun, 30 Jan 2005 15:11:13 +1000

"William Elliot" <marsh@privacy.net> wrote in ...
> On Sat, 29 Jan 2005 tchow@lsa.umich.edu wrote:
>
> > (*) Formal sentences (in PA or ZFC for example) adequately express
> > their informal counterparts.
> >
> A formal sentence could have an unintuitive or even incomprehensible
> informal counterpart

you're full of propositions today.

Herc