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