[FOM] Re: Shapiro on natural and formal languages
JoeShipman at aol.com
Tue Nov 30 11:42:04 EST 2004
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?
More information about the FOM