Re: FW: Meat

Posted by gepr on Nov 03, 2015; 3:03pm
URL: http://friam.383.s1.nabble.com/FW-Meat-tp7586810p7586846.html


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