Does anyone happen to know who conjectured the finiteness of the Tate-Shafarevich group? We recall the conjecture. Let $E/K$ be an elliptic curve where $K$ is a number field. Then $Ш(E/K)$ is finite.