[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,
Sandro
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