Welcome to Orcmid's Lair, the playground for family connections, pastimes, and scholarly vocation -- the collected professional and recreational work of Dennis E. Hamilton

 
[FOM] Object-Oriented Formal Mathematical Languages.  [thrownback from 2004-05-06-16:00 -0700] After I collected myself a bit and took the coaching of the moderator, I posted a brief version of my "When Is Programming Mathematics, and Vice Versa" concerns to the Foundations of Mathematics Discussion List. My note is restrained and fairly self-contained, the essential point being that

I see enormous quantities of successful practice that show little evidence of what I would call mathematical activity.  And I do not doubt the value of a mathematical perspective in creation of software.

I am keenly interested in the connection between software and mathematics (and logic and language).  I accept that it is off-purpose for FOM and welcome off-list suggestions of more-appropriate forums/communities where the connections might be explored.

I make that an open invitation.  I have received some comments, and I suspect this might grow best in a social network, even if carried out in public.  I do not have in mind the creation of yet-another discussion list.


posted by Dennis at 5/4/2004 01:20:05 PM