International Congress of Mathematicians (1954 Amsterdam)