On Mon, Sep 23, 2013 at 10:17 AM, Bruno Marchal <marc...@ulb.ac.be> 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 post to this group, send email to email@example.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.