[FOM] Seeking sage advice on terminology
skansi.sandro at gmail.com
Thu Aug 8 07:17:30 EDT 2013
My thesis advisor used the terms "proof" and "metaproof", where a proof is
e.g. the proof of FLT in PA while a metaproof would be a proof-theoretic or
All the best,
On Jul 29, 2013 7:56 PM, "Colin McLarty" <colin.mclarty at case.edu> wrote:
> When I write about proofs of FLT I always have trouble finding a graceful
> terminology to distinguish proving FLT in PA versus proving in proof theory
> that PA |- FLT.
> I don't mean the conceptual distinction is difficult. I mean I'd like a
> cleaner terminology for it so i don't keep using "proof" to mean two
> different things. Maybe the literature I have been reading does have a
> solution but if so I have not absorbed it.
> Do people here have conventions they use?
> best, Colin
> FOM mailing list
> FOM at cs.nyu.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM