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

tchow_at_lsa.umich.edu
Date: 01/29/05 

Date: 29 Jan 2005 20:38:55 GMT

In article <41fbf294$0$566$b45e6eb0@senator-bedfellow.mit.edu>, I wrote:
>Then how about, "All informal statements of ordinary mathematics are
>expressible by formal sentences in ZFC"?

Sorry, scratch that...that's not at all what I meant, because it sounds
like a statement about ZFC in particular, not about expressibility in
the language of set theory. Something like what Aatu Koskensilta said
is better. Or maybe, "Informal mathematical statements are adequately
expressed by formal sentences"? Help me out here. 

-- 
Tim Chow       tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth.  ---Galileo, Dialogues Concerning Two New Sciences