Robinson first met Martin Davis, then an instructor at the University of Illinois at Urbana-Champaign, who was trying to show that all sets with listability property were Diophantine in contrast to Robinson's attempt to
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event