🚀 go-pugleaf

In article <1992Nov5.182513.25397@lclark.edu> higa@lclark.edu (Keith Higa) writes:
>In article <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU> 
>pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
>>I have very mixed feelings about this.  Freshman math at Gunn High
>>(where my 14 year old goes) started out this year with a couple of
>>weeks of propositional logic before getting into geometry etc.  My
>>intuitive feeling was that she got much less useful math out of the
>>logic than out of the geometry.  On the other hand logic is fundamental
>>to thought, and even if humans don't reason propositionally it is good
>>to at least be aware of a logical system that they could plausibly
>>reason in, albeit clumsily.
>
>My logic professor brought up the story of Bertrand Russell.  I think
>(correct me if I'm wrong), that he and a co-author set out to prove that
>all math was based on logic, and it took them two volumes to logically
>prove that 1+1=2.

There were, however, some interesting lemmas.