Institute for Advanced Study's Electronic Computer Project (1946 – 1954)