a proof of the Riemann–Roch theorem with them (a version appeared in his Basic Number Theory in 1967). His 'matrix divisor' (vector bundle avant la lettre) Riemann–Roch theorem from 1938 was a very early anticipation of later ideas such as moduli spaces of bundles. The Weil conjecture on Tamagawa numbers proved resistant for many years. Eventually the adelic approach became basic in automorphic representation theory. He picked up another credited Weil conjecture, around 1967, which later under pressure from Serge Lang (resp. of Serre) became known as the Taniyama–Shimura conjecture (resp. Taniyama–Weil conjecture) based on a roughly formulated question of Taniyama at the 1955 Nikkō conference. His attitude towards conjectures was that one should not dignify a guess as a conjecture lightly, and in the Taniyama case, the evidence was only there after extensive computational work carried out from the late 1960s. Other significant results were on Pontryagin duality and differential geometry. He introduced the concept of a uniform space in general topology, as a by-product of his collaboration with Nicolas Bourbaki (of which he was a Founding Father). His work on sheaf theory hardly appears in his published papers, but correspondence with Henri Cartan in the late 1940s, and reprinted in his collected papers, proved most influential. He also chose the symbol ∅, derived from the letter Ø in the Norwegian alphabet (which he alone among the Bourbaki group was familiar with), to represent the empty set. Weil also made a well-known contribution in Riemannian geometry in his very first paper in 1926, when he showed that the classical isoperimetric inequality holds on non-positively curved surfaces. This established the 2-dimensional case of what later became known as the Cartan–Hadamard conjecture. He discovered that the so-called Weil representation, previously introduced in quantum mechanics by Irving Segal and David Shale, gave a contemporary framework for understanding the classical theory of quadratic forms. This was also a beginning of a substantial development by others, connecting representation theory and theta functions. Weil was a member of both the National Academy of Sciences and the American Philosophical Society. As expositor Weil's ideas made an important contribution to the writings and seminars of Bourbaki, before and after World War II. He also wrote several books on the history of number theory. Beliefs Indian (Hindu) thought had great influence on Weil. He was an agnostic, and he respected religions. Legacy Asteroid 289085 Andreweil, discovered by astronomers