home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1942 < prev    next >
Encoding:
Internet Message Format  |  1992-11-06  |  1.6 KB
  1. Xref: sparky sci.logic:1942 alt.uu.future:257
  2. Newsgroups: sci.logic,alt.uu.future
  3. Path: sparky!uunet!snorkelwacker.mit.edu!galois!riesz!jbaez
  4. From: jbaez@riesz.mit.edu (John C. Baez)
  5. Subject: Re: Are all crows black? => Logic as an essential subject?
  6. Message-ID: <1992Nov6.024802.6941@galois.mit.edu>
  7. Sender: news@galois.mit.edu
  8. Nntp-Posting-Host: riesz
  9. Organization: MIT Department of Mathematics, Cambridge, MA
  10. References: <Bx5DIB.8qF@cck.coventry.ac.uk> <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU> <1992Nov5.182513.25397@lclark.edu>
  11. Date: Fri, 6 Nov 92 02:48:02 GMT
  12. Lines: 19
  13.  
  14. In article <1992Nov5.182513.25397@lclark.edu> higa@lclark.edu (Keith Higa) writes:
  15. >In article <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU> 
  16. >pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  17. >>I have very mixed feelings about this.  Freshman math at Gunn High
  18. >>(where my 14 year old goes) started out this year with a couple of
  19. >>weeks of propositional logic before getting into geometry etc.  My
  20. >>intuitive feeling was that she got much less useful math out of the
  21. >>logic than out of the geometry.  On the other hand logic is fundamental
  22. >>to thought, and even if humans don't reason propositionally it is good
  23. >>to at least be aware of a logical system that they could plausibly
  24. >>reason in, albeit clumsily.
  25. >
  26. >My logic professor brought up the story of Bertrand Russell.  I think
  27. >(correct me if I'm wrong), that he and a co-author set out to prove that
  28. >all math was based on logic, and it took them two volumes to logically
  29. >prove that 1+1=2.
  30.  
  31. There were, however, some interesting lemmas.
  32.  
  33.