[FOM] Re: Shapiro on natural and formal languages

JoeShipman@aol.com JoeShipman at aol.com
Tue Nov 30 11:42:04 EST 2004

Prodessor Sazonov,

I am intrigued by your remark

"We can try to formalize such proofs very close to how they appeared visually, not necessary in FOL. Moreover, we could have a metatheorem on a translation from this formalization to FOL or ZFC. "

Can you please provide more information on what a formalization of those proofs "very close to how they appeared visually" would be like?

-- JS

More information about the FOM mailing list