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 _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
