[FOM] question about universality for prize

Harvey Friedman friedman at math.ohio-state.edu
Fri Oct 26 21:14:24 EDT 2007


http://www.wolframscience.com/prizes/tm23/technicaldetails.html

It says there that for the prize, the notion of universality is to be judged
acceptable by the Prize Committee.

I clicked on Prize Committee:

http://www.wolframscience.com/prizes/tm23/committee.html

And found these members:

Lenore Blum 
Greg Chaitin 
Martin Davis 
Ron Graham 
Yuri Matiyasevich 
Marvin Minsky 
Dana Scott 
Stephen Wolfram 

****************************************

Since the prize was awarded, what definition of universality was used during
the deliberations?

In particular, Martin Davis, Ron Graham, and Dana Scott are subscribers to
the FOM list. What definition of universality are they using?

Harvey Friedman 






More information about the FOM mailing list