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

From: William Elliot (marsh_at_privacy.net)
Date: 01/30/05 

Date: Sat, 29 Jan 2005 20:59:09 -0800

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