Il a surtout travaillé sur la théorie des ensembles, la théorie des jeux et les calculateurs électroniques. Dès la fin des années 1930, il a défini de façon théorique la structure possible d'une machine automatique de traitement de l'information à programme enregistré qui correspond à celle de la plupart des ordinateurs.
