- From: Jacques Carette <carette@mcmaster.ca>
- Date: Wed, 09 May 2012 07:43:52 -0400
- 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 UTC