Post #3213602
2026-04-20 19:11 UTC
This picture, which you can find in his website, pretty much summarizes what his work is about.
@iblech@mathstodon.xyz
Replies (1)
-
@MartinEscardo@mathstodon.xyz 2026-04-20 19:30
Ingo has done a lot of work on topos theory, in particular exploring the internal language of a topos, which resonates with my point of view regarding constructive mathematics. @iblech@mathstodon.xyz