Dear FOM,
Harvey Friedman asked me to contribute to this intriguing
and stimulating forum. I have just posted my latest
opinion
http://www.math.rutgers.edu/~zeilberg/Opinion57.html
and wonder if any of you have feedback from your foundational
point of view.
-Doron Zeilberger