Recently in another topic I mentioned the "two bishops against two knights" chess endgame problem. I claimed it was investigated over two decades ago by a computer program and established that it is a win situation for the two bishops' side. Then I was unable to Google a solid reference for my claim.
I also remember a "Hermes Set Theory". It was something like ZFC, regarded as a valid Set Theory axiom system for 40 years, until a paradox was found inside. Now, I can't Google it out.
And then it was the so called "Baryon number conservation law", which was postulated for a short while in physics. Until it was found that a subatomic decay may in fact in/decrease the number of baryons in the process. I can't Google that one either.
Is that just me, or what?