Deep regrets! He was great in our domain, in maths in general, and his humanity was remarkable... Sergei Soloviev Le Vendredi, Janvier 03, 2025 10:04 CET, "Oosten, J. van (Jaap)" <J.vanOosten@uu.nl> a écrit:
I just received information that Thomas Streicher passed away yesterday.
Thomas fell ill last September, when he could not attend Pino Rosolini's retirement party due to pneumonia; then it turned out he has metastases in the lungs from a pancreatic cancer. After several chemo treatments his situation suddenly worsened, and yesterday he died, peacefully, without pain. Thomas was 66 years old.
In Thomas, we mourn a logician and category theorist of exceptional calibre. Let me just recall that in 2011, during an Oberwolfach meeting, Vladimir Voevodsky praised Thomas' work on type theory as a paradigm of precision.
But I personally mourn a friend. A warm person with many interests.
I wish strength to his wife Eva, and his family.
Jaap van Oosten
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files | Leave group | Learn more about Microsoft 365 Groups