FOM: Lakatos as logic chopper

[Julio Gonzalez Cabillon]

On Mon, 15 Dec 1997, Robert S Tragesser <RTragesser at compuserve.com> wrote:

>        I was greatly hoping that Jeff's question would have inspired some
>philosophical discussion of Lakatos rather than bibiography,  so how abot
>this:
>
>        In his review of Lakatos,  Sol Feferman worried about the
>implicature underlying Lakatosian "proof criticism" with the implication
>that no mathematical proof is really conclusive.   Perhaps this is what is
>atypical in Lakatos' examples,  that they catch mathematics in moments of
>problems in local foundations.
>        Are there conclusive proofs?   Are there informal conclusive
>proofs? 
>...

In order to try an answer to your question, would you be so kind as
to provide *definitions* of "conclusive proof", and of "informal
conclusive proof"? ...

Thanks.

Julio Gonzalez Cabillon