[FOM] Hao Wang paper?

[Kenneth Walden]

At 03:11 PM 7/28/2003 +1200, W.Taylor at math.canterbury.ac.nz wrote:
>Quite a long time ago I read a paper by Hao Wang, that quite impressed me.
>Alas I can't recall the title or publication it was in.  Can someone help?

I think (but am not sure) the paper you're after is:
Hao Wang. 'The Formalization of Mathematics'. J. Symbolic Logic. 19:4, 
241-266. (Dec. 1954)

Wang wrote a more philosophically motivated article the next year that 
bears some relevance:
Hao Wang. 'On Formalization'. Mind. 64:354, 226-238.

Hope they're the right ones; sorry if they aren't.

Best, KW

_____________________________________________
Kenneth Walden
kwalden at fas.harvard.edu