Oh no, Thomas Streicher, who was a great friend and mentor to me, passed way yesterday. Thomas was always very supportive (though often skeptical in a mentoring way), and brought me to Darmstadt, where I spent six wonderful years. He’s known for finding, with the also late Martin Hofmann, the groupoid model of Martin-Löf type theory. He saw it as a nonstandard model, but it paved the way for homotopy type theory and univalent mathematics. I will miss him dearly!
=> More informations about this toot | More toots from buchholtz@mathstodon.xyz
@buchholtz I'm sorry. (he was not that old?)
=> More informations about this toot | More toots from antoinechambertloir@mathstodon.xyz
@antoinechambertloir indeed, only 66. fuck cancer
=> More informations about this toot | More toots from buchholtz@mathstodon.xyz
@buchholtz
@antoinechambertloir we have to be more precise: fuck the tobacco industry, alongside alcohol and military, the most profitable industry in the world.
=> More informations about this toot | More toots from wires@c.im
@buchholtz I’m devastated to hear this… Thomas will be missed dearly.
=> More informations about this toot | More toots from jonmsterling@mathstodon.xyz
@buchholtz What terrible news to our community. I have never met Thomas in person but his writings have accompanied and guided me since the beginning of my journey into type theory -- his book on domain theory, notes on fibrations, papers on the initiality of the syntax of type theory, universes in categories, groupoid models of type theory...
=> More informations about this toot | More toots from zyang@mathstodon.xyz
@buchholtz I'm very sorry to hear that. I met him at a conference about 10 years ago and had a lovely evening walking around Barcelona with him while we had a wonderful and fascinating conversation. I wish I could remember more of what he said, because it was hugely quotable. One thing I do remember is that he said: "Reality is that which we cannot influence to go our way".
=> More informations about this toot | More toots from oantolin@mathstodon.xyz
@buchholtz I’m very saddened as well. I’ll always remember fondly our type theory conversations, his fine humor and communicative laughter and the many hours I spent reading his habilitation.
=> More informations about this toot | More toots from mattam@types.pl
@buchholtz Mine kondolencer! Det er aldrig nemt når nogen dør, men 66 er alt for tidligt.
=> More informations about this toot | More toots from thriveth@astrodon.social
@buchholtz This is such sad news about Thomas. I fondly remember those years in Darmstadt, and enjoyed talking with him about things like Dialectica and Krivine's realizability (topics on which he wrote several very nice papers). But more importantly, he was a fantastic colleague, a really lovely person, and just fun to be around.
=> More informations about this toot | More toots from thomaspowell@mathstodon.xyz
@buchholtz Oh no, this is such sad news... 😭 One of my first research experiences as a student was with Thomas some years ago, I remember going through a difficult period of my life and being very unconfident as a young scientist, and Thomas would always be so nice, welcoming and supportive, in a very simple and friendly way. I learned much math with him, but maybe even more importantly that science is also a matter of being well and having good time with nice colleagues. After these months in Darmstadt I was always so happy to exchange a few words or emails with him from time to time. I will miss him. 😢
=> More informations about this toot | More toots from trondelair@sciences.re
@buchholtz
I met Thomas Streicher, in Darmstadt, when I was a PhD student at Imperial, and then multiple times in mutual visits to Darmstadt and Birmingham, in addition to many conferences/workshops.
We wrote a couple of papers together. One thing I liked about our interactions is that we never argued, and yet he was very much against constructive mathematics and also HoTT/UF, even though he was fond of studying the (categorical) meta-theory of both.
Since the pandemic started in 2020, we met a number of times by Zoom for virtual pub meetings on Fridays, sometimes only the two of us, and sometimes with guests.
I am glad I had an opportunity to meet him by Zoom for half an hour a week before Christmas. He knew his fate, but otherwise it was just as usual, with him asking, in particular, how a student he sent to Birmingham is doing, and then telling me what he was thinking about in mathematics, and asking me what I was doing.
Thomas was a great friend for about 30 years, and I will miss him forever.
Here is a photo from about 20 years ago during one of his visits to Birmingham (with two of my sons who have now graduated and live with their girlfriends).
=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz
@buchholtz
One more photo, Alex Simpson and Thomas Streicher having breakfast in our garden during the same visit as above.
The date I have for this picture is 2004-09-27.
(The picture of the previous post was taken by Alex.)
=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz
@buchholtz
I am so sad.
=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz
@MartinEscardo
@buchholtz
Lovely photos, thank you for sharing.
=> More informations about this toot | More toots from wires@c.im
@buchholtz I met Thomas 5 years ago in Herrsching, Germany. We had quite a few interesting chats and I remember him asking some of the more thought provoking questions during the seminars.
=> More informations about this toot | More toots from alizter@mathstodon.xyz
@buchholtz I did not know Thomas personally but I fondly remember an informal chat while smoking outside Stereo in Glasgow after a workshop (?) he had attended. He was terribly interesting and seemed very kind.
=> More informations about this toot | More toots from gallais
@buchholtz The first and only time I met Thomas was in September 2019 for the Workshop on Continuity, Computability, Constructivity (CCC) in Ljubljana. I was only a first-year PhD student and earlier that year at TYPES I had felt a little out of place at times, but Thomas immediately made me feel very comfortable. I have very few pictures of that trip, but the one attached captures exactly what I remember most: that it was very fun to talk with Thomas.
We made some tentative plans for me to visit him, but unfortunately, and partly because of the pandemic, I never followed up on these plans.
We are fortunate that he's left us with great expository notes on categorical logic, and realizability, as well as his book on domain-theoretic semantics of functional programming, all of which I have found very useful.
=> More informations about this toot | More toots from de_Jong_Tom@mathstodon.xyz This content has been proxied by September (ba2dc).Proxy Information
text/gemini