On Mon, Sep 23, 2013 at 10:17 AM, Bruno Marchal <[email protected]> wrote:
>> If you can repair the blunders made in the first 3 steps then I'll read >> step 4, until then doing so would be ridiculous. >> > > > Even this is ridiculous, as step 4, 5, 6, 7 can certainly help you to > see what you miss (or deny) in step 3. > You are supposed to be writing a proof not a detective novel! > > > If there is no first person indeterminacy [...] > Of course there is first person indeterminacy, I often don't know what I will see or do next. John K Clark -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

