[FOM] Seeking sage advice on terminology

Sandro Skansi 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
model-theoretic proof.
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
> http://www.cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130808/100ed919/attachment.html>

More information about the FOM mailing list