To: | ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | John F Sowa <sowa@xxxxxxxxxxx> |
Date: | 2013年6月26日 17:07:25 -0400 |
Message-id: | <51CB580D.6070709@xxxxxxxxxxx> |
Ray, (01) > Out of curiosity, before I diverge too far from ontology, were > the Bourbaki being intentionally misleading or were they merely > short on ground truth? (02) They were very serious. But there have been many debates about the nature of mathematics and the foundations of mathematics from the late 19th century to the present. (03) The Bourbaki strongly believed in a *formalist* approach with set theory as the foundation. For a strongly favorable view of their project, see the intro to the following book (which you can read online from Amazon without spending 20ドル): (04) http://www.amazon.com/Bourbaki-A-Secret-Society-Mathematicians/dp/0821839675 (05) But that formalist approach led to the so-called "New Math", which was a disastrous attempt to start teaching set theory in kindergarten. The Wikipedia article on "New Math" has a brief summary: (06) http://en.wikipedia.org/wiki/New_Math (07) Following is a song by Tom Lehrer, as lip synched with graphics: (08) http://www.youtube.com/watch?v=DfCJgC2zezw (09) A more serious, but very readable summary of a view I prefer is the lecture "Mathematics as a Creative Art" by Paul Halmos: (010) http://www-history.mcs.st-and.ac.uk/Extras/Creative_art.html (011) The following article has more excerpts by Halmos: (012) http://www.ams.org/notices/200709/tx070901136p.pdf (013) John (014) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (015)
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | [ontolog-forum] Fwd: [protege-owl] Protege-4 plugin for Oracle Database and Oracle NoSQL Database Enterprise Edition , Peter Yim |
---|---|
Next by Date: | Re: [ontolog-forum] API4KB and diverse ontologies , Elisa Kendall |
Previous by Thread: | Re: [ontolog-forum] Triad Logic , Ray Martin |
Next by Thread: | [ontolog-forum] DC-2013 Special W3C-Sponsored Session on Vocabulary Preservation , DCMI Announce |
Indexes: | [Date] [Thread] [Top] [All Lists] |