Junto con John von Neumann desarrolló la lógica cuántica que permite abordar las operaciones de medida sobre estados cuánticos complementarios y que forma la base de las operaciones lógicas aplicables en un eventual ordenador cuántico.