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

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. JacquesReceived 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
*