W3C home > Mailing lists > Public > www-math@w3.org > May 2012

Re: [Om] MSC for papers about MathML or OpenMath

From: Jacques Carette <carette@mcmaster.ca>
Date: Wed, 09 May 2012 07:43:52 -0400
Message-ID: <4FAA5878.7000709@mcmaster.ca>
To: Paul Libbrecht <paul@hoplahup.net>
CC: om@openmath.org, www-math@w3.org
On 09/05/2012 5:13 AM, Paul Libbrecht wrote:
>
> Considering MKM, as a conference series, is 10 years old, let's get 
> shoes on for MKM topics to get into MSC 2020!
>

Good luck.  Most mathematicians don't consider (most of) MKM to be 
math.  Math-related, sure, but not 'math'.  Most MKM questions on math 
web sites (like MathOverflow and math.stackexchange) get closed as 
off-topic pretty quickly -- people are redirected to computer science sites.

Having said that, there are some small changes: the field of homotopy 
type theory, which joins type theory, category theory and homotopy 
theory as 'foundations' for both CS and Math is definitely causing some 
mathematicians to take a fresh look at CS issues (at least in 
programming languages) and consider them as serious.

Jacques
Received on Wednesday, 9 May 2012 21:28:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 9 May 2012 21:28:07 GMT