Carl Tandberg Milner (1915-2002)