[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