From: Marc Alcobé García on
There is an article available online from Jeremy Avigad "Understanding
proofs" that might interest you:

http://www.andrew.cmu.edu/user/avigad/Papers/understanding.pdf
From: William Elliot on
On Fri, 19 Mar 2010, Jesse F. Hughes wrote:
> William Elliot <marsh(a)rdrop.remove.com> writes:
>> On Thu, 18 Mar 2010, Jesse F. Hughes wrote:
>>> William Elliot <marsh(a)rdrop.remove.com> writes:
>>>>
>>>>> MATHEMATICS is a belief system which can be almost mechanically
>>>>> followed.
>>>>>
>>>> False. Mathematics is not religion. Religion is belief system.
>>
>>> The premises
>>> Mathematics is not religion.
>>> Religion is [a] belief system.
>>> do not imply
>>> Mathematics is not a belief system.
>>>
>> So what? I didn't say they did.
>> I made three declarative statements.
>
> Oh, yes, of course. Just three simple statements, with no inferences
> intended. Of course you did.
>
Ok, just for you, I'll consolidate the three in one
hallucinated sillygism into the one true utterance.

Absurd, you're viewing math as religion.
From: Jesse F. Hughes on
William Elliot <marsh(a)rdrop.remove.com> writes:

> On Fri, 19 Mar 2010, Jesse F. Hughes wrote:
>> William Elliot <marsh(a)rdrop.remove.com> writes:
>>> On Thu, 18 Mar 2010, Jesse F. Hughes wrote:
>>>> William Elliot <marsh(a)rdrop.remove.com> writes:
>>>>>
>>>>>> MATHEMATICS is a belief system which can be almost mechanically
>>>>>> followed.
>>>>>>
>>>>> False. Mathematics is not religion. Religion is belief system.
>>>
>>>> The premises
>>>> Mathematics is not religion.
>>>> Religion is [a] belief system.
>>>> do not imply
>>>> Mathematics is not a belief system.
>>>>
>>> So what? I didn't say they did.
>>> I made three declarative statements.
>>
>> Oh, yes, of course. Just three simple statements, with no inferences
>> intended. Of course you did.
>>
> Ok, just for you, I'll consolidate the three in one
> hallucinated sillygism into the one true utterance.
>
> Absurd, you're viewing math as religion.
>

Regardless of the truth of the original claim, he was not evidently
viewing math as religion. People use the term "belief systems" in
many different ways, you know. For instance, as a means of generating
or justifying beliefs?


--
Jesse F. Hughes

"How lucky we are to be able to hear how miserable Willie Nelson could
imagine himself to be." -- Ken Tucker on Fresh Air
From: William Elliot on
On Sat, 20 Mar 2010, Jesse F. Hughes wrote:
> William Elliot <marsh(a)rdrop.remove.com> writes:

>> Absurd, you're viewing math as religion.
>
> Regardless of the truth of the original claim, he was not evidently
> viewing math as religion. People use the term "belief systems" in
> many different ways, you know. For instance, as a means of generating
> or justifying beliefs?
>
Beliefs are not assumptions.
From: Marshall on
On Mar 20, 6:03 pm, "Jesse F. Hughes" <je...(a)phiwumbda.org> wrote:
> William Elliot <ma...(a)rdrop.remove.com> writes:
> > On Fri, 19 Mar 2010, Jesse F. Hughes wrote:
> >> William Elliot <ma...(a)rdrop.remove.com> writes:
> >>> On Thu, 18 Mar 2010, Jesse F. Hughes wrote:
> >>>> William Elliot <ma...(a)rdrop.remove.com> writes:
>
> >>>>>> MATHEMATICS is a belief system which can be almost mechanically
> >>>>>> followed.
>
> >>>>> False.  Mathematics is not religion.  Religion is belief system..
>
> >>>> The premises
> >>>>  Mathematics is not religion.
> >>>>  Religion is [a] belief system.
> >>>> do not imply
> >>>>  Mathematics is not a belief system.
>
> >>> So what?  I didn't say they did.
> >>> I made three declarative statements.
>
> >> Oh, yes, of course.  Just three simple statements, with no inferences
> >> intended. Of course you did.
>
> > Ok, just for you, I'll consolidate the three in one
> > hallucinated sillygism into the one true utterance.
>
> >    Absurd, you're viewing math as religion.
>
> Regardless of the truth of the original claim, he was not evidently
> viewing math as religion.  People use the term "belief systems" in
> many different ways, you know.  For instance, as a means of generating
> or justifying beliefs?

Next up, you can correct his spelling.


Marshall