diff --git a/courses/mathdata.md b/courses/mathdata.md index 2d8fab0555e2128e82e1655983979b48615ac770..2d20c4fe1fa03f3959f498c82567d929ea0bb5e5 100644 --- a/courses/mathdata.md +++ b/courses/mathdata.md @@ -24,6 +24,25 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http: ### Upcoming 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) +- *Location*: online at Zoom ID: 939 0067 6059 +- *Speaker*: Michael Kohlhase (FAU) + +**Abstract.** In this talk I will present an information model for doing mathematics, +which posits that humans very efficiently integrate five aspects of mathematics: +inference, computation, concretization, narration, and organization. +The challenge for mathematical software systems is to integrate these five aspects in the same way humans do. + +The Tetrapod model has cristallized out of almost two decades of work on +mathematical knowledge representation and permeates the work of the KWARC group. +The model is relevant to the MathDataHub effort as it will guide the further development +of the MathHub system (MathDataHub is seen as the concretization facet of MathHub). + + +### Past seminars: + ##### MathDataHub - your dataset, but FAIR - *Time*: Friday, May 22, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2) @@ -35,9 +54,6 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http: It was developed by Katja BerÄiÄ, Michael Kohlhase, Florian Rabe, and Tom Wiesing. In this talk I will give a basic introduction and overview of the system. - -### Past seminars: - ##### An overview of mathematical data (Welcome to the seminar) - *Time*: Friday, May 8, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)