On 11/03/2015 05:08 AM, John Kennison wrote: > I'm having trouble keeping up with this thread, but how does it relate to > severely autistic people with almost zero social skills who, nonetheless, can > prove deep mathematical theorems?
Great point! I think Lee treated this nicely, here: http://redfish.com/pipermail/friam_redfish.com/2015-March/045634.html > With usage histories in place, my proof of claim (E), that “The > prevailing informal logic in the domain of mathematical practice > is, in fact, eisegesis of the exoteric”, is simple. I don't entirely agree with Lee's reasoning or conclusion. But it provides a sophisticated model of the private vs. social elements of math practice. And that model may well be analogous (at least) with scientific practice. -- ⊥ glen ⊥ ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
