Lenore Blum
Greg Chaitin
Martin Davis
Ron Graham
Yuri Matiyasevich
Marvin Minsky
Dana Scott
Stephen Wolfram
Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how