Some time ago I've decided to copy some of my blog posts in the Topos Institute Blog to here, where it's easier for me to find what I am looking for. There I have written (with others) the following posts:
Introducing the MathFoldr Project
https://topos.site/blog/2021-07-11-introducing-mathfoldr/
The many facets of Networked Mathematics
https://topos.site/blog/2022-04-18-facets-of-networked-mathematics/
Mathematical concepts: how do you recognize them?
https://topos.site/blog/2022-11-16-mathematical-concepts/
Preparing for Networked Mathematics
https://topos.site/blog/2023-01-05-preparing-for-networked-mathematics/
but recently I have been very bad about writing blog posts. Not only here, but especially there. It is the usual running around, trying to do things and not getting anything much done. I exaggerate a little, after all 2024 was the year of the `Prospects of Formal Mathematics" at the Hausdorff Institute of Mathematics in Bonn! This was excellent, but quite a bit of work.
(I was going to post one of the many lovely pictures of our program, but reading Hausdorff's history there, I think I prefer to have him instead. He was really impressive!)
There was also the great week in Oxford for 40th MFPS and ACT 2024. Working as Alex Simpson's co-chair was great fun!
Being pampered by Steve and Nicola in Oxford, then going to Cambridge to see lifelong friends, everything was simply wonderful!
No comments:
Post a Comment