John P. Eckert and John W. Mauchly