Post #1846796
2026-04-26 17:02 UTC
@jonmsterling Also, since there has recently been a lot of discourse about LLM-generated blog posts containing statements that those within the wider type theory community might consider to be unfair at best, I couldn't help but think of a parallel from 15 years ago.
Voevodsky did some material harm to the reputation of univalence/HoTT early on by giving a talk espousing a very misleading understanding of Gödel's Incompleteness Theorem and proposing HoTT as a potential solution to an inconsistency in PA.
It's also amusing to think back and imagine that at one point, HoTT was the darling of funding, albeit at a much different level (IAS thematic years rather than VC-backed AI startups).
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-04-26 17:03
@zwarich YES!!! This was very frustrating. He had this one thing that he would NOT stop saying, that it was an open problem whether MLTT was consistent with classical mathematics. It was ..... not an open problem. But he drummed up a lot of controversy and confusion over nothing, and this disinformation campaign probably led to some very questionable projects getting funded.