diff --git a/courses/mathdata.md b/courses/mathdata.md index bd7dac65205032923089556d063349132abc6afe..c86bf1f531040922a5184138cdc5a942ebc9eade 100644 --- a/courses/mathdata.md +++ b/courses/mathdata.md @@ -24,6 +24,29 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http: ### Upcoming seminars: +##### The Knowledge of Mathematics + +- *Time*: Friday, July 3, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2) +- *Location*: online at Zoom ID: 960 8031 7108 +- *Speaker*: Patrick Ion (Mathematical Reviews (retd.), University of Michigan, Ann Arbor, MI) + +**Abstract.** Mathematics is a body of knowledge, and it has many representations. A +library is traditionally a repository of materials that provide access to knowledge. +The idea of a universal library, or of one just for mathematics, has long been an +obvious one. In the modern day (last century or so) it has come up again from +time to time with each new technological change and notion of representing +mathematics. Working forward from a resolution of the International Mathematical +Union in 2006 efforts have been under taken to realize a Global Digital Mathematics Library. As part of this an International Mathematical Knowledge Trust has been +founded. I will speak of grand plans, small successes and enormous challenges +that remain in describing some of recent GDML/IMKT activity. This will be from +the point of view I've acquired as a result of watching the field from +Math Reviews (MR) for 30 years or so, being involved with TeX and databases +at MR and with creation of MathML, as well as trying to understand a little bit +of specific subjects (quantum field theory and statistical mechanics, hyperfunctions, +non-commutative geometry, quantum stochastic processes---i.e., anti-Gauss: "multa sed immatura") + +### Past seminars: + ##### The Role of Data in Discrete Mathematics - *Time*: Friday, June 19, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2) @@ -42,9 +65,6 @@ and I will discuss why I think better tools are needed and why they wouldn't eve Finally, I will talk briefly about some work in progress with Katja Berčič and Jukka Kohonen toward developing some new data sets and a Sage package to help my research community. - -### Past seminars: - ##### Big Math and the One-Brain Barrier -- The Tetrapod Model of Mathematical Knowledge - *Time*: Friday, June 5, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)