I was looking for a list of theorems that disappointed mathematicians, in the sense that some disgruntlement regarding the fact that the theorem in consideration being true/false was notable. An example could be a theorem whose negation was notably hoped to be true or a theorem which ended up implying the negation of statements notably hoped to be true. The only examples I know are Godel’sGödel’s incompleteness theorems, and I was hoping to know if there are any other similar examples.
Thank you.